spec Class Reference

#include <spec.h>

Inheritance diagram for spec:

[legend]

Collaboration diagram for spec:

[legend]

Public Member Functions
	spec ()
virtual void	Step ()
	Speculative Synchronization Strategy.

---

Detailed Description

Definition at line 13 of file spec.h.

---

Constructor & Destructor Documentation

spec::spec

(

)

[inline]

Definition at line 15 of file spec.h.

References pose_config, POSE_Config::spec_window, strat::STRAT_T, and opt3::timeLeash.

---

Member Function Documentation

void spec::Step

(

)

[virtual]

Speculative Synchronization Strategy.

Single forward execution step

Reimplemented from opt3.

Definition at line 5 of file spec.C.

References opt::CancelEvents(), sim::cancels, opt::CancelUnexecutedEvents(), strat::currentEvent, eventQueue::currentPtr, Event::done, strat::eq, Event::fnIdx, PVT::getGVT(), CancelList::IsEmpty(), strat::localPVT, strat::localStats, localStat::Loop(), eventQueue::mem_usage, Event::msg, strat::parent, pose_config, POSE_endtime, POSE_UnsetTS, eventQueue::RBevent, sim::ResolveFn(), opt::Rollback(), eventQueue::ShiftEvent(), POSE_Config::stats, sim::Status(), opt3::timeLeash, and Event::timestamp.

Here is the call graph for this function:

---

The documentation for this class was generated from the following files:

• libs/ck-libs/pose/spec.h
• libs/ck-libs/pose/spec.C