diff options
author | Michael Muré <batolettre@gmail.com> | 2018-09-11 22:04:16 +0200 |
---|---|---|
committer | Michael Muré <batolettre@gmail.com> | 2018-09-11 22:14:46 +0200 |
commit | 3605887345792d2f981f971c6c4a2cb7f86a343e (patch) | |
tree | afd525b6e3a638e4c619a5a986fcb2811c297444 /util/lamport/lamport.go | |
parent | 7b05983c19af4da70f2a9a5062913f4e4f5d5faa (diff) | |
download | git-bug-3605887345792d2f981f971c6c4a2cb7f86a343e.tar.gz |
reorganize package for a more idomatic go
Diffstat (limited to 'util/lamport/lamport.go')
-rw-r--r-- | util/lamport/lamport.go | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/util/lamport/lamport.go b/util/lamport/lamport.go new file mode 100644 index 00000000..640c58bc --- /dev/null +++ b/util/lamport/lamport.go @@ -0,0 +1,85 @@ +/* + + 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" +) + +// Clock 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 Clock struct { + counter uint64 +} + +// Time is the value of a Clock. +type Time uint64 + +func NewClock() Clock { + return Clock{ + counter: 1, + } +} + +func NewClockWithTime(time uint64) Clock { + return Clock{ + counter: time, + } +} + +// Time is used to return the current value of the lamport clock +func (l *Clock) Time() Time { + return Time(atomic.LoadUint64(&l.counter)) +} + +// Increment is used to return the value of the lamport clock and increment it afterwards +func (l *Clock) Increment() Time { + return Time(atomic.AddUint64(&l.counter, 1) - 1) +} + +// Witness is called to update our local clock if necessary after +// witnessing a clock value received from another process +func (l *Clock) Witness(v Time) { +WITNESS: + // If the other value is old, we do not need to do anything + cur := atomic.LoadUint64(&l.counter) + other := uint64(v) + if other < cur { + return + } + + // Ensure that our local clock is at least one ahead. + if !atomic.CompareAndSwapUint64(&l.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 + } +} |