LamportClock

Documentation

newtype Pid

Unique process identifier

Constructors

Pid Int

Instances

Eq Pid

Methods

(==) :: Pid -> Pid -> Bool

(/=) :: Pid -> Pid -> Bool

Ord Pid

Methods

compare :: Pid -> Pid -> Ordering

(<) :: Pid -> Pid -> Bool

(<=) :: Pid -> Pid -> Bool

(>) :: Pid -> Pid -> Bool

(>=) :: Pid -> Pid -> Bool

max :: Pid -> Pid -> Pid

min :: Pid -> Pid -> Pid

Show Pid

Methods

showsPrec :: Int -> Pid -> ShowS

show :: Pid -> String

showList :: [Pid] -> ShowS

Clock Process

Methods

newTimestamp :: Process Timestamp

type Time = Word

data Timestamp

Timestamps are assumed unique, totally ordered, and consistent with causal order; i.e., if assignment 1 happened-before assignment 2, the former’s timestamp is less than the latter’s.

Constructors

Timestamp !Time !Pid

Instances

Eq Timestamp

Methods

(==) :: Timestamp -> Timestamp -> Bool

(/=) :: Timestamp -> Timestamp -> Bool

Ord Timestamp

Methods

compare :: Timestamp -> Timestamp -> Ordering

(<) :: Timestamp -> Timestamp -> Bool

(<=) :: Timestamp -> Timestamp -> Bool

(>) :: Timestamp -> Timestamp -> Bool

(>=) :: Timestamp -> Timestamp -> Bool

max :: Timestamp -> Timestamp -> Timestamp

min :: Timestamp -> Timestamp -> Timestamp

Show Timestamp

Methods

showsPrec :: Int -> Timestamp -> ShowS

show :: Timestamp -> String

showList :: [Timestamp] -> ShowS

class Applicative f => Clock f where

Minimal complete definition

newTimestamp

Methods

newTimestamp :: f Timestamp

Get another unique timestamp

Instances

Clock Process

Methods

newTimestamp :: Process Timestamp

type LamportClock = State LamportTime

runLamportClock :: LamportClock a -> a

type Process = ReaderT Pid LamportClock

runProcess :: Pid -> Process a -> LamportClock a

barrier :: [Pid] -> LamportClock ()

XXX Make sure all subsequent calls to newTimestamp return timestamps greater than all prior calls.