@inproceedings{bcac9bc87cf2437186811be2f70666bb,
title = "Mixed locking/abort protocol for hard real-time systems",
abstract = "The paper discusses a protocol that can address and accommodate analytic guarantees of schedulability, can be implemented with small bounded overheads and blocking and ensure serializable execution of entire tasks including complete read/compute/write cycles. One such protocol which combines locking and abort is described. Its properties include transactions scheduled by locking are never aborted, tasks are aborted only due to conflict with higher priority tasks and cost of abortion can be controlled for the purpose of schedulability analysis.",
author = "Shu, \{Lih Chyun\} and Michal Young",
year = "1994",
language = "English",
isbn = "0818657103",
series = "Proceedings of the IEEE Workshop on Real-Time Operating Systems and Software",
publisher = "Publ by IEEE",
pages = "102--106",
booktitle = "Proceedings of the IEEE Workshop on Real-Time Operating Systems and Software",
note = "Proceedings of the 11th IEEE Workshop on Real-Time Operating Systems and Software ; Conference date: 18-05-1994 Through 19-05-1994",
}