News
Chapter 5 handout released, and Chapter 5 information
Written on 22.12.2024 17:52 by Andrea Lattuada
Dear Students, I have released the handout for chapter 5, which consists of a single file, exercise04.rs, that you can add to the files for chapter 4. Note that it verifies successfully with the trivial definition of safety for the protocol included in the handout for exercise03.rs: this is a meaningless proof, as it is a proof that true is a valid safety property for two-phase commit. Only work on this exercise once you believe you have a sufficiently accurate specification of two-phase commit in exercise03.rs. The passing score for this Chapter 5 is 0/1, assuming you make an attempt and submit: submitting exercise04.rs alongside the Chapter 4 files to the "Chapter 4, Chapter 5" submission is sufficient to pass Chapter 5. The passing score for Chapter 4 remains 2/3 (for exercise01, exercise02, exercise03). While it's not required to pass, I recommend you work on trying to complete the proof, as it's good practice for the project, which will be released soon.