adam at os.inf.tu-dresden.de
Fri Jun 23 00:39:04 CEST 2017
On Wed Jun 21, 2017 at 16:41:21 +0200, David Werner wrote:
> i am currently working on a checkpoint/restore component (for the Genode
> framework) which aims at the migration of processes/components.
> When I first start the target component of the checkpointer, its object
> looks like this:
> 000204 :0016e* Gate 0015f* Gate 00158* Gate 00152* Gate
> 000208 :00154* Gate 0017e* Gate 0017f* Gate 00179* Gate
> 00020c :00180* Gate 00188* Gate -- --
> 000210 : -- -- 0018a* Gate 0018c* Gate
> 000214 :0018e* Gate 00196* Gate 00145* Gate 00144* IRQ
> 000218 :00198* Gate -- -- --
> 00021c : -- 0019c* Gate -- --
> At position 000217 is an IRQ object which is used for signaling.
> I would like to know if this IRQ object carries any information which I need
> to store in order to recreate a new IRQ object for the restarted component.
An IRQ object has similar info than a Gate, both are bound to a thread,
and both have a label. They can also queue up senders. IRQs also have
some flags but those are relevant only when used for hardware interrupt.
So overall I'd say IRQs and Gates are pretty similar in that regard.
More information about the l4-hackers