exetrace.cc revision 3506
110447Snilay@cs.wisc.edu/*
210447Snilay@cs.wisc.edu * Copyright (c) 2001-2005 The Regents of The University of Michigan
310447Snilay@cs.wisc.edu * All rights reserved.
410447Snilay@cs.wisc.edu *
510447Snilay@cs.wisc.edu * Redistribution and use in source and binary forms, with or without
610447Snilay@cs.wisc.edu * modification, are permitted provided that the following conditions are
710447Snilay@cs.wisc.edu * met: redistributions of source code must retain the above copyright
810447Snilay@cs.wisc.edu * notice, this list of conditions and the following disclaimer;
910447Snilay@cs.wisc.edu * redistributions in binary form must reproduce the above copyright
1010447Snilay@cs.wisc.edu * notice, this list of conditions and the following disclaimer in the
1110447Snilay@cs.wisc.edu * documentation and/or other materials provided with the distribution;
1210447Snilay@cs.wisc.edu * neither the name of the copyright holders nor the names of its
1310447Snilay@cs.wisc.edu * contributors may be used to endorse or promote products derived from
1410447Snilay@cs.wisc.edu * this software without specific prior written permission.
1510447Snilay@cs.wisc.edu *
1610447Snilay@cs.wisc.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1710447Snilay@cs.wisc.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1810447Snilay@cs.wisc.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1910447Snilay@cs.wisc.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2010447Snilay@cs.wisc.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2110447Snilay@cs.wisc.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2210447Snilay@cs.wisc.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2310447Snilay@cs.wisc.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2410447Snilay@cs.wisc.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2510447Snilay@cs.wisc.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2610447Snilay@cs.wisc.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2710447Snilay@cs.wisc.edu *
2810447Snilay@cs.wisc.edu * Authors: Steve Reinhardt
2910447Snilay@cs.wisc.edu *          Lisa Hsu
3010447Snilay@cs.wisc.edu *          Nathan Binkert
3110447Snilay@cs.wisc.edu *          Steve Raasch
3210447Snilay@cs.wisc.edu */
3310447Snilay@cs.wisc.edu
3410447Snilay@cs.wisc.edu#include <fstream>
3510447Snilay@cs.wisc.edu#include <iomanip>
3610447Snilay@cs.wisc.edu#include <sys/ipc.h>
3710447Snilay@cs.wisc.edu#include <sys/shm.h>
3810447Snilay@cs.wisc.edu
3910447Snilay@cs.wisc.edu#include "arch/regfile.hh"
4010447Snilay@cs.wisc.edu#include "base/loader/symtab.hh"
4110447Snilay@cs.wisc.edu#include "cpu/base.hh"
4210447Snilay@cs.wisc.edu#include "cpu/exetrace.hh"
4310447Snilay@cs.wisc.edu#include "cpu/static_inst.hh"
4410447Snilay@cs.wisc.edu#include "sim/param.hh"
4510447Snilay@cs.wisc.edu#include "sim/system.hh"
4610447Snilay@cs.wisc.edu
4710447Snilay@cs.wisc.edu//XXX This is temporary
4810447Snilay@cs.wisc.edu#include "arch/isa_specific.hh"
4910447Snilay@cs.wisc.edu#include "cpu/m5legion_interface.h"
5010447Snilay@cs.wisc.edu
5110447Snilay@cs.wisc.eduusing namespace std;
5210447Snilay@cs.wisc.eduusing namespace TheISA;
5310447Snilay@cs.wisc.edu
5410447Snilay@cs.wisc.edunamespace Trace {
5510447Snilay@cs.wisc.eduSharedData *shared_data = NULL;
5610447Snilay@cs.wisc.edu}
5710447Snilay@cs.wisc.edu
5810447Snilay@cs.wisc.edu////////////////////////////////////////////////////////////////////////
5910447Snilay@cs.wisc.edu//
6010447Snilay@cs.wisc.edu//  Methods for the InstRecord object
6110447Snilay@cs.wisc.edu//
6210447Snilay@cs.wisc.edu
6310447Snilay@cs.wisc.edu
6410447Snilay@cs.wisc.eduvoid
6510447Snilay@cs.wisc.eduTrace::InstRecord::dump(ostream &outs)
6610447Snilay@cs.wisc.edu{
6710447Snilay@cs.wisc.edu    if (flags[PRINT_REG_DELTA])
6810447Snilay@cs.wisc.edu    {
6910447Snilay@cs.wisc.edu#if THE_ISA == SPARC_ISA
7010447Snilay@cs.wisc.edu#if 0
7110447Snilay@cs.wisc.edu        //Don't print what happens for each micro-op, just print out
7210447Snilay@cs.wisc.edu        //once at the last op, and for regular instructions.
7310447Snilay@cs.wisc.edu        if(!staticInst->isMicroOp() || staticInst->isLastMicroOp())
7410447Snilay@cs.wisc.edu        {
7510447Snilay@cs.wisc.edu            static uint64_t regs[32] = {
7610447Snilay@cs.wisc.edu                0, 0, 0, 0, 0, 0, 0, 0,
7710447Snilay@cs.wisc.edu                0, 0, 0, 0, 0, 0, 0, 0,
7810447Snilay@cs.wisc.edu                0, 0, 0, 0, 0, 0, 0, 0,
7910447Snilay@cs.wisc.edu                0, 0, 0, 0, 0, 0, 0, 0};
8010447Snilay@cs.wisc.edu            static uint64_t ccr = 0;
8110447Snilay@cs.wisc.edu            static uint64_t y = 0;
8210447Snilay@cs.wisc.edu            static uint64_t floats[32];
8310447Snilay@cs.wisc.edu            uint64_t newVal;
8410447Snilay@cs.wisc.edu            static const char * prefixes[4] = {"G", "O", "L", "I"};
8510447Snilay@cs.wisc.edu
8610447Snilay@cs.wisc.edu            char buf[256];
8710447Snilay@cs.wisc.edu            sprintf(buf, "PC = 0x%016llx", thread->readNextPC());
8810447Snilay@cs.wisc.edu            outs << buf;
8910447Snilay@cs.wisc.edu            sprintf(buf, " NPC = 0x%016llx", thread->readNextNPC());
9010447Snilay@cs.wisc.edu            outs << buf;
9110447Snilay@cs.wisc.edu            newVal = thread->readMiscReg(SparcISA::MISCREG_CCR);
9210447Snilay@cs.wisc.edu            if(newVal != ccr)
9310447Snilay@cs.wisc.edu            {
9410447Snilay@cs.wisc.edu                sprintf(buf, " CCR = 0x%016llx", newVal);
9510447Snilay@cs.wisc.edu                outs << buf;
9610447Snilay@cs.wisc.edu                ccr = newVal;
9710447Snilay@cs.wisc.edu            }
9810447Snilay@cs.wisc.edu            newVal = thread->readMiscReg(SparcISA::MISCREG_Y);
9910447Snilay@cs.wisc.edu            if(newVal != y)
10010447Snilay@cs.wisc.edu            {
10110447Snilay@cs.wisc.edu                sprintf(buf, " Y = 0x%016llx", newVal);
10210447Snilay@cs.wisc.edu                outs << buf;
10310447Snilay@cs.wisc.edu                y = newVal;
10410447Snilay@cs.wisc.edu            }
10510447Snilay@cs.wisc.edu            for(int y = 0; y < 4; y++)
10610447Snilay@cs.wisc.edu            {
10710447Snilay@cs.wisc.edu                for(int x = 0; x < 8; x++)
10810447Snilay@cs.wisc.edu                {
10910447Snilay@cs.wisc.edu                    int index = x + 8 * y;
11010447Snilay@cs.wisc.edu                    newVal = thread->readIntReg(index);
11110447Snilay@cs.wisc.edu                    if(regs[index] != newVal)
11210447Snilay@cs.wisc.edu                    {
11310447Snilay@cs.wisc.edu                        sprintf(buf, " %s%d = 0x%016llx", prefixes[y], x, newVal);
11410447Snilay@cs.wisc.edu                        outs << buf;
11510447Snilay@cs.wisc.edu                        regs[index] = newVal;
11610447Snilay@cs.wisc.edu                    }
11710447Snilay@cs.wisc.edu                }
11810447Snilay@cs.wisc.edu            }
11910447Snilay@cs.wisc.edu            for(int y = 0; y < 32; y++)
12010447Snilay@cs.wisc.edu            {
12110447Snilay@cs.wisc.edu                newVal = thread->readFloatRegBits(2 * y, 64);
12210447Snilay@cs.wisc.edu                if(floats[y] != newVal)
12310447Snilay@cs.wisc.edu                {
12410447Snilay@cs.wisc.edu                    sprintf(buf, " F%d = 0x%016llx", 2 * y, newVal);
12510447Snilay@cs.wisc.edu                    outs << buf;
12610447Snilay@cs.wisc.edu                    floats[y] = newVal;
12710447Snilay@cs.wisc.edu                }
12810447Snilay@cs.wisc.edu            }
12910447Snilay@cs.wisc.edu            outs << endl;
13010447Snilay@cs.wisc.edu        }
13110447Snilay@cs.wisc.edu#endif
13210447Snilay@cs.wisc.edu#endif
13310447Snilay@cs.wisc.edu    }
13410447Snilay@cs.wisc.edu    else if (flags[INTEL_FORMAT]) {
13510447Snilay@cs.wisc.edu#if FULL_SYSTEM
13610447Snilay@cs.wisc.edu        bool is_trace_system = (thread->getCpuPtr()->system->name() == trace_system);
13710447Snilay@cs.wisc.edu#else
13810447Snilay@cs.wisc.edu        bool is_trace_system = true;
13910447Snilay@cs.wisc.edu#endif
14010447Snilay@cs.wisc.edu        if (is_trace_system) {
14110447Snilay@cs.wisc.edu            ccprintf(outs, "%7d ) ", cycle);
14210447Snilay@cs.wisc.edu            outs << "0x" << hex << PC << ":\t";
14310447Snilay@cs.wisc.edu            if (staticInst->isLoad()) {
14410447Snilay@cs.wisc.edu                outs << "<RD 0x" << hex << addr;
14510447Snilay@cs.wisc.edu                outs << ">";
14610447Snilay@cs.wisc.edu            } else if (staticInst->isStore()) {
14710447Snilay@cs.wisc.edu                outs << "<WR 0x" << hex << addr;
14810447Snilay@cs.wisc.edu                outs << ">";
14910447Snilay@cs.wisc.edu            }
15010447Snilay@cs.wisc.edu            outs << endl;
15110447Snilay@cs.wisc.edu        }
15210447Snilay@cs.wisc.edu    } else {
15310447Snilay@cs.wisc.edu        if (flags[PRINT_CYCLE])
15410447Snilay@cs.wisc.edu            ccprintf(outs, "%7d: ", cycle);
15510447Snilay@cs.wisc.edu
15610447Snilay@cs.wisc.edu        outs << thread->getCpuPtr()->name() << " ";
15710447Snilay@cs.wisc.edu
15810447Snilay@cs.wisc.edu        if (flags[TRACE_MISSPEC])
15910447Snilay@cs.wisc.edu            outs << (misspeculating ? "-" : "+") << " ";
16010447Snilay@cs.wisc.edu
16110447Snilay@cs.wisc.edu        if (flags[PRINT_THREAD_NUM])
16210447Snilay@cs.wisc.edu            outs << "T" << thread->getThreadNum() << " : ";
16310447Snilay@cs.wisc.edu
16410447Snilay@cs.wisc.edu
16510447Snilay@cs.wisc.edu        std::string sym_str;
16610447Snilay@cs.wisc.edu        Addr sym_addr;
16710447Snilay@cs.wisc.edu        if (debugSymbolTable
16810447Snilay@cs.wisc.edu            && debugSymbolTable->findNearestSymbol(PC, sym_str, sym_addr)
16910447Snilay@cs.wisc.edu            && flags[PC_SYMBOL]) {
17010447Snilay@cs.wisc.edu            if (PC != sym_addr)
17110447Snilay@cs.wisc.edu                sym_str += csprintf("+%d", PC - sym_addr);
17210447Snilay@cs.wisc.edu            outs << "@" << sym_str << " : ";
17310447Snilay@cs.wisc.edu        }
17410447Snilay@cs.wisc.edu        else {
17510447Snilay@cs.wisc.edu            outs << "0x" << hex << PC << " : ";
17610447Snilay@cs.wisc.edu        }
17710447Snilay@cs.wisc.edu
17810447Snilay@cs.wisc.edu        //
17910447Snilay@cs.wisc.edu        //  Print decoded instruction
18010447Snilay@cs.wisc.edu        //
18110447Snilay@cs.wisc.edu
18210447Snilay@cs.wisc.edu#if defined(__GNUC__) && (__GNUC__ < 3)
18310447Snilay@cs.wisc.edu        // There's a bug in gcc 2.x library that prevents setw()
18410447Snilay@cs.wisc.edu        // from working properly on strings
18510447Snilay@cs.wisc.edu        string mc(staticInst->disassemble(PC, debugSymbolTable));
18610447Snilay@cs.wisc.edu        while (mc.length() < 26)
18710447Snilay@cs.wisc.edu            mc += " ";
18810447Snilay@cs.wisc.edu        outs << mc;
18910447Snilay@cs.wisc.edu#else
19010447Snilay@cs.wisc.edu        outs << setw(26) << left << staticInst->disassemble(PC, debugSymbolTable);
19110447Snilay@cs.wisc.edu#endif
19210447Snilay@cs.wisc.edu
19310447Snilay@cs.wisc.edu        outs << " : ";
19410447Snilay@cs.wisc.edu
19510447Snilay@cs.wisc.edu        if (flags[PRINT_OP_CLASS]) {
19610447Snilay@cs.wisc.edu            outs << opClassStrings[staticInst->opClass()] << " : ";
19710447Snilay@cs.wisc.edu        }
19810447Snilay@cs.wisc.edu
19910447Snilay@cs.wisc.edu        if (flags[PRINT_RESULT_DATA] && data_status != DataInvalid) {
20010447Snilay@cs.wisc.edu            outs << " D=";
20110447Snilay@cs.wisc.edu#if 0
20210447Snilay@cs.wisc.edu            if (data_status == DataDouble)
20310447Snilay@cs.wisc.edu                ccprintf(outs, "%f", data.as_double);
20410447Snilay@cs.wisc.edu            else
20510447Snilay@cs.wisc.edu                ccprintf(outs, "%#018x", data.as_int);
20610447Snilay@cs.wisc.edu#else
20710447Snilay@cs.wisc.edu            ccprintf(outs, "%#018x", data.as_int);
20810447Snilay@cs.wisc.edu#endif
20910447Snilay@cs.wisc.edu        }
21010447Snilay@cs.wisc.edu
21110447Snilay@cs.wisc.edu        if (flags[PRINT_EFF_ADDR] && addr_valid)
21210447Snilay@cs.wisc.edu            outs << " A=0x" << hex << addr;
21310447Snilay@cs.wisc.edu
21410447Snilay@cs.wisc.edu        if (flags[PRINT_INT_REGS] && regs_valid) {
21510447Snilay@cs.wisc.edu            for (int i = 0; i < TheISA::NumIntRegs;)
21610447Snilay@cs.wisc.edu                for (int j = i + 1; i <= j; i++)
21710447Snilay@cs.wisc.edu                    ccprintf(outs, "r%02d = %#018x%s", i,
21810447Snilay@cs.wisc.edu                            iregs->regs.readReg(i),
21910447Snilay@cs.wisc.edu                            ((i == j) ? "\n" : "    "));
22010447Snilay@cs.wisc.edu            outs << "\n";
22110447Snilay@cs.wisc.edu        }
22210447Snilay@cs.wisc.edu
22310447Snilay@cs.wisc.edu        if (flags[PRINT_FETCH_SEQ] && fetch_seq_valid)
22410447Snilay@cs.wisc.edu            outs << "  FetchSeq=" << dec << fetch_seq;
22510447Snilay@cs.wisc.edu
22610447Snilay@cs.wisc.edu        if (flags[PRINT_CP_SEQ] && cp_seq_valid)
22710447Snilay@cs.wisc.edu            outs << "  CPSeq=" << dec << cp_seq;
22810447Snilay@cs.wisc.edu
22910447Snilay@cs.wisc.edu        //
23010447Snilay@cs.wisc.edu        //  End of line...
23110447Snilay@cs.wisc.edu        //
23210447Snilay@cs.wisc.edu        outs << endl;
23310447Snilay@cs.wisc.edu    }
23410447Snilay@cs.wisc.edu    // Compare
23510447Snilay@cs.wisc.edu    if (flags[LEGION_LOCKSTEP])
23610447Snilay@cs.wisc.edu    {
23710447Snilay@cs.wisc.edu        bool compared = false;
23810447Snilay@cs.wisc.edu        bool diffPC   = false;
23910447Snilay@cs.wisc.edu        bool diffInst = false;
24010447Snilay@cs.wisc.edu        bool diffRegs = false;
24110447Snilay@cs.wisc.edu
24210447Snilay@cs.wisc.edu        while (!compared) {
24310447Snilay@cs.wisc.edu            if (shared_data->flags == OWN_M5) {
24410447Snilay@cs.wisc.edu                if (shared_data->pc != PC)
24510447Snilay@cs.wisc.edu                   diffPC = true;
24610447Snilay@cs.wisc.edu                if (shared_data->instruction != staticInst->machInst)
24710447Snilay@cs.wisc.edu                    diffInst = true;
24810447Snilay@cs.wisc.edu                for (int i = 0; i < TheISA::NumIntRegs; i++) {
24910447Snilay@cs.wisc.edu                    if (thread->readIntReg(i) != shared_data->intregs[i])
25010447Snilay@cs.wisc.edu                        diffRegs = true;
25110447Snilay@cs.wisc.edu                }
25210447Snilay@cs.wisc.edu
25310447Snilay@cs.wisc.edu                if (diffPC || diffInst || diffRegs ) {
25410447Snilay@cs.wisc.edu                    outs << "Differences found between M5 and Legion:";
25510447Snilay@cs.wisc.edu                    if (diffPC)
25610447Snilay@cs.wisc.edu                        outs << " PC";
25710447Snilay@cs.wisc.edu                    if (diffInst)
25810447Snilay@cs.wisc.edu                        outs << " Instruction";
25910447Snilay@cs.wisc.edu                    if (diffRegs)
26010447Snilay@cs.wisc.edu                        outs << " IntRegs";
26110447Snilay@cs.wisc.edu                    outs << endl;
26210447Snilay@cs.wisc.edu
26310447Snilay@cs.wisc.edu                    outs << "M5 PC: " << setw(20) << "0x" << hex << PC;
26410447Snilay@cs.wisc.edu                    outs << "Legion PC: " << setw(20) << "0x" << hex <<
26510447Snilay@cs.wisc.edu                        shared_data->pc << endl;
26610447Snilay@cs.wisc.edu
26710447Snilay@cs.wisc.edu
26810447Snilay@cs.wisc.edu
26910447Snilay@cs.wisc.edu                    outs << "M5 Instruction: " << staticInst->machInst << "("
27010447Snilay@cs.wisc.edu                         << staticInst->disassemble(PC, debugSymbolTable)
27110447Snilay@cs.wisc.edu                         << ")" << "Legion Instruction: " <<
27210447Snilay@cs.wisc.edu                         shared_data->instruction << "("
27310447Snilay@cs.wisc.edu                         /*<< legionInst->disassemble(shared_data->pc,
27410447Snilay@cs.wisc.edu                                 debugSymbolTable)*/
27510447Snilay@cs.wisc.edu                         << ")" << endl;
27610447Snilay@cs.wisc.edu
27710447Snilay@cs.wisc.edu                    for (int i = 0; i < TheISA::NumIntRegs; i++) {
278                        outs << setw(16) << "0x" << hex << thread->readIntReg(i)
279                             << setw(16) << "0x" << hex << shared_data->intregs[i];
280
281                        if (thread->readIntReg(i) != shared_data->intregs[i])
282                            outs << "<--- Different";
283                        outs << endl;
284                    }
285                }
286
287                compared = true;
288                shared_data->flags = OWN_LEGION;
289            }
290        }
291
292    }
293}
294
295
296vector<bool> Trace::InstRecord::flags(NUM_BITS);
297string Trace::InstRecord::trace_system;
298
299////////////////////////////////////////////////////////////////////////
300//
301// Parameter space for per-cycle execution address tracing options.
302// Derive from ParamContext so we can override checkParams() function.
303//
304class ExecutionTraceParamContext : public ParamContext
305{
306  public:
307    ExecutionTraceParamContext(const string &_iniSection)
308        : ParamContext(_iniSection)
309        {
310        }
311
312    void checkParams();	// defined at bottom of file
313};
314
315ExecutionTraceParamContext exeTraceParams("exetrace");
316
317Param<bool> exe_trace_spec(&exeTraceParams, "speculative",
318                           "capture speculative instructions", true);
319
320Param<bool> exe_trace_print_cycle(&exeTraceParams, "print_cycle",
321                                  "print cycle number", true);
322Param<bool> exe_trace_print_opclass(&exeTraceParams, "print_opclass",
323                                  "print op class", true);
324Param<bool> exe_trace_print_thread(&exeTraceParams, "print_thread",
325                                  "print thread number", true);
326Param<bool> exe_trace_print_effaddr(&exeTraceParams, "print_effaddr",
327                                  "print effective address", true);
328Param<bool> exe_trace_print_data(&exeTraceParams, "print_data",
329                                  "print result data", true);
330Param<bool> exe_trace_print_iregs(&exeTraceParams, "print_iregs",
331                                  "print all integer regs", false);
332Param<bool> exe_trace_print_fetchseq(&exeTraceParams, "print_fetchseq",
333                                  "print fetch sequence number", false);
334Param<bool> exe_trace_print_cp_seq(&exeTraceParams, "print_cpseq",
335                                  "print correct-path sequence number", false);
336Param<bool> exe_trace_print_reg_delta(&exeTraceParams, "print_reg_delta",
337                                  "print which registers changed to what", false);
338Param<bool> exe_trace_pc_symbol(&exeTraceParams, "pc_symbol",
339                                  "Use symbols for the PC if available", true);
340Param<bool> exe_trace_intel_format(&exeTraceParams, "intel_format",
341                                   "print trace in intel compatible format", false);
342Param<bool> exe_trace_legion_lockstep(&exeTraceParams, "legion_lockstep",
343                                   "Compare sim state to legion state every cycle",
344                                   false);
345Param<string> exe_trace_system(&exeTraceParams, "trace_system",
346                                   "print trace of which system (client or server)",
347                                   "client");
348
349
350//
351// Helper function for ExecutionTraceParamContext::checkParams() just
352// to get us into the InstRecord namespace
353//
354void
355Trace::InstRecord::setParams()
356{
357    flags[TRACE_MISSPEC]     = exe_trace_spec;
358
359    flags[PRINT_CYCLE]       = exe_trace_print_cycle;
360    flags[PRINT_OP_CLASS]    = exe_trace_print_opclass;
361    flags[PRINT_THREAD_NUM]  = exe_trace_print_thread;
362    flags[PRINT_RESULT_DATA] = exe_trace_print_effaddr;
363    flags[PRINT_EFF_ADDR]    = exe_trace_print_data;
364    flags[PRINT_INT_REGS]    = exe_trace_print_iregs;
365    flags[PRINT_FETCH_SEQ]   = exe_trace_print_fetchseq;
366    flags[PRINT_CP_SEQ]      = exe_trace_print_cp_seq;
367    flags[PRINT_REG_DELTA]   = exe_trace_print_reg_delta;
368    flags[PC_SYMBOL]         = exe_trace_pc_symbol;
369    flags[INTEL_FORMAT]      = exe_trace_intel_format;
370    flags[LEGION_LOCKSTEP]   = exe_trace_legion_lockstep;
371    trace_system	     = exe_trace_system;
372
373    // If were going to be in lockstep with Legion
374    // Setup shared memory, and get otherwise ready
375    if (flags[LEGION_LOCKSTEP]) {
376        int shmfd = shmget(getuid(), sizeof(SharedData), 0777);
377        if (shmfd < 0)
378            fatal("Couldn't get shared memory fd. Is Legion running?");
379
380        shared_data = (SharedData*)shmat(shmfd, NULL, SHM_RND);
381        if (shared_data == (SharedData*)-1)
382            fatal("Couldn't allocate shared memory");
383
384        if (shared_data->flags != OWN_M5)
385            fatal("Shared memory has invalid owner");
386
387        if (shared_data->version != VERSION)
388            fatal("Shared Data is wrong version! M5: %d Legion: %d", VERSION,
389                    shared_data->version);
390
391    }
392}
393
394void
395ExecutionTraceParamContext::checkParams()
396{
397    Trace::InstRecord::setParams();
398}
399
400