here - Stefan-Marr.de

C O N T E N T S
1. Introduction 1
1.1. Research Context . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Problem Statement . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Research Goals . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. Dissertation Outline . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5. Supporting Publications and Technical Contributions . . . . . . 8
2. Context and Motivation 13
2.1. Multi-Language Virtual Machines . . . . . . . . . . . . . . . . . 14
2.2. The Multicore Revolution . . . . . . . . . . . . . . . . . . . . . . 17
2.3. Concurrent vs. Parallel Programming: Definitions . . . . . . . . 18
2.3.1. Concurrency and Parallelism . . . . . . . . . . . . . . . . 18
2.3.2. Concurrent Programming and Parallel Programming . . 20
2.3.3. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4. Common Approaches to Concurrent and Parallel Programming 23
2.4.1. Taxonomies . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4.2. Threads and Locks . . . . . . . . . . . . . . . . . . . . . . 26
2.4.3. Communicating Threads . . . . . . . . . . . . . . . . . . 27
2.4.4. Communicating Isolates . . . . . . . . . . . . . . . . . . . 30
2.4.5. Data Parallelism . . . . . . . . . . . . . . . . . . . . . . . 33
2.4.6. Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.5. Building Applications: The Right Tool for the Job . . . . . . . . 36
2.6. Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3. Which Concepts for Concurrent and Parallel Progr. does a VM need
to Support? 39
3.1. VM Support for Concurrent and Parallel Programming . . . . . 40
3.1.1. Survey Design . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.1.1.1. Survey Questions . . . . . . . . . . . . . . . . . 40
ix