Premium
A micro‐kernel for concurrency in C
Author(s) -
Cormack Gordon V.
Publication year - 1988
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380180508
Subject(s) - computer science , interleaving , kernel (algebra) , concurrency , programming language , parallel computing , operating system , mathematics , combinatorics
A micro‐kernel that supports concurrent execution of C procedures within a single user process is described. A micro‐kernel provides only four primitives, which have been used to build a number of higher‐level abstractions, including support for distributed processing. The micro‐kernel differs from other efforts in that it is small and efficient, it is written entirely as a non‐privileged user program, and it provides fine‐grained unpredictable interleaving of execution.