Concurrency control

	Synchronisation lead by activities	Synchronisation lead by messages
C**	Logical group	.
CC++	.	Explicit futur Wait-by-necessity
Charm++	.	Asynchronous messages
Composites	Hierarchical group	Rendez-vous statement between nodes of a same composite tree
Concurrent C++	.	.
DC++	Physical group	.
Dome	SPMD group synchronisation	.
DPC++	SIMD group synchronisation	.
Karos	.	Implicit futur Explicit blocking
LITP-C++	Guarded statements	Explicit futur Wait-by-necessity
Mentat	Guarded statements	.
Mercury	Specialized entity	Reflexive mechanisms
Open C++	.	Reflexive mechanisms
Panda	Specialized entity	.
pC++	Logical group	.
Presto	Specialized entity	Implicit futur Explicit blocking
QPC++	.	Implicit futur Wait-by-necessity
UC++	Serialization	.
µC++	Mutex class Condition variables	.

Back to Overview homepage