Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations