May-Happen-in-Parallel Analysis for Priority-Based Scheduling

DOI10.1007/978-3-642-45221-5_2MaRDI QIDQ2870112zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Samir Genaim, Enrique Martin-Martin

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45221-5_2

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An analysis of fixed-priority schedulability on a multiprocessor
• May-happen-in-parallel analysis with condition synchronization
• Probabilistic analysis of scheduling precedence constrained parallel tasks on multicomputers with contiguous processor allocation
• A Heuristic of Scheduling Parallel Tasks and Its Analysis
• May-happen-in-parallel analysis for actor-based concurrency
• Interference-aware fixed-priority schedulability analysis on multiprocessors
• Schedulability Analysis of Conditional Parallel Task Graphs in Multicore Systems
• Priority-driven scheduling of periodic task systems on multiprocessors

Cited in

(4)

• May-happen-in-parallel analysis with condition synchronization
• Precise analysis of value-dependent synchronization in priority scheduled programs
• May-Happen-in-Parallel Analysis with Returned Futures
• May-happen-in-parallel analysis for actor-based concurrency

This page was built for publication: May-Happen-in-Parallel Analysis for Priority-Based Scheduling

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