committing two more tests and a version that works on all these tests.
Flushing on lock/unlock only.  In reality, barriers, syscalls, etc
should cause wb flushes too.