Change the PCBs mutex to rwlock.