aboutsummaryrefslogtreecommitdiffstats
path: root/util/lamport/mem_clock.go
blob: ce6f2d4d7cbe9fa836cfc372a18c675b02e4e093 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
/*

	This Source Code Form is subject to the terms of the Mozilla Public
	License, v. 2.0. If a copy of the MPL was not distributed with this file,
	You can obtain one at http://mozilla.org/MPL/2.0/.

	Copyright (c) 2013, Armon Dadgar armon.dadgar@gmail.com
	Copyright (c) 2013, Mitchell Hashimoto mitchell.hashimoto@gmail.com

	Alternatively, the contents of this file may be used under the terms
	of the GNU General Public License Version 3 or later, as described below:

	This file is free software: you may copy, redistribute and/or modify
	it under the terms of the GNU General Public License as published by the
	Free Software Foundation, either version 3 of the License, or (at your
	option) any later version.

	This file is distributed in the hope that it will be useful, but
	WITHOUT ANY WARRANTY; without even the implied warranty of
	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
	Public License for more details.

	You should have received a copy of the GNU General Public License
	along with this program. If not, see http://www.gnu.org/licenses/.

*/

package lamport

import (
	"sync/atomic"
)

var _ Clock = &MemClock{}

// MemClock is a thread safe implementation of a lamport clock. It
// uses efficient atomic operations for all of its functions, falling back
// to a heavy lock only if there are enough CAS failures.
type MemClock struct {
	counter uint64
}

// NewMemClock create a new clock with the value 1.
// Value 0 is considered as invalid.
func NewMemClock() *MemClock {
	return &MemClock{
		counter: 1,
	}
}

// NewMemClockWithTime create a new clock with a value.
func NewMemClockWithTime(time uint64) *MemClock {
	return &MemClock{
		counter: time,
	}
}

// Time is used to return the current value of the lamport clock
func (mc *MemClock) Time() Time {
	return Time(atomic.LoadUint64(&mc.counter))
}

// Increment is used to return the value of the lamport clock and increment it afterwards
func (mc *MemClock) Increment() (Time, error) {
	return Time(atomic.AddUint64(&mc.counter, 1) - 1), nil
}

// Witness is called to update our local clock if necessary after
// witnessing a clock value received from another process
func (mc *MemClock) Witness(v Time) error {
WITNESS:
	// If the other value is old, we do not need to do anything
	cur := atomic.LoadUint64(&mc.counter)
	other := uint64(v)
	if other < cur {
		return nil
	}

	// Ensure that our local clock is at least one ahead.
	if !atomic.CompareAndSwapUint64(&mc.counter, cur, other+1) {
		// CAS: CompareAndSwap
		// The CAS failed, so we just retry. Eventually our CAS should
		// succeed or a future witness will pass us by and our witness
		// will end.
		goto WITNESS
	}

	return nil
}