News
Project 2 deadline extension, general project 1 feedback
Written on 04.02.2025 12:56 by Andrea Lattuada
Dear Students, we will be releasing the scores for Project 1 soon (we are currently double-checking the scores). One common mistake that I found across a number of submissions is including the enabling condition that a host does not have the lock in the transition that accepts a grant message (and thus lets that host acquire the lock): this enabling condition (often expressed something like `&&& !s1.has_lock` was not mentioned in the English-language specification, and it's a property that could (and likely should) be part of the invariant (or implied by the invariant), but does not belong in the step, as it's implied by the admissible behaviors, but it's not part of the protocol design per-se.
As this information might be helpful for Project 2 and because we have canceled the Chapter 8 exercise, we will extend the Project 2 deadline till Thursday February 6th at 23:59.