diff options
Diffstat (limited to 'tokio/src/runtime/task/list.rs')
-rw-r--r-- | tokio/src/runtime/task/list.rs | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/tokio/src/runtime/task/list.rs b/tokio/src/runtime/task/list.rs new file mode 100644 index 00000000..7ccc5795 --- /dev/null +++ b/tokio/src/runtime/task/list.rs @@ -0,0 +1,96 @@ +use crate::runtime::task::{Header, Task}; + +use std::fmt; +use std::marker::PhantomData; +use std::ptr::NonNull; + +pub(crate) struct OwnedList<T: 'static> { + head: Option<NonNull<Header>>, + _p: PhantomData<T>, +} + +impl<T: 'static> OwnedList<T> { + pub(crate) fn new() -> OwnedList<T> { + OwnedList { + head: None, + _p: PhantomData, + } + } + + pub(crate) fn insert(&mut self, task: &Task<T>) { + debug_assert!(!self.contains(task)); + + unsafe { + debug_assert!((*task.header().owned_next.get()).is_none()); + debug_assert!((*task.header().owned_prev.get()).is_none()); + + let ptr = Some(task.header().into()); + + if let Some(next) = self.head { + debug_assert!((*next.as_ref().owned_prev.get()).is_none()); + *next.as_ref().owned_prev.get() = ptr; + } + + *task.header().owned_next.get() = self.head; + self.head = ptr; + } + } + + pub(crate) fn remove(&mut self, task: &Task<T>) { + debug_assert!(self.head.is_some()); + + unsafe { + if let Some(next) = *task.header().owned_next.get() { + *next.as_ref().owned_prev.get() = *task.header().owned_prev.get(); + } + + if let Some(prev) = *task.header().owned_prev.get() { + *prev.as_ref().owned_next.get() = *task.header().owned_next.get(); + } else { + debug_assert_eq!(self.head, Some(task.header().into())); + self.head = *task.header().owned_next.get(); + } + } + } + + pub(crate) fn is_empty(&self) -> bool { + self.head.is_none() + } + + /// Transition all tasks in the list to canceled as part of the shutdown + /// process. + pub(crate) fn shutdown(&self) { + let mut curr = self.head; + + while let Some(task) = curr { + unsafe { + let vtable = task.as_ref().vtable; + (vtable.cancel)(task.as_ptr() as *mut (), false); + curr = *task.as_ref().owned_next.get(); + } + } + } + + /// Only used by debug assertions + fn contains(&self, task: &Task<T>) -> bool { + let mut curr = self.head; + + while let Some(p) = curr { + if p == task.header().into() { + return true; + } + + unsafe { + curr = *p.as_ref().owned_next.get(); + } + } + + false + } +} + +impl<T: 'static> fmt::Debug for OwnedList<T> { + fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result { + fmt.debug_struct("OwnedList").finish() + } +} |