Reducing the Implementation Overheads of IPCP and DFP

TY - GEN

T1 - Reducing the Implementation Overheads of IPCP and DFP

AU - Almatary, H.

AU - Audsley, N. C.

AU - Burns, A.

PY - 2016/1/18

Y1 - 2016/1/18

N2 - 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%.

AB - 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%.

UR - http://www.scopus.com/inward/record.url?scp=84964662060&partnerID=8YFLogxK

U2 - 10.1109/RTSS.2015.35

DO - 10.1109/RTSS.2015.35

M3 - Conference contribution

SN - 9781467395076

VL - 2016-January

SP - 295

EP - 304

BT - Proceedings - Real-Time Systems Symposium

PB - IEEE

T2 - 36th IEEE Real-Time Systems Symposium, RTSS 2015

Y2 - 1 December 2015 through 4 December 2015

ER -