公开(公告)号：US10564665B2

公开(公告)日：2020-02-18

申请号：US15968482

申请日：2018-05-01

Applicant: Microsoft Technology Licensing, LLC

Inventor： Cheng Huang ,  Garret Buban ,  Jacob R. Lorch ,  Aaron W. Ogus ,  Mauricio David Zaragoza Ibarra ,  Jieqing Wang

IPC: G06F1/12 ,  G06F1/08

Abstract: A first set of replicated state machines includes a first state machine that compares a clock value included in a state update message incremented by a first amount, a clock value for the first state machine incremented by a second amount, and a current local wall clock value for the first state machine to determine a maximum value and assigns the maximum value as the clock value for the first state machine. Additionally, in response to a passage of an amount of time, the first state machine advances the clock value for the first state machine to its current local wall clock value and propagates this clock value to the other state machines in the first set of replicated state machines. The advancement of the clock value for all state machines even in the absence of state updates improves their ability to respond to distributed read requests.

公开(公告)号：US20190339734A1

公开(公告)日：2019-11-07

申请号：US15968482

申请日：2018-05-01

Applicant: Microsoft Technology Licensing, LLC

Inventor： Cheng Huang ,  Garret Buban ,  Jacob R. Lorch ,  Aaron W. Ogus ,  Mauricio David Zaragoza Ibarra ,  Jieqing Wang

IPC: G06F1/12 ,  G06F1/08

Abstract: A first set of replicated state machines includes a first state machine that compares a clock value included in a state update message incremented by a first amount, a clock value for the first state machine incremented by a second amount, and a current local wall clock value for the first state machine to determine a maximum value and assigns the maximum value as the clock value for the first state machine. Additionally, in response to a passage of an amount of time, the first state machine advances the clock value for the first state machine to its current local wall clock value and propagates this clock value to the other state machines in the first set of replicated state machines. The advancement of the clock value for all state machines even in the absence of state updates improves their ability to respond to distributed read requests.