learning:faq:modeling_time

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
learning:faq:modeling_time [2024/10/17 10:47] – created fponzilearning:faq:modeling_time [2024/12/21 12:05] (current) – fponzi
Line 1: Line 1:
-====== How to approach modelling time? ======+====== How to approach modeling time? ======
  
 See Lamport's paper Real Time is Really Simple: https://www.microsoft.com/en-us/research/publication/real-time-is-really-simple/ See Lamport's paper Real Time is Really Simple: https://www.microsoft.com/en-us/research/publication/real-time-is-really-simple/
  
 Basic idea: instead of having a monotonically-increasing time variable, you keep track of a set of upper-bound timers (action must happen before timer reaches zero) and lower-bound timers (action cannot happen until timer reaches zero) that always initialize to some finite value then tick down to zero instead of tracking an infinitely-increasing clock time. Basic idea: instead of having a monotonically-increasing time variable, you keep track of a set of upper-bound timers (action must happen before timer reaches zero) and lower-bound timers (action cannot happen until timer reaches zero) that always initialize to some finite value then tick down to zero instead of tracking an infinitely-increasing clock time.
 +
 +Source: https://groups.google.com/g/tlaplus/c/IGbAcSOUUes
  
  
  • learning/faq/modeling_time.1729162054.txt.gz
  • Last modified: 2024/10/17 10:47
  • by fponzi