In the present invention, a computer in which a plurality of programs are
executed under a management of an Operation System having a memory
management mechanism includes a unit for ensuring atomicity of a first
user process without requiring a dedicated CPU instruction. The unit for
ensuring atomicity includes a unit for detecting an interrupt by a second
user process, a unit for canceling the first user process by utilizing a
memory protection function possessed by said Operating System, and a unit
for executing an operation of the first user process again.