Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks

Brandenburg, Björn B. and Anderson, James H.
(2011) Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks.
In: 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Conference: EMSOFT ACM Conference on Embedded Software

Full text not available from this repository.

Abstract

This paper presents the first suspension-based real-time locking protocols for clustered schedulers. Such schedulers pose challenges from a locking perspective because they exhibit aspects of both partitioned and global scheduling, which seem to necessitate fundamentally different means for bounding priority inversions. A new mechanism to bound such inversions, termed priority donation, is presented and used to derive protocols for mutual exclusion, reader-writer exclusion, and k-exclusion. Each protocol has asymptotically optimal blocking bounds under certain analysis assumptions. The latter two protocols are also the first of their kind for the special cases of global and partitioned scheduling.

Actions

Actions (login required)

View Item View Item