Submit your answer before the beginning of the lecture to the submission web site.
Submit: The ticket lock is slightly different than the spinlock in in JOS and xv6. Assuming an invalidation-based coherence scheme as described in the paper, does a ticket lock introduce less inter-CPU communication than a JOS/xv6 spinlock?