Evaluating correctness criteria for transactions
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Data-valued partitioning and virtual messages (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Log-Based Recovery for Nested Transactions
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Hi-index | 0.01 |
THE CONCEPT OF ATOMIC TRANSACTIONS HAS PROVED TO BE USEFUL IN THINKING ABOUT AND IMPLEMENTING CONCURRENCY CONTROL AND RECOVERY MANAGEMENT IN RELI- ABLE MULTI-USER SYSTEMS OPERATING ON SHARED DATA. NESTED TRANSACTIONS EN- HANCE CONCURRENCY AND RECOVERY SEMANTICS BY PROVIDING MORE COMPOSABLE, FINER GRAINED CONTROL. HERE IS OFFERED A GENTLE INTRODUCTION TO NESTED TRANSACTIONS, INCLUDING PRESENTATIONS OF CONCURRENCY CONTORL (IN TERMS OF LOCKING), DEADLOCK DETECTION AND AVOIDANCE, AND RECOVERY (IN TERMS OF SHADOW COPIES). THE CONCEPTS EXTEND TO OTHER CONCURRENCY CONTROL AND RECOV ERY METHODS, SUCH AS TIMESTAMPS AND LOGGING, THOUGH DETAILS ARE NOT INCLUD- ED. WHILE THEY HAVE USES IN CENTRALIZED SYSTEMS, NESTED TRANSACTIONS ARE ESPECIALLY HELPFUL IN DISTRIBUTED SYSTEMS. TO ILLUSTRATE THIS, SOME SIMPLE DISTRIBUTED APPLICATIONS ARE SKETCHED, AS WELL AS TECHNIQUES FOR IMPLEMENT- ING NESTED TRANSACTION IN DISTRIBUTED SYSTEMS.