A serializability violation detector for shared-memory server programs