Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adds LamportClocks #111

Merged
merged 1 commit into from
Dec 14, 2015
Merged

Adds LamportClocks #111

merged 1 commit into from
Dec 14, 2015

Conversation

adamhjk
Copy link
Contributor

@adamhjk adamhjk commented Dec 14, 2015

This adds a basic, working lamport
clock
. It simply
wraps up an integer, allows the clock to be incremented, and implements
order and equality traits.

This is a basic building block of our Gossip protocol.

It is time

This adds a basic, working [lamport
clock](https://en.wikipedia.org/wiki/Lamport_timestamps). It simply
wraps up an integer, allows the clock to be incremented, and implements
order and equality traits.

This is a basic building block of our Gossip protocol.

![It is time](http://tmblr.co/Zh5BRq1T5HAtW)
@adamhjk
Copy link
Contributor Author

adamhjk commented Dec 14, 2015

gif-keyboard-9719977636649427713

@chef-delivery
Copy link
Contributor

This PR has passed 'Verify' and is ready for review and approval!
Use: '@delivery approve' when code review is complete.

@reset
Copy link
Collaborator

reset commented Dec 14, 2015

@adamhjk solid

gif-keyboard-12362563826048226504

@reset
Copy link
Collaborator

reset commented Dec 14, 2015

@delivery approve

chef-delivery added a commit that referenced this pull request Dec 14, 2015
Merged change b05c02e7-c8af-4127-aee4-a11ce4f905fe

From review branch lamport-clocks into master

Signed-off-by: reset <[email protected]>
@chef-delivery chef-delivery merged commit 79d7d1c into master Dec 14, 2015
@chef-delivery
Copy link
Contributor

Change: b05c02e7-c8af-4127-aee4-a11ce4f905fe approved by: @reset

@chef-delivery chef-delivery deleted the lamport-clocks branch December 14, 2015 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants