Peter Welch, Jan Bækgaard Pedersen, Matthew Ewer, Jeremy M.R. Martin
587 - 587
In this fringe presentation we prestent the current implementation of the CREW lock in JCSP and illustrate why the code added to hadle spurious wakeups is incorrect. We also propose a fix to correctly handle spurious wakeups.