Abstract
We present HiperTM, a high performance active replication protocol for fault-tolerant distributed transactional memory. The active replication paradigm allows transactions to execute locally, costing them only a single network communication step during transaction execution. Shared objects are replicated across all sites, avoiding remote object accesses. Replica consistency is ensured by a) OS-Paxos, an optimistic atomic broadcast layer that total-orders transactional requests, and b) SCC, a local multi-version concurrency control protocol that enforces a commit order equivalent to transactions’ delivery order. SCC executes write transactions serially without incurring any synchronization overhead, and runs read-only transactions in parallel (to write transactions) with non-blocking execution and abort-freedom. Our implementation reveals that HiperTM guarantees 0% of out-of-order optimistic deliveries and performance up to 1.2× better than atomic broadcast-based competitor (PaxosSTM).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)
Biely, M., Milosevic, Z., Santos, N., Schiper, A.: S-Paxos: Offloading the Leader for High Throughput State Machine Replication. In: SRDS (2012)
Carvalho, N., Romano, P., Rodrigues, L.: Scert: Speculative certification in replicated software transactional memories. In: SYSTOR (2011)
T. Council. TPC-C benchmark (2010)
Cowling, J., Liskov, B.: Granola: Low-overhead distributed transaction coordination. In: USENIX Annual Technical Conference (2012)
Defago, X., Schiper, A., Urban, P.: Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing Surveys 36(4) (2004)
Dice, D., Shalev, O., Shavit, N.: Transactional locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol. 4167, pp. 194–208. Springer, Heidelberg (2006)
Dragojevic, A., Guerraoui, R., Kapalka, M.: Stretching transactional memory. In: PLDI (2009)
Fraser, K.: Practical lock freedom. PhD thesis. Cambridge Univ. Computer Laboratory (2003)
Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: PPOPP (2008)
Guerraoui, R., Rodrigues, L.: Introduction to Reliable Distributed Programming (2006)
Jiménez-Peris, R., Patiño-Martínez, M., Arévalo, S.: Deterministic scheduling for transactional multithreaded replicas. In: SRDS (2000)
Kemme, B., Alonso, G.: Don’t be lazy, be consistent: Postgres-R, a new way to implement database replication. In: VLDB (2000)
Kemme, B., Pedone, F., Alonso, G., Schiper, A., Wiesmann, M.: Using optimistic atomic broadcast in transaction processing systems. IEEE TKDE 15(4) (2003)
Kobus, T., Kokocinski, T., Wojciechowski, P.: Practical considerations of distributed STM systems development (abstract). In: WDTM (2012)
Kończak, J., Santos, N., Żurkowski, T., Wojciechowski, P.T., Schiper, A.: JPaxos: State machine replication based on the Paxos protocol. Technical report, EPFL (2011)
Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst., 133–169 (1998)
Palmieri, R., Quaglia, F., Romano, P.: AGGRO: Boosting STM replication via aggressively optimistic transaction processing. In: NCA (2010)
Palmieri, R., Quaglia, F., Romano, P.: OSARE: Opportunistic speculation in actively replicated transactional systems. In: SRDS (2011)
Patino-Martinez, M., Jiménez-Peris, R., Kemme, B., Alonso, G.: MIDDLE-R: Consistent database replication at the middleware level. ACM Trans. Comput. Syst. 23(4) (2005)
Pedone, F., Frølund, S.: Pronto: High availability for standard off-the-shelf databases. J. Parallel Distrib. Comput. 68(2) (2008)
Pedone, F., Schiper, A.: Optimistic atomic broadcast. In: Kutten, S. (ed.) DISC 1998. LNCS, vol. 1499, pp. 318–332. Springer, Heidelberg (1998)
Peluso, S., Fernandes, J., Romano, P., Quaglia, F., Rodrigues, L.: SPECULA: Speculative replication of software transactional memory. In: SRDS (2012)
Peluso, S., Romano, P., Quaglia, F.: SCORe: A scalable one-copy serializable partial replication protocol. In: Narasimhan, P., Triantafillou, P. (eds.) Middleware 2012. LNCS, vol. 7662, pp. 456–475. Springer, Heidelberg (2012)
Santos, N., Schiper, A.: Tuning paxos for high-throughput with batching and pipelining. In: Bononi, L., Datta, A.K., Devismes, S., Misra, A. (eds.) ICDCN 2012. LNCS, vol. 7129, pp. 153–167. Springer, Heidelberg (2012)
Schiper, N., Sutra, P., Pedone, F.: P-store:genuine partial replication in WAN. In: SRDS (2010)
Schneider, F.B.: Replication management using the state-machine approach. ACM Press/Addison-Wesley Publishing Co. (1993)
Peluso, S., Palmieri, R., Quaglia, F., Ravindran, B.: On the viability of speculative transactional replication in database systems: a case study with PostgreSQL. In: NCA (2013)
Shavit, N., Touitou, D.: Software transactional memory. In: PODC (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hirve, S., Palmieri, R., Ravindran, B. (2014). HiperTM: High Performance, Fault-Tolerant Transactional Memory. In: Chatterjee, M., Cao, Jn., Kothapalli, K., Rajsbaum, S. (eds) Distributed Computing and Networking. ICDCN 2014. Lecture Notes in Computer Science, vol 8314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45249-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-45249-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45248-2
Online ISBN: 978-3-642-45249-9
eBook Packages: Computer ScienceComputer Science (R0)