A version of these methods that exercises the exception cleanup case might b interesting (i.e. one thread raises an exception).