use super::{latch::Latch, unwind};
use std::{any::Any, cell::UnsafeCell, mem, sync::Arc};
pub(super) enum JobResult<T> {
None,
Ok(T),
Panic(Box<dyn Any + Send>),
}
pub(super) trait Job {
unsafe fn execute(this: *const ());
}
pub(super) struct JobRef {
pointer: *const (),
execute_fn: unsafe fn(*const ()),
}
unsafe impl Send for JobRef {}
unsafe impl Sync for JobRef {}
impl JobRef {
pub(super) unsafe fn new<T>(data: *const T) -> Self
where
T: Job,
{
Self {
pointer: data as *const (),
execute_fn: <T as Job>::execute,
}
}
#[inline]
pub(super) fn id(&self) -> impl Eq + use<> {
(self.pointer, self.execute_fn)
}
#[inline]
pub(super) unsafe fn execute(self) {
unsafe { (self.execute_fn)(self.pointer) }
}
}
pub(super) struct StackJob<L, F, R>
where
L: Latch + Sync,
F: FnOnce(bool) -> R + Send,
R: Send,
{
pub(super) latch: L,
func: UnsafeCell<Option<F>>,
result: UnsafeCell<JobResult<R>>,
}
impl<L, F, R> StackJob<L, F, R>
where
L: Latch + Sync,
F: FnOnce(bool) -> R + Send,
R: Send,
{
pub(super) const fn new(func: F, latch: L) -> Self {
Self {
latch,
func: UnsafeCell::new(Some(func)),
result: UnsafeCell::new(JobResult::None),
}
}
pub(super) unsafe fn as_job_ref(&self) -> JobRef {
unsafe { JobRef::new(self) }
}
pub(super) unsafe fn run_inline(self, stolen: bool) -> R {
self.func.into_inner().unwrap()(stolen)
}
pub(super) unsafe fn into_result(self) -> R {
self.result.into_inner().into_return_value()
}
}
impl<L, F, R> Job for StackJob<L, F, R>
where
L: Latch + Sync,
F: FnOnce(bool) -> R + Send,
R: Send,
{
unsafe fn execute(this: *const ()) {
unsafe {
let this = &*(this as *const Self);
let abort = unwind::AbortIfPanic;
let func = (*this.func.get()).take().unwrap();
(*this.result.get()) = JobResult::call(func);
Latch::set(&this.latch);
mem::forget(abort);
}
}
}
pub(super) struct HeapJob<BODY>
where
BODY: FnOnce() + Send,
{
job: BODY,
}
impl<BODY> HeapJob<BODY>
where
BODY: FnOnce() + Send,
{
pub(super) fn new(job: BODY) -> Box<Self> {
Box::new(Self { job })
}
pub(super) unsafe fn into_job_ref(self: Box<Self>) -> JobRef {
unsafe { JobRef::new(Box::into_raw(self)) }
}
pub(super) fn into_static_job_ref(self: Box<Self>) -> JobRef
where
BODY: 'static,
{
unsafe { self.into_job_ref() }
}
}
impl<BODY> Job for HeapJob<BODY>
where
BODY: FnOnce() + Send,
{
unsafe fn execute(this: *const ()) {
let this = unsafe { Box::from_raw(this as *mut Self) };
(this.job)();
}
}
pub(super) struct ArcJob<BODY>
where
BODY: Fn() + Send + Sync,
{
job: BODY,
}
impl<BODY> ArcJob<BODY>
where
BODY: Fn() + Send + Sync,
{
pub(super) fn new(job: BODY) -> Arc<Self> {
Arc::new(Self { job })
}
pub(super) unsafe fn as_job_ref(this: &Arc<Self>) -> JobRef {
unsafe { JobRef::new(Arc::into_raw(Arc::clone(this))) }
}
pub(super) fn as_static_job_ref(this: &Arc<Self>) -> JobRef
where
BODY: 'static,
{
unsafe { Self::as_job_ref(this) }
}
}
impl<BODY> Job for ArcJob<BODY>
where
BODY: Fn() + Send + Sync,
{
unsafe fn execute(this: *const ()) {
let this = unsafe { Arc::from_raw(this as *mut Self) };
(this.job)();
}
}
impl<T> JobResult<T> {
fn call(func: impl FnOnce(bool) -> T) -> Self {
match unwind::halt_unwinding(|| func(true)) {
Ok(x) => Self::Ok(x),
Err(x) => Self::Panic(x),
}
}
pub(super) fn into_return_value(self) -> T {
match self {
Self::None => unreachable!(),
Self::Ok(x) => x,
Self::Panic(x) => unwind::resume_unwinding(x),
}
}
}