make n returns a barrier waiting for n threads; see
CyclicBarrier(...).Java_exception if n is negativeJava_exception if the barrier is brokenJava_exception if the thread is interruptedawait_time b t u is similar to await b, except that the current
thread will at most wait for t (time value whose unit is u); see
await(...).
CyclicBarrier.reset
when threads are waiting on it; see
isBroken(...).wrap obj wraps the reference obj into an option type:Some x if obj is not null;None if obj is null.unwrap obj unwraps the option obj into a bare reference:Some x is mapped to x;None is mapped to null.