SCert: Speculative Certification in replicated Software Transactional Memories

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages

  Carvalho, Nuno ^a   Romano, Paolo ^a   Rodrigues, Luís ^a  

^a INESC ID   (Portugal)

Author keywords

Algorithms; Performance; Reliability

Indexed keywords

ATOMIC BROADCAST; CONCURRENT ACCESS; CONVENTIONAL DATABASE; EXPERIMENTAL STUDIES; LOCK-BASED SYNCHRONIZATION; MESSAGE ORDERING; ORDERS OF MAGNITUDE; PERFORMANCE; PERFORMANCE GAIN; REPLICATION PROTOCOL; SOFTWARE TRANSACTIONAL MEMORY; SPECULATIVE APPROACH; STORAGE SYSTEMS; WAITING-TIME;

DATABASE SYSTEMS;

STORAGE ALLOCATION (COMPUTER);

EID: 79960092539     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1987816.1987830     Document Type: Conference Paper

References (36)

1. M. Aguilera, A. Merchant, M. Shah, A. Veitch, and C. Karamanolis. Sinfonia: a new paradigm for building scalable distributed systems. In Proc. of the 21st ACM SIGOPS Symp. on Operating Systems Principles (SOSP), pages 159-174. ACM, 2007. (Pubitemid 351429374)
2. A. Bartoli and O. Babaoglu. Selecting a "primary partition" in partitionable asynchronous distributed systems. In IEEE Symp. on Reliable Distributed Systems (SRDS), page 138, Los Alamitos, CA, USA, 1997.
3. P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
4. R. Bocchino, V. Adve, and B. Chamberlain. Software transactional memory for large scale clusters. In Proc. of the Symp. on Principles and Practice of Parallel Programming (PPOPP), pages 247-258. ACM, 2008.
5. A. Brito, C. Fetzer, and P. Felber. Multithreading-enabled active replication for event stream processing operators. In Proc. of the 2009 28th IEEE Int'l Symp. on Reliable Distributed Systems (SRDS), pages 22-31, Washington, DC, USA, 2009.
6. J. Cachopo. Development of Rich Domain Models with Atomic Actions. PhD thesis, Technical University of Lisbon, 2007.
7. J. Cachopo and A. Rito-Silva. Combining software transactional memory with a domain modeling language to simplify web application development. In Proc. of the 6th ACM Int'l Conf. on Web engineering, ICWE '06, pages 297-304, New York, NY, USA, 2006. (Pubitemid 46946832)
8. N. Carvalho, J. Pereira, and L. Rodrigues. Towards a generic group communication service. In Proc. of the Int'l Symp. on Distributed Objects and Applications (DOA), 2006.
9. N. Carvalho, P. Romano, and L. Rodrigues. Asynchronous lease-based replication of software transactional memory. In Proc. of the ACM/IFIP/USENIX 11th Middleware Conf., Bangalore, India, Nov. 2010.
10. G. V. Chockler, I. Keidar, and R. Vitenberg. Group communication specifications: a comprehensive study. ACM Computing Surveys (CSUR), 33(4):427-469, 2001. (Pubitemid 33720522)
11. 2STM: Dependable Distributed Software Transactional Memory. In Proc. of the 15th Pacific Rim Int. Symp. on Dependable Computing (PRDC), Shanghai, China, Nov. 2009.
12. X. Defago, A. Schiper, and P. Urban. Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing Surveys, 36(4):372-421, 2004. (Pubitemid 40232355)
13. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In Proc. of the Int'l Symp. on Distributed Computing (DISC), pages 194-208, 2006. (Pubitemid 44849711)
14. J. Gray, P. Helland, P. O'Neil, and D. Shasha. The dangers of replication and a solution. In Proc. of the Conf. on the Management of Data (SIGMOD), pages 173-182. ACM, 1996. (Pubitemid 126440766)
15. R. Guerraoui and M. Kapalka. On the correctness of transactional memory. In Proc. of the 13th ACM SIGPLAN Symp. on Principles and practice of parallel programming (PPoPP), pages 175-184, 2008.
16. R. Guerraoui and L. Rodrigues. Introduction to Reliable Distributed Programming. Springer, 2006.
17. M. Herlihy, V. Luchangco, and M. Moir. A exible framework for implementing software transactional memory. SIGPLAN Not., 41(10):253-262, 2006. (Pubitemid 46726085)
18. IST. Fenixedu. http://fenixedu.sourceforge.net, 2009.
19. R. Jiménez-Peris, M. Patiño Martínez, and G. Alonso. Non-intrusive, parallel recovery of replicated data. In Proc. of the 21st IEEE Symp. on Reliable Distributed Systems (SRDS), page 150, Washington, DC, USA, 2002.
20. P. Keleher, A. L. Cox, and W. Zwaenepoel. Lazy release consistency for software distributed shared memory. In Proc of the 19th Int. Symp. on Computer Architecture (ISCA), pages 13-21, New York, NY, USA, 1992. ACM. (Pubitemid 23579916)
21. B. Kemme and G. Alonso. A suite of database replication protocols based on group communication primitives. In Proc. of the IEEE Int'l Conf. on Distributed Computing Systems (ICDCS), page 156, 1998.
22. B. Kemme, F. Pedone, G. Alonso, and A. Schiper. Processing transactions over optimistic atomic broadcast protocols. In Proc. of the 19th IEEE Int'l Conf. on Distributed Computing Systems (ICDCS), page 424, 1999.
23. C. Kotselidis, M. Ansari, K. Jarvis, M. Lujan, C. Kirkham, and I. Watson. DiSTM: A software transactional memory framework for clusters. In Proc. of the Int'l Conf. on Parallel Processing (ICPP), pages 51-58, 2008.
24. C. Kotselidis, M. Lujan, M. Ansari, K. Malakasis, B. Kahn, C. Kirkham, and I. Watson. Clustering JVMs with software transactional memory support. In Int'l Symp. on Parallel Distributed Processing (IPDPS), pages 1 -12, April 2010.
25. K. Li and P. Hudak. Memory coherence in shared virtual memory systems. In Proc. of the Symp. on Principles of Distributed Computing, pages 229-239. ACM, 1986.
26. K. Manassiev, M. Mihailescu, and C. Amza. Exploiting distributed version concurrency in a transactional memory cluster. In Proc. of the Symp. on Principles and Practice of Parallel Programming (PPOPP), pages 198-208. ACM, 2006. (Pubitemid 44758690)
27. M. Martin, C. Blundell, and E. Lewis. Subtleties of transactional memory atomicity semantics. IEEE Computer Architecture Letters, 5(2):17, 2006.
28. H. Miranda, A. Pinto, and L. Rodrigues. Appia, a exible protocol kernel supporting multiple coordinated channels. In Proc. Int'l Conf. on Distributed Computing Systems (ICDCS), pages 707-710. IEEE, 2001. (Pubitemid 32478332)
29. R. Palmieri, F. Quaglia, and P. Romano. Aggro: Boosting STM replication via aggressively optimistic transaction processing. In 9th IEEE Int'l Symp. on Network Computing and Applications (NCA), pages 20 -27, July 2010.
30. R. Palmieri, F. Quaglia, P. Romano, and N. Carvalho. Evaluating database-oriented replication schemes in software transactional memory systems. In In Proc. of the IEEE Int'l Symp. on Parallel Distributed Processing, Workshops and PhD Forum (IPDPSW), pages 1 -8, April 2010.
31. M. Patino-Martínez, R. Jiménez-Peris, B. Kemme, and G. Alonso. Scalable replication in database clusters. In Proc. of the Int'l Conf. on Distributed Computing (DISC), pages 315-329. Springer-Verlag, 2000.
32. F. Pedone, R. Guerraoui, and A. Schiper. The database state machine approach. Distributed and Parallel Databases, 14(1):71-98, 2003.
33. F. Pedone and A. Schiper. Optimistic atomic broadcast: a pragmatic viewpoint. Theoretical Computer Science - Special issue: Distributed computing, 291:79-101, January 2003.
34. P. Romano, N. Carvalho, and L. Rodrigues. Towards distributed software transactional memory systems. In Proc. of the Workshop on Large-Scale Distributed Systems and Middleware (LADIS), 2008.
35. P. Romano, R. Palmieri, F. Quaglia, N. Carvalho, and L. Rodrigues. An optimal speculative transactional replication protocol. In Int'l Symp. on Parallel and Distributed Processing with Applications (ISPA), pages 449 -457, September 2010.
36. N. Schiper, P. Sutra, and F. Pedone. P-store: Genuine partial replication in wide area networks. In 29th IEEE Symp. on Reliable Distributed Systems (SRDS), pages 214 -224, 31 2010-nov. 3 2010.