Automatic commutativity detection for generalized paxos

Electrical computers and digital processing systems: multicomput – Computer conferencing – Cooperative computer processing

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Reexamination Certificate

active

08046413

ABSTRACT:
Synchronized devices comprising a distributed system attempt to agree on a compatible sequence of commands to execute. Each device in the distributed system may act as a proposer, acceptor, or a learner. Each proposer proposes a command for each device to execute. The acceptors either accept or reject the proposed commands. The learners keep track of the proposed commands and determine, using a transactional substrate, whether the acceptors have a accepted sequences of commands that commute with respect to one another. Once the learners have determined that a quorum of acceptors have accepted sequences of commands that commute with respect to one another the accepted commands are executed by each device in the distributed system.

REFERENCES:
patent: 6463532 (2002-10-01), Reuter et al.
patent: 7376867 (2008-05-01), Aguilera et al.
patent: 2004/0249928 (2004-12-01), Jacobs et al.
patent: 2004/0254984 (2004-12-01), Dinker
patent: 2005/0256824 (2005-11-01), Vingralek
patent: 2007/0226323 (2007-09-01), Halpern
Dunlap, G.W. et al., “ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay”,5thSymposium on Operating Systems Design and Implementation, Usenix Association, 2002, 211-224.
Garthwaite, A. et al., “Transactions for Java”,Computer and Information Science Department, University of Pennsylvania, Sep. 9, 1996, 1-9.
Herlihy, M. et al., “Software Transactional Memory for Dynamic-Sized Data Structures”,PODC, 2003, 8 pages.
Satyanarayanan, M. et al., “Lightweight Recoverable Virtual Memory”,ACM Transactions on Computer Systems Proceedings of the 14thACM Symposium on Operating Systems Principles, Feb. 1994, 1-15.
Srivastava, A. et al., “ATOM A System for Building Customized Program Analysis Tools”,SIGPLAN, 1994, 196-205.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Automatic commutativity detection for generalized paxos does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automatic commutativity detection for generalized paxos, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic commutativity detection for generalized paxos will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-4281577

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.