{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:33:08Z","timestamp":1777105988972,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,23]],"date-time":"2011-10-23T00:00:00Z","timestamp":1319328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-10-1-0073"],"award-info":[{"award-number":["FA9550-10-1-0073"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1.06E+13"],"award-info":[{"award-number":["1.06E+13"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,23]]},"DOI":"10.1145\/2043556.2043583","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T12:23:06Z","timestamp":1319545386000},"page":"279-294","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":61,"title":["Detecting failures in distributed systems with the Falcon spy network"],"prefix":"10.1145","author":[{"given":"Joshua B.","family":"Leners","sequence":"first","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Hao","family":"Wu","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Wei-Lun","family":"Hung","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Marcos K.","family":"Aguilera","sequence":"additional","affiliation":[{"name":"Microsoft Research Silicon Valley"}]},{"given":"Michael","family":"Walfish","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]}],"member":"320","published-online":{"date-parts":[[2011,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/hadoop.apache.org.  http:\/\/hadoop.apache.org."},{"key":"e_1_3_2_1_2_1","unstructured":"http:\/\/www.managementsoftware.hp.com.  http:\/\/www.managementsoftware.hp.com."},{"key":"e_1_3_2_1_3_1","unstructured":"http:\/\/www.bmc.com\/products\/brand\/patrol.html.  http:\/\/www.bmc.com\/products\/brand\/patrol.html."},{"key":"e_1_3_2_1_4_1","unstructured":"http:\/\/www.ibm.com\/software\/tivoli.  http:\/\/www.ibm.com\/software\/tivoli."},{"key":"e_1_3_2_1_5_1","unstructured":"DomUClusters -- Linux-HA. linux-ha.org\/wiki\/DomUClusters.  DomUClusters -- Linux-HA. linux-ha.org\/wiki\/DomUClusters."},{"key":"e_1_3_2_1_6_1","unstructured":"Linux-HA High-Availability software for Linux. http:\/\/www.linux-ha.org.  Linux-HA High-Availability software for Linux. http:\/\/www.linux-ha.org."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645959.676130"},{"key":"e_1_3_2_1_8_1","volume-title":"Workshop on Hot Topics in Operating Systems (HotOS)","author":"Aguilera M. K.","year":"2009","unstructured":"M. K. Aguilera and M. Walfish . No time for asynchrony . In Workshop on Hot Topics in Operating Systems (HotOS) , May 2009 . M. K. Aguilera and M. Walfish. No time for asynchrony. In Workshop on Hot Topics in Operating Systems (HotOS), May 2009."},{"key":"e_1_3_2_1_9_1","first-page":"562","volume-title":"International Conference on Software Engineering (ICSE)","author":"Alsberg P. A.","year":"1976","unstructured":"P. A. Alsberg and J. D. Day . A principle for resilient sharing of distributed resources . In International Conference on Software Engineering (ICSE) , pages 562 -- 570 , 1976 . P. A. Alsberg and J. D. Day. A principle for resilient sharing of distributed resources. In International Conference on Software Engineering (ICSE), pages 562--570, 1976."},{"key":"e_1_3_2_1_10_1","first-page":"423","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Ben-Yehuda M.","year":"2010","unstructured":"M. Ben-Yehuda , M. D. Day , Z. Dubitzky , M. Factor , N. Har'El , A. Gordon , A. Liguori , O. Wasserman , and B.-A. Yassour . The Turtles project: Design and implementation of nested virtualization . In Symposium on Operating Systems Design and Implementation (OSDI) , pages 423 -- 436 , Oct. 2010 . M. Ben-Yehuda, M. D. Day, Z. Dubitzky, M. Factor, N. Har'El, A. Gordon, A. Liguori, O. Wasserman, and B.-A. Yassour. The Turtles project: Design and implementation of nested virtualization. In Symposium on Operating Systems Design and Implementation (OSDI), pages 423--436, Oct. 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738261"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/41457.37515"},{"key":"e_1_3_2_1_13_1","first-page":"141","volume-title":"Symposium on Networked Systems Design and Implementation (NSDI)","author":"Bolosky W. J.","year":"2011","unstructured":"W. J. Bolosky , D. Bradshaw , R. B. Haagens , N. P. Kusters , and P. Li . Paxos replicated state machines as the basis of a high-performance data store . In Symposium on Networked Systems Design and Implementation (NSDI) , pages 141 -- 154 , Apr. 2011 . W. J. Bolosky, D. Bradshaw, R. B. Haagens, N. P. Kusters, and P. Li. Paxos replicated state machines as the basis of a high-performance data store. In Symposium on Networked Systems Design and Implementation (NSDI), pages 141--154, Apr. 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.007"},{"key":"e_1_3_2_1_16_1","first-page":"31","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Candea G.","year":"2004","unstructured":"G. Candea , S. Kawamoto , Y. Fujiki , G. Friedman , and A. Fox . Microreboot---a technique for cheap recovery . In Symposium on Operating Systems Design and Implementation (OSDI) , pages 31 -- 44 , Dec. 2004 . G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot---a technique for cheap recovery. In Symposium on Operating Systems Design and Implementation (OSDI), pages 31--44, Dec. 2004."},{"key":"e_1_3_2_1_17_1","unstructured":"The Apache Cassandra project. http:\/\/wiki.apache.org\/cassandra\/ArchitectureInternals#Failure_detection.  The Apache Cassandra project. http:\/\/wiki.apache.org\/cassandra\/ArchitectureInternals#Failure_detection."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"e_1_3_2_1_20_1","first-page":"205","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Chang F.","year":"2006","unstructured":"F. Chang , J. Dean , S. Ghemawat , W. C. Hsieh , D. A. Wallach , M. Burrows , T. Chandra , A. Fikes , and R. E. Gruber . Bigtable: A distributed storage system for structured data . In Symposium on Operating Systems Design and Implementation (OSDI) , pages 205 -- 218 , Nov. 2006 . F. Chang, J. Dean, S. Ghemawat, W. C. Hsieh, D. A. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. E. Gruber. Bigtable: A distributed storage system for structured data. In Symposium on Operating Systems Design and Implementation (OSDI), pages 205--218, Nov. 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1004595"},{"key":"e_1_3_2_1_22_1","first-page":"161","volume-title":"Symposium on Networked Systems Design and Implementation (NSDI)","author":"Cully B.","year":"2008","unstructured":"B. Cully , G. Lefebvre , D. Meyer , M. Feeley , N. Hutchinson , and A. Warfield . Remus: High availability via asynchronous virtual machine replication . In Symposium on Networked Systems Design and Implementation (NSDI) , pages 161 -- 174 , Apr. 2008 . B. Cully, G. Lefebvre, D. Meyer, M. Feeley, N. Hutchinson, and A. Warfield. Remus: High availability via asynchronous virtual machine replication. In Symposium on Networked Systems Design and Implementation (NSDI), pages 161--174, Apr. 2008."},{"key":"e_1_3_2_1_23_1","unstructured":"DD-WRT firmware. http:\/\/www.dd-wrt.com.  DD-WRT firmware. http:\/\/www.dd-wrt.com."},{"key":"e_1_3_2_1_24_1","first-page":"137","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Dean J.","year":"2004","unstructured":"J. Dean and S. Ghemawat . MapReduce: Simplified data processing on large clusters . In Symposium on Operating Systems Design and Implementation (OSDI) , pages 137 -- 150 , Dec. 2004 . J. Dean and S. Ghemawat. MapReduce: Simplified data processing on large clusters. In Symposium on Operating Systems Design and Implementation (OSDI), pages 137--150, Dec. 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1176979"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1032662.1034350"},{"key":"e_1_3_2_1_31_1","first-page":"145","volume-title":"USENIX Annual Technical Conference","author":"Hunt P.","year":"2010","unstructured":"P. Hunt , M. Konar , F. P. Junqueira , and B. Reed . ZooKeeper: Wait-free coordination for Internet-scale systems . In USENIX Annual Technical Conference , pages 145 -- 158 , June 2010 . P. Hunt, M. Konar, F. P. Junqueira, and B. Reed. ZooKeeper: Wait-free coordination for Internet-scale systems. In USENIX Annual Technical Conference, pages 145--158, June 2010."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273005"},{"key":"e_1_3_2_1_33_1","first-page":"351","volume-title":"Symposium on Networked Systems Design and Implementation (NSDI)","author":"John J. P.","year":"2008","unstructured":"J. P. John , E. Katz-Bassett , A. Krishnamurthy , T. Anderson , and A. Venkataramani . Consensus routing: The Internet as a distributed system . In Symposium on Networked Systems Design and Implementation (NSDI) , pages 351 -- 364 , Apr. 2008 . J. P. John, E. Katz-Bassett, A. Krishnamurthy, T. Anderson, and A. Venkataramani. Consensus routing: The Internet as a distributed system. In Symposium on Networked Systems Design and Implementation (NSDI), pages 351--364, Apr. 2008."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529974.1529979"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"issue":"4","key":"e_1_3_2_1_36_1","first-page":"51","article-title":"Paxos made simple","volume":"32","author":"Lamport L.","year":"2001","unstructured":"L. Lamport . Paxos made simple . Distributed Computing Column of ACM SIGACT News , 32 ( 4 ): 51 -- 58 , Dec. 2001 . L. Lamport. Paxos made simple. Distributed Computing Column of ACM SIGACT News, 32(4):51--58, Dec. 2001.","journal-title":"Distributed Computing Column of ACM SIGACT News"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/383962.383969"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1895489.1895504"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/237090.237157"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308172.1308227"},{"key":"e_1_3_2_1_41_1","unstructured":"libvirt: The virtualization API. http:\/\/libvirt.org\/.  libvirt: The virtualization API. http:\/\/libvirt.org\/."},{"key":"e_1_3_2_1_42_1","unstructured":"Linux kernel dump test module. http:\/\/kernel.org\/doc\/Documentation\/fault-injection\/provoke-crashes.txt.  Linux kernel dump test module. http:\/\/kernel.org\/doc\/Documentation\/fault-injection\/provoke-crashes.txt."},{"key":"e_1_3_2_1_43_1","first-page":"105","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"MacCormick J.","year":"2004","unstructured":"J. MacCormick , N. Murphy , M. Najork , C. A. Thekkath , and L. Zhou . Boxwood: Abstractions as the foundation for storage infrastructure . In Symposium on Operating Systems Design and Implementation (OSDI) , pages 105 -- 120 , Dec. 2004 . J. MacCormick, N. Murphy, M. Najork, C. A. Thekkath, and L. Zhou. Boxwood: Abstractions as the foundation for storage infrastructure. In Symposium on Operating Systems Design and Implementation (OSDI), pages 105--120, Dec. 2004."},{"key":"e_1_3_2_1_44_1","volume-title":"http:\/\/www.scs.stanford.edu\/~dm\/home\/papers\/paxos.pdf, as of","author":"Mazi\u00e8res D.","year":"2011","unstructured":"D. Mazi\u00e8res . Paxos made practical , http:\/\/www.scs.stanford.edu\/~dm\/home\/papers\/paxos.pdf, as of Sept. 2011 . D. Mazi\u00e8res. Paxos made practical, http:\/\/www.scs.stanford.edu\/~dm\/home\/papers\/paxos.pdf, as of Sept. 2011."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00042-6"},{"key":"e_1_3_2_1_46_1","unstructured":"Kernel based virtual machine. http:\/\/www.linux-kvm.org\/.  Kernel based virtual machine. http:\/\/www.linux-kvm.org\/."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/357401.357402"},{"key":"e_1_3_2_1_48_1","unstructured":"N. Schiper S. Toueg and D. Ivan. Leader elector source code. http:\/\/www.inf.usi.ch\/phd\/schiper\/LeaderElection.  N. Schiper S. Toueg and D. Ivan. Leader elector source code. http:\/\/www.inf.usi.ch\/phd\/schiper\/LeaderElection."},{"key":"e_1_3_2_1_49_1","first-page":"43","volume-title":"Symposium on Networked Systems Design and Implementation (NSDI)","author":"Stribling J.","year":"2009","unstructured":"J. Stribling , Y. Sovran , I. Zhang , X. Pretzer , J. Li , M. F. Kaashoek , and R. Morris . Flexible, wide-area storage for distributed systems with WheelFS . In Symposium on Networked Systems Design and Implementation (NSDI) , pages 43 -- 58 , Apr. 2009 . J. Stribling, Y. Sovran, I. Zhang, X. Pretzer, J. Li, M. F. Kaashoek, and R. Morris. Flexible, wide-area storage for distributed systems with WheelFS. In Symposium on Networked Systems Design and Implementation (NSDI), pages 43--58, Apr. 2009."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1659232.1659238"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-37795-6_20"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1024739"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/647881.737914"},{"key":"e_1_3_2_1_54_1","unstructured":"D. A. Wheeler. SLOCCount. http:\/\/www.dwheeler.com\/sloccount\/.  D. A. Wheeler. SLOCCount. http:\/\/www.dwheeler.com\/sloccount\/."},{"key":"e_1_3_2_1_55_1","unstructured":"GSoC 2010: ZooKeeper Failure Detector model. http:\/\/wiki.apache.org\/hadoop\/ZooKeeper\/GSoCFailureDetector.  GSoC 2010: ZooKeeper Failure Detector model. http:\/\/wiki.apache.org\/hadoop\/ZooKeeper\/GSoCFailureDetector."}],"event":{"name":"SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles","location":"Cascais Portugal","acronym":"SOSP '11","sponsor":["INESC Systems and Computer Engineering Institute","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043556.2043583","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043556.2043583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:18Z","timestamp":1750240458000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043556.2043583"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,23]]},"references-count":55,"alternative-id":["10.1145\/2043556.2043583","10.1145\/2043556"],"URL":"https:\/\/doi.org\/10.1145\/2043556.2043583","relation":{},"subject":[],"published":{"date-parts":[[2011,10,23]]},"assertion":[{"value":"2011-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}