bern-kernel 0.3.1

Preemptive real-time kernel for microcontrollers.
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

use crate::mem::queue::spsc_const::ConstQueue;
use crate::sync::channel::Channel;

pub const fn channel<T, const N: usize>() -> Channel<ConstQueue<T, { N }>> {
    Channel::new(ConstQueue::new())
}

#[cfg(all(test, not(target_os = "none")))]
mod tests {
    use super::*;
    use crate::mem::queue::QueueError;
    use crate::sync::channel::{ChannelError, RefMessage};
    use std::boxed::Box;
    use std::thread;

    #[test]
    fn single_producer() {
        static CHANNEL: Channel<ConstQueue<u32, 16>> = channel::<u32, 16>();
        let (tx, rx) = CHANNEL.split();

        assert_eq!(rx.free(), 15);
        tx.send(42).unwrap();
        assert_eq!(rx.free(), 14);
        tx.send(43).unwrap();
        assert_eq!(rx.free(), 13);
        tx.send(44).unwrap();
        assert_eq!(rx.free(), 12);
        tx.send(45).unwrap();
        assert_eq!(rx.free(), 11);

        assert_eq!(rx.recv().unwrap(), 42);
        assert_eq!(rx.recv().unwrap(), 43);
        assert_eq!(rx.recv().unwrap(), 44);
        assert_eq!(rx.recv().unwrap(), 45);
        assert_eq!(rx.free(), 15);
    }

    #[test]
    fn overflow() {
        static CHANNEL: Channel<ConstQueue<u32, 16>> = channel::<u32, 16>();
        let (tx, _rx) = CHANNEL.split();

        for i in 0..15 {
            tx.send(i).unwrap();
        }
        assert_eq!(tx.free(), 0);

        let res = tx.send(16);
        assert_eq!(res, Err(ChannelError::Queue(QueueError::Full)));
    }

    #[test]
    fn underflow() {
        static CHANNEL: Channel<ConstQueue<u32, 16>> = channel::<u32, 16>();
        let (tx, rx) = CHANNEL.split();

        for i in 0..5 {
            tx.send(i).unwrap();
        }
        assert_eq!(tx.free(), 10);

        for _i in 0..5 {
            rx.recv().unwrap();
        }
        assert_eq!(rx.free(), 15);

        let res = rx.recv();
        assert_eq!(res, Err(ChannelError::Queue(QueueError::Emtpty)));
    }

    #[test]
    fn spsc_thread() {
        static CHANNEL: Channel<ConstQueue<u32, 16>> = channel::<u32, 16>();
        let (tx, rx) = CHANNEL.split();

        let prod_a = thread::spawn(move || {
            tx.send(42).unwrap();
            tx.send(43).unwrap();
            tx.send(44).unwrap();
            tx.send(45).unwrap();
        });

        prod_a.join().unwrap();

        assert_eq!(rx.recv().unwrap(), 42);
        assert_eq!(rx.recv().unwrap(), 43);
        assert_eq!(rx.recv().unwrap(), 44);
        assert_eq!(rx.recv().unwrap(), 45);
    }

    #[test]
    fn static_channel() {
        static CHANNEL: Channel<ConstQueue<u32, 16>> = channel::<u32, 16>();
        let (tx, rx) = CHANNEL.split();
        tx.send(42).unwrap();

        assert_eq!(rx.recv().unwrap(), 42);
    }

    #[test]
    fn by_ref() {
        static CHANNEL: Channel<ConstQueue<RefMessage<u32>, 16>> = channel::<RefMessage<u32>, 16>();
        let (tx, rx) = CHANNEL.split();

        let a = Box::new(42);
        tx.send(RefMessage::from(a)).unwrap();

        let b = rx.recv().unwrap().into_box();
        assert_eq!(*b, 42);
    }
}