Line data Source code
1 : use std::panic::AssertUnwindSafe;
2 : use std::sync::atomic::{AtomicBool, AtomicU8, AtomicU32, Ordering};
3 : use std::sync::{Arc, OnceLock, mpsc};
4 : use std::thread::JoinHandle;
5 :
6 : use tracing::{debug, error, trace};
7 :
8 : use crate::time::Timing;
9 :
10 : /// Stores status of the running threads. Threads are registered in the runtime upon creation
11 : /// and deregistered upon termination.
12 : pub struct Runtime {
13 : // stores handles to all threads that are currently running
14 : threads: Vec<ThreadHandle>,
15 : // stores current time and pending wakeups
16 : clock: Arc<Timing>,
17 : // thread counter
18 : thread_counter: AtomicU32,
19 : // Thread step counter -- how many times all threads has been actually
20 : // stepped (note that all world/time/executor/thread have slightly different
21 : // meaning of steps). For observability.
22 : pub step_counter: u64,
23 : }
24 :
25 : impl Runtime {
26 : /// Init new runtime, no running threads.
27 528 : pub fn new(clock: Arc<Timing>) -> Self {
28 528 : Self {
29 528 : threads: Vec::new(),
30 528 : clock,
31 528 : thread_counter: AtomicU32::new(0),
32 528 : step_counter: 0,
33 528 : }
34 528 : }
35 :
36 : /// Spawn a new thread and register it in the runtime.
37 20183 : pub fn spawn<F>(&mut self, f: F) -> ExternalHandle
38 20183 : where
39 20183 : F: FnOnce() + Send + 'static,
40 20183 : {
41 20183 : let (tx, rx) = mpsc::channel();
42 20183 :
43 20183 : let clock = self.clock.clone();
44 20183 : let tid = self.thread_counter.fetch_add(1, Ordering::SeqCst);
45 20183 : debug!("spawning thread-{}", tid);
46 :
47 20183 : let join = std::thread::spawn(move || {
48 20183 : let _guard = tracing::info_span!("", tid).entered();
49 20183 :
50 20183 : let res = std::panic::catch_unwind(AssertUnwindSafe(|| {
51 20183 : with_thread_context(|ctx| {
52 20183 : assert!(ctx.clock.set(clock).is_ok());
53 20183 : ctx.id.store(tid, Ordering::SeqCst);
54 20183 : tx.send(ctx.clone()).expect("failed to send thread context");
55 20183 : // suspend thread to put it to `threads` in sleeping state
56 20183 : ctx.yield_me(0);
57 20183 : });
58 20183 :
59 20183 : // start user-provided function
60 20183 : f();
61 20183 : }));
62 20183 : debug!("thread finished");
63 :
64 20183 : if let Err(e) = res {
65 20163 : with_thread_context(|ctx| {
66 20105 : if !ctx.allow_panic.load(std::sync::atomic::Ordering::SeqCst) {
67 0 : error!("thread panicked, terminating the process: {:?}", e);
68 0 : std::process::exit(1);
69 20105 : }
70 20105 :
71 20105 : debug!("thread panicked: {:?}", e);
72 20105 : let mut result = ctx.result.lock();
73 20105 : if result.0 == -1 {
74 19699 : *result = (256, format!("thread panicked: {:?}", e));
75 19699 : }
76 20163 : });
77 20163 : }
78 :
79 20183 : with_thread_context(|ctx| {
80 20125 : ctx.finish_me();
81 20183 : });
82 20183 : });
83 20183 :
84 20183 : let ctx = rx.recv().expect("failed to receive thread context");
85 20183 : let handle = ThreadHandle::new(ctx.clone(), join);
86 20183 :
87 20183 : self.threads.push(handle);
88 20183 :
89 20183 : ExternalHandle { ctx }
90 20183 : }
91 :
92 : /// Returns true if there are any unfinished activity, such as running thread or pending events.
93 : /// Otherwise returns false, which means all threads are blocked forever.
94 412009 : pub fn step(&mut self) -> bool {
95 412009 : trace!("runtime step");
96 :
97 : // have we run any thread?
98 412009 : let mut ran = false;
99 412009 :
100 2056709 : self.threads.retain(|thread: &ThreadHandle| {
101 2056709 : let res = thread.ctx.wakeup.compare_exchange(
102 2056709 : PENDING_WAKEUP,
103 2056709 : NO_WAKEUP,
104 2056709 : Ordering::SeqCst,
105 2056709 : Ordering::SeqCst,
106 2056709 : );
107 2056709 : if res.is_err() {
108 : // thread has no pending wakeups, leaving as is
109 1771700 : return true;
110 285009 : }
111 285009 : ran = true;
112 285009 :
113 285009 : trace!("entering thread-{}", thread.ctx.tid());
114 285009 : let status = thread.step();
115 285009 : self.step_counter += 1;
116 285009 : trace!(
117 0 : "out of thread-{} with status {:?}",
118 0 : thread.ctx.tid(),
119 : status
120 : );
121 :
122 285009 : if status == Status::Sleep {
123 264884 : true
124 : } else {
125 20125 : trace!("thread has finished");
126 : // removing the thread from the list
127 20125 : false
128 : }
129 2056709 : });
130 412009 :
131 412009 : if !ran {
132 217687 : trace!("no threads were run, stepping clock");
133 217687 : if let Some(ctx_to_wake) = self.clock.step() {
134 217139 : trace!("waking up thread-{}", ctx_to_wake.tid());
135 217139 : ctx_to_wake.inc_wake();
136 : } else {
137 548 : return false;
138 : }
139 194322 : }
140 :
141 411461 : true
142 412009 : }
143 :
144 : /// Kill all threads. This is done by setting a flag in each thread context and waking it up.
145 1008 : pub fn crash_all_threads(&mut self) {
146 2863 : for thread in self.threads.iter() {
147 2863 : thread.ctx.crash_stop();
148 2863 : }
149 :
150 : // all threads should be finished after a few steps
151 1512 : while !self.threads.is_empty() {
152 504 : self.step();
153 504 : }
154 1008 : }
155 : }
156 :
157 : impl Drop for Runtime {
158 503 : fn drop(&mut self) {
159 503 : debug!("dropping the runtime");
160 503 : self.crash_all_threads();
161 503 : }
162 : }
163 :
164 : #[derive(Clone)]
165 : pub struct ExternalHandle {
166 : ctx: Arc<ThreadContext>,
167 : }
168 :
169 : impl ExternalHandle {
170 : /// Returns true if thread has finished execution.
171 427298 : pub fn is_finished(&self) -> bool {
172 427298 : let status = self.ctx.mutex.lock();
173 427298 : *status == Status::Finished
174 427298 : }
175 :
176 : /// Returns exitcode and message, which is available after thread has finished execution.
177 397 : pub fn result(&self) -> (i32, String) {
178 397 : let result = self.ctx.result.lock();
179 397 : result.clone()
180 397 : }
181 :
182 : /// Returns thread id.
183 16 : pub fn id(&self) -> u32 {
184 16 : self.ctx.id.load(Ordering::SeqCst)
185 16 : }
186 :
187 : /// Sets a flag to crash thread on the next wakeup.
188 17188 : pub fn crash_stop(&self) {
189 17188 : self.ctx.crash_stop();
190 17188 : }
191 : }
192 :
193 : struct ThreadHandle {
194 : ctx: Arc<ThreadContext>,
195 : _join: JoinHandle<()>,
196 : }
197 :
198 : impl ThreadHandle {
199 : /// Create a new [`ThreadHandle`] and wait until thread will enter [`Status::Sleep`] state.
200 20183 : fn new(ctx: Arc<ThreadContext>, join: JoinHandle<()>) -> Self {
201 20183 : let mut status = ctx.mutex.lock();
202 : // wait until thread will go into the first yield
203 20221 : while *status != Status::Sleep {
204 38 : ctx.condvar.wait(&mut status);
205 38 : }
206 20183 : drop(status);
207 20183 :
208 20183 : Self { ctx, _join: join }
209 20183 : }
210 :
211 : /// Allows thread to execute one step of its execution.
212 : /// Returns [`Status`] of the thread after the step.
213 285009 : fn step(&self) -> Status {
214 285009 : let mut status = self.ctx.mutex.lock();
215 285009 : assert!(matches!(*status, Status::Sleep));
216 :
217 285009 : *status = Status::Running;
218 285009 : self.ctx.condvar.notify_all();
219 :
220 570018 : while *status == Status::Running {
221 285009 : self.ctx.condvar.wait(&mut status);
222 285009 : }
223 :
224 285009 : *status
225 285009 : }
226 : }
227 :
228 : #[derive(Clone, Copy, Debug, PartialEq, Eq)]
229 : enum Status {
230 : /// Thread is running.
231 : Running,
232 : /// Waiting for event to complete, will be resumed by the executor step, once wakeup flag is set.
233 : Sleep,
234 : /// Thread finished execution.
235 : Finished,
236 : }
237 :
238 : const NO_WAKEUP: u8 = 0;
239 : const PENDING_WAKEUP: u8 = 1;
240 :
241 : pub struct ThreadContext {
242 : id: AtomicU32,
243 : // used to block thread until it is woken up
244 : mutex: parking_lot::Mutex<Status>,
245 : condvar: parking_lot::Condvar,
246 : // used as a flag to indicate runtime that thread is ready to be woken up
247 : wakeup: AtomicU8,
248 : clock: OnceLock<Arc<Timing>>,
249 : // execution result, set by exit() call
250 : result: parking_lot::Mutex<(i32, String)>,
251 : // determines if process should be killed on receiving panic
252 : allow_panic: AtomicBool,
253 : // acts as a signal that thread should crash itself on the next wakeup
254 : crash_request: AtomicBool,
255 : }
256 :
257 : impl ThreadContext {
258 20711 : pub(crate) fn new() -> Self {
259 20711 : Self {
260 20711 : id: AtomicU32::new(0),
261 20711 : mutex: parking_lot::Mutex::new(Status::Running),
262 20711 : condvar: parking_lot::Condvar::new(),
263 20711 : wakeup: AtomicU8::new(NO_WAKEUP),
264 20711 : clock: OnceLock::new(),
265 20711 : result: parking_lot::Mutex::new((-1, String::new())),
266 20711 : allow_panic: AtomicBool::new(false),
267 20711 : crash_request: AtomicBool::new(false),
268 20711 : }
269 20711 : }
270 : }
271 :
272 : // Functions for executor to control thread execution.
273 : impl ThreadContext {
274 : /// Set atomic flag to indicate that thread is ready to be woken up.
275 674794 : fn inc_wake(&self) {
276 674794 : self.wakeup.store(PENDING_WAKEUP, Ordering::SeqCst);
277 674794 : }
278 :
279 : /// Internal function used for event queues.
280 178311 : pub(crate) fn schedule_wakeup(self: &Arc<Self>, after_ms: u64) {
281 178311 : self.clock
282 178311 : .get()
283 178311 : .unwrap()
284 178311 : .schedule_wakeup(after_ms, self.clone());
285 178311 : }
286 :
287 1 : fn tid(&self) -> u32 {
288 1 : self.id.load(Ordering::SeqCst)
289 1 : }
290 :
291 20051 : fn crash_stop(&self) {
292 20051 : let status = self.mutex.lock();
293 20051 : if *status == Status::Finished {
294 8 : debug!(
295 0 : "trying to crash thread-{}, which is already finished",
296 0 : self.tid()
297 : );
298 8 : return;
299 20043 : }
300 20043 : assert!(matches!(*status, Status::Sleep));
301 20043 : drop(status);
302 20043 :
303 20043 : self.allow_panic.store(true, Ordering::SeqCst);
304 20043 : self.crash_request.store(true, Ordering::SeqCst);
305 20043 : // set a wakeup
306 20043 : self.inc_wake();
307 : // it will panic on the next wakeup
308 20051 : }
309 : }
310 :
311 : // Internal functions.
312 : impl ThreadContext {
313 : /// Blocks thread until it's woken up by the executor. If `after_ms` is 0, is will be
314 : /// woken on the next step. If `after_ms` > 0, wakeup is scheduled after that time.
315 : /// Otherwise wakeup is not scheduled inside `yield_me`, and should be arranged before
316 : /// calling this function.
317 285067 : fn yield_me(self: &Arc<Self>, after_ms: i64) {
318 285067 : let mut status = self.mutex.lock();
319 285067 : assert!(matches!(*status, Status::Running));
320 :
321 285067 : match after_ms.cmp(&0) {
322 236029 : std::cmp::Ordering::Less => {
323 236029 : // block until something wakes us up
324 236029 : }
325 21641 : std::cmp::Ordering::Equal => {
326 21641 : // tell executor that we are ready to be woken up
327 21641 : self.inc_wake();
328 21641 : }
329 27397 : std::cmp::Ordering::Greater => {
330 27397 : // schedule wakeup
331 27397 : self.clock
332 27397 : .get()
333 27397 : .unwrap()
334 27397 : .schedule_wakeup(after_ms as u64, self.clone());
335 27397 : }
336 : }
337 :
338 285067 : *status = Status::Sleep;
339 285067 : self.condvar.notify_all();
340 :
341 : // wait until executor wakes us up
342 570076 : while *status != Status::Running {
343 285009 : self.condvar.wait(&mut status);
344 285009 : }
345 :
346 285067 : if self.crash_request.load(Ordering::SeqCst) {
347 19699 : panic!("crashed by request");
348 265368 : }
349 265368 : }
350 :
351 : /// Called only once, exactly before thread finishes execution.
352 20125 : fn finish_me(&self) {
353 20125 : let mut status = self.mutex.lock();
354 20125 : assert!(matches!(*status, Status::Running));
355 :
356 20125 : *status = Status::Finished;
357 20125 : {
358 20125 : let mut result = self.result.lock();
359 20125 : if result.0 == -1 {
360 20 : *result = (0, "finished normally".to_owned());
361 20105 : }
362 : }
363 20125 : self.condvar.notify_all();
364 20125 : }
365 : }
366 :
367 : /// Invokes the given closure with a reference to the current thread [`ThreadContext`].
368 : #[inline(always)]
369 1866570 : fn with_thread_context<T>(f: impl FnOnce(&Arc<ThreadContext>) -> T) -> T {
370 1866570 : thread_local!(static THREAD_DATA: Arc<ThreadContext> = Arc::new(ThreadContext::new()));
371 1866570 : THREAD_DATA.with(f)
372 1866570 : }
373 :
374 : /// Waker is used to wake up threads that are blocked on condition.
375 : /// It keeps track of contexts [`Arc<ThreadContext>`] and can increment the counter
376 : /// of several contexts to send a notification.
377 : pub struct Waker {
378 : // contexts that are waiting for a notification
379 : contexts: parking_lot::Mutex<smallvec::SmallVec<[Arc<ThreadContext>; 8]>>,
380 : }
381 :
382 : impl Default for Waker {
383 0 : fn default() -> Self {
384 0 : Self::new()
385 0 : }
386 : }
387 :
388 : impl Waker {
389 82553 : pub fn new() -> Self {
390 82553 : Self {
391 82553 : contexts: parking_lot::Mutex::new(smallvec::SmallVec::new()),
392 82553 : }
393 82553 : }
394 :
395 : /// Subscribe current thread to receive a wake notification later.
396 832082 : pub fn wake_me_later(&self) {
397 832082 : with_thread_context(|ctx| {
398 832082 : self.contexts.lock().push(ctx.clone());
399 832082 : });
400 832082 : }
401 :
402 : /// Wake up all threads that are waiting for a notification and clear the list.
403 124918 : pub fn wake_all(&self) {
404 124918 : let mut v = self.contexts.lock();
405 415971 : for ctx in v.iter() {
406 415971 : ctx.inc_wake();
407 415971 : }
408 124918 : v.clear();
409 124918 : }
410 : }
411 :
412 : /// See [`ThreadContext::yield_me`].
413 264884 : pub fn yield_me(after_ms: i64) {
414 264884 : with_thread_context(|ctx| ctx.yield_me(after_ms))
415 264884 : }
416 :
417 : /// Get current time.
418 708257 : pub fn now() -> u64 {
419 708257 : with_thread_context(|ctx| ctx.clock.get().unwrap().now())
420 708257 : }
421 :
422 406 : pub fn exit(code: i32, msg: String) {
423 406 : with_thread_context(|ctx| {
424 406 : ctx.allow_panic.store(true, Ordering::SeqCst);
425 406 : let mut result = ctx.result.lock();
426 406 : *result = (code, msg);
427 406 : panic!("exit");
428 406 : });
429 : }
430 :
431 528 : pub(crate) fn get_thread_ctx() -> Arc<ThreadContext> {
432 528 : with_thread_context(|ctx| ctx.clone())
433 528 : }
434 :
435 : /// Trait for polling channels until they have something.
436 : pub trait PollSome {
437 : /// Schedule wakeup for message arrival.
438 : fn wake_me(&self);
439 :
440 : /// Check if channel has a ready message.
441 : fn has_some(&self) -> bool;
442 : }
443 :
444 : /// Blocks current thread until one of the channels has a ready message. Returns
445 : /// index of the channel that has a message. If timeout is reached, returns None.
446 : ///
447 : /// Negative timeout means block forever. Zero timeout means check channels and return
448 : /// immediately. Positive timeout means block until timeout is reached.
449 106827 : pub fn epoll_chans(chans: &[Box<dyn PollSome>], timeout: i64) -> Option<usize> {
450 106827 : let deadline = if timeout < 0 {
451 78497 : 0
452 : } else {
453 28330 : now() + timeout as u64
454 : };
455 :
456 : loop {
457 1012390 : for chan in chans {
458 829407 : chan.wake_me()
459 : }
460 :
461 668032 : for (i, chan) in chans.iter().enumerate() {
462 668032 : if chan.has_some() {
463 85150 : return Some(i);
464 582882 : }
465 : }
466 :
467 97833 : if timeout < 0 {
468 67579 : // block until wakeup
469 67579 : yield_me(-1);
470 67579 : } else {
471 30254 : let current_time = now();
472 30254 : if current_time >= deadline {
473 21677 : return None;
474 8577 : }
475 8577 :
476 8577 : yield_me((deadline - current_time) as i64);
477 : }
478 : }
479 106827 : }
|
