Fast In-memory Transaction Processing using RDMA and HTM

Fast In-memory Transaction Processing using RDMA and HTM - Wei et al. 2015 This paper tries to answer a natural question: with advanced processor features and fast interconnects, can we build a transaction processing system that is at least one order of magnitude faster than the state-of-the-art systems without using such features? The authors build … Continue reading Fast In-memory Transaction Processing using RDMA and HTM

Cooking the Books: Formalizing the JMM Implementation Recipes

Cooking the Books: Formalizing the JMM Implementation Recipes - Petri et al. 2015 A decade ago, the semantics of concurrent Java programs, the Java Memory Model (JMM), was revised and redefined... ... this refinement introduced a formalization called the Data-Race Free (DRF) guarantee. Programs that do not have data races (DRF) in their sequentially consistent … Continue reading Cooking the Books: Formalizing the JMM Implementation Recipes

Staring into the abyss: An evaluation of concurrency control with one thousand cores

Staring into the abyss: An evaluation of concurrency control with one thousand cores - Yu et al. 2014 A look at the 7 major concurrency control algorithms for OLTP DBMSs , and how well they perform when scaled to large numbers (1024) of cores. Each algorithm is optimised for the best in-memory performance possible, but … Continue reading Staring into the abyss: An evaluation of concurrency control with one thousand cores

Mojim: A Reliable and Highly-Available Non-Volatile Memory System

Mojim: A Reliable and Highly-Available Non-Volatile Memory System - Zhang et al. 2015 This is the second in a series of posts looking at the latest research from the recently held ASPLOS 15 conference. It seems like we've been anticipating NVMM (Non-volatile main memory) for a while now; and there has been plenty of research … Continue reading Mojim: A Reliable and Highly-Available Non-Volatile Memory System