ÆMINIUM Freeing Programmers from the Shackles of Sequentiality

The aim of this doctoral thesis was to study the implications of having a concurrent-by-default pro-gramming language. This includes language design, runtime system, performance and software engineering considerations. We conduct our study through the design of the concurrent-by-default AEminium programming language. ÆMINIUM leverages the permission flow of object and group permissions through the program to validate the program’s correctness and to automatically infer a possible parallelization strategy via a dataflow graph. ÆMINIUM supports regular parallelism (such as fork-join parallelism) as well as irregular parallelism (e.g., as dataflow). In this thesis we present a formal system, called µÆMINIUM, modeling the core concepts of ÆMINIUM. µÆMINIUM static type system is based on “Featherweight Java ” with ÆMINIUM specific extensions. Besides checking for correctness ÆMINIUM ’s type system it also uses the permission flow to compute a potential parallel execution strategy for the program. µÆMINIUM ’s dynamic semantics use a concurrent-by-default evaluation approach. Along with the formal system we present its soundness proof. We provide a full description of the implementation along with the description of various optimizatio