{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T13:57:12Z","timestamp":1673272632918},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,11,11]],"date-time":"2008-11-11T00:00:00Z","timestamp":1226361600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s00446-008-0073-1","type":"journal-article","created":{"date-parts":[[2008,11,10]],"date-time":"2008-11-10T06:17:49Z","timestamp":1226297869000},"page":"433-455","source":"Crossref","is-referenced-by-count":1,"title":["Distributed speculative execution for reliability and fault tolerance: an operational semantics"],"prefix":"10.1007","volume":"21","author":[{"given":"Cristian","family":"\u0162\u0103pu\u015f","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Hickey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,11,11]]},"reference":[{"key":"73_CR1","doi-asserted-by":"crossref","unstructured":"Ananian, C.S., Asanovi\u0107, K., Kuszmaul, B.C., Leiserson, C.E., Lie, S.: Unbounded transactional memory. In: Proceedings of the 11th International Symposium on High-Performance Computer Architecture (HPCA\u201905), San Franscisco, California, pp. 316\u2013327 (2005)","DOI":"10.1109\/HPCA.2005.41"},{"key":"73_CR2","doi-asserted-by":"crossref","unstructured":"Black, A.P., Cremet, V., Guerraoui, R., Odersky, M.: An equational theory for transactions. In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, pp. 38\u201349. Australian Computer Society, Inc., Queensland (2003)","DOI":"10.1007\/978-3-540-24597-1_4"},{"key":"73_CR3","doi-asserted-by":"crossref","unstructured":"Bruni, R., Butler, M.J., Ferreira, C., Hoare, C.A.R., Melgratti, H.C., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro L. (eds.) CONCUR. Lecture Notes in Computer Science, vol. 3653, pp. 383\u2013397. Springer, Heidelerg (2005)","DOI":"10.1007\/11539452_30"},{"key":"73_CR4","first-page":"563","volume-title":"IFIP TCS","author":"R. Bruni","year":"2004","unstructured":"Bruni R., Melgratti H.C., Montanari U.: Nested commits for mobile calculi: Extending join. In: L\u00e9vy, J.J., Mayr, E.W., Mitchell, J.C.(eds) IFIP TCS, pp. 563\u2013576. Kluwer, Dordercht (2004)"},{"key":"73_CR5","doi-asserted-by":"crossref","unstructured":"Busi, N., Zavattaro, G.: On the serializability of transactions in shared dataspaces with temporary data. In: SAC, pp. 359\u2013366. ACM, New York (2002)","DOI":"10.1145\/508791.508860"},{"key":"73_CR6","unstructured":"Chang, F., Gibson, G.A.: Automatic i\/o hint generation through speculative execution. In: OSDI \u201999: Proceedings of the Third Symposium on Operating Systems Design and Implementation (1999)"},{"issue":"3","key":"73_CR7","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/j.tcs.2003.09.014","volume":"322","author":"T. Chothia","year":"2004","unstructured":"Chothia T., Duggan D.: Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322(3), 567\u2013613 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"73_CR8","doi-asserted-by":"crossref","unstructured":"Damani, O.P., Garg, V.K.: How to recover efficiently and asynchronously when optimism fails. In: International Conference on Distributed Computing Systems, pp. 108\u2013115 (1996)","DOI":"10.1109\/ICDCS.1996.507907"},{"key":"73_CR9","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD \u201987: Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pp. 249\u2013259. ACM Press, New York (1987). doi: 10.1145\/38713.38742","DOI":"10.1145\/38713.38742"},{"key":"73_CR10","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1994","unstructured":"Gray J., Reuter A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, Menlo Park (1994)"},{"key":"73_CR11","doi-asserted-by":"crossref","unstructured":"Haines, N., Kindred, D., Morrisett, J.G., Nettles, S.M., Wing, J.M.: Composing first-class transactions. ACM Transactions on Programming Languages and Systems. Short Communication (1994)","DOI":"10.1145\/197320.197346"},{"key":"73_CR12","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Object-Oriented Programming, Systems, Languages, and Applications, pp. 388\u2013402 (2003)","DOI":"10.1145\/949305.949340"},{"key":"73_CR13","doi-asserted-by":"crossref","unstructured":"Herlihy, M.: A methodology for implementing highly concurrent data structures. In: PPOPP \u201990: Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, pp. 197\u2013206. ACM Press, New York (1990). doi: 10.1145\/99163.99185","DOI":"10.1145\/99163.99185"},{"key":"73_CR14","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: Architectural support for lock-free data structures. In: Proceedings of the 20th Annual International Symposium on Computer Architecture, pp. 289\u2013300 (1993)","DOI":"10.1145\/165123.165164"},{"key":"73_CR15","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare C.: Communicating Sequential Processes. Prentice Hall, New Jersey (1985)"},{"issue":"3","key":"73_CR16","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D.R. Jefferson","year":"1985","unstructured":"Jefferson D.R.: Virtual time. ACM Trans. Program. Lang. Syst. 7(3), 404\u2013425 (1985). doi: 10.1145\/3916.3988","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"73_CR17","doi-asserted-by":"crossref","unstructured":"Johnson, D.B., Zwaenepoel, W.: Recovery in distributed systems using asynchronous message logging and checkpointing. In: PODC, pp. 171\u2013181 (1988)","DOI":"10.1145\/62546.62575"},{"key":"73_CR18","unstructured":"Lai, A.C., Falsafi, B.: Memory sharing predictor: the key to a speculative coherent dsm. In: Proceedings of the 26th annual international symposium on Computer architecture, pp. 172\u2013183. IEEE Computer Society Press, New York (1999). doi: 10.1145\/300979.300994"},{"key":"73_CR19","unstructured":"Litzkow, M., Tannenbaum, T., Basney, J., Livny, M.: Checkpoint and migration of unix processes in the condor distributed processing system. Tech. Rep. 1346. Computer Sciences Department, University of Wisconsin (1997)"},{"key":"73_CR20","doi-asserted-by":"crossref","unstructured":"Marathe, V.J., Scherer III, W.N., Scott, M.L.: Adaptive software transactional memory. In: Proceedings of the 19th International Symposium on Distributed Computing, Cracow, Poland. Earlier but expanded version available as TR 868, University of Rochester Computer Science Dept., May 2005 (2005)","DOI":"10.1007\/11561927_26"},{"key":"73_CR21","unstructured":"Moss, E.B.: (1981) Nested transactions: An approach to reliable distributed computing. Tech. rep., Cambridge, MA, USA"},{"key":"73_CR22","doi-asserted-by":"crossref","unstructured":"Neves, N., Castro, M., Guedes, P.: A checkpoint protocol for an entry consistent shared memory system. In: PODC, pp. 121\u2013129 (1994)","DOI":"10.1145\/197917.197973"},{"key":"73_CR23","doi-asserted-by":"crossref","unstructured":"Nightingale, E.B., Chen, P.M., Flinn, J.: Speculative execution in a distributed file system. In: SOSP \u201905: Proceedings of the twentieth ACM symposium on Operating systems principles, pp. 191\u2013205. ACM Press, New York (2005). doi: 10.1145\/1095810.1095829","DOI":"10.1145\/1095810.1095829"},{"key":"73_CR24","unstructured":"Oplinger, J., et al.: Software and hardware for exploiting speculative parallelism with a multiprocessor. Tech. rep., Stanford, CA, USA (1997)"},{"key":"73_CR25","unstructured":"Prinz, A., Thalheim, B.: Operational semantics of transactions. In: CRPITS\u201917: Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, pp. 169\u2013179. Australian Computer Society, Inc., Queensland (2003)"},{"key":"73_CR26","doi-asserted-by":"crossref","unstructured":"Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: treating bugs as allergies\u2014a safe method to survive software failures. In: SOSP \u201905: Proceedings of the twentieth ACM symposium on Operating systems principles, pp. 235\u2013248. ACM Press, New York (2005). doi: 10.1145\/1095810.1095833","DOI":"10.1145\/1095810.1095833"},{"key":"73_CR27","unstructured":"Rajwar, R., Bernstein, P.A.: Atomic transactional execution in hardware: A new high-performance abstraction for databases. In: Position paper for the 10th International Workshop on High Performance Transaction Systems (2003)"},{"key":"73_CR28","doi-asserted-by":"crossref","unstructured":"Sistla, A.P., Welch, J.L.: Efficient distributed recovery using message logging. In: PODC, pp. 223\u2013238 (1989)","DOI":"10.1145\/72981.72997"},{"key":"73_CR29","doi-asserted-by":"crossref","unstructured":"Strom, R., Yemini, S.: Optimistic recovery in distributed systems. ACM Trans. Comput. Syst. 3(3), 204\u2013226 (1985). doi: 10.1145\/3959.3962","DOI":"10.1145\/3959.3962"},{"key":"73_CR30","doi-asserted-by":"crossref","unstructured":"Takahashi, T., Sumimoto, S., Hori, A., Harada, H., Ishikawa, Y.: Pm2: High performance communication middleware for heterogeneous network environments. In: Proceedings of the IEEE\/ACM SC2000 Conference (2000)","DOI":"10.1109\/SC.2000.10013"},{"key":"73_CR31","unstructured":"\u0162\u0103pu\u015f, C., Smith, J.D., Hickey, J.: Kernel level speculative DSM. In: IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2003), Tokyo, Japan (2003). http:\/\/www.cs.caltech.edu\/~crt\/publications\/dsm2003.pdf . Workshop on Distributed Shared Memory (DSM)"},{"key":"73_CR32","doi-asserted-by":"crossref","unstructured":"Thain, D., Livny, M.: The ethernet approach to grid computing. In: HPDC \u201903: Proceedings of the 12th IEEE International Symposium on High Performance Distributed Computing (HPDC\u201903)","DOI":"10.1109\/HPDC.2003.1210024"},{"key":"73_CR33","doi-asserted-by":"crossref","unstructured":"Wende, M., Schoettner, M., Goeckelmann, R., Bindhammer, T., Schulthess, P.: Optimistic synchronization and transactional consistency. In: CCGRID \u201902: Proceedings of the 2nd IEEE\/ACM International Symposium on Cluster Computing and the Grid, p. 331. IEEE Computer Society, Washington (2002)","DOI":"10.1109\/CCGRID.2002.1017155"},{"key":"73_CR34","unstructured":"Zhong, H., Nieh, J.: Crak: Linux checkpoint \/ restart as a kernel module. Tech. Rep. CUCS-014-01, Department of Computer Science, Columbia University (2002). http:\/\/www.ncl.cs.columbia.edu\/research\/migrate\/crak.html"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-008-0073-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-008-0073-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-008-0073-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:26:43Z","timestamp":1559122003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-008-0073-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,11]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["73"],"URL":"https:\/\/doi.org\/10.1007\/s00446-008-0073-1","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,11]]}}}