thread_context.hh revision 2252
111986Sandreas.sandberg@arm.com/*
211986Sandreas.sandberg@arm.com * Copyright (c) 2001-2006 The Regents of The University of Michigan
311986Sandreas.sandberg@arm.com * All rights reserved.
411986Sandreas.sandberg@arm.com *
511986Sandreas.sandberg@arm.com * Redistribution and use in source and binary forms, with or without
611986Sandreas.sandberg@arm.com * modification, are permitted provided that the following conditions are
711986Sandreas.sandberg@arm.com * met: redistributions of source code must retain the above copyright
811986Sandreas.sandberg@arm.com * notice, this list of conditions and the following disclaimer;
911986Sandreas.sandberg@arm.com * redistributions in binary form must reproduce the above copyright
1011986Sandreas.sandberg@arm.com * notice, this list of conditions and the following disclaimer in the
1111986Sandreas.sandberg@arm.com * documentation and/or other materials provided with the distribution;
1211986Sandreas.sandberg@arm.com * neither the name of the copyright holders nor the names of its
1311986Sandreas.sandberg@arm.com * contributors may be used to endorse or promote products derived from
1411986Sandreas.sandberg@arm.com * this software without specific prior written permission.
1511986Sandreas.sandberg@arm.com *
1611986Sandreas.sandberg@arm.com * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1711986Sandreas.sandberg@arm.com * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1811986Sandreas.sandberg@arm.com * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1911986Sandreas.sandberg@arm.com * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2011986Sandreas.sandberg@arm.com * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2111986Sandreas.sandberg@arm.com * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2211986Sandreas.sandberg@arm.com * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2311986Sandreas.sandberg@arm.com * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2411986Sandreas.sandberg@arm.com * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2511986Sandreas.sandberg@arm.com * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2611986Sandreas.sandberg@arm.com * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2711986Sandreas.sandberg@arm.com */
2811986Sandreas.sandberg@arm.com
2911986Sandreas.sandberg@arm.com#ifndef __CPU_EXEC_CONTEXT_HH__
3011986Sandreas.sandberg@arm.com#define __CPU_EXEC_CONTEXT_HH__
3111986Sandreas.sandberg@arm.com
3211986Sandreas.sandberg@arm.com#include "config/full_system.hh"
3311986Sandreas.sandberg@arm.com#include "mem/functional/functional.hh"
3411986Sandreas.sandberg@arm.com#include "mem/mem_req.hh"
3511986Sandreas.sandberg@arm.com#include "sim/eventq.hh"
3611986Sandreas.sandberg@arm.com#include "sim/host.hh"
3711986Sandreas.sandberg@arm.com#include "sim/serialize.hh"
3811986Sandreas.sandberg@arm.com#include "arch/isa_traits.hh"
3911986Sandreas.sandberg@arm.com//#include "arch/isa_registers.hh"
4011986Sandreas.sandberg@arm.com#include "sim/byteswap.hh"
4111986Sandreas.sandberg@arm.com
4211986Sandreas.sandberg@arm.com// forward declaration: see functional_memory.hh
4311986Sandreas.sandberg@arm.comclass FunctionalMemory;
4411986Sandreas.sandberg@arm.comclass PhysicalMemory;
4511986Sandreas.sandberg@arm.comclass BaseCPU;
4611986Sandreas.sandberg@arm.com
4711986Sandreas.sandberg@arm.com#if FULL_SYSTEM
4811986Sandreas.sandberg@arm.com
4911986Sandreas.sandberg@arm.com#include "sim/system.hh"
5011986Sandreas.sandberg@arm.com#include "arch/tlb.hh"
5111986Sandreas.sandberg@arm.com
5211986Sandreas.sandberg@arm.comclass FunctionProfile;
5311986Sandreas.sandberg@arm.comclass ProfileNode;
5411986Sandreas.sandberg@arm.comclass MemoryController;
5511986Sandreas.sandberg@arm.comnamespace Kernel { class Binning; class Statistics; }
5611986Sandreas.sandberg@arm.com
5711986Sandreas.sandberg@arm.com#else // !FULL_SYSTEM
5811986Sandreas.sandberg@arm.com
5911986Sandreas.sandberg@arm.com#include "sim/process.hh"
6011986Sandreas.sandberg@arm.com
6111986Sandreas.sandberg@arm.com#endif // FULL_SYSTEM
6211986Sandreas.sandberg@arm.com
6311986Sandreas.sandberg@arm.com//
6411986Sandreas.sandberg@arm.com// The ExecContext object represents a functional context for
6511986Sandreas.sandberg@arm.com// instruction execution.  It incorporates everything required for
6611986Sandreas.sandberg@arm.com// architecture-level functional simulation of a single thread.
6711986Sandreas.sandberg@arm.com//
6811986Sandreas.sandberg@arm.com
6911986Sandreas.sandberg@arm.comclass ExecContext
7011986Sandreas.sandberg@arm.com{
7111986Sandreas.sandberg@arm.com  protected:
7211986Sandreas.sandberg@arm.com    typedef TheISA::RegFile RegFile;
7311986Sandreas.sandberg@arm.com    typedef TheISA::MachInst MachInst;
7411986Sandreas.sandberg@arm.com    typedef TheISA::MiscRegFile MiscRegFile;
7511986Sandreas.sandberg@arm.com    typedef TheISA::MiscReg MiscReg;
7611986Sandreas.sandberg@arm.com  public:
7711986Sandreas.sandberg@arm.com    enum Status
7811986Sandreas.sandberg@arm.com    {
7911986Sandreas.sandberg@arm.com        /// Initialized but not running yet.  All CPUs start in
8011986Sandreas.sandberg@arm.com        /// this state, but most transition to Active on cycle 1.
8111986Sandreas.sandberg@arm.com        /// In MP or SMT systems, non-primary contexts will stay
8211986Sandreas.sandberg@arm.com        /// in this state until a thread is assigned to them.
8311986Sandreas.sandberg@arm.com        Unallocated,
8411986Sandreas.sandberg@arm.com
8511986Sandreas.sandberg@arm.com        /// Running.  Instructions should be executed only when
8611986Sandreas.sandberg@arm.com        /// the context is in this state.
8711986Sandreas.sandberg@arm.com        Active,
8811986Sandreas.sandberg@arm.com
8911986Sandreas.sandberg@arm.com        /// Temporarily inactive.  Entered while waiting for
9011986Sandreas.sandberg@arm.com        /// initialization,synchronization, etc.
9111986Sandreas.sandberg@arm.com        Suspended,
9211986Sandreas.sandberg@arm.com
9311986Sandreas.sandberg@arm.com        /// Permanently shut down.  Entered when target executes
9411986Sandreas.sandberg@arm.com        /// m5exit pseudo-instruction.  When all contexts enter
9511986Sandreas.sandberg@arm.com        /// this state, the simulation will terminate.
9611986Sandreas.sandberg@arm.com        Halted
9711986Sandreas.sandberg@arm.com    };
9811986Sandreas.sandberg@arm.com
9911986Sandreas.sandberg@arm.com  private:
10011986Sandreas.sandberg@arm.com    Status _status;
10111986Sandreas.sandberg@arm.com
10211986Sandreas.sandberg@arm.com  public:
10311986Sandreas.sandberg@arm.com    Status status() const { return _status; }
10411986Sandreas.sandberg@arm.com
10511986Sandreas.sandberg@arm.com    void setStatus(Status newStatus) { _status = newStatus; }
10611986Sandreas.sandberg@arm.com
10711986Sandreas.sandberg@arm.com    /// Set the status to Active.  Optional delay indicates number of
10811986Sandreas.sandberg@arm.com    /// cycles to wait before beginning execution.
10911986Sandreas.sandberg@arm.com    void activate(int delay = 1);
11011986Sandreas.sandberg@arm.com
11111986Sandreas.sandberg@arm.com    /// Set the status to Suspended.
11211986Sandreas.sandberg@arm.com    void suspend();
11311986Sandreas.sandberg@arm.com
114    /// Set the status to Unallocated.
115    void deallocate();
116
117    /// Set the status to Halted.
118    void halt();
119
120  public:
121    RegFile regs;	// correct-path register context
122
123    // pointer to CPU associated with this context
124    BaseCPU *cpu;
125
126    // Current instruction
127    MachInst inst;
128
129    // Index of hardware thread context on the CPU that this represents.
130    int thread_num;
131
132    // ID of this context w.r.t. the System or Process object to which
133    // it belongs.  For full-system mode, this is the system CPU ID.
134    int cpu_id;
135
136    Tick lastActivate;
137    Tick lastSuspend;
138
139#if FULL_SYSTEM
140    FunctionalMemory *mem;
141    AlphaITB *itb;
142    AlphaDTB *dtb;
143    System *system;
144
145    // the following two fields are redundant, since we can always
146    // look them up through the system pointer, but we'll leave them
147    // here for now for convenience
148    MemoryController *memctrl;
149    PhysicalMemory *physmem;
150
151    Kernel::Binning *kernelBinning;
152    Kernel::Statistics *kernelStats;
153    bool bin;
154    bool fnbin;
155
156    FunctionProfile *profile;
157    ProfileNode *profileNode;
158    Addr profilePC;
159    void dumpFuncProfile();
160
161    /** Event for timing out quiesce instruction */
162    struct EndQuiesceEvent : public Event
163    {
164        /** A pointer to the execution context that is quiesced */
165        ExecContext *xc;
166
167        EndQuiesceEvent(ExecContext *_xc);
168
169        /** Event process to occur at interrupt*/
170        virtual void process();
171
172        /** Event description */
173        virtual const char *description();
174    };
175    EndQuiesceEvent quiesceEvent;
176
177#else
178    Process *process;
179
180    FunctionalMemory *mem;	// functional storage for process address space
181
182    // Address space ID.  Note that this is used for TIMING cache
183    // simulation only; all functional memory accesses should use
184    // one of the FunctionalMemory pointers above.
185    short asid;
186
187#endif
188
189    /**
190     * Temporary storage to pass the source address from copy_load to
191     * copy_store.
192     * @todo Remove this temporary when we have a better way to do it.
193     */
194    Addr copySrcAddr;
195    /**
196     * Temp storage for the physical source address of a copy.
197     * @todo Remove this temporary when we have a better way to do it.
198     */
199    Addr copySrcPhysAddr;
200
201
202    /*
203     * number of executed instructions, for matching with syscall trace
204     * points in EIO files.
205     */
206    Counter func_exe_inst;
207
208    //
209    // Count failed store conditionals so we can warn of apparent
210    // application deadlock situations.
211    unsigned storeCondFailures;
212
213    // constructor: initialize context from given process structure
214#if FULL_SYSTEM
215    ExecContext(BaseCPU *_cpu, int _thread_num, System *_system,
216                AlphaITB *_itb, AlphaDTB *_dtb, FunctionalMemory *_dem);
217#else
218    ExecContext(BaseCPU *_cpu, int _thread_num, Process *_process, int _asid);
219    ExecContext(BaseCPU *_cpu, int _thread_num, FunctionalMemory *_mem,
220                int _asid);
221#endif
222    virtual ~ExecContext();
223
224    virtual void takeOverFrom(ExecContext *oldContext);
225
226    void regStats(const std::string &name);
227
228    void serialize(std::ostream &os);
229    void unserialize(Checkpoint *cp, const std::string &section);
230
231#if FULL_SYSTEM
232    bool validInstAddr(Addr addr) { return true; }
233    bool validDataAddr(Addr addr) { return true; }
234    int getInstAsid() { return regs.instAsid(); }
235    int getDataAsid() { return regs.dataAsid(); }
236
237    Fault translateInstReq(MemReqPtr &req)
238    {
239        return itb->translate(req);
240    }
241
242    Fault translateDataReadReq(MemReqPtr &req)
243    {
244        return dtb->translate(req, false);
245    }
246
247    Fault translateDataWriteReq(MemReqPtr &req)
248    {
249        return dtb->translate(req, true);
250    }
251
252#else
253    bool validInstAddr(Addr addr)
254    { return process->validInstAddr(addr); }
255
256    bool validDataAddr(Addr addr)
257    { return process->validDataAddr(addr); }
258
259    int getInstAsid() { return asid; }
260    int getDataAsid() { return asid; }
261
262    Fault dummyTranslation(MemReqPtr &req)
263    {
264#if 0
265        assert((req->vaddr >> 48 & 0xffff) == 0);
266#endif
267
268        // put the asid in the upper 16 bits of the paddr
269        req->paddr = req->vaddr & ~((Addr)0xffff << sizeof(Addr) * 8 - 16);
270        req->paddr = req->paddr | (Addr)req->asid << sizeof(Addr) * 8 - 16;
271        return NoFault;
272    }
273    Fault translateInstReq(MemReqPtr &req)
274    {
275        return dummyTranslation(req);
276    }
277    Fault translateDataReadReq(MemReqPtr &req)
278    {
279        return dummyTranslation(req);
280    }
281    Fault translateDataWriteReq(MemReqPtr &req)
282    {
283        return dummyTranslation(req);
284    }
285
286#endif
287
288    template <class T>
289    Fault read(MemReqPtr &req, T &data)
290    {
291#if FULL_SYSTEM && defined(TARGET_ALPHA)
292        if (req->flags & LOCKED) {
293            MiscRegFile *cregs = &req->xc->regs.miscRegs;
294            cregs->setReg(TheISA::Lock_Addr_DepTag, req->paddr);
295            cregs->setReg(TheISA::Lock_Flag_DepTag, true);
296        }
297#endif
298
299        Fault error;
300        error = mem->read(req, data);
301        data = LittleEndianGuest::gtoh(data);
302        return error;
303    }
304
305    template <class T>
306    Fault write(MemReqPtr &req, T &data)
307    {
308#if FULL_SYSTEM && defined(TARGET_ALPHA)
309
310        MiscRegFile *cregs;
311
312        // If this is a store conditional, act appropriately
313        if (req->flags & LOCKED) {
314            cregs = &req->xc->regs.miscRegs;
315
316            if (req->flags & UNCACHEABLE) {
317                // Don't update result register (see stq_c in isa_desc)
318                req->result = 2;
319                req->xc->storeCondFailures = 0;//Needed? [RGD]
320            } else {
321                bool lock_flag = cregs->readReg(TheISA::Lock_Flag_DepTag);
322                Addr lock_addr = cregs->readReg(TheISA::Lock_Addr_DepTag);
323                req->result = lock_flag;
324                if (!lock_flag ||
325                    ((lock_addr & ~0xf) != (req->paddr & ~0xf))) {
326                    cregs->setReg(TheISA::Lock_Flag_DepTag, false);
327                    if (((++req->xc->storeCondFailures) % 100000) == 0) {
328                        std::cerr << "Warning: "
329                                  << req->xc->storeCondFailures
330                                  << " consecutive store conditional failures "
331                                  << "on cpu " << req->xc->cpu_id
332                                  << std::endl;
333                    }
334                    return NoFault;
335                }
336                else req->xc->storeCondFailures = 0;
337            }
338        }
339
340        // Need to clear any locked flags on other proccessors for
341        // this address.  Only do this for succsful Store Conditionals
342        // and all other stores (WH64?).  Unsuccessful Store
343        // Conditionals would have returned above, and wouldn't fall
344        // through.
345        for (int i = 0; i < system->execContexts.size(); i++){
346            cregs = &system->execContexts[i]->regs.miscRegs;
347            if ((cregs->readReg(TheISA::Lock_Addr_DepTag) & ~0xf) ==
348                (req->paddr & ~0xf)) {
349                cregs->setReg(TheISA::Lock_Flag_DepTag, false);
350            }
351        }
352
353#endif
354        return mem->write(req, (T)LittleEndianGuest::htog(data));
355    }
356
357    virtual bool misspeculating();
358
359
360    MachInst getInst() { return inst; }
361
362    void setInst(MachInst new_inst)
363    {
364        inst = new_inst;
365    }
366
367    Fault instRead(MemReqPtr &req)
368    {
369        return mem->read(req, inst);
370    }
371
372    //
373    // New accessors for new decoder.
374    //
375    uint64_t readIntReg(int reg_idx)
376    {
377        return regs.intRegFile[reg_idx];
378    }
379
380    float readFloatRegSingle(int reg_idx)
381    {
382        return (float)regs.floatRegFile.d[reg_idx];
383    }
384
385    double readFloatRegDouble(int reg_idx)
386    {
387        return regs.floatRegFile.d[reg_idx];
388    }
389
390    uint64_t readFloatRegInt(int reg_idx)
391    {
392        return regs.floatRegFile.q[reg_idx];
393    }
394
395    void setIntReg(int reg_idx, uint64_t val)
396    {
397        regs.intRegFile[reg_idx] = val;
398    }
399
400    void setFloatRegSingle(int reg_idx, float val)
401    {
402        regs.floatRegFile.d[reg_idx] = (double)val;
403    }
404
405    void setFloatRegDouble(int reg_idx, double val)
406    {
407        regs.floatRegFile.d[reg_idx] = val;
408    }
409
410    void setFloatRegInt(int reg_idx, uint64_t val)
411    {
412        regs.floatRegFile.q[reg_idx] = val;
413    }
414
415    uint64_t readPC()
416    {
417        return regs.pc;
418    }
419
420    void setNextPC(uint64_t val)
421    {
422        regs.npc = val;
423    }
424
425    uint64_t readNextNPC()
426    {
427        return regs.nnpc;
428    }
429
430    void setNextNPC(uint64_t val)
431    {
432        regs.nnpc = val;
433    }
434
435
436    MiscReg readMiscReg(int misc_reg)
437    {
438        return regs.miscRegs.readReg(misc_reg);
439    }
440
441    MiscReg readMiscRegWithEffect(int misc_reg, Fault &fault)
442    {
443        return regs.miscRegs.readRegWithEffect(misc_reg, fault, this);
444    }
445
446    Fault setMiscReg(int misc_reg, const MiscReg &val)
447    {
448        return regs.miscRegs.setReg(misc_reg, val);
449    }
450
451    Fault setMiscRegWithEffect(int misc_reg, const MiscReg &val)
452    {
453        return regs.miscRegs.setRegWithEffect(misc_reg, val, this);
454    }
455
456#if FULL_SYSTEM
457    int readIntrFlag() { return regs.intrflag; }
458    void setIntrFlag(int val) { regs.intrflag = val; }
459    Fault hwrei();
460    bool inPalMode() { return AlphaISA::PcPAL(regs.pc); }
461    bool simPalCheck(int palFunc);
462#endif
463
464#if !FULL_SYSTEM
465    TheISA::IntReg getSyscallArg(int i)
466    {
467        return regs.intRegFile[TheISA::ArgumentReg0 + i];
468    }
469
470    // used to shift args for indirect syscall
471    void setSyscallArg(int i, TheISA::IntReg val)
472    {
473        regs.intRegFile[TheISA::ArgumentReg0 + i] = val;
474    }
475
476    void setSyscallReturn(SyscallReturn return_value)
477    {
478        // check for error condition.  Alpha syscall convention is to
479        // indicate success/failure in reg a3 (r19) and put the
480        // return value itself in the standard return value reg (v0).
481        const int RegA3 = 19;	// only place this is used
482        if (return_value.successful()) {
483            // no error
484            regs.intRegFile[RegA3] = 0;
485            regs.intRegFile[TheISA::ReturnValueReg] = return_value.value();
486        } else {
487            // got an error, return details
488            regs.intRegFile[RegA3] = (TheISA::IntReg) -1;
489            regs.intRegFile[TheISA::ReturnValueReg] = -return_value.value();
490        }
491    }
492
493    void syscall()
494    {
495        process->syscall(this);
496    }
497#endif
498};
499
500
501// for non-speculative execution context, spec_mode is always false
502inline bool
503ExecContext::misspeculating()
504{
505    return false;
506}
507
508#endif // __CPU_EXEC_CONTEXT_HH__
509