ontologos-core 1.1.4

In-memory OWL ontology data model — interned IRIs, typed axioms, and JSON v2 snapshots
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

//! Cooperative cancellation for long-running DL/tableau work.

use std::cell::RefCell;
use std::sync::Arc;
use std::sync::atomic::{AtomicBool, Ordering};

thread_local! {
    static CURRENT_CANCEL: RefCell<Option<Arc<AtomicBool>>> = const { RefCell::new(None) };
}

/// Install a cancel flag for the current worker thread.
pub fn set_current_cancel(flag: Option<Arc<AtomicBool>>) {
    CURRENT_CANCEL.with(|slot| *slot.borrow_mut() = flag);
}

/// Whether the current worker should stop (budget timeout).
#[must_use]
pub fn cancel_requested() -> bool {
    CURRENT_CANCEL.with(|slot| {
        slot.borrow()
            .as_ref()
            .is_some_and(|flag| flag.load(Ordering::Acquire))
    })
}