Abstract | ||
---|---|---|
This paper presents the experience in adding a synchronization protocol to our architecture for flexible hard real-time systems. The architecture combines mandatory and optional components in a two-level tasking model. Mandatory and optional components share resources, and therefore synchronization is needed in order to maintain both the logical correctness of the resources and the timing correctness of the hard task set. Different approaches were analyzed and finally we implemented and evaluated both the Priority Ceiling Protocol (PCP) and the Ceiling Semaphore Protocol (CSP) within our run-time support system. Our results show that both methods can be made to work, but that the CSP method is generally more efficient and scales better. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/RTCSA.1999.811295 | RTCSA |
Keywords | Field | DocType |
optional component,logical correctness,soft tasks,csp method,hard task set,priority ceiling protocol,timing correctness,real-time synchronization,synchronization protocol,optional components share resource,flexible hard real-time system,ceiling semaphore protocol,computer architecture,synchronisation,real time,real time systems,scheduling algorithm,protocols,linux,quality of service | Priority ceiling protocol,Synchronization,Semaphore,Computer science,Scheduling (computing),Correctness,Quality of service,Real-time computing,Real-time operating system,Priority inheritance,Distributed computing,Embedded system | Conference |
ISBN | Citations | PageRank |
0-7695-0306-3 | 2 | 0.43 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrés Terrasa | 1 | 44 | 9.51 |
Ana García-fornes | 2 | 349 | 44.07 |