rust/hwphysics/src/time.rs
author alfadur
Tue, 17 Nov 2020 20:50:30 +0300
changeset 15768 704f00889f3a
parent 15767 a818a87fec52
permissions -rw-r--r--
implement event cancelation
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15768
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     1
use crate::common::{GearId, Millis};
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     2
use std::{
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     3
    cmp::{Eq, Ord, Ordering, PartialEq, PartialOrd},
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     4
    collections::BinaryHeap,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     5
};
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     6
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     7
pub type EventId = u16;
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     8
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
     9
struct TimeEvent {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    10
    time: Millis,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    11
    gear_id: GearId,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    12
    event_id: EventId,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    13
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    14
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    15
impl PartialOrd for TimeEvent {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    16
    #[inline]
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    17
    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    18
        self.time.partial_cmp(&other.time)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    19
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    20
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    21
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    22
impl PartialEq for TimeEvent {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    23
    #[inline]
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    24
    fn eq(&self, other: &Self) -> bool {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    25
        self.time.eq(&other.time)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    26
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    27
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    28
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    29
impl Ord for TimeEvent {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    30
    #[inline]
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    31
    fn cmp(&self, other: &Self) -> Ordering {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    32
        self.time.cmp(&other.time)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    33
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    34
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    35
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    36
impl Eq for TimeEvent {}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    37
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    38
pub struct OccurredEvents {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    39
    events: Vec<(GearId, EventId)>,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    40
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    41
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    42
impl OccurredEvents {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    43
    fn new() -> Self {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    44
        Self { events: vec![] }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    45
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    46
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    47
    fn clear(&mut self) {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    48
        self.events.clear()
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    49
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    50
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    51
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    52
pub struct TimeProcessor {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    53
    current_event_id: EventId,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    54
    current_time: Millis,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    55
    events: BinaryHeap<TimeEvent>,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    56
    timeouts: OccurredEvents,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    57
}
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    58
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    59
impl TimeProcessor {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    60
    pub fn new() -> Self {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    61
        Self {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    62
            current_event_id: 0,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    63
            current_time: Millis::new(0),
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    64
            events: BinaryHeap::with_capacity(1024),
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    65
            timeouts: OccurredEvents::new(),
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    66
        }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    67
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    68
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    69
    pub fn register(&mut self, gear_id: GearId, timeout: Millis) -> EventId {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    70
        let event_id = self.current_event_id;
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    71
        self.current_event_id = self.current_event_id.wrapping_add(1);
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    72
        let event = TimeEvent {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    73
            time: self.current_time + timeout,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    74
            gear_id,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    75
            event_id,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    76
        };
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    77
        self.events.push(event);
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    78
        event_id
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    79
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    80
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    81
    fn remove_events<P>(&mut self, predicate: P)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    82
    where
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    83
        P: Fn(&TimeEvent) -> bool,
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    84
    {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    85
        let events = self.events.drain().filter(predicate).collect::<Vec<_>>();
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    86
        self.events.extend(events);
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    87
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    88
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    89
    pub fn cancel(&mut self, event_id: EventId) {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    90
        //self.events.retain(|event| event.event_id != event_id)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    91
        self.remove_events(|event| event.event_id != event_id)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    92
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    93
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    94
    pub fn cancel_all(&mut self, gear_id: GearId) {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    95
        //self.events.retain(|event| event.gear_id != gear_id)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    96
        self.remove_events(|event| event.gear_id != gear_id)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    97
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    98
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
    99
    pub fn process(&mut self, time_step: Millis) -> &OccurredEvents {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   100
        self.timeouts.clear();
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   101
        self.current_time = self.current_time + time_step;
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   102
        while self
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   103
            .events
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   104
            .peek()
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   105
            .filter(|e| e.time <= self.current_time)
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   106
            .is_some()
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   107
        {
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   108
            let event = self.events.pop().unwrap();
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   109
            self.timeouts.events.push((event.gear_id, event.event_id))
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   110
        }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   111
        &self.timeouts
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   112
    }
704f00889f3a implement event cancelation
alfadur
parents: 15767
diff changeset
   113
}