split brain tests for lock and semaphore