{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:57Z","timestamp":1750221057084,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,11]],"date-time":"2018-10-11T00:00:00Z","timestamp":1539216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,11]]},"DOI":"10.1145\/3267809.3267825","type":"proceedings-article","created":{"date-parts":[[2018,9,28]],"date-time":"2018-09-28T18:00:41Z","timestamp":1538157641000},"page":"82-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Early Scheduling in Parallel State Machine Replication"],"prefix":"10.1145","author":[{"given":"Eduardo","family":"Alchieri","sequence":"first","affiliation":[{"name":"Departamento de Ci\u00eancia da Computa\u00e7\u00e3o, Universidade de Bras\u00edlia, Brazil"}]},{"given":"Fernando","family":"Dotti","sequence":"additional","affiliation":[{"name":"Escola Polit\u00e9cnica, Pontif\u00edcia Universidade Cat\u00f3lica do, Rio Grande do Sul, Brazil"}]},{"given":"Fernando","family":"Pedone","sequence":"additional","affiliation":[{"name":"Universit\u00e1 della Svizzera italiana (USI), Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2018,10,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2017.23"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.43"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.41"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_1_5_1","volume-title":"KNITRO: An integrated package for nonlinear optimization. In Large-Scale Nonlinear Optimization, G. Di Pillo and M","author":"Byrd Richard","year":"2006","unstructured":"Richard Byrd , Jorge Nocedal , and Richard Waltz . 2006 . KNITRO: An integrated package for nonlinear optimization. In Large-Scale Nonlinear Optimization, G. Di Pillo and M . Roma (Eds.). Springer US , Boston, MA , 35--59. Richard Byrd, Jorge Nocedal, and Richard Waltz. 2006. KNITRO: An integrated package for nonlinear optimization. In Large-Scale Nonlinear Optimization, G. Di Pillo and M. Roma (Eds.). Springer US, Boston, MA, 35--59."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12)","author":"Corbett James C.","year":"2012","unstructured":"James C. Corbett , Jeffrey Dean , Michael Epstein , Andrew Fikes , Christopher Frost , J. J. Furman , Sanjay Ghemawat , Andrey Gubarev , Christopher Heiser , Peter Hochschild , Wilson Hsieh , Sebastian Kanthak , Eugene Kogan , Hongyi Li , Alexander Lloyd , Sergey Melnik , David Mwaura , David Nagle , Sean Quinlan , Rajesh Rao , Lindsay Rolig , Yasushi Saito , Michal Szymaniak , Christopher Taylor , Ruth Wang , and Dale Woodford . 2012 . Spanner: Google's Globally-distributed Database . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12) . USENIX Association, Berkeley, CA, USA, 251--264. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387905 James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. 2012. Spanner: Google's Globally-distributed Database. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12). USENIX Association, Berkeley, CA, USA, 251--264. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387905"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815427"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LADC.2016.12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041680.1041682"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_12_1","volume-title":"AMPL: A Modeling Language for Mathematical Programming","author":"Fourer Robert","year":"2003","unstructured":"Robert Fourer , David Gay , and Brian Kernighan . 2003 . AMPL: A Modeling Language for Mathematical Programming ( 2 nd ed.). Cengage Learning . Robert Fourer, David Gay, and Brian Kernighan. 2003. AMPL: A Modeling Language for Mathematical Programming (2nd ed.). Cengage Learning.","edition":"2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043559"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592800"},{"key":"e_1_3_2_1_15_1","volume-title":"Distributed Systems","author":"Hadzilacos Vassos","unstructured":"Vassos Hadzilacos and Sam Toueg . 1993. Distributed Systems ( 2 nd Ed.). ACM Press\/Addison-Wesley Publishing Co. , New York, NY, USA , Chapter Fault-tolerant Broadcasts and Related Problems, 97--145. http:\/\/dl.acm.org\/citation.cfm?id=302430.302435 Vassos Hadzilacos and Sam Toueg. 1993. Distributed Systems (2nd Ed.). ACM Press\/Addison-Wesley Publishing Co., New York, NY, USA, Chapter Fault-tolerant Broadcasts and Related Problems, 97--145. http:\/\/dl.acm.org\/citation.cfm?id=302430.302435","edition":"2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS '15)","volume":"46","author":"Nikolaos","unstructured":"Nikolaos D. Kallimanis and Eleni Kanellou. 2016. Wait-Free Concurrent Graph Objects with Dynamic Traversals . In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS '15) , Emmanuelle Anceaume, Christian Cachin, and Maria Potop-Butucaru (Eds.) , Vol. 46 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 1--17. Nikolaos D. Kallimanis and Eleni Kanellou. 2016. Wait-Free Concurrent Graph Objects with Dynamic Traversals. In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS '15), Emmanuelle Anceaume, Christian Cachin, and Maria Potop-Butucaru (Eds.), Vol. 46. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 1--17."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the Sixth International Conference on Hot Topics in System Dependability (HotDep'10)","author":"Kapitza R\u00fcdiger","year":"2010","unstructured":"R\u00fcdiger Kapitza , Matthias Schunter , Christian Cachin , Klaus Stengel , and Tobias Distler . 2010 . Storyboard: Optimistic Deterministic Multithreading . In Proceedings of the Sixth International Conference on Hot Topics in System Dependability (HotDep'10) . USENIX Association, Berkeley, CA, USA, 1--8. http:\/\/dl.acm.org\/citation.cfm?id= 1924908.1924909 R\u00fcdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, and Tobias Distler. 2010. Storyboard: Optimistic Deterministic Multithreading. In Proceedings of the Sixth International Conference on Hot Topics in System Dependability (HotDep'10). USENIX Association, Berkeley, CA, USA, 1--8. http:\/\/dl.acm.org\/citation.cfm?id=1924908.1924909"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI '12)","author":"Kapritsos Manos","year":"2012","unstructured":"Manos Kapritsos , Yang Wang , Vivien Quema , Allen Clement , Lorenzo Alvisi , and Mike Dahlin . 2012 . All About Eve: Execute-verify Replication for Multi-core Servers . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI '12) . USENIX Association, Berkeley, CA, USA, 237--250. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387903 Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, and Mike Dahlin. 2012. All About Eve: Execute-verify Replication for Multi-core Servers. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI '12). USENIX Association, Berkeley, CA, USA, 237--250. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387903"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009382.1009773"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.11"},{"key":"e_1_3_2_1_23_1","volume-title":"Anderson","author":"Leung Joseph","year":"2004","unstructured":"Joseph Leung , Laurie Kelly , and James H . Anderson . 2004 . Handbook of Scheduling: Algorithms, Models , and Performance Analysis (1st ed.). CRC Press , Inc., Boca Raton, FL, USA. Joseph Leung, Laurie Kelly, and James H. Anderson. 2004. Handbook of Scheduling: Algorithms, Models, and Performance Analysis (1st ed.). CRC Press, Inc., Boca Raton, FL, USA."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2014.45"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2014.25"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2017.29"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528521.1508256"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTR.2008.4663765"},{"key":"e_1_3_2_1_29_1","volume-title":"Maintaining Acyclicity of Concurrent Graphs. CoRR abs\/1611.03947","author":"Peri Sathya","year":"2016","unstructured":"Sathya Peri , Muktikanta Sa , and Nandini Singhal . 2016. Maintaining Acyclicity of Concurrent Graphs. CoRR abs\/1611.03947 ( 2016 ). arXiv:1611.03947 Sathya Peri, Muktikanta Sa, and Nandini Singhal. 2016. Maintaining Acyclicity of Concurrent Graphs. CoRR abs\/1611.03947 (2016). arXiv:1611.03947"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043579"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2013.47"}],"event":{"name":"SoCC '18: ACM Symposium on Cloud Computing","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Carlsbad CA USA","acronym":"SoCC '18"},"container-title":["Proceedings of the ACM Symposium on Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3267809.3267825","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3267809.3267825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:44:30Z","timestamp":1750207470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3267809.3267825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,11]]},"references-count":32,"alternative-id":["10.1145\/3267809.3267825","10.1145\/3267809"],"URL":"https:\/\/doi.org\/10.1145\/3267809.3267825","relation":{},"subject":[],"published":{"date-parts":[[2018,10,11]]},"assertion":[{"value":"2018-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}