@inproceedings{fb5c05ed1fb648afbcddb1d2a79bfbdf,
title = "A priority ceiling protocol for multiple-instance resources",
abstract = "The authors provide a systematic optimization process for multiple-instance resource sharing in real-time systems. They derive the schedulability condition for systems with such resources and presented an algorithm which can be used to divide a resource pool into smaller groups in order to improve the worst-case blocking behavior. They present the system model used and review some related work. The multi-instance priority ceiling protocol and its properties are discussed, the effect of resource preallocation on the schedulability of a system is studied, and an optimal resource preallocation algorithm is presented.",
author = "Chen, {Min Ih} and Lin, {Kwei Jay}",
year = "1991",
language = "英语",
isbn = "0818624507",
series = "Proceedings - Real-Time Systems Symposium",
publisher = "Publ by IEEE",
pages = "140--149",
booktitle = "Proceedings - Real-Time Systems Symposium",
note = "Proceedings of the 12th Real-Time Systems Symposium ; Conference date: 04-12-1991 Through 06-12-1991",
}