thread_context.hh revision 716
1/*
2 * Copyright (c) 2003 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;
9 * redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution;
12 * neither the name of the copyright holders nor the names of its
13 * contributors may be used to endorse or promote products derived from
14 * this software without specific prior written permission.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29#ifndef __EXEC_CONTEXT_HH__
30#define __EXEC_CONTEXT_HH__
31
32#include "sim/host.hh"
33#include "mem/mem_req.hh"
34#include "mem/functional_mem/functional_memory.hh"
35#include "sim/serialize.hh"
36
37// forward declaration: see functional_memory.hh
38class FunctionalMemory;
39class PhysicalMemory;
40class BaseCPU;
41
42#ifdef FULL_SYSTEM
43
44#include "targetarch/alpha_memory.hh"
45class MemoryController;
46
47#include "kern/tru64/kernel_stats.hh"
48#include "sim/system.hh"
49#include "sim/sw_context.hh"
50
51#else // !FULL_SYSTEM
52
53#include "sim/process.hh"
54
55#endif // FULL_SYSTEM
56
57//
58// The ExecContext object represents a functional context for
59// instruction execution.  It incorporates everything required for
60// architecture-level functional simulation of a single thread.
61//
62
63class ExecContext
64{
65  public:
66    enum Status
67    {
68        /// Initialized but not running yet.  All CPUs start in
69        /// this state, but most transition to Active on cycle 1.
70        /// In MP or SMT systems, non-primary contexts will stay
71        /// in this state until a thread is assigned to them.
72        Unallocated,
73
74        /// Running.  Instructions should be executed only when
75        /// the context is in this state.
76        Active,
77
78        /// Temporarily inactive.  Entered while waiting for
79        /// synchronization, etc.
80        Suspended,
81
82        /// Permanently shut down.  Entered when target executes
83        /// m5exit pseudo-instruction.  When all contexts enter
84        /// this state, the simulation will terminate.
85        Halted
86    };
87
88  private:
89    Status _status;
90
91  public:
92    Status status() const { return _status; }
93
94    /// Set the status to Active.  Optional delay indicates number of
95    /// cycles to wait before beginning execution.
96    void activate(int delay = 1);
97
98    /// Set the status to Suspended.
99    void suspend();
100
101    /// Set the status to Unallocated.
102    void deallocate();
103
104    /// Set the status to Halted.
105    void halt();
106
107#ifdef FULL_SYSTEM
108  public:
109    KernelStats kernelStats;
110#endif
111
112  public:
113    RegFile regs;	// correct-path register context
114
115    // pointer to CPU associated with this context
116    BaseCPU *cpu;
117
118    // Current instruction
119    MachInst inst;
120
121    // Index of hardware thread context on the CPU that this represents.
122    int thread_num;
123
124    // ID of this context w.r.t. the System or Process object to which
125    // it belongs.  For full-system mode, this is the system CPU ID.
126    int cpu_id;
127
128#ifdef FULL_SYSTEM
129
130    FunctionalMemory *mem;
131    AlphaITB *itb;
132    AlphaDTB *dtb;
133    System *system;
134
135    // the following two fields are redundant, since we can always
136    // look them up through the system pointer, but we'll leave them
137    // here for now for convenience
138    MemoryController *memCtrl;
139    PhysicalMemory *physmem;
140
141    SWContext *swCtx;
142#else
143    Process *process;
144
145    FunctionalMemory *mem;	// functional storage for process address space
146
147    // Address space ID.  Note that this is used for TIMING cache
148    // simulation only; all functional memory accesses should use
149    // one of the FunctionalMemory pointers above.
150    short asid;
151
152#endif
153
154    /**
155     * Temporary storage to pass the source address from copy_load to
156     * copy_store.
157     * @todo Remove this temporary when we have a better way to do it.
158     */
159    Addr copySrcAddr;
160    /**
161     * Temp storage for the physical source address of a copy.
162     * @todo Remove this temporary when we have a better way to do it.
163     */
164    Addr copySrcPhysAddr;
165
166
167    /*
168     * number of executed instructions, for matching with syscall trace
169     * points in EIO files.
170     */
171    Counter func_exe_inst;
172
173    //
174    // Count failed store conditionals so we can warn of apparent
175    // application deadlock situations.
176    unsigned storeCondFailures;
177
178    // constructor: initialize context from given process structure
179#ifdef FULL_SYSTEM
180    ExecContext(BaseCPU *_cpu, int _thread_num, System *_system,
181                AlphaITB *_itb, AlphaDTB *_dtb, FunctionalMemory *_dem);
182#else
183    ExecContext(BaseCPU *_cpu, int _thread_num, Process *_process, int _asid);
184    ExecContext(BaseCPU *_cpu, int _thread_num, FunctionalMemory *_mem,
185                int _asid);
186#endif
187    virtual ~ExecContext() {}
188
189    virtual void takeOverFrom(ExecContext *oldContext);
190
191    void regStats(const std::string &name);
192
193    void serialize(std::ostream &os);
194    void unserialize(Checkpoint *cp, const std::string &section);
195
196#ifdef FULL_SYSTEM
197    bool validInstAddr(Addr addr) { return true; }
198    bool validDataAddr(Addr addr) { return true; }
199    int getInstAsid() { return ITB_ASN_ASN(regs.ipr[TheISA::IPR_ITB_ASN]); }
200    int getDataAsid() { return DTB_ASN_ASN(regs.ipr[TheISA::IPR_DTB_ASN]); }
201
202    Fault translateInstReq(MemReqPtr &req)
203    {
204        return itb->translate(req);
205    }
206
207    Fault translateDataReadReq(MemReqPtr &req)
208    {
209        return dtb->translate(req, false);
210    }
211
212    Fault translateDataWriteReq(MemReqPtr &req)
213    {
214        return dtb->translate(req, true);
215    }
216
217#else
218    bool validInstAddr(Addr addr)
219    { return process->validInstAddr(addr); }
220
221    bool validDataAddr(Addr addr)
222    { return process->validDataAddr(addr); }
223
224    int getInstAsid() { return asid; }
225    int getDataAsid() { return asid; }
226
227    Fault dummyTranslation(MemReqPtr &req)
228    {
229#if 0
230        assert((req->vaddr >> 48 & 0xffff) == 0);
231#endif
232
233        // put the asid in the upper 16 bits of the paddr
234        req->paddr = req->vaddr & ~((Addr)0xffff << sizeof(Addr) * 8 - 16);
235        req->paddr = req->paddr | (Addr)req->asid << sizeof(Addr) * 8 - 16;
236        return No_Fault;
237    }
238    Fault translateInstReq(MemReqPtr &req)
239    {
240        return dummyTranslation(req);
241    }
242    Fault translateDataReadReq(MemReqPtr &req)
243    {
244        return dummyTranslation(req);
245    }
246    Fault translateDataWriteReq(MemReqPtr &req)
247    {
248        return dummyTranslation(req);
249    }
250
251#endif
252
253    template <class T>
254    Fault read(MemReqPtr &req, T &data)
255    {
256#if defined(TARGET_ALPHA) && defined(FULL_SYSTEM)
257        if (req->flags & LOCKED) {
258            MiscRegFile *cregs = &req->xc->regs.miscRegs;
259            cregs->lock_addr = req->paddr;
260            cregs->lock_flag = true;
261        }
262#endif
263        return mem->read(req, data);
264    }
265
266    template <class T>
267    Fault write(MemReqPtr &req, T &data)
268    {
269#if defined(TARGET_ALPHA) && defined(FULL_SYSTEM)
270
271        MiscRegFile *cregs;
272
273        // If this is a store conditional, act appropriately
274        if (req->flags & LOCKED) {
275            cregs = &req->xc->regs.miscRegs;
276
277            if (req->flags & UNCACHEABLE) {
278                // Don't update result register (see stq_c in isa_desc)
279                req->result = 2;
280                req->xc->storeCondFailures = 0;//Needed? [RGD]
281            } else {
282                req->result = cregs->lock_flag;
283                if (!cregs->lock_flag ||
284                    ((cregs->lock_addr & ~0xf) != (req->paddr & ~0xf))) {
285                    cregs->lock_flag = false;
286                    if (((++req->xc->storeCondFailures) % 100000) == 0) {
287                        std::cerr << "Warning: "
288                                  << req->xc->storeCondFailures
289                                  << " consecutive store conditional failures "
290                                  << "on cpu " << req->xc->cpu_id
291                                  << std::endl;
292                    }
293                    return No_Fault;
294                }
295                else req->xc->storeCondFailures = 0;
296            }
297        }
298
299        // Need to clear any locked flags on other proccessors for
300        // this address.  Only do this for succsful Store Conditionals
301        // and all other stores (WH64?).  Unsuccessful Store
302        // Conditionals would have returned above, and wouldn't fall
303        // through.
304        for (int i = 0; i < system->execContexts.size(); i++){
305            cregs = &system->execContexts[i]->regs.miscRegs;
306            if ((cregs->lock_addr & ~0xf) == (req->paddr & ~0xf)) {
307                cregs->lock_flag = false;
308            }
309        }
310
311#endif
312        return mem->write(req, data);
313    }
314
315    virtual bool misspeculating();
316
317
318    MachInst getInst() { return inst; }
319
320    void setInst(MachInst new_inst)
321    {
322        inst = new_inst;
323    }
324
325    Fault instRead(MemReqPtr &req)
326    {
327        return mem->read(req, inst);
328    }
329
330    //
331    // New accessors for new decoder.
332    //
333    uint64_t readIntReg(int reg_idx)
334    {
335        return regs.intRegFile[reg_idx];
336    }
337
338    float readFloatRegSingle(int reg_idx)
339    {
340        return (float)regs.floatRegFile.d[reg_idx];
341    }
342
343    double readFloatRegDouble(int reg_idx)
344    {
345        return regs.floatRegFile.d[reg_idx];
346    }
347
348    uint64_t readFloatRegInt(int reg_idx)
349    {
350        return regs.floatRegFile.q[reg_idx];
351    }
352
353    void setIntReg(int reg_idx, uint64_t val)
354    {
355        regs.intRegFile[reg_idx] = val;
356    }
357
358    void setFloatRegSingle(int reg_idx, float val)
359    {
360        regs.floatRegFile.d[reg_idx] = (double)val;
361    }
362
363    void setFloatRegDouble(int reg_idx, double val)
364    {
365        regs.floatRegFile.d[reg_idx] = val;
366    }
367
368    void setFloatRegInt(int reg_idx, uint64_t val)
369    {
370        regs.floatRegFile.q[reg_idx] = val;
371    }
372
373    uint64_t readPC()
374    {
375        return regs.pc;
376    }
377
378    void setNextPC(uint64_t val)
379    {
380        regs.npc = val;
381    }
382
383    uint64_t readUniq()
384    {
385        return regs.miscRegs.uniq;
386    }
387
388    void setUniq(uint64_t val)
389    {
390        regs.miscRegs.uniq = val;
391    }
392
393    uint64_t readFpcr()
394    {
395        return regs.miscRegs.fpcr;
396    }
397
398    void setFpcr(uint64_t val)
399    {
400        regs.miscRegs.fpcr = val;
401    }
402
403#ifdef FULL_SYSTEM
404    uint64_t readIpr(int idx, Fault &fault);
405    Fault setIpr(int idx, uint64_t val);
406    int readIntrFlag() { return regs.intrflag; }
407    void setIntrFlag(int val) { regs.intrflag = val; }
408    Fault hwrei();
409    bool inPalMode() { return PC_PAL(regs.pc); }
410    void ev5_trap(Fault fault);
411    bool simPalCheck(int palFunc);
412#endif
413
414    /** Meant to be more generic trap function to be
415     *  called when an instruction faults.
416     *  @param fault The fault generated by executing the instruction.
417     *  @todo How to do this properly so it's dependent upon ISA only?
418     */
419
420    void trap(Fault fault);
421
422#ifndef FULL_SYSTEM
423    IntReg getSyscallArg(int i)
424    {
425        return regs.intRegFile[ArgumentReg0 + i];
426    }
427
428    // used to shift args for indirect syscall
429    void setSyscallArg(int i, IntReg val)
430    {
431        regs.intRegFile[ArgumentReg0 + i] = val;
432    }
433
434    void setSyscallReturn(int64_t return_value)
435    {
436        // check for error condition.  Alpha syscall convention is to
437        // indicate success/failure in reg a3 (r19) and put the
438        // return value itself in the standard return value reg (v0).
439        const int RegA3 = 19;	// only place this is used
440        if (return_value >= 0) {
441            // no error
442            regs.intRegFile[RegA3] = 0;
443            regs.intRegFile[ReturnValueReg] = return_value;
444        } else {
445            // got an error, return details
446            regs.intRegFile[RegA3] = (IntReg) -1;
447            regs.intRegFile[ReturnValueReg] = -return_value;
448        }
449    }
450
451    void syscall()
452    {
453        process->syscall(this);
454    }
455#endif
456};
457
458
459// for non-speculative execution context, spec_mode is always false
460inline bool
461ExecContext::misspeculating()
462{
463    return false;
464}
465
466#endif // __EXEC_CONTEXT_HH__
467