Abstract | ||
---|---|---|
Most resource control protocols such as IPCP (Immediate Priority Ceiling Protocol) require a kernel system call to implement the necessary control over any shared data. This call can be expensive, involving a potentially slow switch from CPU user-mode to kernel-mode (and back). In this paper we look at two anticipatory schemes (IPCP and DFP - Deadline Floor Protocol) and show how they can be implemented with the minimum number of calls on the kernel. Specifically, no kernel calls are needed when there is no contention, and only one when there is. A standard implementation would need two such calls. The protocols developed are verified by the use of model checking. A prototype implementation is described for POSIX pThreads (thus opening up improvements to a range of programming approaches). Experimental results demonstrate the effectiveness of the scheme, showing average case savings of 86%. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/RTSS.2015.35 | Real-Time Systems Symposium |
Keywords | Field | DocType |
IPCP,DFP,resource control protocols,immediate priority ceiling protocol,kernel system call,CPU user-mode,CPU kernel-mode,deadline floor protocol,model checking,POSIX pThreads,single processor | Kernel (linear algebra),epoll,Priority ceiling protocol,Model checking,Computer science,Real-time computing,POSIX Threads,System call,POSIX,Internet Protocol Control Protocol,Operating system,Embedded system | Conference |
ISSN | ISBN | Citations |
1052-8725 | 978-1-4673-9507-6 | 5 |
PageRank | References | Authors |
0.44 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
H. Almatary | 1 | 5 | 0.44 |
Neil C. Audsley | 2 | 1058 | 91.40 |
Alan Burns | 3 | 739 | 59.60 |