Chocola
| Autor: | Wolfgang De Meuter, Janwillem Swalens, Joeri De Koster |
|---|---|
| Přispěvatelé: | Software Languages Lab, Informatics and Applied Informatics |
| Rok vydání: | 2020 |
| Předmět: |
Java
Scala Semantics (computer science) Computer science Programming language Concurrency futures 020207 software engineering 02 engineering and technology computer.software_genre software transactional memory Clojure 020204 information systems 0202 electrical engineering electronic engineering information engineering Benchmark (computing) Software transactional memory Actor model computer Software computer.programming_language |
| Zdroj: | ACM Transactions on Programming Languages and Systems. 42:1-56 |
| ISSN: | 1558-4593 0164-0925 |
| DOI: | 10.1145/3427201 |
| Popis: | Programmers often combine different concurrency models in a single program, in each part of the program using the model that fits best. Many programming languages, such as Clojure, Scala, and Java, cater to this need by supporting different concurrency models. However, existing programming languages often combine concurrency models in an ad hoc way, and the semantics of the combinations are not always well defined. This article studies the combination of three concurrency models: futures, transactions, and actors. We show that a naive combination of these models invalidates the guarantees they normally provide, thereby breaking the assumptions of programmers. Hence, we present Chocola : a unified language of futures, transactions, and actors that maintains the guarantees of all three models wherever possible, even when they are combined. We describe and formalize the semantics of this language and prove the guarantees it provides. We also provide an implementation as an extension of Clojure and demonstrated that it can improve the performance of three benchmark applications for relatively little effort from the developer. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|