{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:33Z","timestamp":1750306953122,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T00:00:00Z","timestamp":1370908800000},"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":["Ada Lett."],"published-print":{"date-parts":[[2013,6,11]]},"abstract":"<jats:p>Classical lock-based concurrency control does not scale with current and foreseen multi-core architectures, opening space for alternative concurrency control mechanisms. The concept of transactions executing concurrently in isolation with an underlying mechanism maintaining a consistent system state was already explored in fault-tolerant and distributed systems, and is currently being explored by transactional memory, this time being used to manage concurrent memory access. In this paper we discuss the use of Software Transactional Memory (STM), and how Ada can provide support for it. Furthermore, we draft a general programming interface to transactional memory, supporting future implementations of STM oriented to real-time systems.<\/jats:p>","DOI":"10.1145\/2492312.2492321","type":"journal-article","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T16:03:45Z","timestamp":1370966625000},"page":"84-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Revisiting transactions in Ada"],"prefix":"10.1145","volume":"33","author":[{"given":"Ant\u00f3nio","family":"Barros","sequence":"first","affiliation":[{"name":"CISTER\/ISEP, Polytechnic Institute of Porto, Porto, Portugal"}]},{"given":"Lu\u00eds Miguel","family":"Pinho","sequence":"additional","affiliation":[{"name":"CISTER\/ISEP, Polytechnic Institute of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2013,6,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095421"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1993.287700"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/519167.828785"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.27"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924421.1924440"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693462"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874790"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.57"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774158"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2011.46"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646577.697450"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/568671.568685"},{"key":"e_1_2_1_15_1","first-page":"290","volume-title":"Marta Pati\u00f1o-Mart\u00ednez. Transaction Support for Ada. In Proceedings of the 6th International Conference on Reliable Software Technologies - Ada-Europe 2001","author":"Kienzle J\u00f6rg","year":"2001","unstructured":"J\u00f6rg Kienzle , Ricardo Jim\u00e9nez-Peris , Alexander Romanovsky , and Marta Pati\u00f1o-Mart\u00ednez. Transaction Support for Ada. In Proceedings of the 6th International Conference on Reliable Software Technologies - Ada-Europe 2001 , pages 290 -- 304 , 2001 . J\u00f6rg Kienzle, Ricardo Jim\u00e9nez-Peris, Alexander Romanovsky, and Marta Pati\u00f1o-Mart\u00ednez. Transaction Support for Ada. In Proceedings of the 6th International Conference on Reliable Software Technologies - Ada-Europe 2001, pages 290--304, 2001."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949340"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693465"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01728-5","volume-title":"Transactional Memory","author":"Harris Tim","year":"2010","unstructured":"Tim Harris , James Larus , and Ravi Rajwar . Transactional Memory , 2 nd edition. Synthesis Lectures on Computer Architecture , 5(1):1--263, December 2010 . Tim Harris, James Larus, and Ravi Rajwar. Transactional Memory, 2nd edition. Synthesis Lectures on Computer Architecture, 5(1):1--263, December 2010.","edition":"2"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_13"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_14"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_20"},{"key":"e_1_2_1_22_1","volume-title":"Perelman and Idit Keidar. SMV: Selective Multi-Versioning STM. In Proceedings of the 5th ACM SIGPLAN Workshop on Transactional Computing","author":"Dmitri","year":"2010","unstructured":"Dmitri Perelman and Idit Keidar. SMV: Selective Multi-Versioning STM. In Proceedings of the 5th ACM SIGPLAN Workshop on Transactional Computing , April 2010 . Dmitri Perelman and Idit Keidar. SMV: Selective Multi-Versioning STM. In Proceedings of the 5th ACM SIGPLAN Workshop on Transactional Computing, April 2010."}],"container-title":["ACM SIGAda Ada Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2492312.2492321","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2492312.2492321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:02Z","timestamp":1750235942000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2492312.2492321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,11]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,6,11]]}},"alternative-id":["10.1145\/2492312.2492321"],"URL":"https:\/\/doi.org\/10.1145\/2492312.2492321","relation":{},"ISSN":["1094-3641"],"issn-type":[{"type":"print","value":"1094-3641"}],"subject":[],"published":{"date-parts":[[2013,6,11]]},"assertion":[{"value":"2013-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}