Affiliation:
1. Northeastern University, Boston, MA, USA
Abstract
Efficient communication and synchronization is crucial for fine grained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often cannot be tailored or composed to meet the needs of specific users. We introduce
reagents
, a set of combinators for concisely expressing concurrency algorithms. Reagents scale as well as their hand-coded counterparts, while providing the composability existing libraries lack.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compiler‐driven approach for automating nonblocking synchronization in concurrent data abstractions;Concurrency and Computation: Practice and Experience;2023-10-24
2. Cosmo: a concurrent separation logic for multicore OCaml;Proceedings of the ACM on Programming Languages;2020-08-02
3. Automating Non-Blocking Synchronization In Concurrent Data Abstractions;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11
4. Thread-safe reactive programming;Proceedings of the ACM on Programming Languages;2018-10-24
5. Transactional data structure libraries;ACM SIGPLAN Notices;2016-08