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

#include <thread_context.hh>

Inheritance diagram for CheckerThreadContext< TC >:

Public Member Functions
	CheckerThreadContext (TC actual_tc, CheckerCPU checker_cpu)

BaseCPU *	getCpuPtr ()

uint32_t	socketId () const

int	cpuId () const

ContextID	contextId () const

void	setContextId (ContextID id)

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

void	setThreadId (int id)

TheISA::TLB *	getITBPtr ()

TheISA::TLB *	getDTBPtr ()

CheckerCPU *	getCheckerCpuPtr ()

TheISA::Decoder *	getDecoderPtr ()

System *	getSystemPtr ()

TheISA::Kernel::Statistics *	getKernelStats ()

Process *	getProcessPtr ()

void	setProcessPtr (Process *p)

PortProxy &	getPhysProxy ()

FSTranslatingPortProxy &	getVirtProxy ()

void	initMemProxies (ThreadContext *tc)
	Initialise the physical and virtual port proxies and tie them to the data port of the CPU. More...

void	connectMemPorts (ThreadContext *tc)

SETranslatingPortProxy &	getMemProxy ()

void	syscall (int64_t callnum, Fault *fault)
	Executes a syscall in SE mode. More...

Status	status () const

void	setStatus (Status new_status)

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

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

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

void	dumpFuncProfile ()

void	takeOverFrom (ThreadContext *oldContext)

void	regStats (const std::string &name)

EndQuiesceEvent *	getQuiesceEvent ()

Tick	readLastActivate ()

Tick	readLastSuspend ()

void	profileClear ()

void	profileSample ()

void	copyArchRegs (ThreadContext *tc)

void	clearArchRegs ()

uint64_t	readIntReg (int reg_idx)

FloatReg	readFloatReg (int reg_idx)

FloatRegBits	readFloatRegBits (int reg_idx)

CCReg	readCCReg (int reg_idx)

void	setIntReg (int reg_idx, uint64_t val)

void	setFloatReg (int reg_idx, FloatReg val)

void	setFloatRegBits (int reg_idx, FloatRegBits val)

void	setCCReg (int reg_idx, CCReg val)

TheISA::PCState	pcState ()
	Reads this thread's PC state. More...

void	pcState (const TheISA::PCState &val)
	Sets this thread's PC state. More...

void	setNPC (Addr val)

void	pcStateNoRecord (const TheISA::PCState &val)

Addr	instAddr ()
	Reads this thread's PC. More...

Addr	nextInstAddr ()
	Reads this thread's next PC. More...

MicroPC	microPC ()
	Reads this thread's next PC. More...

MiscReg	readMiscRegNoEffect (int misc_reg) const

MiscReg	readMiscReg (int misc_reg)

void	setMiscRegNoEffect (int misc_reg, const MiscReg &val)

void	setMiscReg (int misc_reg, const MiscReg &val)

int	flattenIntIndex (int reg)

int	flattenFloatIndex (int reg)

int	flattenCCIndex (int reg)

int	flattenMiscIndex (int reg)

unsigned	readStCondFailures ()

void	setStCondFailures (unsigned sc_failures)

Counter	readFuncExeInst ()

uint64_t	readIntRegFlat (int idx)
	Flat register interfaces. More...

void	setIntRegFlat (int idx, uint64_t val)

FloatReg	readFloatRegFlat (int idx)

void	setFloatRegFlat (int idx, FloatReg val)

FloatRegBits	readFloatRegBitsFlat (int idx)

void	setFloatRegBitsFlat (int idx, FloatRegBits val)

CCReg	readCCRegFlat (int idx)

void	setCCRegFlat (int idx, CCReg val)

Public Member Functions inherited from ThreadContext
virtual	~ThreadContext ()

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

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

void	setNPC (Addr val)

virtual uint64_t	readRegOtherThread (int misc_reg, ThreadID tid)

virtual void	setRegOtherThread (int misc_reg, const MiscReg &val, ThreadID tid)

virtual int	exit ()

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 ThreadContext
enum	Status { Active, Suspended, Halted }

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

Protected Types inherited from ThreadContext
typedef TheISA::MachInst	MachInst

typedef TheISA::IntReg	IntReg

typedef TheISA::FloatReg	FloatReg

typedef TheISA::FloatRegBits	FloatRegBits

typedef TheISA::CCReg	CCReg

typedef TheISA::MiscReg	MiscReg

Detailed Description

template<class TC>
class 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 71 of file thread_context.hh.

Constructor & Destructor Documentation

template<class TC>

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

inline

Definition at line 74 of file thread_context.hh.

Member Function Documentation

template<class TC>

void CheckerThreadContext< TC >::activate ( )

inlinevirtual

Set the status to Active.

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

template<class TC> class CheckerThreadContext< TC >

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

template<class TC>
class CheckerThreadContext< TC >