Example #1
0
        private void ProcessClockValue(SendClockValue x)
        {
            LamportClock = Math.Max(x.Time.Clock, LamportClock) + 1;

            LamportClock++;

            Sender.Tell(new SendClockValue(new TimeStamp(LamportClock)));
        }
        private void ProcessSendClockValue(SendClockValue x)
        {
            LamportClock = Math.Max(x.Time.Clock, LamportClock) + 1;

            ProcessAdd(_queue.Dequeue());
        }