OXenstored an efficient hierarchical and transactional database using functional programming with reference cell comparisons

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2009, Pages 203-214

  Gazagnaire, Thomas ^a   Hanquez, Vincent ^a  

^a Citrix Systems Inc   (United States)

Author keywords

Concurrency; Databases; Prefix trees; Transactions

Indexed keywords

AXIOMATIZATION; CELL COMPARISON; CONCURRENT TRANSACTIONS; EFFICIENT ALGORITHM; FUNCTIONAL DATAS; HYPERVISOR; PREFIX TREES; TRANSACTIONAL DATABASE; TREE-LIKE STRUCTURES; VIRTUALIZATIONS;

ALGORITHMS; DATABASE SYSTEMS; FLOCCULATION; TERMINOLOGY;

FUNCTIONAL PROGRAMMING;

EID: 70450195761     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596550.1596581     Document Type: Conference Paper

References (20)

1. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the Art of Virtualization. In SOSP '03: Proceedings of the nineteenth ACMsymposium on Operating systems principles, pages 164-177. ACM Press, 2003.
2. Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
3. Debmalya Biswas. Compensation in the World of Web Services Composition. In SWSWPC, pages 69-80. LNCS 3387, 2004.
4. Debmalya Biswas, Thomas Gazagnaire, and Blaise Genest. Small logs for transactional services: Distinction is much more accurate than (positive) discrimination. IEEE International Symposium on High-Assurance Systems Engineering, pages 97-106, 2008.
5. Paul Butterworth, Allen Otis, and Jacob Stein. The gemstone object database management system. Commun. ACM, 34(10):64-77, 1991.
6. Koen Claessen and David Sands. Observable Sharing for Functional Circuit Description. In In Asian Computing Science Conference, pages 62-73. Springer-Verlag, 1999.
7. Robert J. Creasy. The Origin of the VM/370 Time-Sharing System. IBM Journal of Research and Development, 25(5):483-490, 1981.
8. Robert Ennals. Efficient software transactional memory. Technical Report IRC-TR-05-051, Intel Research Cambridge Tech Report, 2005.
9. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst., 29(3):17, 2007.
10. Edward Fredkin. Trie memory. Commun. ACM, 3(9):490-499, 1960.
11. Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., 1992.
12. Theo Härder and Andreas Reuter. Principles of transaction-oriented database recovery. ACM Comput. Surv., 15(4):287-317, 1983.
13. Tim Harris and Keir Fraser. Language Support for Lightweight Transactions. In OOPSLA, 2003.
14. Xavier Leroy, Jérôme Vouillon, Damien Doligez, et al. The Objective Caml system. http://caml.inria.fr/ocaml/, 1996.
15. Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1999.
16. Andrew Pitts and Ian Stark. Observable properties of higher order functions that dynamically create local names, or: What's new. In Mathematical Foundations of Computer Science, Proc. 18th Int. Symp., pages 122-141. Springer-Verlag, 1993.
17. Torvald Riegel, Christof Fetzer, and Pascal Felber. Snapshot Isolation for Software Transactional Memory. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, 2006.
18. Manuel Serrano. Bee: an integrated development environment for the Scheme programming language. Journal of Functional Programming, 10(4):353-395, 2000.
19. Nir Shavit and Dan Touitou. Software Transactional Memory. In Symposium on Principles of Distributed Computing, pages 204-213, 1995.
20. Phil Trinder. A functional database. PhD thesis, 1989.