Patent
1995-02-17
1997-04-22
Sheikh, Ayaz R.
395474, G06F 1314
Patent
active
056236700
ABSTRACT:
A fast crash safe method and apparatus for enforcing mutually exclusive access to shared resources in a computer system through the use of semaphores. The acquisition and release of the semaphores is implemented at the user process level. An overestimate and underestimate of semaphore ownership are maintained in memory by library provided semaphore acquisition and release code. A cleanup routine reconciles the overestimate and underestimate to determine the ownership status of the semaphores.
REFERENCES:
patent: 4318182 (1982-03-01), Bachman et al.
patent: 4591976 (1986-05-01), Webber et al.
patent: 4594657 (1986-06-01), Byrons
patent: 4718002 (1988-01-01), Carr
patent: 4819154 (1989-04-01), Stiffler et al.
patent: 4965718 (1990-10-01), George et al.
patent: 5161227 (1992-11-01), Dias et al.
patent: 5206952 (1993-04-01), Sundet et al.
patent: 5261106 (1993-11-01), Lentz et al.
patent: 5339443 (1994-08-01), Lockwood
patent: 5361347 (1994-11-01), Colider et al.
patent: 5394551 (1995-02-01), Holt et al.
patent: 5428783 (1995-06-01), Lake
patent: 5432929 (1995-07-01), Escola et al.
patent: 5440746 (1995-08-01), Lentz
patent: 5440752 (1995-08-01), Lentz et al.
patent: 5522029 (1996-05-01), Hatfield
Anderson, T.E., "The Performance of Spin Lock Alternatives for Shared-memory Multiprocessors," IEEE Transactions on Parallel and Distributed Systems, vol. 1, No. 1, Jan. 1990, pp. 6-16.
Bershad, B.N., et al., "Fast Mutual Exclusion for Uniprocessors," ASPLOS V-10/92/MA,USA, pp. 223-233.
Craig, T.S., "Building FIFO and Priority-Queuing Spin Locks from Atomic Swap," Technical Report 93-02-02, Feb. 1, 1993, pp. 1-29.
Eisenberg, M.A., and McGuire, M.R., "Further Comments on Dijkstra's Concurrent Programming Control Problem," Communications of the ACM, vol. 15, No. 11, Nov. 1972, p. 999.
Gotemukkala, V., and Lehman, T.J., "Locking and Latching in a Memory-Resident Database System," Proc. of the 18th VLDB Conf., Vancouver, British Columbia, Canada, 1992, pp. 533-544.
Graunke, G., and Thakkar, S., "Synchronization Algorithms for Shared-Memory Multiprocessors," Computer, Jun. 1990, pp. 60-68.
Jagadish, H.V., et al., "Dali: A High Performance Main Memory Storage Manager," Proc. of the 20th VLDB Conf., Santiago, Chile, 1994.
Khanna, S., et al., "Realtime Scheduling SunOS 5.0," In Winter Usenix Conference 1992, 1992.
Mellor-Crummey, J.M., and Scott, M.L., "Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors," ACM Transactions on Computer Systems, vol. 9, No. 1, Feb. 1991, pp. 21-47.
Silberschatz, A., and Galvin, P., Operating System Concepts, Ch. 6, Addison-Wesley, 4 edition, 1993, pp. 170-181.
Sindhu, P.S., and Frailong, J-M., "Formal Specification of Memory Models," Technical Report CSL-91-11 [P91-00112], Xerox Corporation, Dec. 1991.
Sullivan, M., and Stonebraker, M., "Using Write Protected Data Structures to Improve Software Fault Tolerance in Highly Available Database Management Systems," Proc. of the 17th International Conf. on Very Data Bases, Barcelona, Sep. 1991, pp. 171-180.
Bohannon Philip L.
Gava Jacques
Lieuwen Daniel F.
Sudarshan Sundararajarao
Lucent Technologies - Inc.
Sheikh Ayaz R.
LandOfFree
Method and apparatus for crash safe enforcement of mutually excl does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for crash safe enforcement of mutually excl, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for crash safe enforcement of mutually excl will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-349921