https://github.com/arnemileswinter/itc

Haskell implementation of Interval Tree Clocks as described by Almeida, Paulo & Baquero, Carlos & Fonte, Victor. (2008). Interval Tree Clocks: A Logical Clock for Dynamic Systems. 5401. 259-274. 10.1007/978-3-540-92221-6_18.
https://github.com/arnemileswinter/itc

data-structures distributed-computing haskell-library

Last synced: 30 days ago
JSON representation

Haskell implementation of Interval Tree Clocks as described by Almeida, Paulo & Baquero, Carlos & Fonte, Victor. (2008). Interval Tree Clocks: A Logical Clock for Dynamic Systems. 5401. 259-274. 10.1007/978-3-540-92221-6_18.

• Host: GitHub
• URL: https://github.com/arnemileswinter/itc
• Owner: arnemileswinter
• License: mit
• Created: 2022-07-01T18:24:18.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-07-13T11:54:50.000Z (over 3 years ago)
• Last Synced: 2025-12-08T05:19:36.315Z (4 months ago)
• Topics: data-structures, distributed-computing, haskell-library
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/interval-tree-clock-0.2.0.0
• Size: 22.5 KB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Interval Tree Clocks

A haskell Implementation of the interval tree clock as described in the paper Interval Tree Clocks: A Logical Clock for Dynamic Systems.

Light on dependencies!

Interval Tree Clocks serve as an alternative to vector clocks, in that clock-carriers may join or enter the system after clock initialization.

Therefore it is not required to know beforehand how many actors are carrying clocks in a distributed system.

This is the first package i'm publishing, please don't hesitate to report issues you encounter.

Also I did not yet come to use this in production myself.

Thoroughly tested, with both quickcheck and visual debugging in conformance to the paper.

The paper this library is based on is Almeida, Paulo & Baquero, Carlos & Fonte, Victor. (2008). Interval Tree Clocks: A Logical Clock for Dynamic Systems. 5401. 259-274. 10.1007/978-3-540-92221-6_18.