ax-task 0.7.0

OS-independent IRQ-safe SMP task scheduling core
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

//! Typed identity capability for the executing scheduler thread.

use core::marker::PhantomData;

use super::ThreadId;

/// Move-only proof of the scheduler thread executing this task context.
///
/// Scheduler-adjacent primitives may retain this token on the current stack
/// across preemption and park/resume, then reuse it for bounded metadata
/// transitions. It owns no scheduler resource and cannot cross threads.
#[derive(Debug)]
pub struct CurrentThreadToken {
    thread: ThreadId,
    _not_send: PhantomData<*mut ()>,
}

impl CurrentThreadToken {
    pub(crate) const fn new(thread: ThreadId) -> Self {
        Self {
            thread,
            _not_send: PhantomData,
        }
    }

    /// Returns the generation-bearing identity captured for this execution.
    pub const fn id(&self) -> ThreadId {
        self.thread
    }
}