Why do they call it a serializer instead of a mutex?
More timing diagrams!  And theoretical implementations of a semaphore
Blow wind blow.