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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
//! The Threads module.
//!
//! **NOTE** A Drone platform crate may re-export this module with its own
//! additions under the same name, in which case it should be used instead.
//!
//! Drone is a hard real-time operating system. It uses interrupt-based
//! preemptive priority scheduling, where tasks with same priorities are
//! executed cooperatively. A task unit, called Fiber in Drone, is a stack-less
//! co-routine programmed with Rust async/await and/or generator syntax.
//!
//! A Drone application maps available prioritized interrupts to Drone threads.
//! The number of threads is always static but configurable. Any number of
//! fibers can be attached to particular threads, see [`fib`] for details. The
//! Drone application configures its own thread type, which implements
//! [`Thread`](thr::Thread), and creates a continuous array of this type.
//!
//! ```
//! # fn main() {}
//! use drone_core::thr;
//!
//! thr! {
//! // Path to the array of threads.
//! use THREADS;
//!
//! /// The thread object.
//! pub struct Thr {
//! // You can add your own fields to the thread object. These fields will be
//! // accessible through `to_thr` method of thread tokens. The types of
//! // these fields should be `Sync`.
//! pub foo: bool = false;
//! }
//!
//! // This is a part of `Thr` that can be accessed with `thr::local` function.
//! /// The thread-local storage.
//! pub struct ThrLocal {
//! // You can add your own fields here with the same syntax as above.
//! // Note that the initializer uses the special `index` variable, that
//! // has the value of the position of the thread within the threads array.
//! // The types of these fields shouldn't necessarily be `Sync`.
//! pub bar: usize = index;
//! }
//! }
//!
//! // This is for example only. Platform crates should provide macros to
//! // automatically generate this.
//! static mut THREADS: [Thr; 2] = [Thr::new(0), Thr::new(1)];
//! ```
pub use ;
use preempt;
use crate::;
/// Generic thread.
/// Generic thread-local storage.
/// The base trait for a thread token.
///
/// # Safety
///
/// [`ThrToken::THR_NUM`] must be a valid index in [`ThrToken::Thr`]'s array
/// returned by [`Thread::first`] method.
pub unsafe
/// The thread handler function.
///
/// # Safety
///
/// The function is not reentrant.
pub unsafe
unsafe