A fence event e forces the adversary to commit all the writes in p's write buffer (if any) in the order they were issued.
whenever the adversary schedules p, it commits the next write from p's write buffer, as long as the buffer is not empty.