kofre.time

package kofre.time

Members list

Concise view

Type members

Classlikes

class ArrayRanges(val inner: Array[Time], val used: Int)

Efficient storage of a set of Time when most stored values are contiguous ranges

Efficient storage of a set of Time when most stored values are contiguous ranges

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Dot(replicaId: Id, time: Time)

Dots are another name for lamport clocks. Dots are globally unique counters that are used to track time in causal CRDTs. To guarantee global uniqueness, dots combine a globally unique replicaID with a locally unique counter.

Dots are another name for lamport clocks. Dots are globally unique counters that are used to track time in causal CRDTs. To guarantee global uniqueness, dots combine a globally unique replicaID with a locally unique counter.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Dots(internal: Map[Id, ArrayRanges])

Essentially a more efficient version of a Set[Dot] . It typically tracks all dots known within some scope.

Essentially a more efficient version of a Set[Dot] . It typically tracks all dots known within some scope.

This datastructure is used both for implementation of RDTs, as well as for ensuring causality during replication.

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Dots

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Dots.type
case class VectorClock(timestamps: Map[Id, Time])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type