fn destroy(&mut self) {
        debug_assert!(self.session().tasks().get(&self.rec_tid).is_some());
        // Removing the entry from the HashMap causes the drop() to happen
        self.session().tasks_mut().remove(&self.rec_tid);
    }
/// DIFF NOTE: Unlike rr, it is NOT compulsory to always call this method
/// to cleanup a task. Call this method when you need to explicitly remove
/// the entry the task_map in SessionInner.
/// If this method is NOT called then simply do what this method is doing
/// which is to remove the corresponding TaskSharedPtr entry from the
/// task_map. See kill_all_tasks() for an example where the task map
/// is being pop-ed from.
DIFF NOTE: Unlike rr, it is NOT compulsory to always call this method
to cleanup a task. Call this method when you need to explicitly remove
the entry the task_map in SessionInner.
If this method is NOT called then simply do what this method is doing
which is to remove the corresponding TaskSharedPtr entry from the
task_map. See kill_all_tasks() for an example where the task map
is being pop-ed from.
DIFF NOTE : Unlike rr it is NOT compulsory to always call this method to cleanup a task . Call this method when you need to explicitly remove the entry the task_map in SessionInner . If this method is NOT called then simply do what this method is doing which is to remove the corresponding TaskSharedPtr entry from the task_map . See kill_all_tasks () for an example where the task map is being pop - ed from .
fn destroy(&mut self) {
        debug_assert!(self.session().tasks().get(&self.rec_tid).is_some());
        // Removing the entry from the HashMap causes the drop() to happen
        self.session().tasks_mut().remove(&self.rec_tid);
    }
fn destroy ( & mut self ) { debug_assert ! ( self session ( ) tasks ( ) get ( self rec_tid ) is_some ( ) ) ; // Removing the entry from the HashMap causes the drop() to happen self . session ( ) . tasks_mut ( ) . remove ( & self . rec_tid ) ; }
DIFF NOTE: Unlike rr, it is NOT compulsory to always call this method
to cleanup a task.
DIFF NOTE : Unlike rr it is NOT compulsory to always call this method to cleanup a task .
&mut self