Line data    Source code

       1              : use std::{
       2              :     cmp::Ordering,
       3              :     collections::BinaryHeap,
       4              :     ops::DerefMut,
       5              :     sync::{
       6              :         atomic::{AtomicU32, AtomicU64},
       7              :         Arc,
       8              :     },
       9              : };
      10              : 
      11              : use parking_lot::Mutex;
      12              : use tracing::trace;
      13              : 
      14              : use crate::executor::ThreadContext;
      15              : 
      16              : /// Holds current time and all pending wakeup events.
      17              : pub struct Timing {
      18              :     /// Current world's time.
      19              :     current_time: AtomicU64,
      20              :     /// Pending timers.
      21              :     queue: Mutex<BinaryHeap<Pending>>,
      22              :     /// Global nonce. Makes picking events from binary heap queue deterministic
      23              :     /// by appending a number to events with the same timestamp.
      24              :     nonce: AtomicU32,
      25              :     /// Used to schedule fake events.
      26              :     fake_context: Arc<ThreadContext>,
      27              : }
      28              : 
      29              : impl Default for Timing {
      30            0 :     fn default() -> Self {
      31            0 :         Self::new()
      32            0 :     }
      33              : }
      34              : 
      35              : impl Timing {
      36              :     /// Create a new empty clock with time set to 0.
      37          528 :     pub fn new() -> Timing {
      38          528 :         Timing {
      39          528 :             current_time: AtomicU64::new(0),
      40          528 :             queue: Mutex::new(BinaryHeap::new()),
      41          528 :             nonce: AtomicU32::new(0),
      42          528 :             fake_context: Arc::new(ThreadContext::new()),
      43          528 :         }
      44          528 :     }
      45              : 
      46              :     /// Return the current world's time.
      47      2071471 :     pub fn now(&self) -> u64 {
      48      2071471 :         self.current_time.load(std::sync::atomic::Ordering::SeqCst)
      49      2071471 :     }
      50              : 
      51              :     /// Tick-tock the global clock. Return the event ready to be processed
      52              :     /// or move the clock forward and then return the event.
      53       212635 :     pub(crate) fn step(&self) -> Option<Arc<ThreadContext>> {
      54       212635 :         let mut queue = self.queue.lock();
      55       212635 : 
      56       212635 :         if queue.is_empty() {
      57              :             // no future events
      58          548 :             return None;
      59       212087 :         }
      60       212087 : 
      61       212087 :         if !self.is_event_ready(queue.deref_mut()) {
      62       159087 :             let next_time = queue.peek().unwrap().time;
      63       159087 :             self.current_time
      64       159087 :                 .store(next_time, std::sync::atomic::Ordering::SeqCst);
      65       159087 :             trace!("rewind time to {}", next_time);
      66       159087 :             assert!(self.is_event_ready(queue.deref_mut()));
      67        53000 :         }
      68              : 
      69       212087 :         Some(queue.pop().unwrap().wake_context)
      70       212635 :     }
      71              : 
      72              :     /// Append an event to the queue, to wakeup the thread in `ms` milliseconds.
      73       201101 :     pub(crate) fn schedule_wakeup(&self, ms: u64, wake_context: Arc<ThreadContext>) {
      74       201101 :         self.nonce.fetch_add(1, std::sync::atomic::Ordering::SeqCst);
      75       201101 :         let nonce = self.nonce.load(std::sync::atomic::Ordering::SeqCst);
      76       201101 :         self.queue.lock().push(Pending {
      77       201101 :             time: self.now() + ms,
      78       201101 :             nonce,
      79       201101 :             wake_context,
      80       201101 :         })
      81       201101 :     }
      82              : 
      83              :     /// Append a fake event to the queue, to prevent clocks from skipping this time.
      84        25313 :     pub fn schedule_fake(&self, ms: u64) {
      85        25313 :         self.queue.lock().push(Pending {
      86        25313 :             time: self.now() + ms,
      87        25313 :             nonce: 0,
      88        25313 :             wake_context: self.fake_context.clone(),
      89        25313 :         });
      90        25313 :     }
      91              : 
      92              :     /// Return true if there is a ready event.
      93       371174 :     fn is_event_ready(&self, queue: &mut BinaryHeap<Pending>) -> bool {
      94       371174 :         queue.peek().map_or(false, |x| x.time <= self.now())
      95       371174 :     }
      96              : 
      97              :     /// Clear all pending events.
      98          503 :     pub(crate) fn clear(&self) {
      99          503 :         self.queue.lock().clear();
     100          503 :     }
     101              : }
     102              : 
     103              : struct Pending {
     104              :     time: u64,
     105              :     nonce: u32,
     106              :     wake_context: Arc<ThreadContext>,
     107              : }
     108              : 
     109              : // BinaryHeap is a max-heap, and we want a min-heap. Reverse the ordering here
     110              : // to get that.
     111              : impl PartialOrd for Pending {
     112      1701169 :     fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
     113      1701169 :         Some(self.cmp(other))
     114      1701169 :     }
     115              : }
     116              : 
     117              : impl Ord for Pending {
     118      1701169 :     fn cmp(&self, other: &Self) -> Ordering {
     119      1701169 :         (other.time, other.nonce).cmp(&(self.time, self.nonce))
     120      1701169 :     }
     121              : }
     122              : 
     123              : impl PartialEq for Pending {
     124            0 :     fn eq(&self, other: &Self) -> bool {
     125            0 :         (other.time, other.nonce) == (self.time, self.nonce)
     126            0 :     }
     127              : }
     128              : 
     129              : impl Eq for Pending {}