Методы использования СУБД в интернет приложениях. Занятие 5. Транзакции. Осипов Константин.

Осипов Константин рассказывает о свойствах транзакции, показывает простые оптимизации журнала. Учит, как ускоренно восстанавливать.

1. Свойства транзакции: ACID
2. Transaction life cycle
3. ACID: пример
4. Atomicity
5. Isolation
6. Durability
7. Durability – практика
8. Durability – что еще бывает
9. Causes of downtime
10. Durability: B-tree, кэш
11. Durability: B-tree, сбой носителя
12. Что остается за скобками
13. Locking assumptions
14. Granularity assumption
15. Принципы WAL
16. Простые оптимизации журнала
17. Задачи recovery
18. Восстановление после отказа
19. WAL+ B-tree: стратегия no steal
20. Physical logging
21. WAL+ B-tree: стратегия force
22. Ускорение восстановления: checkpointing
23. Ускорение восстановления: checkpointing – идея
24. Fuzzy checkpoint
25. Record – level logging
26. Isolation
27. Isolation: инструкция
28. Isolation: two phase locking
29. Формализация: serial history
30. 2 PL теорема: доказательство (3)
31. 2 PL теорема: serializability graph
32. 2 PL дает acyclic serializability graph
33. View serializability (3)