Improving Performance of Highly-Programmable Concurrent Applications by Leveraging Parallel Nesting and Weaker Isolation Levels
暂无分享,去创建一个
Niles | Duane Francis | Niles | D. Francis
[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.