Package ptolemy.domains.dde.kernel

Class TimeKeeper

  • public class TimeKeeper
extends java.lang.Object
    A TimeKeeper manages an actor's local value of time in the DDE domain. A TimeKeeper is instantiated by a DDEThread and is used by the thread to manage time for the thread's actor. A TimeKeeper has a list of DDEReceivers that are contained by the actor that the thread controls. As tokens flow through the DDEReceivers, the TimeKeeper keeps track of the advancement of time local to the actor.

    DDEReceivers each have three important variables: receiver time, last time and priority. The receiver time of a DDEReceiver is equal to the time of the oldest event that resides in the receiver. The last time is equal to the time of the newest event residing on the receiver.

    A TimeKeeper manages the DDEReceivers of its actor by keeping track of the receiver with the minimum receiver time. The actor is allowed to consume a token from a receiver if that receiver has the unique, minimum receiver time of all receivers managed by the TimeKeeper. The TimeKeeper keeps track of its receivers' priorities as well. The receiver with the highest priority is enabled to have its token consumed if the receiver shares a common minimum receive time with one or more additional receivers.

    The receiver priorities are set using the method _setReceiverPriorities() in the following manner. All of the input receivers associated with a given TimeKeeper are prioritized according to the inverse order in which they were connected in the model topology. I.e., if two input receivers (rA and rB) of an actor are connected such that receiver rA is connected before receiver rB, then rB will have a higher priority than rA.

    The above approach provides each receiver associated with a given TimeKeeper with a unique priority, such that the set of receiver priorities of the associated TimeKeeper is totally ordered.

    A TimeKeeper manages the ordering of receivers by keeping track of its receivers and their corresponding receiver times and priorities. As tokens are placed in and taken out of the receivers of an actor, the TimeKeeper's receiver list is updated. The receiver list is sorted by ReceiverComparator. This same information allows the TimeKeeper to determine what the current time is local to the actor.

    Since:
    Ptolemy II 0.3
    Version:
    $Id$
    Author:
    John S. Davis II
    See Also:
    DDEThread
    Pt.AcceptedRating:
    Green (kienhuis)
    Pt.ProposedRating:
    Green (davisj)

    • Constructor Summary

      Constructors 
      Constructor Description
      TimeKeeper​(Actor actor)
      Construct a time keeper to manage the local time of an actor in the DDE domain.

    • Method Summary

      All Methods Instance Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      double getCurrentTime()
      Deprecated.
      As of Ptolemy II 4.1, replaced by getModelTime()
      PrioritizedTimedQueue getFirstReceiver()
      Return the active PrioritizedTimedQueue with the oldest receiver time of all receivers contained in the actor that this TimeKeeper controls.
      Time getModelTime()
      Return the current time of this TimeKeeper.
      Time getNextTime()
      Return the earliest possible time stamp of the next token to be consumed by the actor managed by this time keeper.
      Time getOutputTime()
      Return the current value of the output time associated with this time keeper and, after so doing, set the output time to a new value that is equivalent to this time keeper's current time.
      void removeAllIgnoreTokens()
      Update receivers controlled by this time keeper that have a receiver time equal to PrioritizedTimedQueue.IGNORE.
      void sendOutNullTokens​(DDEReceiver receiver)
      Send a NullToken to all output channels that have a receiver time less than or equal to the current time of this time keeper.
      void setCurrentTime​(Time time)
      Set the current time of this TimeKeeper.
      void updateReceiverList​(PrioritizedTimedQueue prioritizedTimedQueue)
      Update the list of receivers by adding a receiver to the receiver list if not already present and then sorting the list.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • TimeKeeper

        public TimeKeeper​(Actor actor)
           throws IllegalActionException
        Construct a time keeper to manage the local time of an actor in the DDE domain. Set the receiver priorities of all receivers contained by the actor of this time keeper.
        Parameters:
        actor - The DDEActor for which time will be managed.
        Throws:
        IllegalActionException - If there is an error while setting the receiver priorities.

    • Method Detail

      • getCurrentTime

        @Deprecated
public double getCurrentTime()
        Deprecated.
        As of Ptolemy II 4.1, replaced by getModelTime()
        Return the current time of this TimeKeeper. The current time is equal to the time stamp associated with the token most recently consumed by one of the receivers managed by this TimeKeeper.
        Returns:
        The current time of this TimeKeeper.
        See Also:
        setCurrentTime(Time)

      • getFirstReceiver

        public PrioritizedTimedQueue getFirstReceiver()
        Return the active PrioritizedTimedQueue with the oldest receiver time of all receivers contained in the actor that this TimeKeeper controls. A PrioritizedTimedQueue is considered active if its receiver time is nonnegative. If all receivers of the managed actor are no longer active, then return the first receiver to become inactive.
        Returns:
        PrioritizedTimedQueue The oldest active PrioritizedTimedQueue managed by this TimeKeeper.

      • getModelTime

        public Time getModelTime()
        Return the current time of this TimeKeeper. The current time is equal to the time stamp associated with the token most recently consumed by one of the receivers managed by this TimeKeeper.
        Returns:
        The current time of this TimeKeeper.

      • getNextTime

        public Time getNextTime()
        Return the earliest possible time stamp of the next token to be consumed by the actor managed by this time keeper. Consider this returned time value as a greatest lower bound. The next time is equal to the oldest (smallest valued) receiver time of all receivers managed by this thread.
        Returns:
        The next earliest possible time stamp to be produced by this actor.

      • getOutputTime

        public Time getOutputTime()
        Return the current value of the output time associated with this time keeper and, after so doing, set the output time to a new value that is equivalent to this time keeper's current time.
        Returns:
        double The output time of this time keeper.

      • removeAllIgnoreTokens

        public void removeAllIgnoreTokens()
        Update receivers controlled by this time keeper that have a receiver time equal to PrioritizedTimedQueue.IGNORE. For each such receiver, call DDEReceiver.removeIgnoredToken().

      • sendOutNullTokens

        public void sendOutNullTokens​(DDEReceiver receiver)
        Send a NullToken to all output channels that have a receiver time less than or equal to the current time of this time keeper. In this case, set the time stamp of the NullTokens to be equal to the current time of this time keeper. This method assumes that the actor controlled by this time keeper is atomic.

        This method is not synchronized so the calling method should be.

        Parameters:
        receiver - The receiver that is causing this method to be invoked.

      • setCurrentTime

        public void setCurrentTime​(Time time)
        Set the current time of this TimeKeeper. If the specified time is less than the previous value for current time, then throw an IllegalArgumentException. Do not throw an IllegalArgumentException if the current time is set to PrioritizedTimedQueue.INACTIVE to indicate termination.
        Parameters:
        time - The new value for current time.
        Throws:
        java.lang.IllegalArgumentException - If there is an attempt to decrease the value of current time to a nonnegative number.
        See Also:
        getCurrentTime(), getModelTime()

      • updateReceiverList

        public void updateReceiverList​(PrioritizedTimedQueue prioritizedTimedQueue)
        Update the list of receivers by adding a receiver to the receiver list if not already present and then sorting the list. The receiver list is sorted according to a ReceiverComparator.
        Parameters:
        prioritizedTimedQueue - The PrioritizedTimedQueue whose position is being updated.
        See Also:
        ReceiverComparator