here - Stefan-Marr.de

Contents
4.4. RoarVM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.4.1. Execution Model, Primitives, and Bytecodes . . . . . . . 102
4.4.2. Memory Systems Design . . . . . . . . . . . . . . . . . . 104
4.4.3. Process-based Parallel VM . . . . . . . . . . . . . . . . . 107
4.4.4. Final Remarks . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.5. Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5. An Ownership-based MOP for Expressing Concurrency Abstractions109
5.1. Open Implementations and Metaobject Protocols . . . . . . . . 110
5.2. Design of the OMOP . . . . . . . . . . . . . . . . . . . . . . . . . 113
5.3. The OMOP By Example . . . . . . . . . . . . . . . . . . . . . . . 118
5.3.1. Enforcing Immutability . . . . . . . . . . . . . . . . . . . 118
5.3.2. Clojure Agents . . . . . . . . . . . . . . . . . . . . . . . . 121
5.4. Semantics of the MOP . . . . . . . . . . . . . . . . . . . . . . . . 124
5.5. Customizations and VM-specific Design Choices . . . . . . . . . 128
5.6. Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.7. Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6. Evaluation: The OMOP as a Unifying Substrate 137
6.1. Evaluation Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . 138
6.1.1. Evaluation Goal . . . . . . . . . . . . . . . . . . . . . . . . 138
6.1.2. Evaluation Criteria and Rationale . . . . . . . . . . . . . 138
6.2. Case Studies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
6.2.1. Clojure Agents . . . . . . . . . . . . . . . . . . . . . . . . 142
6.2.2. Software Transactional Memory . . . . . . . . . . . . . . 148
6.2.3. Event-Loop Actors: AmbientTalkST . . . . . . . . . . . . 153
6.2.4. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . 157
6.3. Supported Concepts . . . . . . . . . . . . . . . . . . . . . . . . . 158
6.3.1. Supported Concepts . . . . . . . . . . . . . . . . . . . . . 158
6.3.2. Partially Supported Concepts . . . . . . . . . . . . . . . . 160
6.3.3. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . 161
6.4. Comparing Implementation Size . . . . . . . . . . . . . . . . . . 161
6.4.1. Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
6.4.2. Clojure Agents . . . . . . . . . . . . . . . . . . . . . . . . 163
6.4.3. LRSTM: Lukas Renggli’s STM . . . . . . . . . . . . . . . 164
6.4.4. Event-Loop Actors: AmbientTalkST . . . . . . . . . . . . 167
6.4.5. Summary and Conclusion . . . . . . . . . . . . . . . . . . 168
6.5. Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
6.5.1. Remaining Evaluation Criteria . . . . . . . . . . . . . . . 169
xi