Electrical computers and digital processing systems: multicomput – Computer conferencing – Cooperative computer processing
Reexamination Certificate
2005-02-14
2011-10-25
Follansbee, John (Department: 2451)
Electrical computers and digital processing systems: multicomput
Computer conferencing
Cooperative computer processing
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.
Douceur John R.
Howell Jonathan R.
Lamport Leslie B.
Lorch Jacob R.
Chou Alan
Follansbee John
Microsoft Corporation
Woodcock & Washburn LLP
LandOfFree
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.
Profile ID: LFUS-PAI-O-4281577