Derived ThreadContext class for use with the Checker. More...

#include <thread_context.hh>

Inheritance diagram for gem5::CheckerThreadContext< TC >:

Public Member Functions
	CheckerThreadContext (TC actual_tc, CheckerCPU checker_cpu)

bool	schedule (PCEvent *e) override

bool	remove (PCEvent *e) override

void	scheduleInstCountEvent (Event *event, Tick count) override

void	descheduleInstCountEvent (Event *event) override

Tick	getCurrentInstCount () override

BaseCPU *	getCpuPtr () override

uint32_t	socketId () const override

int	cpuId () const override

ContextID	contextId () const override

void	setContextId (ContextID id) override

int	threadId () const override
	Returns this thread's ID number. More...

void	setThreadId (int id) override

BaseMMU *	getMMUPtr () override

CheckerCPU *	getCheckerCpuPtr () override

BaseISA *	getIsaPtr () const override

InstDecoder *	getDecoderPtr () override

System *	getSystemPtr () override

Process *	getProcessPtr () override

void	setProcessPtr (Process *p) override

void	connectMemPorts (ThreadContext *tc)

Status	status () const override

void	setStatus (Status new_status) override

void	activate () override
	Set the status to Active. More...

void	suspend () override
	Set the status to Suspended. More...

void	halt () override
	Set the status to Halted. More...

void	takeOverFrom (ThreadContext *oldContext) override

void	regStats (const std::string &name) override

Tick	readLastActivate () override

Tick	readLastSuspend () override

void	copyArchRegs (ThreadContext *tc) override

void	clearArchRegs () override

RegVal	getReg (const RegId &reg) const override

void	getReg (const RegId &reg, void *val) const override

void *	getWritableReg (const RegId &reg) override

void	setReg (const RegId &reg, RegVal val) override

void	setReg (const RegId &reg, const void *val) override

const PCStateBase &	pcState () const override
	Reads this thread's PC state. More...

void	pcState (const PCStateBase &val) override
	Sets this thread's PC state. More...

void	pcStateNoRecord (const PCStateBase &val) override

RegVal	readMiscRegNoEffect (RegIndex misc_reg) const override

RegVal	readMiscReg (RegIndex misc_reg) override

void	setMiscRegNoEffect (RegIndex misc_reg, RegVal val) override

void	setMiscReg (RegIndex misc_reg, RegVal val) override

RegId	flattenRegId (const RegId &regId) const override

unsigned	readStCondFailures () const override

void	setStCondFailures (unsigned sc_failures) override

RegVal	getRegFlat (const RegId &reg) const override
	Flat register interfaces. More...

void	getRegFlat (const RegId &reg, void *val) const override

void *	getWritableRegFlat (const RegId &reg) override

void	setRegFlat (const RegId &reg, RegVal val) override

void	setRegFlat (const RegId &reg, const void *val) override

void	htmAbortTransaction (uint64_t htm_uid, HtmFailureFaultCause cause) override

BaseHTMCheckpointPtr &	getHtmCheckpointPtr () override

void	setHtmCheckpointPtr (BaseHTMCheckpointPtr new_cpt) override

Public Member Functions inherited from gem5::ThreadContext
bool	getUseForClone ()

void	setUseForClone (bool new_val)

virtual	~ThreadContext ()

virtual void	sendFunctional (PacketPtr pkt)

void	quiesce ()
	Quiesce thread context. More...

void	quiesceTick (Tick resume)
	Quiesce, suspend, and schedule activate at resume. More...

RegVal	readIntReg (RegIndex reg_idx) const

RegVal	readFloatReg (RegIndex reg_idx) const

TheISA::VecRegContainer	readVecReg (const RegId &reg) const

TheISA::VecRegContainer &	getWritableVecReg (const RegId &reg)

RegVal	readVecElem (const RegId &reg) const

RegVal	readCCReg (RegIndex reg_idx) const

void	setIntReg (RegIndex reg_idx, RegVal val)

void	setFloatReg (RegIndex reg_idx, RegVal val)

void	setVecReg (const RegId &reg, const TheISA::VecRegContainer &val)

void	setVecElem (const RegId &reg, RegVal val)

void	setCCReg (RegIndex reg_idx, RegVal val)

void	pcState (Addr addr)

virtual int	exit ()

RegVal	readIntRegFlat (RegIndex idx) const

void	setIntRegFlat (RegIndex idx, RegVal val)

