I personally haven't heard of a `DoubleBarrier` before, have you seen it in other languages? I would imagine that `enter` and `exit` are just the same things as using a `Barrier` twice?