Higher-order concurrency

This dissertation presents an approach to concurrent language design that provides a new form of linguistic support for constructing concurrent applications that treats synchronous operations as first-class values in a way that is analogous to the treatment of functions in languages such as ML.

Abstract

types : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 14 2.3 Imperative features : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3.1 References : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3.2 Exceptions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16 2.3.3 Continuations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 17 v 2.4 An example --- functional queues : : : : : : : : : : : : : : : : : : : : : : : : 18 II Design 19 3 Concurrent Programming Languages 21 3.1 Processes and threads : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 22 3.2 Shared-memory languages : : : : : : : : : : : : : : : : : : : : : : : : : : : : 23 3.2.1 Low-level synchronization mechanisms : : : : : : : : : : : : : : : : : 23 3.2.2 Monitors : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25 3.2.3 Shared-memory concurrency and ML : : : : : : : : : : : : : : : : : 25 3.3 Distributed-memory l...