병렬, 병행 실행에도 데이터 무결성 보장하기