摘要: As from Ada 2005, the language has supported different dispatching policies including fixed priority (FP) and earliestdeadline first (EDF). EDF can be applied across whole range of priorities or a restricted range. In this way, scheduling is integrated into FP framework. Baker's Stack Resource Policy (SRP) also with Ada's immediate ceiling protocol to support resource sharing using protected objects. However, introduction for global, partitioned cluster multiprocessor systems, use objects in applications needs re-evaluated. This because does not completely define how are accessed environment SRP cannot directly multiprocessors.This paper reviews currently available allocation analyzes their applicability Ada. It proposes some new mechanisms that would facilitate programming variety object access protocols.
acm.org
sci-hub.se 参考文章(14)
Patrick Rogers, Andy J. Wellings, OpenAda: Compile-Time Reflection for Ada 95 international conference on reliable software technologies. pp. 166- 177 ,(2004) , 10.1007/978-3-540-24841-5_13
R. Rajkumar, Real-time synchronization protocols for shared memory multiprocessors international conference on distributed computing systems. pp. 116- 123 ,(1990) , 10.1109/ICDCS.1990.89257
Ragunathan Rajkumar, Synchronization in Real-Time Systems: A Priority Inheritance Approach ,(1991)
R. Rajkumar, L. Sha, J.P. Lehoczky, Real-time synchronization protocols for multiprocessors real-time systems symposium. pp. 259- 269 ,(1988) , 10.1109/REAL.1988.51121
A. Zerzelidis, A. Burns, A. J. Wellings, Correcting the EDF protocol in Ada 2005 ACM Sigada Ada Letters. pp. 18- 22 ,(2007) , 10.1145/1316002.1316006
Bj Brandenburg, John M. Calandrino, Aaron Block, Hennadiy Leontyev, James H. Anderson, Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? real time technology and applications symposium. pp. 342- 353 ,(2008) , 10.1109/RTAS.2008.27
T. P. Baker, Stack-based scheduling for realtime processes Real-time Systems. ,vol. 3, pp. 67- 99 ,(1991) , 10.1007/BF00365393
Arvind Easwaran, Bjorn Andersson, Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling real-time systems symposium. pp. 377- 386 ,(2009) , 10.1109/RTSS.2009.37
Bjorn B. Brandenburg, James H. Anderson, Optimality Results for Multiprocessor Real-Time Locking real-time systems symposium. pp. 49- 60 ,(2010) , 10.1109/RTSS.2010.17
Jim Ras, Albert M.K. Cheng, An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System real time technology and applications symposium. pp. 13- 22 ,(2009) , 10.1109/RTAS.2009.10