1374b60a0SAndreas Hindborg // SPDX-License-Identifier: GPL-2.0 2374b60a0SAndreas Hindborg 3374b60a0SAndreas Hindborg use super::HasHrTimer; 4374b60a0SAndreas Hindborg use super::HrTimer; 5374b60a0SAndreas Hindborg use super::HrTimerCallback; 6374b60a0SAndreas Hindborg use super::HrTimerHandle; 7374b60a0SAndreas Hindborg use super::HrTimerPointer; 8*1116f0c5SFUJITA Tomonori use super::Ktime; 9374b60a0SAndreas Hindborg use super::RawHrTimerCallback; 10374b60a0SAndreas Hindborg use crate::prelude::*; 11374b60a0SAndreas Hindborg use core::ptr::NonNull; 12374b60a0SAndreas Hindborg 13374b60a0SAndreas Hindborg /// A handle for a [`Box<HasHrTimer<T>>`] returned by a call to 14374b60a0SAndreas Hindborg /// [`HrTimerPointer::start`]. 15374b60a0SAndreas Hindborg /// 16374b60a0SAndreas Hindborg /// # Invariants 17374b60a0SAndreas Hindborg /// 18374b60a0SAndreas Hindborg /// - `self.inner` comes from a `Box::into_raw` call. 19374b60a0SAndreas Hindborg pub struct BoxHrTimerHandle<T, A> 20374b60a0SAndreas Hindborg where 21374b60a0SAndreas Hindborg T: HasHrTimer<T>, 22374b60a0SAndreas Hindborg A: crate::alloc::Allocator, 23374b60a0SAndreas Hindborg { 24374b60a0SAndreas Hindborg pub(crate) inner: NonNull<T>, 25374b60a0SAndreas Hindborg _p: core::marker::PhantomData<A>, 26374b60a0SAndreas Hindborg } 27374b60a0SAndreas Hindborg 28374b60a0SAndreas Hindborg // SAFETY: We implement drop below, and we cancel the timer in the drop 29374b60a0SAndreas Hindborg // implementation. 30374b60a0SAndreas Hindborg unsafe impl<T, A> HrTimerHandle for BoxHrTimerHandle<T, A> 31374b60a0SAndreas Hindborg where 32374b60a0SAndreas Hindborg T: HasHrTimer<T>, 33374b60a0SAndreas Hindborg A: crate::alloc::Allocator, 34374b60a0SAndreas Hindborg { cancel(&mut self) -> bool35374b60a0SAndreas Hindborg fn cancel(&mut self) -> bool { 36374b60a0SAndreas Hindborg // SAFETY: As we obtained `self.inner` from a valid reference when we 37374b60a0SAndreas Hindborg // created `self`, it must point to a valid `T`. 38374b60a0SAndreas Hindborg let timer_ptr = unsafe { <T as HasHrTimer<T>>::raw_get_timer(self.inner.as_ptr()) }; 39374b60a0SAndreas Hindborg 40374b60a0SAndreas Hindborg // SAFETY: As `timer_ptr` points into `T` and `T` is valid, `timer_ptr` 41374b60a0SAndreas Hindborg // must point to a valid `HrTimer` instance. 42374b60a0SAndreas Hindborg unsafe { HrTimer::<T>::raw_cancel(timer_ptr) } 43374b60a0SAndreas Hindborg } 44374b60a0SAndreas Hindborg } 45374b60a0SAndreas Hindborg 46374b60a0SAndreas Hindborg impl<T, A> Drop for BoxHrTimerHandle<T, A> 47374b60a0SAndreas Hindborg where 48374b60a0SAndreas Hindborg T: HasHrTimer<T>, 49374b60a0SAndreas Hindborg A: crate::alloc::Allocator, 50374b60a0SAndreas Hindborg { drop(&mut self)51374b60a0SAndreas Hindborg fn drop(&mut self) { 52374b60a0SAndreas Hindborg self.cancel(); 53374b60a0SAndreas Hindborg // SAFETY: By type invariant, `self.inner` came from a `Box::into_raw` 54374b60a0SAndreas Hindborg // call. 55374b60a0SAndreas Hindborg drop(unsafe { Box::<T, A>::from_raw(self.inner.as_ptr()) }) 56374b60a0SAndreas Hindborg } 57374b60a0SAndreas Hindborg } 58374b60a0SAndreas Hindborg 59374b60a0SAndreas Hindborg impl<T, A> HrTimerPointer for Pin<Box<T, A>> 60374b60a0SAndreas Hindborg where 61374b60a0SAndreas Hindborg T: 'static, 62374b60a0SAndreas Hindborg T: Send + Sync, 63374b60a0SAndreas Hindborg T: HasHrTimer<T>, 64374b60a0SAndreas Hindborg T: for<'a> HrTimerCallback<Pointer<'a> = Pin<Box<T, A>>>, 65374b60a0SAndreas Hindborg A: crate::alloc::Allocator, 66374b60a0SAndreas Hindborg { 67374b60a0SAndreas Hindborg type TimerHandle = BoxHrTimerHandle<T, A>; 68374b60a0SAndreas Hindborg start(self, expires: Ktime) -> Self::TimerHandle69374b60a0SAndreas Hindborg fn start(self, expires: Ktime) -> Self::TimerHandle { 70374b60a0SAndreas Hindborg // SAFETY: 71374b60a0SAndreas Hindborg // - We will not move out of this box during timer callback (we pass an 72374b60a0SAndreas Hindborg // immutable reference to the callback). 73374b60a0SAndreas Hindborg // - `Box::into_raw` is guaranteed to return a valid pointer. 74374b60a0SAndreas Hindborg let inner = 75374b60a0SAndreas Hindborg unsafe { NonNull::new_unchecked(Box::into_raw(Pin::into_inner_unchecked(self))) }; 76374b60a0SAndreas Hindborg 77374b60a0SAndreas Hindborg // SAFETY: 78374b60a0SAndreas Hindborg // - We keep `self` alive by wrapping it in a handle below. 79374b60a0SAndreas Hindborg // - Since we generate the pointer passed to `start` from a valid 80374b60a0SAndreas Hindborg // reference, it is a valid pointer. 81374b60a0SAndreas Hindborg unsafe { T::start(inner.as_ptr(), expires) }; 82374b60a0SAndreas Hindborg 83374b60a0SAndreas Hindborg // INVARIANT: `inner` came from `Box::into_raw` above. 84374b60a0SAndreas Hindborg BoxHrTimerHandle { 85374b60a0SAndreas Hindborg inner, 86374b60a0SAndreas Hindborg _p: core::marker::PhantomData, 87374b60a0SAndreas Hindborg } 88374b60a0SAndreas Hindborg } 89374b60a0SAndreas Hindborg } 90374b60a0SAndreas Hindborg 91374b60a0SAndreas Hindborg impl<T, A> RawHrTimerCallback for Pin<Box<T, A>> 92374b60a0SAndreas Hindborg where 93374b60a0SAndreas Hindborg T: 'static, 94374b60a0SAndreas Hindborg T: HasHrTimer<T>, 95374b60a0SAndreas Hindborg T: for<'a> HrTimerCallback<Pointer<'a> = Pin<Box<T, A>>>, 96374b60a0SAndreas Hindborg A: crate::alloc::Allocator, 97374b60a0SAndreas Hindborg { 98374b60a0SAndreas Hindborg type CallbackTarget<'a> = Pin<&'a mut T>; 99374b60a0SAndreas Hindborg run(ptr: *mut bindings::hrtimer) -> bindings::hrtimer_restart100374b60a0SAndreas Hindborg unsafe extern "C" fn run(ptr: *mut bindings::hrtimer) -> bindings::hrtimer_restart { 101374b60a0SAndreas Hindborg // `HrTimer` is `repr(C)` 102374b60a0SAndreas Hindborg let timer_ptr = ptr.cast::<super::HrTimer<T>>(); 103374b60a0SAndreas Hindborg 104374b60a0SAndreas Hindborg // SAFETY: By C API contract `ptr` is the pointer we passed when 105374b60a0SAndreas Hindborg // queuing the timer, so it is a `HrTimer<T>` embedded in a `T`. 106374b60a0SAndreas Hindborg let data_ptr = unsafe { T::timer_container_of(timer_ptr) }; 107374b60a0SAndreas Hindborg 108374b60a0SAndreas Hindborg // SAFETY: 109374b60a0SAndreas Hindborg // - As per the safety requirements of the trait `HrTimerHandle`, the 110374b60a0SAndreas Hindborg // `BoxHrTimerHandle` associated with this timer is guaranteed to 111374b60a0SAndreas Hindborg // be alive until this method returns. That handle owns the `T` 112374b60a0SAndreas Hindborg // behind `data_ptr` thus guaranteeing the validity of 113374b60a0SAndreas Hindborg // the reference created below. 114374b60a0SAndreas Hindborg // - As `data_ptr` comes from a `Pin<Box<T>>`, only pinned references to 115374b60a0SAndreas Hindborg // `data_ptr` exist. 116374b60a0SAndreas Hindborg let data_mut_ref = unsafe { Pin::new_unchecked(&mut *data_ptr) }; 117374b60a0SAndreas Hindborg 118374b60a0SAndreas Hindborg T::run(data_mut_ref).into_c() 119374b60a0SAndreas Hindborg } 120374b60a0SAndreas Hindborg } 121