RegVal	readFloatRegFlat (RegIndex idx) const

void	setFloatRegFlat (RegIndex idx, RegVal val)

TheISA::VecRegContainer	readVecRegFlat (RegIndex idx) const

TheISA::VecRegContainer &	getWritableVecRegFlat (RegIndex idx)

void	setVecRegFlat (RegIndex idx, const TheISA::VecRegContainer &val)

RegVal	readVecElemFlat (RegIndex idx) const

void	setVecElemFlat (RegIndex idx, RegVal val)

RegVal	readCCRegFlat (RegIndex idx) const

void	setCCRegFlat (RegIndex idx, RegVal val)

Private Attributes
TC *	actualTC
	The main CPU's ThreadContext, or class that implements the ThreadContext interface. More...

SimpleThread *	checkerTC
	The checker's own SimpleThread. More...

CheckerCPU *	checkerCPU
	Pointer to the checker CPU. More...

Additional Inherited Members
Public Types inherited from gem5::ThreadContext
enum	Status { Active, Suspended, Halting, Halted }

Static Public Member Functions inherited from gem5::ThreadContext
static void	compare (ThreadContext one, ThreadContext two)
	function to compare two thread contexts (for debugging) More...

Public Attributes inherited from gem5::ThreadContext
int	intResult = DefaultIntResult

double	floatResult = DefaultFloatResult

int	intOffset = 0

Static Public Attributes inherited from gem5::ThreadContext
static const int	ints []

static const double	floats []

static const int	DefaultIntResult = 0

static const double	DefaultFloatResult = 0.0

Protected Attributes inherited from gem5::ThreadContext
bool	useForClone = false

Detailed Description

template<class TC>
class gem5::CheckerThreadContext< TC >

Derived ThreadContext class for use with the Checker.

The template parameter is the ThreadContext class used by the specific CPU being verified. This CheckerThreadContext is then used by the main CPU in place of its usual ThreadContext class. It handles updating the checker's state any time state is updated externally through the ThreadContext.

Definition at line 69 of file thread_context.hh.

Constructor & Destructor Documentation

◆ CheckerThreadContext()

template<class TC >

gem5::CheckerThreadContext< TC >::CheckerThreadContext	(	TC *	actual_tc,
		CheckerCPU *	checker_cpu
	)

inline

Definition at line 72 of file thread_context.hh.

Member Function Documentation

◆ activate()

template<class TC >

void gem5::CheckerThreadContext< TC >::activate ( )

inlineoverridevirtual

Set the status to Active.

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

template<class TC> class gem5::CheckerThreadContext< TC >

Constructor & Destructor Documentation

◆ CheckerThreadContext()

Member Function Documentation

◆ activate()

◆ clearArchRegs()

◆ connectMemPorts()

◆ contextId()

◆ copyArchRegs()

◆ cpuId()

◆ descheduleInstCountEvent()

◆ flattenRegId()

◆ getCheckerCpuPtr()

◆ getCpuPtr()

◆ getCurrentInstCount()

◆ getDecoderPtr()

◆ getHtmCheckpointPtr()

◆ getIsaPtr()

◆ getMMUPtr()

◆ getProcessPtr()

◆ getReg() [1/2]

◆ getReg() [2/2]

◆ getRegFlat() [1/2]

◆ getRegFlat() [2/2]

◆ getSystemPtr()

◆ getWritableReg()

◆ getWritableRegFlat()

◆ halt()

◆ htmAbortTransaction()

◆ pcState() [1/2]

◆ pcState() [2/2]

◆ pcStateNoRecord()

◆ readLastActivate()

◆ readLastSuspend()

◆ readMiscReg()

◆ readMiscRegNoEffect()

◆ readStCondFailures()

◆ regStats()

◆ remove()

◆ schedule()

◆ scheduleInstCountEvent()

◆ setContextId()

◆ setHtmCheckpointPtr()

◆ setMiscReg()

◆ setMiscRegNoEffect()

◆ setProcessPtr()

◆ setReg() [1/2]

◆ setReg() [2/2]

◆ setRegFlat() [1/2]

◆ setRegFlat() [2/2]

◆ setStatus()

◆ setStCondFailures()

◆ setThreadId()

◆ socketId()

◆ status()

◆ suspend()

◆ takeOverFrom()

◆ threadId()

Member Data Documentation

◆ actualTC

◆ checkerCPU

◆ checkerTC

template<class TC>
class gem5::CheckerThreadContext< TC >