Proving Opacity of Transactional Memory with Early Release

[1] Afek, Y., Morrison, A., and Tzafrir, M. Brief announcement: View Transactions: Transactional Model with Relaxed Consistency Checks. In Proc. PODC’10, 2010.10.1145/1835698.1835711Search in Google Scholar

[2] Attiya, H., Gotsman, A., Hans, S., and Rinetzky, N. A programming language perspective on transactional memory consistency. In Proc. PODC’13, 2013.10.1145/2484239.2484267Search in Google Scholar

[3] Bernstein, P. A., Hadzilacos, V., and Goodman, N. Concurrency control and recovery in database systems. Addison-Wesley, 1987.Search in Google Scholar

[4] Bieniusa, A., Middelkoop, A., and Thiemann, P. Brief announcement: actions in the twilight-concurrent irrevocable transactions and inconsistency repair. In PODC ’10, 2010.10.1145/1835698.1835714Search in Google Scholar

[5] Dice, D., Shalev, O., and Shavit, N. Transactional Locking II. In Proc. DISC’06, 2006.10.1007/11864219_14Search in Google Scholar

[6] Doherty, S., Groves, L., Luchangco, V., and Moir, M. Towards formally specifying and verifying transactional memory. Formal Aspects of Computing, 25, Sept. 2013.10.1007/s00165-012-0225-8Search in Google Scholar

[7] Dziuma, D., Fatourou, P., and Kanellou, E. Consistency for transactional memory computing. Bulletin of the EATCS, 113, 2014.10.1007/978-3-319-14720-8_1Search in Google Scholar

[8] Felber, P., Gramoli, V., and Guerraoui, R. Elastic Transactions. In Proc. DISC’09, Sept. 2009.10.1007/978-3-642-04355-0_12Search in Google Scholar

[9] Guerraoui, R. and Kapałka, M. On the correctness of transactional memory. In Proc. PPoPP’08, Feb. 2008.10.1145/1345206.1345233Search in Google Scholar

[10] Guerraoui, R. and Kapałka, M. Principles of Transactional Memory. Morgan & Claypool, 2010.10.2200/S00253ED1V01Y201009DCT004Search in Google Scholar

[11] Harris, T. and Fraser, K. Language Support for Lightweight Transactions. In Proc. OOPSLA’03, Oct. 2003.10.1145/949305.949340Search in Google Scholar

[12] Harris, T., Marlow, S., Peyton Jones, S., and Herlihy, M. Composable memory transactions. In Proc. PPoPP’05, June 2005.10.1145/1065944.1065952Search in Google Scholar

[13] He, J., Hoare, C. A. R., and Sanders, J. W. Data refinement refined. In Proc. ESOP’86, 1986.10.1007/3-540-16442-1_14Search in Google Scholar

[14] Herlihy, M., Luchangco, V., Moir, M., and William N. Scherer, I. Software transactional memory for dynamic-sized data structures. In Proc. PODC’03, 2003.10.1145/872035.872048Search in Google Scholar

[15] Herlihy, M. and Moss, J. E. B. Transactional memory: Architectural support for lock-free data structures. In Proc. ISCA’93, May 1993.10.1145/165123.165164Search in Google Scholar

[16] Imbs, D., de Mendivil, J. R., and Raynal, M. On the Consistency Conditions or Transactional Memories. Technical report, Dec. 2008.Search in Google Scholar

[17] Lesani, M. and Palsberg, J. Decomposing opacity. In Proc. DISC’14, Oct. 2014.10.1007/978-3-662-45174-8_27Search in Google Scholar

[18] Ni, Y., Welc, A., Adl-Tabatabai, A.-R., Bach, M., Berkowits, S., Cownie, J., Geva, R., Kozhukow, S., Narayanaswamy, R., Olivier, J., Preis, S., Saha, B., Tal, A., and Tian, X. Design and implementation of transactional constructs for C/C++. In Proc. OOPSLA’08, 2008.10.1145/1449764.1449780Search in Google Scholar

[19] Papadimitrou, C. H. The Serializability of Concurrent Database Updates. Journal of the ACM, 26(4):631-653, 1979.10.1145/322154.322158Search in Google Scholar

[20] Ramadan, H. E., Roy, I., Herlihy, M., and Witchel, E. Committing Conflicting Transactions in an STM. In Proc. PPoPP’09, Feb. 2009. 10.1145/1504176.1504201Search in Google Scholar

[21] Ringenburg, M. F. and Grossman, D. AtomCaml: first-class atomicity via rollback. In Proc. ICFP’05, Sept. 2005.10.1145/1086365.1086378Search in Google Scholar

[22] Shavit, N. and Touitou, D. Software Transactional Memory. In Proc. PODC’95, Aug. 1995.10.1145/224964.224987Search in Google Scholar

[23] Siek, K. and Wojciechowski, P. T. Atomic RMI: a Distributed Transactional Memory Framework. In Proc. HLPP’14, July 2014.Search in Google Scholar

[24] Siek, K. and Wojciechowski, P. T. Brief announcement: Relaxing opacity in pessimistic transactional memory. In Proc. DISC’14, 2014.Search in Google Scholar

[25] Siek, K. and Wojciechowski, P. T. Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind. In Proc. WTTM’14, July 2014.Search in Google Scholar

[26] Siek, K. and Wojciechowski, P. T. Atomic RMI: A Distributed Transactional Memory Framework. International Journal of Parallel Programming, 2015.10.1007/s10766-015-0361-xSearch in Google Scholar

[27] Wojciechowski, P. T. Isolation-only Transactions by Typing and Versioning. In Proc. PPDP’05, July 2005.10.1145/1069774.1069781Search in Google Scholar

[28] Wojciechowski, P. T., Rütti, O., and Schiper, A. SAMOA: A Framework for a Synchronisation-Augmented Microprotocol Approach. In Proc. IPDPS’04, Apr. 2004. Search in Google Scholar