{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:27:14Z","timestamp":1725474434030},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540499909"},{"type":"electronic","value":"9783540499916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11945529_9","type":"book-chapter","created":{"date-parts":[[2006,11,27]],"date-time":"2006-11-27T12:18:52Z","timestamp":1164629932000},"page":"110-125","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Priority Inheritance for Real-Time and Embedded Systems"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"first","affiliation":[]},{"given":"Henny B.","family":"Sipma","sequence":"additional","affiliation":[]},{"given":"Christopher D.","family":"Gill","sequence":"additional","affiliation":[]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/103727.103728","volume":"9","author":"D. Agrawal","year":"1991","unstructured":"Agrawal, D., Abbadi, A.E.: An efficient and fault-tolerant solution for distributed mutual exclusion. ACM Transactions on Computer Systems\u00a09(1), 1\u201320 (1991)","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR2","first-page":"562","volume-title":"Proceedings of the 2nd international conference on Software engineering (ICSE 1976)","author":"P.A. Alsberg","year":"1976","unstructured":"Alsberg, P.A., Day, J.D.: A principle for resilient sharing of distributed resources. In: Proceedings of the 2nd international conference on Software engineering (ICSE 1976), pp. 562\u2013570. IEEE Computer Society Press, Los Alamitos (1976)"},{"key":"9_CR3","unstructured":"Birrell, A.D.: An introduction to programming with threads. Research Report\u00a035, Digital Equipment Corporation Systems Research Center (1989)"},{"key":"9_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard real-time computing systems: predictable scheduling algorithms and applications","author":"G.C. Buttazzo","year":"2005","unstructured":"Buttazzo, G.C.: Hard real-time computing systems: predictable scheduling algorithms and applications. Springer, New York (2005)"},{"key":"9_CR5","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. Technical Report EWD-123, Technological University, Eindhoven, the Netherlands (1965)"},{"issue":"1","key":"9_CR6","first-page":"347","volume":"34","author":"M.P. Fanti","year":"2004","unstructured":"Fanti, M.P., Zhou, M.: Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics\u2013Part A: Systems and Humans\u00a034(1), 347\u2013363 (2004)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics\u2013Part A: Systems and Humans"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/4221.4223","volume":"32","author":"H. Garcia-Molina","year":"1985","unstructured":"Garcia-Molina, H., Barbara, D.: How to assign votes in a distributed system. Journal of the ACM\u00a032(4), 841\u2013860 (1985)","journal-title":"Journal of the ACM"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1145\/800215.806583","volume-title":"Proceedings of the seventh ACM symposium on Operating systems principles (SOSP 1979)","author":"D.K. Gifford","year":"1979","unstructured":"Gifford, D.K.: Weighted voting for replicated data. In: Proceedings of the seventh ACM symposium on Operating systems principles (SOSP 1979), Pacific Grove, pp. 150\u2013162. ACM Press, New York (1979)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/363156.363160","volume":"12","author":"A.N. Habermann","year":"1969","unstructured":"Habermann, A.N.: Prevention of system deadlocks. Communications of the ACM\u00a012, 373\u2013377 (1969)","journal-title":"Communications of the ACM"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1147\/sj.72.0074","volume":"2","author":"J.W. Havender","year":"1968","unstructured":"Havender, J.W.: Avoiding deadlock in multi-tasking systems. IBM Systems Journal\u00a02, 74\u201384 (1968)","journal-title":"IBM Systems Journal"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.J. Liu","year":"1973","unstructured":"Liu, C.J., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the ACM"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/214438.214445","volume":"3","author":"M. Maekawa","year":"1985","unstructured":"Maekawa, M.: A \n                  \n                    \n                  \n                  $\\sqrt{N}$\n                 algorithm for mutual exclusion in decentralized systems. ACM Transactions on Computer Systems\u00a03(2), 145\u2013159 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1109\/REAL.1999.818861","volume-title":"Proceedings of 20th IEEE Real-Time Systems Symposium (RTSS 1999)","author":"F. Mueller","year":"1999","unstructured":"Mueller, F.: Priority inheritance and ceilings for distributed mutual exclusion. In: Proceedings of 20th IEEE Real-Time Systems Symposium (RTSS 1999), Phoenix AZ, pp. 340\u2013349. IEEE Computer Society Press, Los Alamitos (1999)"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jpdc.1996.0041","volume":"34","author":"M. Naimi","year":"1996","unstructured":"Naimi, M., Trehel, M., Arnold, A.: A log (n) distributed mutual exclusion algorithm based on path reversal. Journal of Parallel and Distributed Computing\u00a034(1), 1\u201313 (1996)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"9_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4000-7","volume-title":"Synchronization in Real-Time Systems: A priority inheritance approach","author":"R. Rajkumar","year":"1991","unstructured":"Rajkumar, R.: Synchronization in Real-Time Systems: A priority inheritance approach. Kluwer Academic Publishers, Dordrecht (1991)"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/58564.59295","volume":"7","author":"K. Raymond","year":"1989","unstructured":"Raymond, K.: A tree-based algorithm for distributed mutual exclusion. ACM Transactions on Computer Systems\u00a07(1), 61\u201377 (1989)","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR17","volume-title":"Algorithms for mutual exclusion","author":"M. Raynal","year":"1986","unstructured":"Raynal, M.: Algorithms for mutual exclusion. The MIT Press, Cambridge (1986)"},{"key":"9_CR18","series-title":"International Series In Operation Research and Management Science","volume-title":"Real-time Management of Resource Allocation Systems: a Discrete Event Systems Approach","author":"S.A. Reveliotis","year":"2005","unstructured":"Reveliotis, S.A.: Real-time Management of Resource Allocation Systems: a Discrete Event Systems Approach. International Series In Operation Research and Management Science. Springer, Heidelberg (2005)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G. Ricart","year":"1981","unstructured":"Ricart, G., Agrawala, A.K.: An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM\u00a024(1), 9\u201317 (1981)","journal-title":"Communications of the ACM"},{"key":"9_CR20","unstructured":"S\u00e1nchez, C., Sipma, H.B.: Reachable state spaces of distributed deadlock avoidance algorithms. Technical Report REACT-TR-2006-01, Stanford Computer Science, REACT Group (June 2006), Available from: \n                  \n                    http:\/\/theory.stanford.edu\/~cesar"},{"key":"9_CR21","volume-title":"The Proceedings of the 6th Annual ACM Conference on Embedded Software (EMSOFT 2006)","author":"C. S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez, C., Sipma, H.B., Manna, Z., Gill, C.: Efficient distributed deadlock avoidance with liveness guarantees. In: The Proceedings of the 6th Annual ACM Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, ACM Press, New York (to appear 2006)"},{"key":"9_CR22","volume-title":"Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006)","author":"C. S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez, C., Sipma, H.B., Manna, Z., Subramonian, V., Gill, C.: On efficient distributed deadlock avoidance for distributed real-time and embedded systems. In: Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodas, Greece. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11562436_13","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"C. S\u00e1nchez","year":"2005","unstructured":"S\u00e1nchez, C., Sipma, H.B., Subramonian, V., Gill, C.D., Manna, Z.: Thread allocation protocols for distributed real-time and embedded systems. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 159\u2013173. Springer, Heidelberg (2005)"},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/RTTAS.1998.683192","volume-title":"Proc. of the Fourth IEEE Real Time Technology and Applications Symposium (RTAS 1998)","author":"D.C. Schmidt","year":"1998","unstructured":"Schmidt, D.C., Mungee, S., Flores-Gaitan, S., Gokhale, A.S.: Alleviating priority inversion and non-determinism in real-time CORBA ORB core architectures. In: Proc. of the Fourth IEEE Real Time Technology and Applications Symposium (RTAS 1998), Denver, CO, pp. 92\u2013101. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"9_CR25","volume-title":"Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects","author":"D.C. Schmidt","year":"2000","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, vol.\u00a02. Wiley & Sons, New York (2000)"},{"issue":"9","key":"9_CR26","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers\u00a039(9), 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR27","volume-title":"Advanced Concepts in Operating Systems: Distributed, Database, and Multiprocessor Operating Systems","author":"M. Singhal","year":"1994","unstructured":"Singhal, M., Shivaratri, N.G.: Advanced Concepts in Operating Systems: Distributed, Database, and Multiprocessor Operating Systems. McGraw-Hill, Inc., New York (1994)"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/11549468_72","volume-title":"Euro-Par 2005 Parallel Processing","author":"J. Sopena","year":"2005","unstructured":"Sopena, J., Arantes, L.B., Bertier, M., Sens, P.: A fault-tolerant token-based mutual exclusion algorithm using a dynamic tree. In: Cunha, J.C., Medeiros, P.D. (eds.) Euro-Par 2005. LNCS, vol.\u00a03648, pp. 654\u2013663. Springer, Heidelberg (2005)"},{"volume-title":"Distributed Mutual Exclusion Algorithms","year":"1992","key":"9_CR29","unstructured":"Srimani, P.K., Das, S.R. (eds.): Distributed Mutual Exclusion Algorithms. IEEE Computer Society Press, Los Alamitos (1992)"},{"issue":"4","key":"9_CR30","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/6110.214406","volume":"3","author":"I. Suzuki","year":"1985","unstructured":"Suzuki, I., Kasami, T.: A distributed mutual exclusion algorithm. ACM Transactions on Computer Systems\u00a03(4), 344\u2013349 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"2","key":"9_CR31","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/320071.320076","volume":"4","author":"R.H. Thomas","year":"1979","unstructured":"Thomas, R.H.: A majority consensus approach to concurrency control for multiple copy databases. ACM Transactions on Database Systems\u00a04(2), 180\u2013209 (1979)","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11945529_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:18:20Z","timestamp":1619507900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11945529_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540499909","9783540499916"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11945529_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}