Toward a theory of input acceptance for transactional memories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5401 LNCS, Issue , 2008, Pages 527-533

  Gramoli, Vincent ^a,b   Harmanci, Derin ^b   Felber, Pascal ^b  

^a EPFL   (Switzerland)

^b UNIVERSITY OF NEUCHÂTEL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; PROGRAMMING THEORY; STORAGE ALLOCATION (COMPUTER);

INPUT PATTERNS; MULTI-CORE ARCHITECTURES; TRANSACTIONAL MEMORIES;

COMPUTER ARCHITECTURE;

EID: 58849128730     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92221-6_33     Document Type: Conference Paper

References (12)

1. Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: PODC 2003, pp. 92-101 (2003)
2. Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM 26(4), 631-653 (1979)
3. Guerraoui, R., Kapałka, M.: On the correctness of transactional memory. In: PPoPP 2008, pp. 175-184 (February 2008)
4. Yannakakis, M.: Serializability by locking. J. ACM 31(2), 227-244 (1984)
5. Riegel, T., Fetzer, C., Sturzrehm, H., Felber, P.: From causal to z-linearizable transactional memory. In: PODC 2007, pp. 340-341 (2007)
6. Napper, J., Alvisi, L.: Lock-free serializable transactions. Technical Report TR-05-04, Department of Computer Sciences, University of Texas at Austin (2005)
7. Aydonat, U., Abdelrahman, T.S.: Serializability of transactions in software transactional memory. In: TRANSACT 2008. ACM, New York (2008)
8. Felber, P., Riegel, T., Fetzer, C.: Dynamic performance tuning of word-based software transactional memory. In: PPoPP 2008 (February 2008)
9. Gramoli, V., Harmanci, D., Felber, P.: Toward a theory of input acceptance for transactional memories. Technical Report LPD-REPORT-2008-009, EPFL (2008)
10. Harris, T., Fraser, K.: Language support for lightweight transactions. SIGPLAN Not 38(11), 388-402 (2003)
11. Dice, D., Shalev, O., Shavit, N.: Transactional locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol. 4167, pp. 194-208. Springer, Heidelberg (2006)
12. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)