{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:01:11Z","timestamp":1725814871551},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147192"},{"type":"electronic","value":"9783319147208"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14720-8_1","type":"book-chapter","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T09:26:01Z","timestamp":1419845161000},"page":"3-31","source":"Crossref","is-referenced-by-count":10,"title":["Consistency for Transactional Memory Computing"],"prefix":"10.1007","author":[{"given":"Dmytro","family":"Dziuma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiota","family":"Fatourou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleni","family":"Kanellou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-17653-1_25","volume-title":"Principles of Distributed Systems","author":"Y. Afek","year":"2010","unstructured":"Afek, Y., Avni, H., Dice, D., Shavit, N.: Efficient lock free privatization. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol.\u00a06490, pp. 333\u2013347. Springer, Heidelberg (2010)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01784241","volume":"9","author":"M. Ahamad","year":"1995","unstructured":"Ahamad, M., Neiger, G., Burns, J.E., Kohli, P., Hutto, P.W.: Causal memory: definitions, implementation, and programming. Distributed Computing\u00a09(1), 37\u201349 (1995)","journal-title":"Distributed Computing"},{"unstructured":"Ardekani, M.S., Sutra, P., Shapiro, M.: The impossibility of ensuring snapshot isolation in genuine replicated stms. In: TransForm\/Euro-TM WTTM 3rd Workshop on the Theory of Transactional Memory, WTTM 2011 (2011)","key":"1_CR3"},{"unstructured":"Attiya, H., Hans, S.: Transactions are Back-but How Different They Are? In: 7th ACM SIGPLAN Workshop on Transactional Computing, New Orleans, LA, USA (February 2012)","key":"1_CR4"},{"doi-asserted-by":"crossref","unstructured":"Attiya, H., Hans, S., Kuznetsov, P., Ravi, S.: Safety of deferred update in transactional memory. In: Proceedings of the 33rd International Conference on Distributed Computing Systems, ICDCS 2013, pp. 601\u2013610. IEEE (2013)","key":"1_CR5","DOI":"10.1109\/ICDCS.2013.57"},{"key":"1_CR6","first-page":"69","volume-title":"Proceedings of the 21st ACM Symposium on Parallel Algorithms and Architectures, SPAA 2009","author":"H. Attiya","year":"2009","unstructured":"Attiya, H., Hillel, E., Milani, A.: Inherent limitations on disjoint-access parallel implementations of transactional memory. In: Proceedings of the 21st ACM Symposium on Parallel Algorithms and Architectures, SPAA 2009, pp. 69\u201378. ACM, New York (2009)"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/568271.223785","volume":"24","author":"H. Berenson","year":"1995","unstructured":"Berenson, H., Bernstein, P., Gray, J., Melton, J., O\u2019Neil, E., O\u2019Neil, P.: A critique of ansi sql isolation levels. SIGMOD Rec.\u00a024(2), 1\u201310 (1995)","journal-title":"SIGMOD Rec."},{"key":"1_CR8","volume-title":"Concurrency control and recovery in database systems","author":"P.A. Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems. Addison-Wesley Longman Publishing Co., Inc., Boston (1987)"},{"unstructured":"Bushkov, V., Dziuma, D., Fatourou, P., Guerraoui, R.: Snapshot isolation does not scale either. Tech. Rep. TR-437, Foundation of Research and Technology \u2013 Hellas (FORTH) (October 2013)","key":"1_CR9"},{"key":"1_CR10","first-page":"178","volume-title":"Proceedings of the 4th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2014","author":"V. Bushkov","year":"2014","unstructured":"Bushkov, V., Dziuma, D., Fatourou, P., Guerraoui, R.: The pcl theorem - transactions cannot be parallel, consistent and live. In: Proceedings of the 4th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2014, pp. 178\u2013187. ACM, New York (2014)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/2332432.2332435","volume-title":"Proceedings of the 31st ACM Symposium on Principles of Distributed Computing, PODC 2012","author":"V. Bushkov","year":"2012","unstructured":"Bushkov, V., Guerraoui, R., Kapa\u0142ka, M.: On the liveness of transactional memory. In: Proceedings of the 31st ACM Symposium on Principles of Distributed Computing, PODC 2012, pp. 9\u201318. ACM, New York (2012)"},{"key":"1_CR12","first-page":"67","volume-title":"Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2010","author":"L. Dalessandro","year":"2010","unstructured":"Dalessandro, L., Spear, M.F., Scott, M.L.: Norec: streamlining stm by abolishing ownership records. In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2010, pp. 67\u201378. ACM, New York (2010)"},{"unstructured":"Dias, R.J., Seco, J., Louren\u00e7o, J.M.: Snapshot isolation anomalies detection in software transactional memory. In: Proceedings of INForum Simp\u00f3sio de Inform\u00e1tica (InForum 2010). Universidade do Minho, Braga (2010)","key":"1_CR13"},{"unstructured":"Dice, D., Shavit, N.: What really makes transactions faster? In: 1st ACM SIGPLAN Workshop on Languages Compilers, and Hardware Support for Transactional Computing, TRANSACT 2006 (2006)","key":"1_CR14"},{"issue":"5","key":"1_CR15","first-page":"1","volume":"25","author":"S. Doherty","year":"2012","unstructured":"Doherty, S., Groves, L., Luchangco, V., Moir, M.: Towards formally specifying and verifying transactional memory. Formal Aspects of Computing\u00a025(5), 1\u201331 (2012)","journal-title":"Formal Aspects of Computing"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/2332432.2332457","volume-title":"Proceedings of the 31st ACM Symposium on Principles of Distributed Computing, PODC 2012","author":"F. Ellen","year":"2012","unstructured":"Ellen, F., Fatourou, P., Kosmas, E., Milani, A., Travers, C.: Universal constructions that ensure disjoint-access parallelism and wait-freedom. In: Proceedings of the 31st ACM Symposium on Principles of Distributed Computing, PODC 2012, pp. 115\u2013124. ACM, New York (2012)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/1378533.1378587","volume-title":"Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, SPAA 2008","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapalka, M.: On obstruction-free transactions. In: Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, SPAA 2008, pp. 304\u2013313. ACM, New York (2008)"},{"key":"1_CR18","first-page":"175","volume-title":"Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2008","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2008, pp. 175\u2013184. ACM, New York (2008)"},{"doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: Principles of Transactional Memory (Synthesis Lectures on Distributed Computing Theory). Morgan and Claypool Publishers (2010)","key":"1_CR19","DOI":"10.2200\/S00253ED1V01Y201009DCT004"},{"doi-asserted-by":"crossref","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional Memory, 2nd edn. Morgan and Claypool Publishers (2010)","key":"1_CR20","DOI":"10.2200\/S00272ED1V01Y201006CAC011"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/173682.165164","volume":"21","author":"M. Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. SIGARCH Comput. Archit. News\u00a021(2), 289\u2013300 (1993)","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"3","key":"1_CR22","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M.P. Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Hutto, P., Ahamad, M.: Slow memory: Weakening consistency to enhance concurrency in distributed shared memories. In: Proceedings of the 10th International Conference on Distributed Computing Systems, ICDCS 1990, pp. 302\u2013309. IEEE (1990)","key":"1_CR23","DOI":"10.1109\/ICDCS.1990.89297"},{"doi-asserted-by":"crossref","unstructured":"Imbs, D., Raynal, M.: Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations). Theoretical Computer Science\u00a0444(0), 113\u2013127 (2009), Structural Information and Communication Complexity (SIROCCO) 2009","key":"1_CR24","DOI":"10.1016\/j.tcs.2012.04.037"},{"issue":"9","key":"1_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2007.04.009","volume":"174","author":"J. Maessen","year":"2007","unstructured":"Maessen, J.: Arvind: Store atomicity for transactional memory. Electr. Notes Theor. Comput. Sci.\u00a0174(9), 117\u2013137 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Marathe, V.J., Spear, M.F., Scott, M.L.: Scalable techniques for transparent privatization in software transactional memory. In: Proceedings of the 37th International Conference on Parallel Processing (ICPP), pp. 67\u201374. IEEE Computer Society (2008)","key":"1_CR26","DOI":"10.1109\/ICPP.2008.69"},{"doi-asserted-by":"crossref","unstructured":"Martin, M.M.K., Blundell, C., Lewis, E.: Subtleties of transactional memory atomicity semantics. Computer Architecture Letters\u00a05(2) (2006)","key":"1_CR27","DOI":"10.1109\/L-CA.2006.18"},{"key":"1_CR28","first-page":"44","volume-title":"Proceedings of the 13th International Conference on Database Theory, ICDT 2010","author":"R. Normann","year":"2010","unstructured":"Normann, R., \u00d8stby, L.T.: A theoretical study of \u2018snapshot isolation\u2019. In: Proceedings of the 13th International Conference on Database Theory, ICDT 2010, pp. 44\u201349. ACM, New York (2010)"},{"issue":"4","key":"1_CR29","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. Journal of the ACM\u00a026(4), 631\u2013653 (1979)","journal-title":"Journal of the ACM"},{"key":"1_CR30","first-page":"163","volume-title":"Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2009","author":"H.E. Ramadan","year":"2009","unstructured":"Ramadan, H.E., Roy, I., Herlihy, M., Witchel, E.: Committing conflicting transactions in an stm. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2009, pp. 163\u2013172. ACM, New York (2009)"},{"doi-asserted-by":"crossref","unstructured":"Raynal, M., Thia-Kime, G., Ahamad, M.: From serializable to causal transactions for collaborative applications. In: Proceedings of the 23rd EUROMICRO Conference, EUROMICRO 1997, pp. 314\u2013321. IEEE (1997)","key":"1_CR31","DOI":"10.1109\/EURMIC.1997.617301"},{"unstructured":"Riegel, T., Fetzer, C., Felber, P.: Snapshot isolation for software transactional memory. In: 1st ACM SIGPLAN Workshop on Languages Compilers, and Hardware Support for Transactional Computing, TRANSACT 2006 (2006)","key":"1_CR32"},{"key":"1_CR33","first-page":"221","volume-title":"Proceedings of the 19th ACM Symposium on Parallel Algorithms and Architectures, SPAA 2007","author":"T. Riegel","year":"2007","unstructured":"Riegel, T., Fetzer, C., Felber, P.: Time-based transactional memory with scalable time bases. In: Proceedings of the 19th ACM Symposium on Parallel Algorithms and Architectures, SPAA 2007, pp. 221\u2013228. ACM, New York (2007)"},{"key":"1_CR34","first-page":"336","volume-title":"Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC)","author":"M.L. Scott","year":"2007","unstructured":"Scott, M.L., Spear, M.F., Dalessandro, L., Marathe, V.J.: Transactions and privatization in delaunay triangulation. In: Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC), pp. 336\u2013337. ACM, New York (2007)"},{"key":"1_CR35","first-page":"204","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Distributed Computing, PODC 1995","author":"N. Shavit","year":"1995","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing, PODC 1995, pp. 204\u2013213. ACM, New York (1995)"},{"doi-asserted-by":"crossref","unstructured":"Siek, K., Wojciechowski, P.T.: Brief announcement: Towards a fully-articulated pessimistic distributed transactional memory. In: Proceedings of SPAA 2013: The 25th ACM Symposium on Parallelism in Algorithms and Architectures, Montreal, Canada, pp. 111\u2013114. ACM (July 2013)","key":"1_CR36","DOI":"10.1145\/2486159.2486166"},{"unstructured":"Siek, K., Wojciechowski, P.T.: Zen and the art of concurrency control: An exploration of tm safety property space with early release in mind. In: Euro-TM WTTM 6th Workshop on the Theory of Transactional Memory, WTTM 2014 (2014)","key":"1_CR37"},{"key":"1_CR38","first-page":"338","volume-title":"Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC)","author":"M.F. Spear","year":"2007","unstructured":"Spear, M.F., Marathe, V.J., Dalessandro, L., Scott, M.L.: Privatization techniques for software transactional memory. In: Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC), pp. 338\u2013339. ACM, New York (2007)"},{"key":"1_CR39","first-page":"275","volume-title":"Proceedings of the 20th ACM Symposium on Parallel Algorithms and Architectures, SPAA 2008","author":"M.F. Spear","year":"2008","unstructured":"Spear, M.F., Michael, M.M., von Praun, C.: Ringstm: scalable transactions with a single atomic instruction. In: Proceedings of the 20th ACM Symposium on Parallel Algorithms and Architectures, SPAA 2008, pp. 275\u2013284. ACM, New York (2008)"},{"doi-asserted-by":"crossref","unstructured":"Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers (2002)","key":"1_CR40","DOI":"10.1016\/B978-155860508-4\/50005-3"}],"container-title":["Lecture Notes in Computer Science","Transactional Memory. Foundations, Algorithms, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14720-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T22:04:05Z","timestamp":1566165845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14720-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147192","9783319147208"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14720-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}