Improving Performance of Highly-Programmable Concurrent Applications by Leveraging Parallel Nesting and Weaker Isolation Levels

[1]  Cheng Li,et al.  Making geo-replicated systems fast as possible, consistent when necessary , 2012, OSDI 2012.

[2]  Antony L. Hosking,et al.  Nested transactional memory: Model and architecture sketches , 2006, Sci. Comput. Program..

[3]  João P. Cachopo,et al.  Lock-free and scalable multi-version software transactional memory , 2011, PPoPP '11.

[4]  Binoy Ravindran,et al.  On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory , 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.

[5]  João Leitão,et al.  Automating the Choice of Consistency Levels in Replicated Systems , 2014, USENIX Annual Technical Conference.

[6]  Adam Silberstein,et al.  Benchmarking cloud serving systems with YCSB , 2010, SoCC '10.

[7]  Leslie Lamport,et al.  Consensus on transaction commit , 2004, TODS.

[8]  Garth A. Gibson,et al.  PRObE: A Thousand-Node Experimental Cluster for Computer Systems Research , 2013, login Usenix Mag..

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

[10]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[11]  Rachid Guerraoui,et al.  Unifying Thread-Level Speculation and Transactional Memory , 2012, Middleware.

[12]  Patrick E. O'Neil,et al.  Precisely Serializable Snapshot Isolation (PSSI) , 2011, 2011 IEEE 27th International Conference on Data Engineering.

[13]  Roberto Palmieri,et al.  An Automated Framework for Decomposing Memory Transactions to Exploit Partial Rollback , 2015, 2015 IEEE International Parallel and Distributed Processing Symposium.

[14]  Jan Vitek,et al.  STMBench7: a benchmark for software transactional memory , 2007, EuroSys '07.

[15]  Roberto Palmieri,et al.  Hyflow2: a high performance distributed transactional memory framework in scala , 2013, PPPJ.

[16]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

[17]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[18]  David P. Rodgers,et al.  Improvements in multiprocessor system design , 1985, ISCA '85.

[19]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.

[20]  Kunle Olukotun,et al.  Implementing and evaluating nested parallel transactions in software transactional memory , 2010, SPAA '10.

[22]  Jeremy T. Fineman,et al.  Nested parallelism in transactional memory , 2008, PPoPP.

[23]  Andreas Reuter,et al.  Principles of transaction-oriented database recovery , 1983, CSUR.

[24]  Michael J. Cahill.  Serializable isolation for snapshot databases , 2009, TODS.

[25]  Marcos K. Aguilera,et al.  Consistency-based service level agreements for cloud storage , 2013, SOSP.

[26]  Jim Gray,et al.  A critique of ANSI SQL isolation levels , 1995, SIGMOD '95.

[27]  Margo I. Seltzer,et al.  Berkeley DB , 1999, USENIX Annual Technical Conference, FREENIX Track.

[28]  Leslie Lamport,et al.  Proving Liveness Properties of Concurrent Programs , 1982, TOPL.

[29]  Douglas Comer,et al.  Ubiquitous B-Tree , 1979, CSUR.

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

[31]  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.

[32]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[33]  João P. Cachopo,et al.  Practical Parallel Nesting for Software Transactional Memory , 2013, DISC.

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

[35]  Dennis Shasha,et al.  Making snapshot isolation serializable , 2005, TODS.