https://github.com/quangtung97/tla-aries

TLA+ Specification of ARIES
https://github.com/quangtung97/tla-aries

Last synced: 1 day ago
JSON representation

TLA+ Specification of ARIES

• Host: GitHub
• URL: https://github.com/quangtung97/tla-aries
• Owner: QuangTung97
• Created: 2024-07-22T06:51:11.000Z (4 months ago)
• Default Branch: master
• Last Pushed: 2024-07-29T07:26:05.000Z (4 months ago)
• Last Synced: 2024-07-29T08:56:33.254Z (4 months ago)
• Language: TLA
• Size: 10.7 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## TLA+ Specification of Redo-Only ARIES

* An recovery algorithm with **steal** & **no-force** semantic

* Background flush & checkpointing

* Redo-only, no transaction or undo log

### Reference

* InnoDB Redo Log: https://dev.mysql.com/doc/dev/mysql-server/latest/PAGE_INNODB_REDO_LOG.html