Class LogicalStampManager


  • public class LogicalStampManager
    extends StampManager
    This class provides logical stamps.
    Author:
    Olivier Dedieu
    • Constructor Detail

      • LogicalStampManager

        public LogicalStampManager​(java.lang.String urid,
                                   long logicalTime)
        Creates a new StampManager
        Parameters:
        urid - Unique Replica IDentifier
        logicalTime - the starting logical time
      • LogicalStampManager

        public LogicalStampManager​(java.lang.String urid)
        Creates a new StampManager
        Parameters:
        urid - Unique Replica IDentifier
    • Method Detail

      • getStamp

        public Stamp getStamp()
        Return a new stamp. Ensures their strict monotonicity.
        Specified by:
        getStamp in class StampManager
        Returns:
        a new stamp
      • update

        public void update​(Stamp stamp,
                           boolean updatePT)
        Updates the clock
        Overrides:
        update in class StampManager
        Parameters:
        stamp - the stamp containing the new time (MUST BE greater
        updatePT - if true use this stamp to update the progress table than the current time, otherwise it is ignored)
        Since:
        jcms-5.0.6