{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T21:34:29Z","timestamp":1763415269095},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,12,2]],"date-time":"2010-12-02T00:00:00Z","timestamp":1291248000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s00224-010-9304-5","type":"journal-article","created":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T01:44:08Z","timestamp":1291167848000},"page":"698-719","source":"Crossref","is-referenced-by-count":18,"title":["Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory"],"prefix":"10.1007","volume":"49","author":[{"given":"Hagit","family":"Attiya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eshcar","family":"Hillel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessia","family":"Milani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,12,2]]},"reference":[{"issue":"4","key":"9304_CR1","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1145\/153724.153741","volume":"40","author":"Y. Afek","year":"1993","unstructured":"Afek, Y., Attiya, H., Dolev, D., Gafni, E., Merritt, M., Shavit, N.: Atomic snapshots of shared memory. J. Assoc. Comput. Mach. 40(4), 873\u2013890 (1993)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9304_CR2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/11947950_35","volume-title":"Proc. 8th International Conference on Distributed Computing and Networking","author":"H. Attiya","year":"2006","unstructured":"Attiya, H., Ellen, F., Fatourou, P.: The complexity of updating multi-writer snapshot objects. In: Proc. 8th International Conference on Distributed Computing and Networking, pp. 319\u2013330 (2006)"},{"key":"9304_CR3","first-page":"336","volume-title":"Proc. 20th ACM Symposium on Parallelism in Algorithms and Architectures","author":"H. Attiya","year":"2008","unstructured":"Attiya, H., Guerraoui, R., Ruppert, E.: Partial snapshot objects. In: Proc. 20th ACM Symposium on Parallelism in Algorithms and Architectures, pp. 336\u2013343 (2008)"},{"key":"9304_CR4","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/978-3-540-69355-0_12","volume-title":"Proc. 15th International Colloquium on Structural Information and Communication Complexity","author":"H. Avni","year":"2008","unstructured":"Avni, H., Shavit, N.: Maintaining consistent transactional states without a global clock. In: Proc. 15th International Colloquium on Structural Information and Communication Complexity, pp. 131\u2013140 (2008)"},{"key":"9304_CR5","volume-title":"3rd ACM SIGPLAN Workshop on Transactional Computing","author":"U. Aydonat","year":"2008","unstructured":"Aydonat, U., Abdelrahman, T.: Serializability of transactions in software transactional memory. In: 3rd ACM SIGPLAN Workshop on Transactional Computing (2008)"},{"issue":"2","key":"9304_CR6","doi-asserted-by":"crossref","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. 24(2), 1\u201310 (1995)","journal-title":"SIGMOD Rec."},{"key":"9304_CR7","first-page":"194","volume-title":"Proc. 20th International Symposium on Distributed Computing","author":"D. Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking II. In: Proc. 20th International Symposium on Distributed Computing, pp. 194\u2013208 (2006)"},{"key":"9304_CR8","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/978-3-540-92221-6_33","volume-title":"Proc. 13th International Conference on Principle of Distributed Systems","author":"V. Gramoli","year":"2008","unstructured":"Gramoli, V., Harmanci, D., Felber, P.: Towards a theory of input acceptance for transactional memories. In: Proc. 13th International Conference on Principle of Distributed Systems, pp. 527\u2013533 (2008)"},{"key":"9304_CR9","first-page":"304","volume-title":"Proc. 20th ACM Symposium on Parallelism in Algorithms and Architectures","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapalka, M.: On obstruction-free transactions. In: Proc. 20th ACM Symposium on Parallelism in Algorithms and Architectures, pp. 304\u2013313 (2008)"},{"key":"9304_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/1345206.1345233","volume-title":"Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 175\u2013184 (2008)"},{"key":"9304_CR11","first-page":"404","volume-title":"Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"R. Guerraoui","year":"2009","unstructured":"Guerraoui, R., Kapalka, M.: The semantics of progress in lock-based transactional memory. In: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 404\u2013415 (2009)"},{"key":"9304_CR12","first-page":"305","volume-title":"Proc. 22nd International Symposium on Distributed Computing","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Henzinger, T.A., Singh, V.: Permissiveness in transactional memories. In: Proc. 22nd International Symposium on Distributed Computing, pp. 305\u2013319 (2008)"},{"key":"9304_CR13","first-page":"265","volume-title":"Proc. 16th International Symposium on Distributed Computing","author":"T.L. Harris","year":"2002","unstructured":"Harris, T.L., Fraser, K., Pratt, I.A.: A practical multi-word compare-and-swap operation. In: Proc. 16th International Symposium on Distributed Computing, pp. 265\u2013279 (2002)"},{"key":"9304_CR14","volume-title":"The Art of Multiprocessor Programming","author":"M. Herlihy","year":"2008","unstructured":"Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Morgan Kaufmann, San Mateo (2008)"},{"issue":"3","key":"9304_CR15","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9304_CR16","first-page":"92","volume-title":"Proc. 22nd ACM Symposium on Principles of Distributed Computing","author":"M. Herlihy","year":"2003","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: Scherer III W. N.: Software transactional memory for dynamic-sized data structures. In: Proc. 22nd ACM Symposium on Principles of Distributed Computing, pp. 92\u2013101 (2003)"},{"key":"9304_CR17","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-92221-6_16","volume-title":"Proc. 13th International Conference on Principle of Distributed Systems","author":"D. Imbs","year":"2008","unstructured":"Imbs, D., Raynal, M.: A lock-based protocol for software transactional memory. In: Proc. 13th International Conference on Principle of Distributed Systems, pp. 226\u2013245 (2008)"},{"key":"9304_CR18","first-page":"142","volume-title":"Proc. 23nd International Symposium on Distributed Computing","author":"D. Imbs","year":"2009","unstructured":"Imbs, D., Raynal, M.: Help when needed, but no more: efficient read\/write partial snapshot. In: Proc. 23nd International Symposium on Distributed Computing, pp.\u00a0142\u2013156 (2009)"},{"key":"9304_CR19","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/1582716.1582764","volume-title":"Proc. 28th ACM Symposium on Principles of Distributed Computing","author":"D. Imbs","year":"2009","unstructured":"Imbs, D., Raynal, M., de Mendivil, J.R.: Brief announcement: virtual world consistency: a new condition for STM systems. In: Proc. 28th ACM Symposium on Principles of Distributed Computing, pp.\u00a0280\u2013281 (2009)"},{"key":"9304_CR20","first-page":"151","volume-title":"Proc. 13th ACM Symposium on Principles of Distributed Computing","author":"A. Israeli","year":"1994","unstructured":"Israeli, A., Rappoport, L.: Disjoint-access-parallel implementations of strong shared memory primitives. In: Proc. 13th ACM Symposium on Principles of Distributed Computing, pp. 151\u2013160 (1994)"},{"issue":"1","key":"9304_CR21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0020-0190(97)00189-0","volume":"65","author":"A. Israeli","year":"1998","unstructured":"Israeli, A., Shirazi, A.: The time complexity of updating snapshot memories. Inf. Process. Lett. 65(1), 33\u201340 (1998)","journal-title":"Inf. Process. Lett."},{"key":"9304_CR22","first-page":"59","volume-title":"Proc. 21th ACM Symposium on Parallelism in Algorithms and Architectures","author":"I. Keidar","year":"2009","unstructured":"Keidar, I., Perelman, D.: On avoiding spare aborts in transactional memory. In: Proc. 21th ACM Symposium on Parallelism in Algorithms and Architectures, pp. 59\u201368 (2009)"},{"issue":"9","key":"9304_CR23","doi-asserted-by":"crossref","first-page":"1070","DOI":"10.1109\/TKDE.2004.34","volume":"16","author":"S. Lu","year":"2004","unstructured":"Lu, S., Bernstein, A., Lewis, P.: Correct execution of transactions at different isolation levels. IEEE Trans. Knowl. Data Eng. 16(9), 1070\u20131081 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9304_CR24","unstructured":"Napper, J., Alvisi, L.: Lock-free serializable transactions. Technical Report TR-05-04, The University of Texas at Austin (2005)"},{"issue":"4","key":"9304_CR25","doi-asserted-by":"crossref","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. J. Assoc. Comput. Mach. 26(4), 631\u2013653 (1979)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9304_CR26","first-page":"284","volume-title":"Proc. 20th International Symposium on Distributed Computing","author":"T. Riegel","year":"2006","unstructured":"Riegel, T., Felber, P., Fetzer, C.: A lazy snapshot algorithm with eager validation. In: Proc. 20th International Symposium on Distributed Computing, pp. 284\u2013298 (2006)"},{"key":"9304_CR27","volume-title":"1st ACM SIGPLAN Workshop on Transactional Computing","author":"T. Riegel","year":"2006","unstructured":"Riegel, T., Fetzer, C., Felber, P.: Snapshot isolation for software transactional memory. In: 1st ACM SIGPLAN Workshop on Transactional Computing (2006)"},{"key":"9304_CR28","first-page":"340","volume-title":"Proc. 26th ACM Symposium on Principles of Distributed Computing","author":"T. Riegel","year":"2007","unstructured":"Riegel, T., Fetzer, C., Sturzrehm, H., Felber, P.: From causal to z-linearizable transactional memory. In: Proc. 26th ACM Symposium on Principles of Distributed Computing, pp. 340\u2013341 (2007)"},{"key":"9304_CR29","volume-title":"Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery","author":"G. Weikum","year":"2001","unstructured":"Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, San Mateo (2001)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-010-9304-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-010-9304-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-010-9304-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T07:54:22Z","timestamp":1558684462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-010-9304-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,2]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["9304"],"URL":"https:\/\/doi.org\/10.1007\/s00224-010-9304-5","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,2]]}}}