May-happen-in-parallel analysis for actor-based concurrency

DOI10.1145/2824255MaRDI QIDQ5277912zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2824255

zbMATH Keywords

actorsanalysisconcurrencymay-happen-in-parallel

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• May-Happen-in-Parallel Analysis for Priority-Based Scheduling
• May-Happen-in-Parallel Analysis with Returned Futures
• May-happen-in-parallel analysis with condition synchronization
• scientific article; zbMATH DE number 1860623
• Time analysis of actor programs

Cites work

• A Complete Guide to the Future
• Complexity of analyzing the synchronization structure of concurrent programs
• Compositional termination proofs for multi-threaded programs
• Concurrent objects à la carte
• Global Data Flow Analysis and Iterative Algorithms
• scientific article; zbMATH DE number 3792232 (Why is no real title available?)
• scientific article; zbMATH DE number 3485194 (Why is no real title available?)
• scientific article; zbMATH DE number 2161330 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Scala actors: Unifying thread-based and event-based programming
• Static Analysis
• Termination and cost analysis of loops with concurrent interleavings

Cited in

(8)

• Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
• May-happen-in-parallel analysis with condition synchronization
• Deadlock detection for actor-based coroutines
• May-Happen-in-Parallel Analysis for Priority-Based Scheduling
• scientific article; zbMATH DE number 1304380 (Why is no real title available?)
• May-Happen-in-Parallel Analysis with Returned Futures
• Stateful Behavioral Types for Active Objects
• Asynchronous Cooperative Contracts for Cooperative Scheduling

Describes a project that uses

Uses Software

• ABS
• SACO

This page was built for publication: May-happen-in-parallel analysis for actor-based concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277912)