pub struct TaskDAG { /* private fields */ }native and crate feature tasks only.Expand description
Directed Acyclic Graph for task dependencies
Manages complex task dependencies and provides topological sorting for execution order.
§Examples
use reinhardt_tasks::{TaskDAG, TaskId};
let mut dag = TaskDAG::new();
let task_a = TaskId::new();
let task_b = TaskId::new();
dag.add_task(task_a).unwrap();
dag.add_task(task_b).unwrap();
dag.add_dependency(task_b, task_a).unwrap();
let order = dag.topological_sort().unwrap();
assert_eq!(order.len(), 2);Implementations§
Source§impl TaskDAG
impl TaskDAG
Sourcepub fn new() -> TaskDAG
pub fn new() -> TaskDAG
Create a new empty task DAG
§Examples
use reinhardt_tasks::TaskDAG;
let dag = TaskDAG::new();
assert_eq!(dag.task_count(), 0);Sourcepub fn add_dependency(
&mut self,
task_id: TaskId,
depends_on: TaskId,
) -> Result<(), TaskError>
pub fn add_dependency( &mut self, task_id: TaskId, depends_on: TaskId, ) -> Result<(), TaskError>
Add a dependency between tasks
task_id depends on depends_on, meaning depends_on must complete before task_id.
§Examples
use reinhardt_tasks::{TaskDAG, TaskId};
let mut dag = TaskDAG::new();
let task_a = TaskId::new();
let task_b = TaskId::new();
dag.add_task(task_a).unwrap();
dag.add_task(task_b).unwrap();
dag.add_dependency(task_b, task_a).unwrap();§Errors
Returns an error if:
- Either task doesn’t exist in the DAG
- The dependency would create a cycle
Sourcepub fn task_count(&self) -> usize
pub fn task_count(&self) -> usize
Get the number of tasks in the DAG
§Examples
use reinhardt_tasks::{TaskDAG, TaskId};
let mut dag = TaskDAG::new();
dag.add_task(TaskId::new()).unwrap();
dag.add_task(TaskId::new()).unwrap();
assert_eq!(dag.task_count(), 2);Sourcepub fn get_task(&self, task_id: TaskId) -> Option<&TaskNode>
pub fn get_task(&self, task_id: TaskId) -> Option<&TaskNode>
Get a task node by ID
§Examples
use reinhardt_tasks::{TaskDAG, TaskId};
let mut dag = TaskDAG::new();
let task_id = TaskId::new();
dag.add_task(task_id).unwrap();
let node = dag.get_task(task_id);
assert!(node.is_some());Sourcepub fn get_ready_tasks(&self) -> Vec<TaskId>
pub fn get_ready_tasks(&self) -> Vec<TaskId>
Get tasks that are ready to execute (all dependencies satisfied)
§Examples
use reinhardt_tasks::{TaskDAG, TaskId, TaskNodeStatus};
let mut dag = TaskDAG::new();
let task_a = TaskId::new();
let task_b = TaskId::new();
dag.add_task(task_a).unwrap();
dag.add_task(task_b).unwrap();
dag.add_dependency(task_b, task_a).unwrap();
let ready = dag.get_ready_tasks();
assert_eq!(ready.len(), 1); // Only task_a has no dependenciesSourcepub fn mark_completed(&mut self, task_id: TaskId) -> Result<(), TaskError>
pub fn mark_completed(&mut self, task_id: TaskId) -> Result<(), TaskError>
Mark a task as completed
§Examples
use reinhardt_tasks::{TaskDAG, TaskId, TaskNodeStatus};
let mut dag = TaskDAG::new();
let task_id = TaskId::new();
dag.add_task(task_id).unwrap();
dag.mark_completed(task_id).unwrap();
assert_eq!(dag.get_task(task_id).unwrap().status(), TaskNodeStatus::Completed);§Errors
Returns an error if the task doesn’t exist in the DAG.
Sourcepub fn mark_failed(&mut self, task_id: TaskId) -> Result<(), TaskError>
pub fn mark_failed(&mut self, task_id: TaskId) -> Result<(), TaskError>
Mark a task as failed
§Examples
use reinhardt_tasks::{TaskDAG, TaskId, TaskNodeStatus};
let mut dag = TaskDAG::new();
let task_id = TaskId::new();
dag.add_task(task_id).unwrap();
dag.mark_failed(task_id).unwrap();
assert_eq!(dag.get_task(task_id).unwrap().status(), TaskNodeStatus::Failed);§Errors
Returns an error if the task doesn’t exist in the DAG.
Sourcepub fn mark_running(&mut self, task_id: TaskId) -> Result<(), TaskError>
pub fn mark_running(&mut self, task_id: TaskId) -> Result<(), TaskError>
Mark a task as running
§Examples
use reinhardt_tasks::{TaskDAG, TaskId, TaskNodeStatus};
let mut dag = TaskDAG::new();
let task_id = TaskId::new();
dag.add_task(task_id).unwrap();
dag.mark_running(task_id).unwrap();
assert_eq!(dag.get_task(task_id).unwrap().status(), TaskNodeStatus::Running);§Errors
Returns an error if the task doesn’t exist in the DAG.
Sourcepub fn topological_sort(&self) -> Result<Vec<TaskId>, TaskError>
pub fn topological_sort(&self) -> Result<Vec<TaskId>, TaskError>
Perform topological sort using Kahn’s algorithm
Returns an execution order that respects all dependencies.
§Examples
use reinhardt_tasks::{TaskDAG, TaskId};
let mut dag = TaskDAG::new();
let task_a = TaskId::new();
let task_b = TaskId::new();
let task_c = TaskId::new();
dag.add_task(task_a).unwrap();
dag.add_task(task_b).unwrap();
dag.add_task(task_c).unwrap();
dag.add_dependency(task_b, task_a).unwrap();
dag.add_dependency(task_c, task_b).unwrap();
let order = dag.topological_sort().unwrap();
assert_eq!(order.len(), 3);
// task_a must come before task_b, task_b must come before task_c
let a_pos = order.iter().position(|&id| id == task_a).unwrap();
let b_pos = order.iter().position(|&id| id == task_b).unwrap();
let c_pos = order.iter().position(|&id| id == task_c).unwrap();
assert!(a_pos < b_pos);
assert!(b_pos < c_pos);§Errors
Returns an error if the graph contains a cycle.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for TaskDAG
impl<'de> Deserialize<'de> for TaskDAG
Source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<TaskDAG, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<TaskDAG, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Source§impl Serialize for TaskDAG
impl Serialize for TaskDAG
Source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
Auto Trait Implementations§
impl Freeze for TaskDAG
impl RefUnwindSafe for TaskDAG
impl Send for TaskDAG
impl Sync for TaskDAG
impl Unpin for TaskDAG
impl UnsafeUnpin for TaskDAG
impl UnwindSafe for TaskDAG
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self to use its UpperHex implementation when
Debug-formatted.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
T in a tonic::RequestSource§impl<T> IntoResult<T> for T
impl<T> IntoResult<T> for T
type Err = Infallible
fn into_result(self) -> Result<T, <T as IntoResult<T>>::Err>
Source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self, then passes self.deref() into the pipe function.Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<R, P> ReadPrimitive<R> for P
impl<R, P> ReadPrimitive<R> for P
Source§fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
ReadEndian::read_from_little_endian().Source§impl<E> ServerFnErrorAssertions<E> for Ewhere
E: Debug,
impl<E> ServerFnErrorAssertions<E> for Ewhere
E: Debug,
Source§fn should_contain_message(&self, expected: &str)where
E: Display,
fn should_contain_message(&self, expected: &str)where
E: Display,
Source§fn should_have_message(&self, expected: &str)where
E: Display,
fn should_have_message(&self, expected: &str)where
E: Display,
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref() only in debug builds, and is erased in release
builds.