Exploiting Locality in Lease-Based Replicated Transactional Memory via Task Migration

We present Lilac-TM, the first locality-aware Distributed Software Transactional Memory (DSTM) implementation. Lilac-TM is a fully decentralized lease-based replicated DSTM. It employs a novel self-optimizing lease circulation scheme based on the idea of dynamically determining whether to migrate transactions to the nodes that own the leases required for their validation, or to demand the acquisition of these leases by the node that originated the transaction. Our experimental evaluation establishes that Lilac-TM provides significant performance gains for distributed workloads exhibiting data locality, while typically incurring little or no overhead for non-data local workloads.

[1]  Idit Keidar,et al.  Group communication specifications: a comprehensive study , 2001, CSUR.

[2]  Alberto Bartoli,et al.  Selecting a "primary partition" in partitionable asynchronous distributed systems , 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.

[3]  Paolo Romano,et al.  SCORe: A Scalable One-Copy Serializable Partial Replication Protocol , 2012, Middleware.

[4]  Nir Shavit,et al.  Transactional Locking II , 2006, DISC.

[5]  Rachid Guerraoui,et al.  On the correctness of transactional memory , 2008, PPoPP.

[6]  Luís E. T. Rodrigues,et al.  SCert: Speculative certification in replicated software transactional memories , 2011, SYSTOR '11.

[7]  Nir Shavit,et al.  Software transactional memory , 1995, PODC '95.

[8]  Gustavo Alonso,et al.  MIDDLE-R: Consistent database replication at the middleware level , 2005, TOCS.

[9]  Gustavo Alonso,et al.  Don't Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication , 2000, VLDB.

[10]  Mikel Luján,et al.  DiSTM: A Software Transactional Memory Framework for Clusters , 2008, 2008 37th International Conference on Parallel Processing.

[11]  Binoy Ravindran,et al.  On Transactional Scheduling in Distributed Transactional Memory Systems , 2010, SSS.

[12]  Luís E. T. Rodrigues,et al.  Asynchronous Lease-Based Replication of Software Transactional Memory , 2010, Middleware.

[13]  Alan L. Cox,et al.  Tradeoffs between false sharing and aggregation in software distributed shared memory , 1997, PPOPP '97.

[14]  Nuno Carvalho,et al.  Generic replication of software transactional memory , 2010, MDS '10.

[15]  Bettina Kemme,et al.  Postgres-R(SI): combining replica control with concurrency control based on snapshot isolation , 2005, 21st International Conference on Data Engineering (ICDE'05).

[16]  Ricardo Jiménez-Peris,et al.  Middleware based data replication providing snapshot isolation , 2005, SIGMOD '05.

[17]  Rachid Guerraoui,et al.  The Database State Machine Approach , 2003, Distributed and Parallel Databases.

[18]  Rachid Guerraoui,et al.  Introduction to reliable distributed programming , 2006 .

[19]  Fernando Pedone,et al.  P-Store: Genuine Partial Replication in Wide Area Networks , 2010, 2010 29th IEEE Symposium on Reliable Distributed Systems.

[20]  Keir Fraser,et al.  Language support for lightweight transactions , 2003, SIGP.

[21]  Maurice Herlihy,et al.  A flexible framework for implementing software transactional memory , 2006, OOPSLA '06.

[22]  Roberto Palmieri,et al.  AGGRO: Boosting STM Replication via Aggressively Optimistic Transaction Processing , 2010, 2010 Ninth IEEE International Symposium on Network Computing and Applications.

[23]  Luís E. T. Rodrigues,et al.  D2STM: Dependable Distributed Software Transactional Memory , 2009, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.

[24]  Luís E. T. Rodrigues,et al.  When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication , 2012, 2012 IEEE 32nd International Conference on Distributed Computing Systems.

[25]  Paolo Romano,et al.  D 2 STM : Dependable Distributed Software Transactional Memory ∗ , 2009 .

[26]  Dennis Shasha,et al.  The dangers of replication and a solution , 1996, SIGMOD '96.

[27]  Fernando Pedone,et al.  Pronto: High availability for standard off-the-shelf databases , 2008, J. Parallel Distributed Comput..

[28]  Paolo Romano,et al.  Towards distributed software transactional memory systems , 2008, LADIS '08.

[29]  Binoy Ravindran,et al.  Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems , 2012, 2012 IEEE 24th International Symposium on Computer Architecture and High Performance Computing.

[30]  Roberto Palmieri,et al.  OSARE: Opportunistic Speculation in Actively REplicated Transactional Systems , 2011, 2011 IEEE 30th International Symposium on Reliable Distributed Systems.

[31]  Maurice Herlihy,et al.  Transactional Memory: Architectural Support For Lock-free Data Structures , 1993, Proceedings of the 20th Annual International Symposium on Computer Architecture.

[32]  André Schiper,et al.  Comparison of database replication techniques based on total order broadcast , 2005, IEEE Transactions on Knowledge and Data Engineering.

[33]  C. H. Flood,et al.  The Fortress Language Specification , 2007 .

[34]  Luís E. T. Rodrigues,et al.  Appia, a flexible protocol kernel supporting multiple coordinated channels , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[35]  Luís E. T. Rodrigues,et al.  A Generic Framework for Replicated Software Transactional Memories , 2011, 2011 IEEE 10th International Symposium on Network Computing and Applications.

[36]  Gustavo Alonso,et al.  Using Optimistic Atomic Broadcast in Transaction Processing Systems , 2003, IEEE Trans. Knowl. Data Eng..

[37]  Gustavo Alonso,et al.  A suite of database replication protocols based on group communication primitives , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[38]  Marcos K. Aguilera,et al.  Sinfonia: a new paradigm for building scalable distributed systems , 2007, SOSP.

[39]  Luca Benini,et al.  Towards Transactional Memory Support for GCC , 2009 .

[40]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .