here - Stefan-Marr.de

3. Which Concepts for Concurrent and Parallel Progr. does a VM need to Support?
Table 3.4.: Identified concepts classified. PA: prior art, Lib: implemented as library,
Sem: support for semantics required, Perf: support for performance
Prior Art PA Lib Sem Perf Prior Art PA Lib Sem Perf
Asynchronous Operations X X X Join X
Atomic Primitives X X Locks X X X
Co-routines X X Memory Model X X X
Condition Variables X X X Method Invocation X X
Critical Sections X X X Race-And-Repair X X
Fences X X Thread Pools X X
Global Address Spaces X X X Thread-local Variables X X X
Global Interpreter Lock X X Threads X X
Green Threads X Volatiles X X
Immutability X X X Wrapper Objects X X X
Library Solutions PA Lib Sem Perf Library Solutions PA Lib Sem Perf
Agents X Guards X
Atoms X MVars X
Concurrent Objects X Message Queue X
Event-Loop X Parallel Bulk Operations X
Events X Reducers X
Far-References X Single Blocks X
Futures X State Reconciliation X
Potential Perf. Benefits PA Lib Sem Perf Potential Perf. Benefits PA Lib Sem Perf
APGAS X X Implicit Parallelism X X
Barriers X X Locality X
Clocks X X Mirrors X X
Data Movement X One-sided Communication X X
Data-Flow Graphs X X Ownership X
Data-Flow Variables X X PGAS X X
Fork/Join X X Vector Operations X X
Semantics req. Support PA Lib Sem Perf Semantics req. Support PA Lib Sem Perf
Active Objects X X Message sends X X X
Actors X X X No-Intercession X X X
Asynchronous Invocation X X X Persistent Data Structures X X
Axum-Domains X X Replication X X
By-Value X X X Side-Effect Free X X
Channels X X X Speculative Execution X X
Data Streams X X X Transactions X X X
Isolation X X X Tuple Spaces X X
Map/Reduce X X Vats X X X
60