{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:37:55Z","timestamp":1725622675847},"reference-count":14,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/spdp.1995.530698","type":"proceedings-article","created":{"date-parts":[[2002,11,19]],"date-time":"2002-11-19T17:32:37Z","timestamp":1037727157000},"page":"293-301","source":"Crossref","is-referenced-by-count":4,"title":["Recoverable user-level mutual exclusion"],"prefix":"10.1109","author":[{"given":"P.","family":"Bohannon","sequence":"first","affiliation":[]},{"given":"D.","family":"Lieuwen","sequence":"additional","affiliation":[]},{"given":"A.","family":"Silberschatz","sequence":"additional","affiliation":[]},{"given":"S.","family":"Sudarshan","sequence":"additional","affiliation":[]},{"given":"J.","family":"Gava","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/2.55501"},{"journal-title":"Building FIFO and priority-queuing spin locks from atomic swap","year":"1993","author":"craig","key":"ref11"},{"key":"ref12","article-title":"Realtime scheduling in SunOS 5.0","author":"khanna","year":"1992","journal-title":"Winter Ustnir Conference 1992"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/355606.361895"},{"key":"ref14","first-page":"171","article-title":"Using write protected data structures to improve software fault tolerance in highly available database management systems","author":"sullivan","year":"1991","journal-title":"Procs of the International Conf on Very Large Databases"},{"key":"ref4","article-title":"Dali: A high performance main-memory storage manager","author":"jagadish","year":"1994","journal-title":"Procs of the International Conf on Very Large Databases"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/103727.103729"},{"journal-title":"Alpha Architecture Handbook","year":"1992","author":"corporation","key":"ref6"},{"journal-title":"Formal specification of memory models","year":"1991","author":"sindhu","key":"ref5"},{"journal-title":"Personal communication","year":"1994","author":"dilman","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1995.530698"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/71.80120"},{"journal-title":"Operating System Concepts","year":"1993","author":"silberschatz","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/143365.143523"}],"event":{"name":"Seventh IEEE Symposium on Parallel and Distributed Processing","acronym":"SPDP-95","location":"San Antonio, TX, USA"},"container-title":["Proceedings.Seventh IEEE Symposium on Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/4038\/11584\/00530698.pdf?arnumber=530698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T02:21:13Z","timestamp":1489112473000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/530698\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/spdp.1995.530698","relation":{},"subject":[]}}