Our Approach

thread wait operations

Mutexes

Wait Queues

sys_ipc interface

Links

Ports

&

Port

Sets

Condition Variables

IPC

Pickle

IPC Operations

Kernel Entry Layer