Electrical computers and digital processing systems: virtual mac – Task management or control – Process scheduling
Reexamination Certificate
2004-03-24
2009-06-16
An, Meng-Ai (Department: 2195)
Electrical computers and digital processing systems: virtual mac
Task management or control
Process scheduling
Reexamination Certificate
active
07549150
ABSTRACT:
A dynamic race detection system and method overcomes drawbacks of previous lockset approaches, which may produce many false positives, particularly in the context of thread fork/join and asynchronous calls. For each shared memory location, a set of locks that are protecting the location and a set of concurrent thread segments that are accessing the location are maintained. To maintain these sets, each thread maintains a set of locks it is currently holding and a set of thread segments ordered before its current thread segment. Each thread also maintains a virtual clock that is incremented when it forks a second thread. A thread segment is a pair comprising a thread identifier and a virtual clock value. A data race is reported when the lockset for a particular shared memory location is empty and the cardinality of the set of concurrent threads for that memory location is greater than one.
REFERENCES:
patent: 5161227 (1992-11-01), Dias et al.
patent: 5193180 (1993-03-01), Hastings
patent: 5440743 (1995-08-01), Yokota et al.
patent: 6405326 (2002-06-01), Azagury et al.
patent: 6546443 (2003-04-01), Kakivaya et al.
patent: 6920634 (2005-07-01), Tudor
patent: 2003/0236951 (2003-12-01), Choi et al.
patent: 0 864 975 (1998-09-01), None
A Comparative Analysis of Fine-Grain Threads Packages G. Price and D. Lowenthal Journal of Parallel and Distributed Computing May 30, 2001.
Pozniansky, E. et al., “Efficient on-the-Fly Data Race Detection in Multithreaded C++ Programs”,Proceedings of the Ninth ACM Sigplan Symposium on Principles and Practice of Parallel Programming, 2003, 179-190, XP-002434257.
Praun, Christoh von, et al., “Object Race Detection”,ACM 2001, pp. 70-82.
Schonberg.On-The-Fly Detection of Access Anomalies.ACM SIGPLAN Notices, vol. 24, No. 7, pp. 285-297. New York: ACM Press, Jul. 1989.
Dinning et al.Detecting Access Anomalies in Programs with Critical Sections. In Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 85-96. New York: ACM Press, 1991.
Von Praun et al.Object Race Detection.ACM SIGPLAN Notices, vol. 36, No. 11, pp. 70-82. New York: ACM Press, Oct. 2001.
Choi et al.Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.ACM SIGPLAN Notices, vol. 37, No. 5, pp. 258-269. New York: ACM Press, May 2002.
Engler et al.RacerX: Effective, Static Detection of Race Conditions and Deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 237-252. New York: ACM Press, 2003.
U.S. Appl. No. 09/867,362, filed May 29, 2001, Stoodley et al.
U.S. Appl. No. 10/032,567, filed Jan. 2, 2002, Choi et al.
U.S. Appl. No. 10/035,422, filed Jan. 4, 2002, Ur et al.
U.S. Appl. No. 10/178,561, filed Jun. 25, 2002, Choi et al.
Lamport,Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, vol. 21, No. 7, pp. 558-565. New York: ACM Press, Jul. 1978.
Savage et al.Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems, vol. 15, No. 4, pp. 391-411. New York: ACM Press, Nov. 1997.
An Meng-Ai
Microsoft Corporation
Woodcock & Washburn LLP
Zhe Mengyao
LandOfFree
Method and system for detecting potential races in... 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 system for detecting potential races in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for detecting potential races in... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4135906