Syllabus
Motivation for introducing transactions (reliability, parallelism)
- definition and measurement of reliability, reliable system construction methods (error avoidance and masking)
- rehearsal of parallelism related issues, goals (simplicity, parallelism, composability)
Basic transaction properties
- atomicity, consistency, isolation, durability
- transaction models, flat, chained, nested
- long running transaction models
- model formalisms
Basic features of transactional systems
- types of transactional systems (databases, distributed transactions, coordination frameworks, transactional memory)
- features of transactional systems, examples of interfaces and their usage
Parallel execution
- formal model of parallel execution, schedules and their properties
- lock based scheduling, implementation
- timestamp based scheduling, implementation
- serialization graph based scheduling, implementation
- certifying schedulers
- integrated schedulers
- versioning schedulers
Atomic termination
- two phase commit protocol
- three phase commit protocol
- reliable storage and logging
Annotation
Transactions course for advanced students. Provides detailed information about transactions as a basic mechanism for achieving data stability.
Explains the properties of transactions and the structure and implementation of transactional systems.