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.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.