On Replication of Software Transactional Memories

(Invited Talk)
  • Luis Rodrigues
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5401)


Software Transactional Memory (STM) systems have garnered considerable interest of late due to the recent architectural trend that has led to the pervasive adoption of multi-core CPUs. STMs represent an attractive solution to spare programmers from the pitfalls of conventional explicit lock-based thread synchronization, leveraging on concurrency-control concepts used for decades by the database community to simplify the mainstream parallel programming [1].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Adl-Tabatabai, A.R., Kozyrakis, C., Saha, B.: Unlocking concurrency. ACM Queue 4, 24–33 (2007)CrossRefGoogle Scholar
  2. 2.
    Cachopo, J.: Development of Rich Domain Models with Atomic Actions. PhD thesis, Instituto Superior Técnico/Universidade Técnica de Lisboa (2007)Google Scholar
  3. 3.
    Carvalho, N., Cachopo, J., Rodrigues, L., Rito Silva, A.: Versioned transactional shared memory for the FénixEDU web application. In: Proc. of the Second Workshop on Dependable Distributed Data Management (in conjunction with Eurosys 2008), Glasgow, Scotland. ACM, New York (2008)Google Scholar
  4. 4.
    Agrawal, D., Alonso, G., Abbadi, A.E., Stanoi, I.: Exploiting atomic broadcast in replicated databases (extended abstract). In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol. 1300, pp. 496–503. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  5. 5.
    Cecchet, E., Marguerite, J., Zwaenepole, W.: C-JDBC: flexible database clustering middleware. In: Proc. of the USENIX Annual Technical Conference, Berkeley, CA, USA, p. 26. USENIX Association (2004)Google Scholar
  6. 6.
    Patiño-Martínez, M., Jiménez-Peris, R., Kemme, B., Alonso, G.: Scalable replication in database clusters. In: Proc. of the 14th International Conference on Distributed Computing, London, UK, pp. 315–329. Springer, Heidelberg (2000)Google Scholar
  7. 7.
    Pedone, F., Guerraoui, R., Schiper, A.: The database state machine approach. Distributed and Parallel Databases 14, 71–98 (2003)CrossRefGoogle Scholar
  8. 8.
    Transaction Processing Performance Council: TPC BenchmarkTM W, Standard Specification, Version 1.8. Transaction Processing Perfomance Council (2002)Google Scholar
  9. 9.
    Guerraoui, R., Kapalka, M., Vitek, J.: Stmbench7: a benchmark for software transactional memory. SIGOPS Oper. Syst. Rev. 41, 315–324 (2007)CrossRefGoogle Scholar
  10. 10.
    Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Kouznetsov, P.: Mutual exclusion in asynchronous systems with failure detectors. J. Parallel Distrib. Comput. 65, 492–505 (2005)CrossRefzbMATHGoogle Scholar
  11. 11.
    Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. J. ACM 35, 288–323 (1988)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Cristian, F., Fetzer, C.: The timed asynchronous distributed system model. IEEE Transactions on Parallel and Distributed Systems 10, 642–657 (1999)CrossRefGoogle Scholar
  13. 13.
    Brasileiro, F.V., Greve, F., Mostéfaoui, A., Raynal, M.: Consensus in one communication step. In: Proc. of the International Conference on Parallel Computing Technologies, pp. 42–50 (2001)Google Scholar
  14. 14.
    Lamport, L.: Fast paxos. Distributed Computing 9, 79–103 (2006)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Luis Rodrigues
    • 1
  1. 1.INESC-ID/IST, joint work with:, Paolo Romano and Nuno Carvalho, INESC-IDPortugal

Personalised recommendations