vrpn_LamportClock.h

#ifndef VRPN_LAMPORT_CLOCK_H
#define VRPN_LAMPORT_CLOCK_H
 
#include "vrpn_Configure.h" // for VRPN_API
#include "vrpn_Types.h" // for vrpn_uint32, vrpn_bool
 
/// @class vrpn_LamportTimestamp
/// Timestamp for a single event, produced by a vrpn_LamportClock and
/// hopefully generally usable in place of a struct timeval.
 
/// @class vrpn_LamportClock
/// Implements a distributed event clock as defined by Leslie Lamport in
/// some seminal papers I can't find my copies of, for use by people who
/// want to sequence events without relying on synchronization of wallclocks.
 
class VRPN_API vrpn_LamportTimestamp {
 
 public:
 
 vrpn_LamportTimestamp (int vectorLength, vrpn_uint32 * vector);
 vrpn_LamportTimestamp (const vrpn_LamportTimestamp &);
 ~vrpn_LamportTimestamp (void);
 
 vrpn_LamportTimestamp & operator = (const vrpn_LamportTimestamp &);
 
 
 // ACCESSORS
 
 
    vrpn_bool operator < (const vrpn_LamportTimestamp & r) const;
      ///< Returns vrpn_true if this timestamp precedes r.
      ///< It'd be nice if we could throw an exception here,
      ///< since some timestamps are incommesurate.
 
 
 // Utility functions.
 
    vrpn_uint32 operator [] (int i) const;
      ///< Returns the event count for the i'th host.
 
 int size (void) const;
      ///< Returns the number of hosts participating in the timestamp.
 
 
 private:
 
 void copy (const vrpn_uint32 *);
      ///< Used by constructors and operator = to copy values into
      ///< d_timestamp;  don't we wish we were using STL?
 
 int d_timestampSize;
    vrpn_uint32 * d_timestamp;
 
 vrpn_LamportTimestamp (void);
      ///< UNDEFINED - not legal.
 
};
 
 
class VRPN_API vrpn_LamportClock {
 
 public:
 
 vrpn_LamportClock (int numHosts, int ourIndex);
 ~vrpn_LamportClock (void);
 
 
 // MANIPULATORS
 
 
 void receive (const vrpn_LamportTimestamp &);
      ///< Updates this clock to reflect a timestamp received from
      ///< another clock/host.
 
 vrpn_LamportTimestamp * getTimestampAndAdvance (void);
      ///< Increments the current timestamp and returns it.
 
 
 private:
 
 int d_numHosts;
 int d_ourIndex;
    vrpn_uint32 * d_currentTimestamp;
 
};
 
 
 
#endif  // VRPN_LAMPORT_CLOCK_H