µC++ [BD92] extends the C++ programming language [Str97] in somewhat the same way that C++ extends the C
programming language. The extensions introduce new objects that augment the existing set of control ﬂow facilities
and provide for lightweight concurrency on uniprocessor and parallel execution on multiprocessor computers running
the UNIX operating system.