x86_vcpu 0.6.2

x86 Virtual CPU implementation for the Arceos Hypervisor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

//! Backend-independent x86 event queue state.

use alloc::collections::VecDeque;

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub(crate) struct PendingEvent {
    pub(crate) vector: u8,
    pub(crate) err_code: Option<u32>,
    pub(crate) level_triggered: bool,
}

pub(crate) fn queue_pending_event(queue: &mut VecDeque<PendingEvent>, event: PendingEvent) {
    if event.vector >= 32 && queue.iter().any(|pending| pending.vector == event.vector) {
        return;
    }
    queue.push_back(event);
}

#[cfg(test)]
mod tests {
    use alloc::collections::VecDeque;

    use super::{PendingEvent, queue_pending_event};

    fn external_event(vector: u8) -> PendingEvent {
        PendingEvent {
            vector,
            err_code: None,
            level_triggered: false,
        }
    }

    #[test]
    fn repeated_external_vector_has_one_pending_owner() {
        let mut queue = VecDeque::new();

        queue_pending_event(&mut queue, external_event(0x31));
        queue_pending_event(&mut queue, external_event(0x31));
        queue_pending_event(&mut queue, external_event(0x32));

        assert_eq!(queue.len(), 2);
        assert_eq!(queue[0].vector, 0x31);
        assert_eq!(queue[1].vector, 0x32);
    }

    #[test]
    fn repeated_exceptions_remain_distinct_events() {
        let mut queue = VecDeque::new();
        let exception = PendingEvent {
            vector: 14,
            err_code: Some(1),
            level_triggered: false,
        };

        queue_pending_event(&mut queue, exception);
        queue_pending_event(&mut queue, exception);

        assert_eq!(queue.len(), 2);
    }
}