Systems and methods for ensuring atomicity of processes in a...

Details Systems and methods for ensuring atomicity of processes in a... Systems and methods for ensuring atomicity of processes in a...

2006-08-22

2006-08-22

An, Meng-Al T. (Department: 2195)

Electrical computers and digital processing systems: virtual mac

Task management or control

Process scheduling

C710S022000, C710S260000, C710S262000, C710S311000, C714S010000, C714S718000, C714S721000, C712S217000

Reexamination Certificate

active

07096472

ABSTRACT:
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.

REFERENCES:
patent: 4493020 (1985-01-01), Kim et al.
patent: 4654819 (1987-03-01), Stiffler et al.
patent: 5307504 (1994-04-01), Robinson et al.
patent: 5442754 (1995-08-01), Datwyler et al.
patent: 5509127 (1996-04-01), Datwyler et al.
patent: 5815651 (1998-09-01), Litt
patent: 5826084 (1998-10-01), Brooks et al.
patent: 5835742 (1998-11-01), James et al.
patent: 5872963 (1999-02-01), Bitar et al.
patent: 5937199 (1999-08-01), Temple
patent: 5953538 (1999-09-01), Duncan et al.
patent: 6012120 (2000-01-01), Duncan et al.
patent: 6021456 (2000-02-01), Herdeg et al.
patent: 6094663 (2000-07-01), Snow et al.
patent: 6230259 (2001-05-01), Christie et al.
patent: 6418460 (2002-07-01), Bitar et al.
patent: 6466962 (2002-10-01), Bollella
patent: 6697834 (2004-02-01), Dice
patent: 6754859 (2004-06-01), Hayden et al.
patent: 6799236 (2004-09-01), Dice et al.
patent: 2002/0087925 (2002-07-01), Hayden et al.
Lamport, “A Fast Mutual Exclusion Algorithm”, ACM, 1987, pp. 1-11.
Anderson et al., “The Interaction of Architecture and Operating System Desigm”, ACM, 1991, pp. 108-120.
Massalin et al., “A Lock-Free Multiprocessor OS Kernel”, Department of Computer Science, Columbia University Technical Report No. CUCS-005-91, pp. 1-19.
Machida, H. et al., “Realization of Secure User Level Exclusive Control at PS2 Linux”, Linux Conference 2001, pp. 32-36.
Bershad, B. N. et al., “Fast Mutual Exclusion for Uniprocessors”, ACM Sigplan Notices, vol. 27, No. 9, Sep. 1, 1992, pp. 223-233.
Mosberger, D. et al., “Implementing Atomic Sequences on Uniprocessors Using Rollforward”, Software Practice & Experience, vol. 26, No. 1, Jan. 1996, pp. 1-23.
Small, C. et al., “A Revisitation of Kernal Synchronization Schemes”, Proceedings of Usenix 1997 Annual Technical Conference, Jan. 6-10, 1997, pp. 31-41.

Affiliated with

Also associated with

Rating

Systems and methods for ensuring atomicity of processes in a... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Systems and methods for ensuring atomicity of processes in a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems and methods for ensuring atomicity of processes in a... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3661708