Daniel J. Abadi
Jose M. Faleiro
Skip Abstract Section
Abstract
Deterministic database systems show great promise, but their deployment may require changes in the way developers interact with the database.
- Batoory, D., Barnett, J., Garza, J., Smith, K., Tsukuda, K., Twichell, B. and Wise, T. Genesis: An extensible database management system. IEEE Trans. Software Engineering, 1988. Google Scholar
Digital Library
- Berenson, H., Bernstein, P., Gray, J., Melton, J., O'Neil, E. and O'Neil, P. A critique of ANSI SQL isolation levels. In Proc. of SIGMOD, 1995, 1--10. Google ScholarDigital Library
- Bernstein, P.A. and Goodman, N. Concurrency control in distributed database systems. ACM Comput. Surv. 13, 3 (1981), 185--221. Google ScholarDigital Library
- Bernstein, P.A., Hadzilacos, V. and Goodman, N. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987. Google ScholarDigital Library
- Breitbart, Y., Komondoor, R., Rastogi, R., Seshadri, S. and Silberschatz, A. Update propagation protocols for replicated databates. In Proc. of SIGMOD, 1999. Google ScholarDigital Library
- Carey, M.J., Dewitt, D.J., Graefe, G., Haight, D.M., Richardson, J.E., Schuh, D.T., Shekita, E.J. and Vandenberg, S.L. The EXODUS extensible DBMS project: An overview. In Readings in Object-Oriented Database Systems, 1990. Google ScholarDigital Library
- Chaudhuri, S. and Weikum, G. Rethinking database system architecture: Towards a self-tuning risc-style database system. In Proc. of VLDB, 2000. Google ScholarDigital Library
- Faleiro, J.M. and Abadi, D.J. Rethinking serializable multiversion concurrency control. PVLDB 8, 11 (2015). Google ScholarDigital Library
- Faleiro, J.M., Abadi, D.J., and Hellerstein, J.M. High performance transactions via early write visiblity. PVLDB 10, 5 (2017). Google ScholarDigital Library
- Faleiro, J.M., Thomson, A. and Abadi, D.J. Lazy evaluation of transactions in database systems. In Proc. of SIGMOD, 2014, 15--26. Google ScholarDigital Library
- Gray, J., Helland, P., O'Neil, P. and Shasha, D. The dangers of replication and a solution. In Proc. of SIGMOD, 1996. Google ScholarDigital Library
- Harizopoulos, S., Abadi, D.J., Madden, S.R. and Stonebraker, M. OLTP through the looking glass, and what we found there. In Proc. of SIGMOD, 2008. Google ScholarDigital Library
- Hellerstein, J.M., Stonebraker, M. and Hamilton, J. Architecture of a Database System, 2007. Google ScholarDigital Library
- Jimenez-Peris, R., Patino-Martinez, M. and Arevalo, S. Deterministic scheduling for transactional multithreaded replicas. In Proc. of SRDS, 2000. Google ScholarDigital Library
- Kemme, B. and Alonso, G. Don't be lazy, be consistent: Postgres-R, a new way to implement database replication. In Proc. of VLDB, 2000, 134--143. Google ScholarDigital Library
- King, R.P., Halim, N., Garcia-Molina, H. and Polyzois, C.A. Management of a remote backup copy for disaster recovery. ACM Trans. Database Syst. 16, 2 (1991), 338--368. Google ScholarDigital Library
- Larson, P.-A., Blanas, S., Diaconu, C., Freedman, C., Patel, J.M., and Zwilling, M. High-performance concurrency control mechanisms for main-memory databases. PVLDB 5, 4 (Dec. 2011), 298--309. Google ScholarDigital Library
- Lomet, D., Fekete, A., Weikum, G. and Zwilling, M. Unbundling transaction services in the cloud. In CIDR, 2009.Google Scholar
- Malviya, N., Weisberg, A., Madden, S., and Stonebraker, M. Rethinking main memory OLTP recovery. In Proc. of ICDE, 2014, 604--615.Google Scholar
- Mohan, C., Haderle, D., Lindsay, B., Pirahesh, H., and Schwarz, P. Aries: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging. ACM Trans. Database Syst. 17, 1 (1992), 94--162. Google ScholarDigital Library
- Pacitti, E., Minet, P., and Simon, E. Fast algorithms for maintaining replica consistency in lazy master replicated databases. In Proc. of VLDB, 1999, 126--137. Google ScholarDigital Library
- Polyzois, C.A. and Garcia-Molina, H. Evaluation of remote backup algorithms for transaction-processing systems. ACM Trans. Database Syst. 19, 3 (1994), 423--449. Google ScholarDigital Library
- Ren, K., Diamond, T., Abadi, D.J. and Thomson, A. Low-overhead asynchronous checkpointing in main-memory database systems. In SIGMOD, 2016, 1539--1551. Google ScholarDigital Library
- Ren, K., Faleiro, J. and Abadi, D.J. Design principles for scaling multi-core OLTP under high contention. In Proc. of SIGMOD, 2016. Google ScholarDigital Library
- Ren, K., Thomson, A. and Abadi, D.J. Lightweight locking for main memory database systems. PVLDB 6, 2 (2012), 145--156. Google ScholarDigital Library
- Ren, K., Thomson, A. and Abadi, D.J. An evaluation of the advantages and disadvantages of deterministic database systems. PVLDB 7, 10 (2014), 821--832. Google ScholarDigital Library
- Ren, K., Thomson, A. and Abadi, D.J. Vll: A lock manager redesign for main memory database systems. VLDB J. 24, 5 (Oct. 2015), 681--705. Google ScholarDigital Library
- Schneider, F. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Comput. Surv. 22, 4 (1990). Google ScholarDigital Library
- Sears, R.C. Stasis: Flexible Transactional Storage. Ph.D. thesis, EECS Department, UC Berkeley, 2010. Google ScholarDigital Library
- Stonebraker, M., Madden, S., Abadi, D., Harizopoulos, S., Hachem, N. and Helland, P. The end of an architectural era (it's time for a complete rewrite). In Proc. of VLDB, 2007. Google ScholarDigital Library
- Thomson, A. and Abadi, D.J. The case for determinism in database systems. In Proc. of VLDB, 2010. Google ScholarDigital Library
- Thomson, A. and Abadi, D.J. Modularity and scalability in Calvin. IEEE Data Engineering Bulletin 36, 2 (2013), 48--55.Google Scholar
- Thomson, A., Diamond, T., Weng, S.-C., Ren, K., Shao, P. and Abadi, D.J. Calvin: Fast distributed transactions for partitioned database systems. In SIGMOD, 2012. Google ScholarDigital Library
- Thomson, A., Diamond, T., Weng, S.-C., Ren, K., Shao, P. and Abadi, D.J. Fast distributed transactions and strongly consistent replication for OLTP database systems. ACM Trans. Database Syst. 39, 2 (May 2014), 11:1--11:39. Google ScholarDigital Library
- Tu, S., Zheng, W., Kohler, E., Liskov, B. and Madden, S. Speedy transactions in multicore in-memory databases. In Proc. of SOSP, 2013. Google ScholarDigital Library
- Wu, S.-H., Feng, T.-Y., Liao, M.-K., Pi, S.-K. and Lin, Y.-S. T-part: Partitioning of transactions for forward-pushing in deterministic database systems. In Proc. of SIGMOD, 2016. Google ScholarDigital Library
Index Terms
- An overview of deterministic database systems
Recommendations
IBM Relational Database Systems: The Early Years
The relational data model, proposed by E.F. Codd in 1970, inspired several research projects at IBM and elsewhere. Among these was System R, which demonstrated the commercial viability of relational database systems. This article describes the research ...
Comments