Predicate checking for distributed systems

Details Predicate checking for distributed systems Predicate checking for distributed systems

2011-04-26

2011-04-26

Frejd, Russell (Department: 2128)

Data processing: structural design, modeling, simulation, and em

Simulating electronic device or electrical system

C709S201000, C709S222000, C709S224000, C714SE11210

Reexamination Certificate

active

07933759

ABSTRACT:
Predicate checking in conjunction with distributed systems can enable an investigating user to check predicates in the context of instance states and/or distributed states of a distributed system. In an example embodiment, a method entails accepting distributed system simulation data and performing a simulation of a distributed system using the distributed system simulation data to create distributed system simulated states. At least a portion of the distributed system simulated states are exposed. The exposed portion of the distributed system simulated states is retrieved and stored as exposed states for the distributed system. The exposed states for the distributed system are compared to predicate states for the distributed system. If an inconsistency is detected between the exposed states and the predicate states based on the comparing at least one alarm is issued.

REFERENCES:
patent: 5371746 (1994-12-01), Yamashita et al.
patent: 5768591 (1998-06-01), Robinson
patent: 5933639 (1999-08-01), Meier et al.
patent: 5999734 (1999-12-01), Willis et al.
patent: 6042614 (2000-03-01), Davidson et al.
patent: 6058393 (2000-05-01), Meier et al.
patent: 6083281 (2000-07-01), Diec et al.
patent: RE36852 (2000-09-01), Heinen, Jr.
patent: 6324683 (2001-11-01), Fuh et al.
patent: 6470388 (2002-10-01), Niemi et al.
patent: 6961926 (2005-11-01), Koyama
patent: 7039014 (2006-05-01), Krishnamurthy et al.
patent: 7096264 (2006-08-01), Bonney et al.
patent: 7096459 (2006-08-01), Keller et al.
patent: 7133820 (2006-11-01), Pennello et al.
patent: 7185319 (2007-02-01), Kaler et al.
patent: 2002/0174415 (2002-11-01), Hines
patent: 2003/0135400 (2003-07-01), Mellander
patent: 2006/0004862 (2006-01-01), Fisher et al.
patent: 2007/0014248 (2007-01-01), Fowlow
Sen et al., Formal Verification of Simulation Traces Using Computation Slicing, IEEE Transactions on Computers, vol. 56, No. 4, Apr. 2007, pp. 511-527.
Garg, et al., “Detection of Strong Unstable Predicates in Distributed Programs”, available at least as early as Apr. 19, 2007, at <<http://www.ece.utexas.edu/˜garg/dist/tpds96.ps>>, pp. 1-20.
Geels, et al, “Friday: Global Comprehension for Distributed Replay”, available at least as early as Apr. 20, 2007, at <<http://berkeley.intel-research.net/maniatis/publications/NSDI2007Friday.pdf>>, NSDI, 2007, pp. 1-14.
Joyce, et al., “Monitoring Distributed Systems”, available at least as early as Apr. 20, 2007, at <<http://pharos.cpsc.ucalgary.ca/Dienst/Repository/2.0/Body
cstrl.ucalgary—cs/1985-213-26/pdf >>, ACM, vol. 5, No. 2, May 1987, pp. 121-150.
Killian, et al., “Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code,” USENIX Association, NSDI '07, 4th USENIX Symposium on Networked Systems Design & Implementation, pp. 243-256.
Mittal , et al., “Debugging Distributed Programs Using Controlled Re-execution”, available at least as early as Apr. 19, 2007, at http://delivery.acm.org/10.1145/350000/343624/p239-mittal.pdf? key1=343624&key2=7792696711&coll=GUIDE&d1=GUIDE&CFID=16819920&CFTOKEN=59133013>>, ACM, 2000, pp. 239-248.
Rabenseifner, “The Controlled Logical Clock—a Global Time for Trace Based Software Monitoring of Parallel Applications in Workstation Clusters”, available at least as early as Apr. 20, 2007, at <<http://elib.uni-stuttgart.de/opus/volltexte/1999/59/pdf/59.pdf>>, IEEE, 1996, pp. 1-8.
Singh, et al., “Using Queries for Distributed Monitoring and Forensics,” Appears in EuroSys, Leuven, Belgium, Apr. 2006, pp. 1-14.
Tarafdar, et al., “Predicate Control for Active Debugging of Distributed Programs”, available at least as early as Apr. 19, 2007, at <<http://www.ece.utexas.edu/˜garg/dist/spdp98.ps>>, pp. 1-7.

Affiliated with

Also associated with

Rating

Predicate checking for distributed systems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Predicate checking for distributed systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Predicate checking for distributed systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2654916