Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2011-07-19
2011-07-19
Baderman, Scott T (Department: 2114)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S011000, C709S223000
Reexamination Certificate
active
07984332
ABSTRACT:
A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.
REFERENCES:
patent: 5544310 (1996-08-01), Forman et al.
patent: 5619644 (1997-04-01), Crockett et al.
patent: 5933639 (1999-08-01), Meier et al.
patent: 6042614 (2000-03-01), Davidson et al.
patent: 6058393 (2000-05-01), Meier et al.
patent: 6760911 (2004-07-01), Ye
patent: 6789114 (2004-09-01), Garg et al.
patent: 6961926 (2005-11-01), Koyama
patent: 7133820 (2006-11-01), Pennello et al.
patent: 7185319 (2007-02-01), Kaler et al.
patent: 7200734 (2007-04-01), Hyser
patent: 7451451 (2008-11-01), Schaefer
patent: 7536591 (2009-05-01), Varadarajan et al.
patent: 7546602 (2009-06-01), Hejlsberg et al.
patent: 7555757 (2009-06-01), Smith et al.
patent: 7644414 (2010-01-01), Smith et al.
patent: 2003/0014510 (2003-01-01), Avvari et al.
patent: 2003/0101382 (2003-05-01), Gabele et al.
patent: 2003/0187927 (2003-10-01), Winchell
patent: 2004/0103413 (2004-05-01), Mandava et al.
patent: 2004/0153833 (2004-08-01), Deacon et al.
patent: 2007/0050686 (2007-03-01), Keeton et al.
patent: 2007/0061634 (2007-03-01), Marisetty et al.
patent: 2007/0100967 (2007-05-01), Smith et al.
patent: 2008/0134210 (2008-06-01), Georgalas
patent: 2008/0216052 (2008-09-01), Hejlsberg et al.
patent: 2008/0294942 (2008-11-01), Breitgand et al.
patent: 2008/0301316 (2008-12-01), Alpern et al.
patent: 2008/0320336 (2008-12-01), Qadir et al.
patent: 2009/0006909 (2009-01-01), Ladd et al.
patent: 2009/0094491 (2009-04-01), Sharma et al.
patent: 2009/0119542 (2009-05-01), Nagashima et al.
patent: 2009/0119578 (2009-05-01), Relyea et al.
patent: 2009/0177914 (2009-07-01), Winchell
patent: 2009/0248381 (2009-10-01), Liu et al.
patent: 2009/0327458 (2009-12-01), Liu et al.
patent: 2009/0327807 (2009-12-01), Varadarajan et al.
patent: 2010/0122343 (2010-05-01), Ghosh et al.
Chandy, et al., “Distributed Snapshots: Determining Global States of Distributed Systems”, ACM Transactions on Computer Systems, vol. 3, No. 1, Feb. 1985, pp. 63-75.
Sabel, et al., “Simulating Fail-Stop in Asynchronous Distributed Systems”, Apr. 13, 1994, pp. 1-24.
Namita Naik, “Simulating Proactive Fault Detection in Distributed Systems”, Sep. 4, 2007, pp. 1-18.
“Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems”, http://www.computer.org/portal/site/dsonline/menuitem.9ed3d9924aeb0dcd82ccc6716bbe36ec/index.jsp?&pName=dso—level1&path=dsonline/past—issues/0202/features&file=bal—print.xml&xsl=article.xsl&.
Killian, et al., “Mace : Language support for building distributed systems”, In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, Dated: Jun. 11-13, 2007, 10 pages.
Musuvathi, et al., “CMC: A pragmatic approach to model checking real code”, In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation, 2002, 14 pages.
Guo Zhenyu
Liu Xuezheng
Tang Jian
Yang Junfeng
Yang Mao
Baderman Scott T
Microsoft Corporation
Patel Kamini
LandOfFree
Distributed system checker does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Distributed system checker, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distributed system checker will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2623413