t$0$: W$1$ invokes startWrite$()$

t$1$: W$1$ is in the shared buffer

t$2$: W$2$ invokes startWrite$()$

t$3$: R$1$ invokes startRead$()$

t$4$: W$1$ finishes and invokes finishWrite$()$