Skip to main content

Locked

Struct Locked 

Source
pub struct Locked<A> {
    inner: Mutex<A>,
    holder: AtomicI16,
}
Expand description

割り込みセーフな spin::Mutex をラップし、パニック発生時のデッドロックを防止するために ロックを現在保持している CPU コア ID の追跡記録機能を追加したラッパー構造体。

Fields§

§inner: Mutex<A>§holder: AtomicI16

ロックを現在保持しているコア ID(-1 の場合は未保持)。

Implementations§

Source§

impl<A> Locked<A>

Source

pub const fn new(inner: A) -> Self

与えられたアロケータをラップする Locked インスタンスを新規生成します。

Source

pub fn lock(&self) -> LockedGuard<'_, A>

ロックを獲得し、保持するコア ID を自動記録してガードオブジェクトを返します。

§プリエンプション禁止は不要(2026-08-05 検討済み)

一度 preempt_disable() を足したが、誤りだったので取り消した。 下の spin::Mutex::lock は取得時に割り込みを禁止する (is_interrupt_enabled / disable_interrupts)。 割り込みが来ないのだからタイマ割り込み経由のプリエンプションも起きず、 「ロックを握ったまま切り替わって、他スレッドが空回りする」経路は存在しない。

効果が無いばかりか、preempt_disable/enable は SeqCst のアトミック 読み書きなので、全確保・全解放に余計なコストを足すだけだった。 ここは最も呼ばれる経路なので、意味の無い命令を置いてはいけない。

Source

pub unsafe fn force_release_if_core(&self, cid: i16)

パニック回復時に、指定された CPU コア cid が現在このロックを保持している場合、 そのロックを強制解放してリカバリ可能にします。

§Safety

コア cid の現在実行中のタスク(スレッド)がアボートされ、その文脈が破棄される状況でのみ 安全に呼び出すことができます。

Trait Implementations§

Source§

impl GlobalAlloc for Locked<TlsfHeap>

Source§

unsafe fn alloc(&self, layout: Layout) -> *mut u8

Allocates memory as described by the given layout. Read more
Source§

unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout)

Deallocates the block of memory at the given ptr pointer with the given layout. Read more
1.28.0 · Source§

unsafe fn alloc_zeroed(&self, layout: Layout) -> *mut u8

Behaves like alloc, but also ensures that the contents are set to zero before being returned. Read more
1.28.0 · Source§

unsafe fn realloc( &self, ptr: *mut u8, layout: Layout, new_size: usize, ) -> *mut u8

Shrinks or grows a block of memory to the given new_size in bytes. The block is described by the given ptr pointer and layout. Read more

Auto Trait Implementations§

§

impl<A> !Freeze for Locked<A>

§

impl<A> !RefUnwindSafe for Locked<A>

§

impl<A> Send for Locked<A>
where A: Send,

§

impl<A> Sync for Locked<A>
where A: Send,

§

impl<A> Unpin for Locked<A>
where A: Unpin,

§

impl<A> UnsafeUnpin for Locked<A>
where A: UnsafeUnpin,

§

impl<A> UnwindSafe for Locked<A>
where A: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.