[Pacemaker] About Paxos algorithm

[yusuke iida]

Hi,

I have asked about the patents of Paxsos here,
http://www.gossamer-threads.com/lists/linuxha/pacemaker/84309#84309

and now, I would like to just update our investigation about this.
The booth uses Paxos algorithm, it seems to be issued as some US patents..

I believe that the booth is a great useful software.
I'm really interested in using/developing the booth, and also
investigating its non-infringement of the related patents.

If the booth uses the Paxos algorithm in only US5261085 patent, we can
use the booth without concern for the patent infringement.
Because US5261085 has already expired.

If anyone has information concerning these issues, please let me know.


FYI: our investigation summary

Mr. Leslie B. Lamport invented the Paxos, and he hold all of patents below.
He had worked in DEC, and he belongs to Microsoft now.

I searched Patents that relates the Paxos in Google. Keyword is 'Lamport Paxos'.
I get the following results.

 [Patents related Paxos]
  US5261085  Fault-tolerant system and method for implementing a
distributed state machine
  US7565433  Byzantine paxos
  US7558883  Fast transaction commit
  US7620680  Fast byzantine paxos
  US8005888  Conflict fast consensus
  US7711825  Simplified Paxos
  US7249280  Cheap paxos
  US7856502  Cheap paxos
  US7555516  Fast Paxos recovery
  US7698465  Generalized Paxos
  US8046413  Automatic commutativity detection for generalized paxos
  US7921424  Systems and methods for the repartitioning of data
  US7797457  Leaderless byzantine consensus
  US7849223  Virtually synchronous Paxos
  US8073897  Selecting values in a distributed computing system
  US20120239722  Read-only operations processing in a paxos replication system


Mr.Leslie has published many papers about the Paxos, so the Paxos
algorithm is well known.
But it is groundless that we can use Paxos freely.
He obtained patents of the above papers.

US5261085 patent is a basis for the Paxos. It seems that the other
patents related Paxos are the improvement of US5261085.

According to the advice of the patent attorney, US5261085 has expired.
Patents are valid for 20 years after they are registrated in US.

Regards,
Yusuke
--
----------------------------------------
METRO SYSTEMS CO., LTD

Yusuke Iida
Mail: yusk.iida at gmail.com
----------------------------------------