StateMachine.py revision 9604
16657Snate@binkert.org# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 26657Snate@binkert.org# Copyright (c) 2009 The Hewlett-Packard Development Company 36657Snate@binkert.org# All rights reserved. 46657Snate@binkert.org# 56657Snate@binkert.org# Redistribution and use in source and binary forms, with or without 66657Snate@binkert.org# modification, are permitted provided that the following conditions are 76657Snate@binkert.org# met: redistributions of source code must retain the above copyright 86657Snate@binkert.org# notice, this list of conditions and the following disclaimer; 96657Snate@binkert.org# redistributions in binary form must reproduce the above copyright 106657Snate@binkert.org# notice, this list of conditions and the following disclaimer in the 116657Snate@binkert.org# documentation and/or other materials provided with the distribution; 126657Snate@binkert.org# neither the name of the copyright holders nor the names of its 136657Snate@binkert.org# contributors may be used to endorse or promote products derived from 146657Snate@binkert.org# this software without specific prior written permission. 156657Snate@binkert.org# 166657Snate@binkert.org# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 176657Snate@binkert.org# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 186657Snate@binkert.org# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 196657Snate@binkert.org# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 206657Snate@binkert.org# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 216657Snate@binkert.org# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 226657Snate@binkert.org# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 236657Snate@binkert.org# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 246657Snate@binkert.org# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 256657Snate@binkert.org# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 266657Snate@binkert.org# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 276657Snate@binkert.org 286999Snate@binkert.orgfrom m5.util import orderdict 296657Snate@binkert.org 306657Snate@binkert.orgfrom slicc.symbols.Symbol import Symbol 316657Snate@binkert.orgfrom slicc.symbols.Var import Var 326657Snate@binkert.orgimport slicc.generate.html as html 338189SLisa.Hsu@amd.comimport re 346657Snate@binkert.org 359499Snilay@cs.wisc.edupython_class_map = { 369499Snilay@cs.wisc.edu "int": "Int", 379364Snilay@cs.wisc.edu "uint32_t" : "UInt32", 387055Snate@binkert.org "std::string": "String", 396882SBrad.Beckmann@amd.com "bool": "Bool", 406882SBrad.Beckmann@amd.com "CacheMemory": "RubyCache", 418191SLisa.Hsu@amd.com "WireBuffer": "RubyWireBuffer", 426882SBrad.Beckmann@amd.com "Sequencer": "RubySequencer", 436882SBrad.Beckmann@amd.com "DirectoryMemory": "RubyDirectoryMemory", 449102SNuwan.Jayasena@amd.com "MemoryControl": "MemoryControl", 459366Snilay@cs.wisc.edu "DMASequencer": "DMASequencer", 469499Snilay@cs.wisc.edu "Prefetcher":"Prefetcher", 479499Snilay@cs.wisc.edu "Cycles":"Cycles", 489499Snilay@cs.wisc.edu } 496882SBrad.Beckmann@amd.com 506657Snate@binkert.orgclass StateMachine(Symbol): 516657Snate@binkert.org def __init__(self, symtab, ident, location, pairs, config_parameters): 526657Snate@binkert.org super(StateMachine, self).__init__(symtab, ident, location, pairs) 536657Snate@binkert.org self.table = None 546657Snate@binkert.org self.config_parameters = config_parameters 559366Snilay@cs.wisc.edu self.prefetchers = [] 567839Snilay@cs.wisc.edu 576657Snate@binkert.org for param in config_parameters: 586882SBrad.Beckmann@amd.com if param.pointer: 596882SBrad.Beckmann@amd.com var = Var(symtab, param.name, location, param.type_ast.type, 606882SBrad.Beckmann@amd.com "(*m_%s_ptr)" % param.name, {}, self) 616882SBrad.Beckmann@amd.com else: 626882SBrad.Beckmann@amd.com var = Var(symtab, param.name, location, param.type_ast.type, 636882SBrad.Beckmann@amd.com "m_%s" % param.name, {}, self) 646657Snate@binkert.org self.symtab.registerSym(param.name, var) 659366Snilay@cs.wisc.edu if str(param.type_ast.type) == "Prefetcher": 669366Snilay@cs.wisc.edu self.prefetchers.append(var) 676657Snate@binkert.org 686657Snate@binkert.org self.states = orderdict() 696657Snate@binkert.org self.events = orderdict() 706657Snate@binkert.org self.actions = orderdict() 719104Shestness@cs.utexas.edu self.request_types = orderdict() 726657Snate@binkert.org self.transitions = [] 736657Snate@binkert.org self.in_ports = [] 746657Snate@binkert.org self.functions = [] 756657Snate@binkert.org self.objects = [] 767839Snilay@cs.wisc.edu self.TBEType = None 777839Snilay@cs.wisc.edu self.EntryType = None 786657Snate@binkert.org 796657Snate@binkert.org def __repr__(self): 806657Snate@binkert.org return "[StateMachine: %s]" % self.ident 816657Snate@binkert.org 826657Snate@binkert.org def addState(self, state): 836657Snate@binkert.org assert self.table is None 846657Snate@binkert.org self.states[state.ident] = state 856657Snate@binkert.org 866657Snate@binkert.org def addEvent(self, event): 876657Snate@binkert.org assert self.table is None 886657Snate@binkert.org self.events[event.ident] = event 896657Snate@binkert.org 906657Snate@binkert.org def addAction(self, action): 916657Snate@binkert.org assert self.table is None 926657Snate@binkert.org 936657Snate@binkert.org # Check for duplicate action 946657Snate@binkert.org for other in self.actions.itervalues(): 956657Snate@binkert.org if action.ident == other.ident: 966779SBrad.Beckmann@amd.com action.warning("Duplicate action definition: %s" % action.ident) 976657Snate@binkert.org action.error("Duplicate action definition: %s" % action.ident) 986657Snate@binkert.org if action.short == other.short: 996657Snate@binkert.org other.warning("Duplicate action shorthand: %s" % other.ident) 1006657Snate@binkert.org other.warning(" shorthand = %s" % other.short) 1016657Snate@binkert.org action.warning("Duplicate action shorthand: %s" % action.ident) 1026657Snate@binkert.org action.error(" shorthand = %s" % action.short) 1036657Snate@binkert.org 1046657Snate@binkert.org self.actions[action.ident] = action 1056657Snate@binkert.org 1069104Shestness@cs.utexas.edu def addRequestType(self, request_type): 1079104Shestness@cs.utexas.edu assert self.table is None 1089104Shestness@cs.utexas.edu self.request_types[request_type.ident] = request_type 1099104Shestness@cs.utexas.edu 1106657Snate@binkert.org def addTransition(self, trans): 1116657Snate@binkert.org assert self.table is None 1126657Snate@binkert.org self.transitions.append(trans) 1136657Snate@binkert.org 1146657Snate@binkert.org def addInPort(self, var): 1156657Snate@binkert.org self.in_ports.append(var) 1166657Snate@binkert.org 1176657Snate@binkert.org def addFunc(self, func): 1186657Snate@binkert.org # register func in the symbol table 1196657Snate@binkert.org self.symtab.registerSym(str(func), func) 1206657Snate@binkert.org self.functions.append(func) 1216657Snate@binkert.org 1226657Snate@binkert.org def addObject(self, obj): 1236657Snate@binkert.org self.objects.append(obj) 1246657Snate@binkert.org 1257839Snilay@cs.wisc.edu def addType(self, type): 1267839Snilay@cs.wisc.edu type_ident = '%s' % type.c_ident 1277839Snilay@cs.wisc.edu 1287839Snilay@cs.wisc.edu if type_ident == "%s_TBE" %self.ident: 1297839Snilay@cs.wisc.edu if self.TBEType != None: 1307839Snilay@cs.wisc.edu self.error("Multiple Transaction Buffer types in a " \ 1317839Snilay@cs.wisc.edu "single machine."); 1327839Snilay@cs.wisc.edu self.TBEType = type 1337839Snilay@cs.wisc.edu 1347839Snilay@cs.wisc.edu elif "interface" in type and "AbstractCacheEntry" == type["interface"]: 1357839Snilay@cs.wisc.edu if self.EntryType != None: 1367839Snilay@cs.wisc.edu self.error("Multiple AbstractCacheEntry types in a " \ 1377839Snilay@cs.wisc.edu "single machine."); 1387839Snilay@cs.wisc.edu self.EntryType = type 1397839Snilay@cs.wisc.edu 1406657Snate@binkert.org # Needs to be called before accessing the table 1416657Snate@binkert.org def buildTable(self): 1426657Snate@binkert.org assert self.table is None 1436657Snate@binkert.org 1446657Snate@binkert.org table = {} 1456657Snate@binkert.org 1466657Snate@binkert.org for trans in self.transitions: 1476657Snate@binkert.org # Track which actions we touch so we know if we use them 1486657Snate@binkert.org # all -- really this should be done for all symbols as 1496657Snate@binkert.org # part of the symbol table, then only trigger it for 1506657Snate@binkert.org # Actions, States, Events, etc. 1516657Snate@binkert.org 1526657Snate@binkert.org for action in trans.actions: 1536657Snate@binkert.org action.used = True 1546657Snate@binkert.org 1556657Snate@binkert.org index = (trans.state, trans.event) 1566657Snate@binkert.org if index in table: 1576657Snate@binkert.org table[index].warning("Duplicate transition: %s" % table[index]) 1586657Snate@binkert.org trans.error("Duplicate transition: %s" % trans) 1596657Snate@binkert.org table[index] = trans 1606657Snate@binkert.org 1616657Snate@binkert.org # Look at all actions to make sure we used them all 1626657Snate@binkert.org for action in self.actions.itervalues(): 1636657Snate@binkert.org if not action.used: 1646657Snate@binkert.org error_msg = "Unused action: %s" % action.ident 1656657Snate@binkert.org if "desc" in action: 1666657Snate@binkert.org error_msg += ", " + action.desc 1676657Snate@binkert.org action.warning(error_msg) 1686657Snate@binkert.org self.table = table 1696657Snate@binkert.org 1709219Spower.jg@gmail.com def writeCodeFiles(self, path, includes): 1716877Ssteve.reinhardt@amd.com self.printControllerPython(path) 1726657Snate@binkert.org self.printControllerHH(path) 1739219Spower.jg@gmail.com self.printControllerCC(path, includes) 1746657Snate@binkert.org self.printCSwitch(path) 1759219Spower.jg@gmail.com self.printCWakeup(path, includes) 1766657Snate@binkert.org self.printProfilerCC(path) 1776657Snate@binkert.org self.printProfilerHH(path) 1787542SBrad.Beckmann@amd.com self.printProfileDumperCC(path) 1797542SBrad.Beckmann@amd.com self.printProfileDumperHH(path) 1806657Snate@binkert.org 1816877Ssteve.reinhardt@amd.com def printControllerPython(self, path): 1826999Snate@binkert.org code = self.symtab.codeFormatter() 1836877Ssteve.reinhardt@amd.com ident = self.ident 1846877Ssteve.reinhardt@amd.com py_ident = "%s_Controller" % ident 1856877Ssteve.reinhardt@amd.com c_ident = "%s_Controller" % self.ident 1866877Ssteve.reinhardt@amd.com code(''' 1876877Ssteve.reinhardt@amd.comfrom m5.params import * 1886877Ssteve.reinhardt@amd.comfrom m5.SimObject import SimObject 1896877Ssteve.reinhardt@amd.comfrom Controller import RubyController 1906877Ssteve.reinhardt@amd.com 1916877Ssteve.reinhardt@amd.comclass $py_ident(RubyController): 1926877Ssteve.reinhardt@amd.com type = '$py_ident' 1939338SAndreas.Sandberg@arm.com cxx_header = 'mem/protocol/${c_ident}.hh' 1946877Ssteve.reinhardt@amd.com''') 1956877Ssteve.reinhardt@amd.com code.indent() 1966877Ssteve.reinhardt@amd.com for param in self.config_parameters: 1976877Ssteve.reinhardt@amd.com dflt_str = '' 1986877Ssteve.reinhardt@amd.com if param.default is not None: 1996877Ssteve.reinhardt@amd.com dflt_str = str(param.default) + ', ' 2006882SBrad.Beckmann@amd.com if python_class_map.has_key(param.type_ast.type.c_ident): 2016882SBrad.Beckmann@amd.com python_type = python_class_map[param.type_ast.type.c_ident] 2026882SBrad.Beckmann@amd.com code('${{param.name}} = Param.${{python_type}}(${dflt_str}"")') 2036882SBrad.Beckmann@amd.com else: 2046882SBrad.Beckmann@amd.com self.error("Unknown c++ to python class conversion for c++ " \ 2056882SBrad.Beckmann@amd.com "type: '%s'. Please update the python_class_map " \ 2066882SBrad.Beckmann@amd.com "in StateMachine.py", param.type_ast.type.c_ident) 2076877Ssteve.reinhardt@amd.com code.dedent() 2086877Ssteve.reinhardt@amd.com code.write(path, '%s.py' % py_ident) 2096877Ssteve.reinhardt@amd.com 2106877Ssteve.reinhardt@amd.com 2116657Snate@binkert.org def printControllerHH(self, path): 2126657Snate@binkert.org '''Output the method declarations for the class declaration''' 2136999Snate@binkert.org code = self.symtab.codeFormatter() 2146657Snate@binkert.org ident = self.ident 2156657Snate@binkert.org c_ident = "%s_Controller" % self.ident 2166657Snate@binkert.org 2176657Snate@binkert.org code(''' 2187007Snate@binkert.org/** \\file $c_ident.hh 2196657Snate@binkert.org * 2206657Snate@binkert.org * Auto generated C++ code started by $__file__:$__line__ 2216657Snate@binkert.org * Created by slicc definition of Module "${{self.short}}" 2226657Snate@binkert.org */ 2236657Snate@binkert.org 2247007Snate@binkert.org#ifndef __${ident}_CONTROLLER_HH__ 2257007Snate@binkert.org#define __${ident}_CONTROLLER_HH__ 2266657Snate@binkert.org 2277002Snate@binkert.org#include <iostream> 2287002Snate@binkert.org#include <sstream> 2297002Snate@binkert.org#include <string> 2307002Snate@binkert.org 2318229Snate@binkert.org#include "mem/protocol/${ident}_ProfileDumper.hh" 2328229Snate@binkert.org#include "mem/protocol/${ident}_Profiler.hh" 2336657Snate@binkert.org#include "mem/protocol/TransitionResult.hh" 2346657Snate@binkert.org#include "mem/protocol/Types.hh" 2358229Snate@binkert.org#include "mem/ruby/common/Consumer.hh" 2368229Snate@binkert.org#include "mem/ruby/common/Global.hh" 2378229Snate@binkert.org#include "mem/ruby/slicc_interface/AbstractController.hh" 2388229Snate@binkert.org#include "params/$c_ident.hh" 2396657Snate@binkert.org''') 2406657Snate@binkert.org 2416657Snate@binkert.org seen_types = set() 2429595Snilay@cs.wisc.edu has_peer = False 2436657Snate@binkert.org for var in self.objects: 2446793SBrad.Beckmann@amd.com if var.type.ident not in seen_types and not var.type.isPrimitive: 2456657Snate@binkert.org code('#include "mem/protocol/${{var.type.c_ident}}.hh"') 2469595Snilay@cs.wisc.edu if "network" in var and "physical_network" in var: 2479595Snilay@cs.wisc.edu has_peer = True 2486657Snate@binkert.org seen_types.add(var.type.ident) 2496657Snate@binkert.org 2506657Snate@binkert.org # for adding information to the protocol debug trace 2516657Snate@binkert.org code(''' 2527002Snate@binkert.orgextern std::stringstream ${ident}_transitionComment; 2536657Snate@binkert.org 2547007Snate@binkert.orgclass $c_ident : public AbstractController 2557007Snate@binkert.org{ 2569271Snilay@cs.wisc.edu public: 2576877Ssteve.reinhardt@amd.com typedef ${c_ident}Params Params; 2586877Ssteve.reinhardt@amd.com $c_ident(const Params *p); 2596657Snate@binkert.org static int getNumControllers(); 2606877Ssteve.reinhardt@amd.com void init(); 2616657Snate@binkert.org MessageBuffer* getMandatoryQueue() const; 2626657Snate@binkert.org const int & getVersion() const; 2637002Snate@binkert.org const std::string toString() const; 2647002Snate@binkert.org const std::string getName() const; 2656881SBrad.Beckmann@amd.com void initNetworkPtr(Network* net_ptr) { m_net_ptr = net_ptr; } 2667002Snate@binkert.org void print(std::ostream& out) const; 2676657Snate@binkert.org void wakeup(); 2687002Snate@binkert.org void printStats(std::ostream& out) const; 2696902SBrad.Beckmann@amd.com void clearStats(); 2706863Sdrh5@cs.wisc.edu void blockOnQueue(Address addr, MessageBuffer* port); 2716863Sdrh5@cs.wisc.edu void unblock(Address addr); 2728683Snilay@cs.wisc.edu void recordCacheTrace(int cntrl, CacheRecorder* tr); 2738683Snilay@cs.wisc.edu Sequencer* getSequencer() const; 2747007Snate@binkert.org 2759302Snilay@cs.wisc.edu bool functionalReadBuffers(PacketPtr&); 2769302Snilay@cs.wisc.edu uint32_t functionalWriteBuffers(PacketPtr&); 2779302Snilay@cs.wisc.edu 2786657Snate@binkert.orgprivate: 2796657Snate@binkert.org''') 2806657Snate@binkert.org 2816657Snate@binkert.org code.indent() 2826657Snate@binkert.org # added by SS 2836657Snate@binkert.org for param in self.config_parameters: 2846882SBrad.Beckmann@amd.com if param.pointer: 2856882SBrad.Beckmann@amd.com code('${{param.type_ast.type}}* m_${{param.ident}}_ptr;') 2866882SBrad.Beckmann@amd.com else: 2876882SBrad.Beckmann@amd.com code('${{param.type_ast.type}} m_${{param.ident}};') 2886657Snate@binkert.org 2896657Snate@binkert.org code(''' 2907007Snate@binkert.orgTransitionResult doTransition(${ident}_Event event, 2917839Snilay@cs.wisc.edu''') 2927839Snilay@cs.wisc.edu 2937839Snilay@cs.wisc.edu if self.EntryType != None: 2947839Snilay@cs.wisc.edu code(''' 2957839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}* m_cache_entry_ptr, 2967839Snilay@cs.wisc.edu''') 2977839Snilay@cs.wisc.edu if self.TBEType != None: 2987839Snilay@cs.wisc.edu code(''' 2997839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}* m_tbe_ptr, 3007839Snilay@cs.wisc.edu''') 3017839Snilay@cs.wisc.edu 3027839Snilay@cs.wisc.edu code(''' 3037007Snate@binkert.org const Address& addr); 3047007Snate@binkert.org 3057007Snate@binkert.orgTransitionResult doTransitionWorker(${ident}_Event event, 3067007Snate@binkert.org ${ident}_State state, 3077007Snate@binkert.org ${ident}_State& next_state, 3087839Snilay@cs.wisc.edu''') 3097839Snilay@cs.wisc.edu 3107839Snilay@cs.wisc.edu if self.TBEType != None: 3117839Snilay@cs.wisc.edu code(''' 3127839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}*& m_tbe_ptr, 3137839Snilay@cs.wisc.edu''') 3147839Snilay@cs.wisc.edu if self.EntryType != None: 3157839Snilay@cs.wisc.edu code(''' 3167839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}*& m_cache_entry_ptr, 3177839Snilay@cs.wisc.edu''') 3187839Snilay@cs.wisc.edu 3197839Snilay@cs.wisc.edu code(''' 3207007Snate@binkert.org const Address& addr); 3217007Snate@binkert.org 3227542SBrad.Beckmann@amd.comstatic ${ident}_ProfileDumper s_profileDumper; 3237542SBrad.Beckmann@amd.com${ident}_Profiler m_profiler; 3246657Snate@binkert.orgstatic int m_num_controllers; 3257007Snate@binkert.org 3266657Snate@binkert.org// Internal functions 3276657Snate@binkert.org''') 3286657Snate@binkert.org 3296657Snate@binkert.org for func in self.functions: 3306657Snate@binkert.org proto = func.prototype 3316657Snate@binkert.org if proto: 3326657Snate@binkert.org code('$proto') 3336657Snate@binkert.org 3349595Snilay@cs.wisc.edu if has_peer: 3359595Snilay@cs.wisc.edu code('void getQueuesFromPeer(AbstractController *);') 3367839Snilay@cs.wisc.edu if self.EntryType != None: 3377839Snilay@cs.wisc.edu code(''' 3387839Snilay@cs.wisc.edu 3397839Snilay@cs.wisc.edu// Set and Reset for cache_entry variable 3407839Snilay@cs.wisc.eduvoid set_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, AbstractCacheEntry* m_new_cache_entry); 3417839Snilay@cs.wisc.eduvoid unset_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr); 3427839Snilay@cs.wisc.edu''') 3437839Snilay@cs.wisc.edu 3447839Snilay@cs.wisc.edu if self.TBEType != None: 3457839Snilay@cs.wisc.edu code(''' 3467839Snilay@cs.wisc.edu 3477839Snilay@cs.wisc.edu// Set and Reset for tbe variable 3487839Snilay@cs.wisc.eduvoid set_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr, ${ident}_TBE* m_new_tbe); 3497839Snilay@cs.wisc.eduvoid unset_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr); 3507839Snilay@cs.wisc.edu''') 3517839Snilay@cs.wisc.edu 3526657Snate@binkert.org code(''' 3536657Snate@binkert.org 3546657Snate@binkert.org// Actions 3556657Snate@binkert.org''') 3567839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 3577839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3587839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3597839Snilay@cs.wisc.edu code('void ${{action.ident}}(${{self.TBEType.c_ident}}*& m_tbe_ptr, ${{self.EntryType.c_ident}}*& m_cache_entry_ptr, const Address& addr);') 3607839Snilay@cs.wisc.edu elif self.TBEType != None: 3617839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3627839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3637839Snilay@cs.wisc.edu code('void ${{action.ident}}(${{self.TBEType.c_ident}}*& m_tbe_ptr, const Address& addr);') 3647839Snilay@cs.wisc.edu elif self.EntryType != None: 3657839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3667839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3677839Snilay@cs.wisc.edu code('void ${{action.ident}}(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, const Address& addr);') 3687839Snilay@cs.wisc.edu else: 3697839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3707839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3717839Snilay@cs.wisc.edu code('void ${{action.ident}}(const Address& addr);') 3726657Snate@binkert.org 3736657Snate@binkert.org # the controller internal variables 3746657Snate@binkert.org code(''' 3756657Snate@binkert.org 3767007Snate@binkert.org// Objects 3776657Snate@binkert.org''') 3786657Snate@binkert.org for var in self.objects: 3799273Snilay@cs.wisc.edu th = var.get("template", "") 3806657Snate@binkert.org code('${{var.type.c_ident}}$th* m_${{var.c_ident}}_ptr;') 3816657Snate@binkert.org 3826657Snate@binkert.org code.dedent() 3836657Snate@binkert.org code('};') 3847007Snate@binkert.org code('#endif // __${ident}_CONTROLLER_H__') 3856657Snate@binkert.org code.write(path, '%s.hh' % c_ident) 3866657Snate@binkert.org 3879219Spower.jg@gmail.com def printControllerCC(self, path, includes): 3886657Snate@binkert.org '''Output the actions for performing the actions''' 3896657Snate@binkert.org 3906999Snate@binkert.org code = self.symtab.codeFormatter() 3916657Snate@binkert.org ident = self.ident 3926657Snate@binkert.org c_ident = "%s_Controller" % self.ident 3939595Snilay@cs.wisc.edu has_peer = False 3946657Snate@binkert.org 3956657Snate@binkert.org code(''' 3967007Snate@binkert.org/** \\file $c_ident.cc 3976657Snate@binkert.org * 3986657Snate@binkert.org * Auto generated C++ code started by $__file__:$__line__ 3996657Snate@binkert.org * Created by slicc definition of Module "${{self.short}}" 4006657Snate@binkert.org */ 4016657Snate@binkert.org 4028946Sandreas.hansson@arm.com#include <sys/types.h> 4038946Sandreas.hansson@arm.com#include <unistd.h> 4048946Sandreas.hansson@arm.com 4057832Snate@binkert.org#include <cassert> 4067002Snate@binkert.org#include <sstream> 4077002Snate@binkert.org#include <string> 4087002Snate@binkert.org 4098641Snate@binkert.org#include "base/compiler.hh" 4107056Snate@binkert.org#include "base/cprintf.hh" 4118232Snate@binkert.org#include "debug/RubyGenerated.hh" 4128232Snate@binkert.org#include "debug/RubySlicc.hh" 4136657Snate@binkert.org#include "mem/protocol/${ident}_Controller.hh" 4148229Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 4156657Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 4166657Snate@binkert.org#include "mem/protocol/Types.hh" 4177056Snate@binkert.org#include "mem/ruby/common/Global.hh" 4186657Snate@binkert.org#include "mem/ruby/system/System.hh" 4199219Spower.jg@gmail.com''') 4209219Spower.jg@gmail.com for include_path in includes: 4219219Spower.jg@gmail.com code('#include "${{include_path}}"') 4229219Spower.jg@gmail.com 4239219Spower.jg@gmail.com code(''' 4247002Snate@binkert.org 4257002Snate@binkert.orgusing namespace std; 4266657Snate@binkert.org''') 4276657Snate@binkert.org 4286657Snate@binkert.org # include object classes 4296657Snate@binkert.org seen_types = set() 4306657Snate@binkert.org for var in self.objects: 4316793SBrad.Beckmann@amd.com if var.type.ident not in seen_types and not var.type.isPrimitive: 4326657Snate@binkert.org code('#include "mem/protocol/${{var.type.c_ident}}.hh"') 4336657Snate@binkert.org seen_types.add(var.type.ident) 4346657Snate@binkert.org 4356657Snate@binkert.org code(''' 4366877Ssteve.reinhardt@amd.com$c_ident * 4376877Ssteve.reinhardt@amd.com${c_ident}Params::create() 4386877Ssteve.reinhardt@amd.com{ 4396877Ssteve.reinhardt@amd.com return new $c_ident(this); 4406877Ssteve.reinhardt@amd.com} 4416877Ssteve.reinhardt@amd.com 4426657Snate@binkert.orgint $c_ident::m_num_controllers = 0; 4437542SBrad.Beckmann@amd.com${ident}_ProfileDumper $c_ident::s_profileDumper; 4446657Snate@binkert.org 4457007Snate@binkert.org// for adding information to the protocol debug trace 4466657Snate@binkert.orgstringstream ${ident}_transitionComment; 4476657Snate@binkert.org#define APPEND_TRANSITION_COMMENT(str) (${ident}_transitionComment << str) 4487007Snate@binkert.org 4496657Snate@binkert.org/** \\brief constructor */ 4506877Ssteve.reinhardt@amd.com$c_ident::$c_ident(const Params *p) 4516877Ssteve.reinhardt@amd.com : AbstractController(p) 4526657Snate@binkert.org{ 4538532SLisa.Hsu@amd.com m_name = "${ident}"; 4546657Snate@binkert.org''') 4557567SBrad.Beckmann@amd.com # 4567567SBrad.Beckmann@amd.com # max_port_rank is used to size vectors and thus should be one plus the 4577567SBrad.Beckmann@amd.com # largest port rank 4587567SBrad.Beckmann@amd.com # 4597567SBrad.Beckmann@amd.com max_port_rank = self.in_ports[0].pairs["max_port_rank"] + 1 4607567SBrad.Beckmann@amd.com code(' m_max_in_port_rank = $max_port_rank;') 4616657Snate@binkert.org code.indent() 4626882SBrad.Beckmann@amd.com 4636882SBrad.Beckmann@amd.com # 4646882SBrad.Beckmann@amd.com # After initializing the universal machine parameters, initialize the 4656882SBrad.Beckmann@amd.com # this machines config parameters. Also detemine if these configuration 4666882SBrad.Beckmann@amd.com # params include a sequencer. This information will be used later for 4676882SBrad.Beckmann@amd.com # contecting the sequencer back to the L1 cache controller. 4686882SBrad.Beckmann@amd.com # 4698189SLisa.Hsu@amd.com contains_dma_sequencer = False 4708189SLisa.Hsu@amd.com sequencers = [] 4716877Ssteve.reinhardt@amd.com for param in self.config_parameters: 4728189SLisa.Hsu@amd.com if param.name == "dma_sequencer": 4738189SLisa.Hsu@amd.com contains_dma_sequencer = True 4748189SLisa.Hsu@amd.com elif re.compile("sequencer").search(param.name): 4758189SLisa.Hsu@amd.com sequencers.append(param.name) 4766882SBrad.Beckmann@amd.com if param.pointer: 4776882SBrad.Beckmann@amd.com code('m_${{param.name}}_ptr = p->${{param.name}};') 4786882SBrad.Beckmann@amd.com else: 4796882SBrad.Beckmann@amd.com code('m_${{param.name}} = p->${{param.name}};') 4806882SBrad.Beckmann@amd.com 4816882SBrad.Beckmann@amd.com # 4826882SBrad.Beckmann@amd.com # For the l1 cache controller, add the special atomic support which 4836882SBrad.Beckmann@amd.com # includes passing the sequencer a pointer to the controller. 4846882SBrad.Beckmann@amd.com # 4859597Snilay@cs.wisc.edu for seq in sequencers: 4869597Snilay@cs.wisc.edu code(''' 4878938SLisa.Hsu@amd.comm_${{seq}}_ptr->setController(this); 4888938SLisa.Hsu@amd.com ''') 4898938SLisa.Hsu@amd.com 4906888SBrad.Beckmann@amd.com # 4916888SBrad.Beckmann@amd.com # For the DMA controller, pass the sequencer a pointer to the 4926888SBrad.Beckmann@amd.com # controller. 4936888SBrad.Beckmann@amd.com # 4946888SBrad.Beckmann@amd.com if self.ident == "DMA": 4958189SLisa.Hsu@amd.com if not contains_dma_sequencer: 4966888SBrad.Beckmann@amd.com self.error("The DMA controller must include the sequencer " \ 4976888SBrad.Beckmann@amd.com "configuration parameter") 4986657Snate@binkert.org 4996888SBrad.Beckmann@amd.com code(''' 5006888SBrad.Beckmann@amd.comm_dma_sequencer_ptr->setController(this); 5016888SBrad.Beckmann@amd.com''') 5026888SBrad.Beckmann@amd.com 5036657Snate@binkert.org code('m_num_controllers++;') 5046657Snate@binkert.org for var in self.objects: 5056657Snate@binkert.org if var.ident.find("mandatoryQueue") >= 0: 5069508Snilay@cs.wisc.edu code(''' 5079508Snilay@cs.wisc.edum_${{var.c_ident}}_ptr = new ${{var.type.c_ident}}(); 5089508Snilay@cs.wisc.edum_${{var.c_ident}}_ptr->setReceiver(this); 5099508Snilay@cs.wisc.edu''') 5109595Snilay@cs.wisc.edu else: 5119595Snilay@cs.wisc.edu if "network" in var and "physical_network" in var and \ 5129595Snilay@cs.wisc.edu var["network"] == "To": 5139595Snilay@cs.wisc.edu has_peer = True 5149595Snilay@cs.wisc.edu code(''' 5159595Snilay@cs.wisc.edum_${{var.c_ident}}_ptr = new ${{var.type.c_ident}}(); 5169595Snilay@cs.wisc.edupeerQueueMap[${{var["physical_network"]}}] = m_${{var.c_ident}}_ptr; 5179595Snilay@cs.wisc.edum_${{var.c_ident}}_ptr->setSender(this); 5189595Snilay@cs.wisc.edu''') 5196657Snate@binkert.org 5209595Snilay@cs.wisc.edu code(''' 5219595Snilay@cs.wisc.eduif (p->peer != NULL) 5229595Snilay@cs.wisc.edu connectWithPeer(p->peer); 5239595Snilay@cs.wisc.edu''') 5246657Snate@binkert.org code.dedent() 5256657Snate@binkert.org code(''' 5266657Snate@binkert.org} 5276657Snate@binkert.org 5287007Snate@binkert.orgvoid 5297007Snate@binkert.org$c_ident::init() 5306657Snate@binkert.org{ 5317007Snate@binkert.org MachineType machine_type; 5327007Snate@binkert.org int base; 5339465Snilay@cs.wisc.edu machine_type = string_to_MachineType("${{var.machine.ident}}"); 5349465Snilay@cs.wisc.edu base = MachineType_base_number(machine_type); 5357007Snate@binkert.org 5366657Snate@binkert.org m_machineID.type = MachineType_${ident}; 5376657Snate@binkert.org m_machineID.num = m_version; 5386657Snate@binkert.org 5397007Snate@binkert.org // initialize objects 5407542SBrad.Beckmann@amd.com m_profiler.setVersion(m_version); 5417542SBrad.Beckmann@amd.com s_profileDumper.registerProfiler(&m_profiler); 5427007Snate@binkert.org 5436657Snate@binkert.org''') 5446657Snate@binkert.org 5456657Snate@binkert.org code.indent() 5466657Snate@binkert.org for var in self.objects: 5476657Snate@binkert.org vtype = var.type 5486657Snate@binkert.org vid = "m_%s_ptr" % var.c_ident 5496657Snate@binkert.org if "network" not in var: 5506657Snate@binkert.org # Not a network port object 5516657Snate@binkert.org if "primitive" in vtype: 5526657Snate@binkert.org code('$vid = new ${{vtype.c_ident}};') 5536657Snate@binkert.org if "default" in var: 5546657Snate@binkert.org code('(*$vid) = ${{var["default"]}};') 5556657Snate@binkert.org else: 5566657Snate@binkert.org # Normal Object 5579595Snilay@cs.wisc.edu if var.ident.find("mandatoryQueue") < 0: 5589273Snilay@cs.wisc.edu th = var.get("template", "") 5596657Snate@binkert.org expr = "%s = new %s%s" % (vid, vtype.c_ident, th) 5606657Snate@binkert.org args = "" 5616657Snate@binkert.org if "non_obj" not in vtype and not vtype.isEnumeration: 5629364Snilay@cs.wisc.edu args = var.get("constructor", "") 5637007Snate@binkert.org code('$expr($args);') 5646657Snate@binkert.org 5656657Snate@binkert.org code('assert($vid != NULL);') 5666657Snate@binkert.org 5676657Snate@binkert.org if "default" in var: 5687007Snate@binkert.org code('*$vid = ${{var["default"]}}; // Object default') 5696657Snate@binkert.org elif "default" in vtype: 5707007Snate@binkert.org comment = "Type %s default" % vtype.ident 5717007Snate@binkert.org code('*$vid = ${{vtype["default"]}}; // $comment') 5726657Snate@binkert.org 5736657Snate@binkert.org # Set ordering 5749508Snilay@cs.wisc.edu if "ordered" in var: 5756657Snate@binkert.org # A buffer 5766657Snate@binkert.org code('$vid->setOrdering(${{var["ordered"]}});') 5776657Snate@binkert.org 5786657Snate@binkert.org # Set randomization 5796657Snate@binkert.org if "random" in var: 5806657Snate@binkert.org # A buffer 5816657Snate@binkert.org code('$vid->setRandomization(${{var["random"]}});') 5826657Snate@binkert.org 5836657Snate@binkert.org # Set Priority 5849508Snilay@cs.wisc.edu if vtype.isBuffer and "rank" in var: 5856657Snate@binkert.org code('$vid->setPriority(${{var["rank"]}});') 5867566SBrad.Beckmann@amd.com 5879508Snilay@cs.wisc.edu # Set sender and receiver for trigger queue 5889508Snilay@cs.wisc.edu if var.ident.find("triggerQueue") >= 0: 5899508Snilay@cs.wisc.edu code('$vid->setSender(this);') 5909508Snilay@cs.wisc.edu code('$vid->setReceiver(this);') 5919508Snilay@cs.wisc.edu elif vtype.c_ident == "TimerTable": 5929508Snilay@cs.wisc.edu code('$vid->setClockObj(this);') 5939604Snilay@cs.wisc.edu elif var.ident.find("optionalQueue") >= 0: 5949604Snilay@cs.wisc.edu code('$vid->setSender(this);') 5959604Snilay@cs.wisc.edu code('$vid->setReceiver(this);') 5969508Snilay@cs.wisc.edu 5976657Snate@binkert.org else: 5986657Snate@binkert.org # Network port object 5996657Snate@binkert.org network = var["network"] 6006657Snate@binkert.org ordered = var["ordered"] 6016657Snate@binkert.org 6029595Snilay@cs.wisc.edu if "virtual_network" in var: 6039595Snilay@cs.wisc.edu vnet = var["virtual_network"] 6049595Snilay@cs.wisc.edu vnet_type = var["vnet_type"] 6059595Snilay@cs.wisc.edu 6069595Snilay@cs.wisc.edu assert var.machine is not None 6079595Snilay@cs.wisc.edu code(''' 6088308Stushar@csail.mit.edu$vid = m_net_ptr->get${network}NetQueue(m_version + base, $ordered, $vnet, "$vnet_type"); 6099595Snilay@cs.wisc.eduassert($vid != NULL); 6106657Snate@binkert.org''') 6116657Snate@binkert.org 6129595Snilay@cs.wisc.edu # Set the end 6139595Snilay@cs.wisc.edu if network == "To": 6149595Snilay@cs.wisc.edu code('$vid->setSender(this);') 6159595Snilay@cs.wisc.edu else: 6169595Snilay@cs.wisc.edu code('$vid->setReceiver(this);') 6179508Snilay@cs.wisc.edu 6186657Snate@binkert.org # Set ordering 6196657Snate@binkert.org if "ordered" in var: 6206657Snate@binkert.org # A buffer 6216657Snate@binkert.org code('$vid->setOrdering(${{var["ordered"]}});') 6226657Snate@binkert.org 6236657Snate@binkert.org # Set randomization 6246657Snate@binkert.org if "random" in var: 6256657Snate@binkert.org # A buffer 6268187SLisa.Hsu@amd.com code('$vid->setRandomization(${{var["random"]}});') 6276657Snate@binkert.org 6286657Snate@binkert.org # Set Priority 6296657Snate@binkert.org if "rank" in var: 6306657Snate@binkert.org code('$vid->setPriority(${{var["rank"]}})') 6316657Snate@binkert.org 6326657Snate@binkert.org # Set buffer size 6336657Snate@binkert.org if vtype.isBuffer: 6346657Snate@binkert.org code(''' 6356657Snate@binkert.orgif (m_buffer_size > 0) { 6367454Snate@binkert.org $vid->resize(m_buffer_size); 6376657Snate@binkert.org} 6386657Snate@binkert.org''') 6396657Snate@binkert.org 6406657Snate@binkert.org # set description (may be overriden later by port def) 6417007Snate@binkert.org code(''' 6427056Snate@binkert.org$vid->setDescription("[Version " + to_string(m_version) + ", ${ident}, name=${{var.c_ident}}]"); 6437007Snate@binkert.org 6447007Snate@binkert.org''') 6456657Snate@binkert.org 6467566SBrad.Beckmann@amd.com if vtype.isBuffer: 6477566SBrad.Beckmann@amd.com if "recycle_latency" in var: 6489499Snilay@cs.wisc.edu code('$vid->setRecycleLatency( ' \ 6499499Snilay@cs.wisc.edu 'Cycles(${{var["recycle_latency"]}}));') 6507566SBrad.Beckmann@amd.com else: 6517566SBrad.Beckmann@amd.com code('$vid->setRecycleLatency(m_recycle_latency);') 6527566SBrad.Beckmann@amd.com 6539366Snilay@cs.wisc.edu # Set the prefetchers 6549366Snilay@cs.wisc.edu code() 6559366Snilay@cs.wisc.edu for prefetcher in self.prefetchers: 6569366Snilay@cs.wisc.edu code('${{prefetcher.code}}.setController(this);') 6577566SBrad.Beckmann@amd.com 6587672Snate@binkert.org code() 6596657Snate@binkert.org for port in self.in_ports: 6609465Snilay@cs.wisc.edu # Set the queue consumers 6616657Snate@binkert.org code('${{port.code}}.setConsumer(this);') 6629465Snilay@cs.wisc.edu # Set the queue descriptions 6637056Snate@binkert.org code('${{port.code}}.setDescription("[Version " + to_string(m_version) + ", $ident, $port]");') 6646657Snate@binkert.org 6656657Snate@binkert.org # Initialize the transition profiling 6667672Snate@binkert.org code() 6676657Snate@binkert.org for trans in self.transitions: 6686657Snate@binkert.org # Figure out if we stall 6696657Snate@binkert.org stall = False 6706657Snate@binkert.org for action in trans.actions: 6716657Snate@binkert.org if action.ident == "z_stall": 6726657Snate@binkert.org stall = True 6736657Snate@binkert.org 6746657Snate@binkert.org # Only possible if it is not a 'z' case 6756657Snate@binkert.org if not stall: 6766657Snate@binkert.org state = "%s_State_%s" % (self.ident, trans.state.ident) 6776657Snate@binkert.org event = "%s_Event_%s" % (self.ident, trans.event.ident) 6787542SBrad.Beckmann@amd.com code('m_profiler.possibleTransition($state, $event);') 6796657Snate@binkert.org 6806657Snate@binkert.org code.dedent() 6819496Snilay@cs.wisc.edu code(''' 6829496Snilay@cs.wisc.edu AbstractController::init(); 6839496Snilay@cs.wisc.edu clearStats(); 6849496Snilay@cs.wisc.edu} 6859496Snilay@cs.wisc.edu''') 6866657Snate@binkert.org 6876657Snate@binkert.org has_mandatory_q = False 6886657Snate@binkert.org for port in self.in_ports: 6896657Snate@binkert.org if port.code.find("mandatoryQueue_ptr") >= 0: 6906657Snate@binkert.org has_mandatory_q = True 6916657Snate@binkert.org 6926657Snate@binkert.org if has_mandatory_q: 6936657Snate@binkert.org mq_ident = "m_%s_mandatoryQueue_ptr" % self.ident 6946657Snate@binkert.org else: 6956657Snate@binkert.org mq_ident = "NULL" 6966657Snate@binkert.org 6978683Snilay@cs.wisc.edu seq_ident = "NULL" 6988683Snilay@cs.wisc.edu for param in self.config_parameters: 6998683Snilay@cs.wisc.edu if param.name == "sequencer": 7008683Snilay@cs.wisc.edu assert(param.pointer) 7018683Snilay@cs.wisc.edu seq_ident = "m_%s_ptr" % param.name 7028683Snilay@cs.wisc.edu 7036657Snate@binkert.org code(''' 7047007Snate@binkert.orgint 7057007Snate@binkert.org$c_ident::getNumControllers() 7067007Snate@binkert.org{ 7076657Snate@binkert.org return m_num_controllers; 7086657Snate@binkert.org} 7096657Snate@binkert.org 7107007Snate@binkert.orgMessageBuffer* 7117007Snate@binkert.org$c_ident::getMandatoryQueue() const 7127007Snate@binkert.org{ 7136657Snate@binkert.org return $mq_ident; 7146657Snate@binkert.org} 7156657Snate@binkert.org 7168683Snilay@cs.wisc.eduSequencer* 7178683Snilay@cs.wisc.edu$c_ident::getSequencer() const 7188683Snilay@cs.wisc.edu{ 7198683Snilay@cs.wisc.edu return $seq_ident; 7208683Snilay@cs.wisc.edu} 7218683Snilay@cs.wisc.edu 7227007Snate@binkert.orgconst int & 7237007Snate@binkert.org$c_ident::getVersion() const 7247007Snate@binkert.org{ 7256657Snate@binkert.org return m_version; 7266657Snate@binkert.org} 7276657Snate@binkert.org 7287007Snate@binkert.orgconst string 7297007Snate@binkert.org$c_ident::toString() const 7307007Snate@binkert.org{ 7316657Snate@binkert.org return "$c_ident"; 7326657Snate@binkert.org} 7336657Snate@binkert.org 7347007Snate@binkert.orgconst string 7357007Snate@binkert.org$c_ident::getName() const 7367007Snate@binkert.org{ 7376657Snate@binkert.org return m_name; 7386657Snate@binkert.org} 7397007Snate@binkert.org 7407007Snate@binkert.orgvoid 7417007Snate@binkert.org$c_ident::blockOnQueue(Address addr, MessageBuffer* port) 7427007Snate@binkert.org{ 7436863Sdrh5@cs.wisc.edu m_is_blocking = true; 7446863Sdrh5@cs.wisc.edu m_block_map[addr] = port; 7456863Sdrh5@cs.wisc.edu} 7467007Snate@binkert.org 7477007Snate@binkert.orgvoid 7487007Snate@binkert.org$c_ident::unblock(Address addr) 7497007Snate@binkert.org{ 7506863Sdrh5@cs.wisc.edu m_block_map.erase(addr); 7516863Sdrh5@cs.wisc.edu if (m_block_map.size() == 0) { 7526863Sdrh5@cs.wisc.edu m_is_blocking = false; 7536863Sdrh5@cs.wisc.edu } 7546863Sdrh5@cs.wisc.edu} 7556863Sdrh5@cs.wisc.edu 7567007Snate@binkert.orgvoid 7577007Snate@binkert.org$c_ident::print(ostream& out) const 7587007Snate@binkert.org{ 7597007Snate@binkert.org out << "[$c_ident " << m_version << "]"; 7607007Snate@binkert.org} 7616657Snate@binkert.org 7627007Snate@binkert.orgvoid 7637007Snate@binkert.org$c_ident::printStats(ostream& out) const 7647007Snate@binkert.org{ 7656902SBrad.Beckmann@amd.com''') 7666902SBrad.Beckmann@amd.com # 7676902SBrad.Beckmann@amd.com # Cache and Memory Controllers have specific profilers associated with 7686902SBrad.Beckmann@amd.com # them. Print out these stats before dumping state transition stats. 7696902SBrad.Beckmann@amd.com # 7706902SBrad.Beckmann@amd.com for param in self.config_parameters: 7716902SBrad.Beckmann@amd.com if param.type_ast.type.ident == "CacheMemory" or \ 7727025SBrad.Beckmann@amd.com param.type_ast.type.ident == "DirectoryMemory" or \ 7736902SBrad.Beckmann@amd.com param.type_ast.type.ident == "MemoryControl": 7746902SBrad.Beckmann@amd.com assert(param.pointer) 7756902SBrad.Beckmann@amd.com code(' m_${{param.ident}}_ptr->printStats(out);') 7766902SBrad.Beckmann@amd.com 7776902SBrad.Beckmann@amd.com code(''' 7787542SBrad.Beckmann@amd.com if (m_version == 0) { 7797542SBrad.Beckmann@amd.com s_profileDumper.dumpStats(out); 7807542SBrad.Beckmann@amd.com } 7816902SBrad.Beckmann@amd.com} 7826902SBrad.Beckmann@amd.com 7836902SBrad.Beckmann@amd.comvoid $c_ident::clearStats() { 7846902SBrad.Beckmann@amd.com''') 7856902SBrad.Beckmann@amd.com # 7866902SBrad.Beckmann@amd.com # Cache and Memory Controllers have specific profilers associated with 7876902SBrad.Beckmann@amd.com # them. These stats must be cleared too. 7886902SBrad.Beckmann@amd.com # 7896902SBrad.Beckmann@amd.com for param in self.config_parameters: 7906902SBrad.Beckmann@amd.com if param.type_ast.type.ident == "CacheMemory" or \ 7916902SBrad.Beckmann@amd.com param.type_ast.type.ident == "MemoryControl": 7926902SBrad.Beckmann@amd.com assert(param.pointer) 7936902SBrad.Beckmann@amd.com code(' m_${{param.ident}}_ptr->clearStats();') 7946902SBrad.Beckmann@amd.com 7956902SBrad.Beckmann@amd.com code(''' 7967542SBrad.Beckmann@amd.com m_profiler.clearStats(); 7979496Snilay@cs.wisc.edu AbstractController::clearStats(); 7986902SBrad.Beckmann@amd.com} 7997839Snilay@cs.wisc.edu''') 8007839Snilay@cs.wisc.edu 8017839Snilay@cs.wisc.edu if self.EntryType != None: 8027839Snilay@cs.wisc.edu code(''' 8037839Snilay@cs.wisc.edu 8047839Snilay@cs.wisc.edu// Set and Reset for cache_entry variable 8057839Snilay@cs.wisc.eduvoid 8067839Snilay@cs.wisc.edu$c_ident::set_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, AbstractCacheEntry* m_new_cache_entry) 8077839Snilay@cs.wisc.edu{ 8087839Snilay@cs.wisc.edu m_cache_entry_ptr = (${{self.EntryType.c_ident}}*)m_new_cache_entry; 8097839Snilay@cs.wisc.edu} 8107839Snilay@cs.wisc.edu 8117839Snilay@cs.wisc.eduvoid 8127839Snilay@cs.wisc.edu$c_ident::unset_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr) 8137839Snilay@cs.wisc.edu{ 8147839Snilay@cs.wisc.edu m_cache_entry_ptr = 0; 8157839Snilay@cs.wisc.edu} 8167839Snilay@cs.wisc.edu''') 8177839Snilay@cs.wisc.edu 8187839Snilay@cs.wisc.edu if self.TBEType != None: 8197839Snilay@cs.wisc.edu code(''' 8207839Snilay@cs.wisc.edu 8217839Snilay@cs.wisc.edu// Set and Reset for tbe variable 8227839Snilay@cs.wisc.eduvoid 8237839Snilay@cs.wisc.edu$c_ident::set_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr, ${{self.TBEType.c_ident}}* m_new_tbe) 8247839Snilay@cs.wisc.edu{ 8257839Snilay@cs.wisc.edu m_tbe_ptr = m_new_tbe; 8267839Snilay@cs.wisc.edu} 8277839Snilay@cs.wisc.edu 8287839Snilay@cs.wisc.eduvoid 8297839Snilay@cs.wisc.edu$c_ident::unset_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr) 8307839Snilay@cs.wisc.edu{ 8317839Snilay@cs.wisc.edu m_tbe_ptr = NULL; 8327839Snilay@cs.wisc.edu} 8337839Snilay@cs.wisc.edu''') 8347839Snilay@cs.wisc.edu 8357839Snilay@cs.wisc.edu code(''' 8366902SBrad.Beckmann@amd.com 8378683Snilay@cs.wisc.eduvoid 8388683Snilay@cs.wisc.edu$c_ident::recordCacheTrace(int cntrl, CacheRecorder* tr) 8398683Snilay@cs.wisc.edu{ 8408683Snilay@cs.wisc.edu''') 8418683Snilay@cs.wisc.edu # 8428683Snilay@cs.wisc.edu # Record cache contents for all associated caches. 8438683Snilay@cs.wisc.edu # 8448683Snilay@cs.wisc.edu code.indent() 8458683Snilay@cs.wisc.edu for param in self.config_parameters: 8468683Snilay@cs.wisc.edu if param.type_ast.type.ident == "CacheMemory": 8478683Snilay@cs.wisc.edu assert(param.pointer) 8488683Snilay@cs.wisc.edu code('m_${{param.ident}}_ptr->recordCacheContents(cntrl, tr);') 8498683Snilay@cs.wisc.edu 8508683Snilay@cs.wisc.edu code.dedent() 8518683Snilay@cs.wisc.edu code(''' 8528683Snilay@cs.wisc.edu} 8538683Snilay@cs.wisc.edu 8546657Snate@binkert.org// Actions 8556657Snate@binkert.org''') 8567839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 8577839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 8587839Snilay@cs.wisc.edu if "c_code" not in action: 8597839Snilay@cs.wisc.edu continue 8606657Snate@binkert.org 8617839Snilay@cs.wisc.edu code(''' 8627839Snilay@cs.wisc.edu/** \\brief ${{action.desc}} */ 8637839Snilay@cs.wisc.eduvoid 8647839Snilay@cs.wisc.edu$c_ident::${{action.ident}}(${{self.TBEType.c_ident}}*& m_tbe_ptr, ${{self.EntryType.c_ident}}*& m_cache_entry_ptr, const Address& addr) 8657839Snilay@cs.wisc.edu{ 8668055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 8677839Snilay@cs.wisc.edu ${{action["c_code"]}} 8687839Snilay@cs.wisc.edu} 8696657Snate@binkert.org 8707839Snilay@cs.wisc.edu''') 8717839Snilay@cs.wisc.edu elif self.TBEType != None: 8727839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 8737839Snilay@cs.wisc.edu if "c_code" not in action: 8747839Snilay@cs.wisc.edu continue 8757839Snilay@cs.wisc.edu 8767839Snilay@cs.wisc.edu code(''' 8777839Snilay@cs.wisc.edu/** \\brief ${{action.desc}} */ 8787839Snilay@cs.wisc.eduvoid 8797839Snilay@cs.wisc.edu$c_ident::${{action.ident}}(${{self.TBEType.c_ident}}*& m_tbe_ptr, const Address& addr) 8807839Snilay@cs.wisc.edu{ 8818055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 8827839Snilay@cs.wisc.edu ${{action["c_code"]}} 8837839Snilay@cs.wisc.edu} 8847839Snilay@cs.wisc.edu 8857839Snilay@cs.wisc.edu''') 8867839Snilay@cs.wisc.edu elif self.EntryType != None: 8877839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 8887839Snilay@cs.wisc.edu if "c_code" not in action: 8897839Snilay@cs.wisc.edu continue 8907839Snilay@cs.wisc.edu 8917839Snilay@cs.wisc.edu code(''' 8927839Snilay@cs.wisc.edu/** \\brief ${{action.desc}} */ 8937839Snilay@cs.wisc.eduvoid 8947839Snilay@cs.wisc.edu$c_ident::${{action.ident}}(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, const Address& addr) 8957839Snilay@cs.wisc.edu{ 8968055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 8977839Snilay@cs.wisc.edu ${{action["c_code"]}} 8987839Snilay@cs.wisc.edu} 8997839Snilay@cs.wisc.edu 9007839Snilay@cs.wisc.edu''') 9017839Snilay@cs.wisc.edu else: 9027839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 9037839Snilay@cs.wisc.edu if "c_code" not in action: 9047839Snilay@cs.wisc.edu continue 9057839Snilay@cs.wisc.edu 9067839Snilay@cs.wisc.edu code(''' 9076657Snate@binkert.org/** \\brief ${{action.desc}} */ 9087007Snate@binkert.orgvoid 9097007Snate@binkert.org$c_ident::${{action.ident}}(const Address& addr) 9106657Snate@binkert.org{ 9118055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 9126657Snate@binkert.org ${{action["c_code"]}} 9136657Snate@binkert.org} 9146657Snate@binkert.org 9156657Snate@binkert.org''') 9168478Snilay@cs.wisc.edu for func in self.functions: 9178478Snilay@cs.wisc.edu code(func.generateCode()) 9188478Snilay@cs.wisc.edu 9199302Snilay@cs.wisc.edu # Function for functional reads from messages buffered in the controller 9209302Snilay@cs.wisc.edu code(''' 9219302Snilay@cs.wisc.edubool 9229302Snilay@cs.wisc.edu$c_ident::functionalReadBuffers(PacketPtr& pkt) 9239302Snilay@cs.wisc.edu{ 9249302Snilay@cs.wisc.edu''') 9259302Snilay@cs.wisc.edu for var in self.objects: 9269302Snilay@cs.wisc.edu vtype = var.type 9279302Snilay@cs.wisc.edu if vtype.isBuffer: 9289302Snilay@cs.wisc.edu vid = "m_%s_ptr" % var.c_ident 9299302Snilay@cs.wisc.edu code('if ($vid->functionalRead(pkt)) { return true; }') 9309302Snilay@cs.wisc.edu code(''' 9319302Snilay@cs.wisc.edu return false; 9329302Snilay@cs.wisc.edu} 9339302Snilay@cs.wisc.edu''') 9349302Snilay@cs.wisc.edu 9359302Snilay@cs.wisc.edu # Function for functional writes to messages buffered in the controller 9369302Snilay@cs.wisc.edu code(''' 9379302Snilay@cs.wisc.eduuint32_t 9389302Snilay@cs.wisc.edu$c_ident::functionalWriteBuffers(PacketPtr& pkt) 9399302Snilay@cs.wisc.edu{ 9409302Snilay@cs.wisc.edu uint32_t num_functional_writes = 0; 9419302Snilay@cs.wisc.edu''') 9429302Snilay@cs.wisc.edu for var in self.objects: 9439302Snilay@cs.wisc.edu vtype = var.type 9449302Snilay@cs.wisc.edu if vtype.isBuffer: 9459302Snilay@cs.wisc.edu vid = "m_%s_ptr" % var.c_ident 9469302Snilay@cs.wisc.edu code('num_functional_writes += $vid->functionalWrite(pkt);') 9479302Snilay@cs.wisc.edu code(''' 9489302Snilay@cs.wisc.edu return num_functional_writes; 9499302Snilay@cs.wisc.edu} 9509302Snilay@cs.wisc.edu''') 9519302Snilay@cs.wisc.edu 9529595Snilay@cs.wisc.edu # Check if this controller has a peer, if yes then write the 9539595Snilay@cs.wisc.edu # function for connecting to the peer. 9549595Snilay@cs.wisc.edu if has_peer: 9559595Snilay@cs.wisc.edu code(''' 9569595Snilay@cs.wisc.edu 9579595Snilay@cs.wisc.eduvoid 9589595Snilay@cs.wisc.edu$c_ident::getQueuesFromPeer(AbstractController *peer) 9599595Snilay@cs.wisc.edu{ 9609595Snilay@cs.wisc.edu''') 9619595Snilay@cs.wisc.edu for var in self.objects: 9629595Snilay@cs.wisc.edu if "network" in var and "physical_network" in var and \ 9639595Snilay@cs.wisc.edu var["network"] == "From": 9649595Snilay@cs.wisc.edu code(''' 9659595Snilay@cs.wisc.edum_${{var.c_ident}}_ptr = peer->getPeerQueue(${{var["physical_network"]}}); 9669595Snilay@cs.wisc.eduassert(m_${{var.c_ident}}_ptr != NULL); 9679595Snilay@cs.wisc.edum_${{var.c_ident}}_ptr->setReceiver(this); 9689595Snilay@cs.wisc.edu 9699595Snilay@cs.wisc.edu''') 9709595Snilay@cs.wisc.edu code('}') 9719595Snilay@cs.wisc.edu 9726657Snate@binkert.org code.write(path, "%s.cc" % c_ident) 9736657Snate@binkert.org 9749219Spower.jg@gmail.com def printCWakeup(self, path, includes): 9756657Snate@binkert.org '''Output the wakeup loop for the events''' 9766657Snate@binkert.org 9776999Snate@binkert.org code = self.symtab.codeFormatter() 9786657Snate@binkert.org ident = self.ident 9796657Snate@binkert.org 9809104Shestness@cs.utexas.edu outputRequest_types = True 9819104Shestness@cs.utexas.edu if len(self.request_types) == 0: 9829104Shestness@cs.utexas.edu outputRequest_types = False 9839104Shestness@cs.utexas.edu 9846657Snate@binkert.org code(''' 9856657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 9866657Snate@binkert.org// ${ident}: ${{self.short}} 9876657Snate@binkert.org 9888946Sandreas.hansson@arm.com#include <sys/types.h> 9898946Sandreas.hansson@arm.com#include <unistd.h> 9908946Sandreas.hansson@arm.com 9917832Snate@binkert.org#include <cassert> 9927832Snate@binkert.org 9937007Snate@binkert.org#include "base/misc.hh" 9948232Snate@binkert.org#include "debug/RubySlicc.hh" 9958229Snate@binkert.org#include "mem/protocol/${ident}_Controller.hh" 9968229Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 9978229Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 9989104Shestness@cs.utexas.edu''') 9999104Shestness@cs.utexas.edu 10009104Shestness@cs.utexas.edu if outputRequest_types: 10019104Shestness@cs.utexas.edu code('''#include "mem/protocol/${ident}_RequestType.hh"''') 10029104Shestness@cs.utexas.edu 10039104Shestness@cs.utexas.edu code(''' 10048229Snate@binkert.org#include "mem/protocol/Types.hh" 10056657Snate@binkert.org#include "mem/ruby/common/Global.hh" 10066657Snate@binkert.org#include "mem/ruby/system/System.hh" 10079219Spower.jg@gmail.com''') 10089219Spower.jg@gmail.com 10099219Spower.jg@gmail.com 10109219Spower.jg@gmail.com for include_path in includes: 10119219Spower.jg@gmail.com code('#include "${{include_path}}"') 10129219Spower.jg@gmail.com 10139219Spower.jg@gmail.com code(''' 10146657Snate@binkert.org 10157055Snate@binkert.orgusing namespace std; 10167055Snate@binkert.org 10177007Snate@binkert.orgvoid 10187007Snate@binkert.org${ident}_Controller::wakeup() 10196657Snate@binkert.org{ 10206657Snate@binkert.org int counter = 0; 10216657Snate@binkert.org while (true) { 10226657Snate@binkert.org // Some cases will put us into an infinite loop without this limit 10236657Snate@binkert.org assert(counter <= m_transitions_per_cycle); 10246657Snate@binkert.org if (counter == m_transitions_per_cycle) { 10257007Snate@binkert.org // Count how often we are fully utilized 10269496Snilay@cs.wisc.edu m_fully_busy_cycles++; 10277007Snate@binkert.org 10287007Snate@binkert.org // Wakeup in another cycle and try again 10299499Snilay@cs.wisc.edu scheduleEvent(Cycles(1)); 10306657Snate@binkert.org break; 10316657Snate@binkert.org } 10326657Snate@binkert.org''') 10336657Snate@binkert.org 10346657Snate@binkert.org code.indent() 10356657Snate@binkert.org code.indent() 10366657Snate@binkert.org 10376657Snate@binkert.org # InPorts 10386657Snate@binkert.org # 10396657Snate@binkert.org for port in self.in_ports: 10406657Snate@binkert.org code.indent() 10416657Snate@binkert.org code('// ${ident}InPort $port') 10427567SBrad.Beckmann@amd.com if port.pairs.has_key("rank"): 10437567SBrad.Beckmann@amd.com code('m_cur_in_port_rank = ${{port.pairs["rank"]}};') 10447567SBrad.Beckmann@amd.com else: 10457567SBrad.Beckmann@amd.com code('m_cur_in_port_rank = 0;') 10466657Snate@binkert.org code('${{port["c_code_in_port"]}}') 10476657Snate@binkert.org code.dedent() 10486657Snate@binkert.org 10496657Snate@binkert.org code('') 10506657Snate@binkert.org 10516657Snate@binkert.org code.dedent() 10526657Snate@binkert.org code.dedent() 10536657Snate@binkert.org code(''' 10546657Snate@binkert.org break; // If we got this far, we have nothing left todo 10556657Snate@binkert.org } 10566657Snate@binkert.org} 10576657Snate@binkert.org''') 10586657Snate@binkert.org 10596657Snate@binkert.org code.write(path, "%s_Wakeup.cc" % self.ident) 10606657Snate@binkert.org 10616657Snate@binkert.org def printCSwitch(self, path): 10626657Snate@binkert.org '''Output switch statement for transition table''' 10636657Snate@binkert.org 10646999Snate@binkert.org code = self.symtab.codeFormatter() 10656657Snate@binkert.org ident = self.ident 10666657Snate@binkert.org 10676657Snate@binkert.org code(''' 10686657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 10696657Snate@binkert.org// ${ident}: ${{self.short}} 10706657Snate@binkert.org 10717832Snate@binkert.org#include <cassert> 10727832Snate@binkert.org 10737805Snilay@cs.wisc.edu#include "base/misc.hh" 10747832Snate@binkert.org#include "base/trace.hh" 10758232Snate@binkert.org#include "debug/ProtocolTrace.hh" 10768232Snate@binkert.org#include "debug/RubyGenerated.hh" 10778229Snate@binkert.org#include "mem/protocol/${ident}_Controller.hh" 10788229Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 10798229Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 10808229Snate@binkert.org#include "mem/protocol/Types.hh" 10816657Snate@binkert.org#include "mem/ruby/common/Global.hh" 10826657Snate@binkert.org#include "mem/ruby/system/System.hh" 10836657Snate@binkert.org 10846657Snate@binkert.org#define HASH_FUN(state, event) ((int(state)*${ident}_Event_NUM)+int(event)) 10856657Snate@binkert.org 10866657Snate@binkert.org#define GET_TRANSITION_COMMENT() (${ident}_transitionComment.str()) 10876657Snate@binkert.org#define CLEAR_TRANSITION_COMMENT() (${ident}_transitionComment.str("")) 10886657Snate@binkert.org 10897007Snate@binkert.orgTransitionResult 10907007Snate@binkert.org${ident}_Controller::doTransition(${ident}_Event event, 10917839Snilay@cs.wisc.edu''') 10927839Snilay@cs.wisc.edu if self.EntryType != None: 10937839Snilay@cs.wisc.edu code(''' 10947839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}* m_cache_entry_ptr, 10957839Snilay@cs.wisc.edu''') 10967839Snilay@cs.wisc.edu if self.TBEType != None: 10977839Snilay@cs.wisc.edu code(''' 10987839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}* m_tbe_ptr, 10997839Snilay@cs.wisc.edu''') 11007839Snilay@cs.wisc.edu code(''' 11017007Snate@binkert.org const Address &addr) 11026657Snate@binkert.org{ 11037839Snilay@cs.wisc.edu''') 11047839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 11058337Snilay@cs.wisc.edu code('${ident}_State state = getState(m_tbe_ptr, m_cache_entry_ptr, addr);') 11067839Snilay@cs.wisc.edu elif self.TBEType != None: 11078337Snilay@cs.wisc.edu code('${ident}_State state = getState(m_tbe_ptr, addr);') 11087839Snilay@cs.wisc.edu elif self.EntryType != None: 11098337Snilay@cs.wisc.edu code('${ident}_State state = getState(m_cache_entry_ptr, addr);') 11107839Snilay@cs.wisc.edu else: 11118337Snilay@cs.wisc.edu code('${ident}_State state = getState(addr);') 11127839Snilay@cs.wisc.edu 11137839Snilay@cs.wisc.edu code(''' 11146657Snate@binkert.org ${ident}_State next_state = state; 11156657Snate@binkert.org 11167780Snilay@cs.wisc.edu DPRINTF(RubyGenerated, "%s, Time: %lld, state: %s, event: %s, addr: %s\\n", 11179465Snilay@cs.wisc.edu *this, curCycle(), ${ident}_State_to_string(state), 11189171Snilay@cs.wisc.edu ${ident}_Event_to_string(event), addr); 11196657Snate@binkert.org 11207007Snate@binkert.org TransitionResult result = 11217839Snilay@cs.wisc.edu''') 11227839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 11237839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, m_tbe_ptr, m_cache_entry_ptr, addr);') 11247839Snilay@cs.wisc.edu elif self.TBEType != None: 11257839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, m_tbe_ptr, addr);') 11267839Snilay@cs.wisc.edu elif self.EntryType != None: 11277839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, m_cache_entry_ptr, addr);') 11287839Snilay@cs.wisc.edu else: 11297839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, addr);') 11306657Snate@binkert.org 11317839Snilay@cs.wisc.edu code(''' 11326657Snate@binkert.org if (result == TransitionResult_Valid) { 11337780Snilay@cs.wisc.edu DPRINTF(RubyGenerated, "next_state: %s\\n", 11347780Snilay@cs.wisc.edu ${ident}_State_to_string(next_state)); 11357542SBrad.Beckmann@amd.com m_profiler.countTransition(state, event); 11368266Sksewell@umich.edu DPRINTFR(ProtocolTrace, "%15d %3s %10s%20s %6s>%-6s %s %s\\n", 11378266Sksewell@umich.edu curTick(), m_version, "${ident}", 11388266Sksewell@umich.edu ${ident}_Event_to_string(event), 11398266Sksewell@umich.edu ${ident}_State_to_string(state), 11408266Sksewell@umich.edu ${ident}_State_to_string(next_state), 11418266Sksewell@umich.edu addr, GET_TRANSITION_COMMENT()); 11426657Snate@binkert.org 11437832Snate@binkert.org CLEAR_TRANSITION_COMMENT(); 11447839Snilay@cs.wisc.edu''') 11457839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 11468337Snilay@cs.wisc.edu code('setState(m_tbe_ptr, m_cache_entry_ptr, addr, next_state);') 11478341Snilay@cs.wisc.edu code('setAccessPermission(m_cache_entry_ptr, addr, next_state);') 11487839Snilay@cs.wisc.edu elif self.TBEType != None: 11498337Snilay@cs.wisc.edu code('setState(m_tbe_ptr, addr, next_state);') 11508341Snilay@cs.wisc.edu code('setAccessPermission(addr, next_state);') 11517839Snilay@cs.wisc.edu elif self.EntryType != None: 11528337Snilay@cs.wisc.edu code('setState(m_cache_entry_ptr, addr, next_state);') 11538341Snilay@cs.wisc.edu code('setAccessPermission(m_cache_entry_ptr, addr, next_state);') 11547839Snilay@cs.wisc.edu else: 11558337Snilay@cs.wisc.edu code('setState(addr, next_state);') 11568341Snilay@cs.wisc.edu code('setAccessPermission(addr, next_state);') 11577839Snilay@cs.wisc.edu 11587839Snilay@cs.wisc.edu code(''' 11596657Snate@binkert.org } else if (result == TransitionResult_ResourceStall) { 11608266Sksewell@umich.edu DPRINTFR(ProtocolTrace, "%15s %3s %10s%20s %6s>%-6s %s %s\\n", 11618266Sksewell@umich.edu curTick(), m_version, "${ident}", 11628266Sksewell@umich.edu ${ident}_Event_to_string(event), 11638266Sksewell@umich.edu ${ident}_State_to_string(state), 11648266Sksewell@umich.edu ${ident}_State_to_string(next_state), 11658266Sksewell@umich.edu addr, "Resource Stall"); 11666657Snate@binkert.org } else if (result == TransitionResult_ProtocolStall) { 11677780Snilay@cs.wisc.edu DPRINTF(RubyGenerated, "stalling\\n"); 11688266Sksewell@umich.edu DPRINTFR(ProtocolTrace, "%15s %3s %10s%20s %6s>%-6s %s %s\\n", 11698266Sksewell@umich.edu curTick(), m_version, "${ident}", 11708266Sksewell@umich.edu ${ident}_Event_to_string(event), 11718266Sksewell@umich.edu ${ident}_State_to_string(state), 11728266Sksewell@umich.edu ${ident}_State_to_string(next_state), 11738266Sksewell@umich.edu addr, "Protocol Stall"); 11746657Snate@binkert.org } 11756657Snate@binkert.org 11766657Snate@binkert.org return result; 11776657Snate@binkert.org} 11786657Snate@binkert.org 11797007Snate@binkert.orgTransitionResult 11807007Snate@binkert.org${ident}_Controller::doTransitionWorker(${ident}_Event event, 11817007Snate@binkert.org ${ident}_State state, 11827007Snate@binkert.org ${ident}_State& next_state, 11837839Snilay@cs.wisc.edu''') 11847839Snilay@cs.wisc.edu 11857839Snilay@cs.wisc.edu if self.TBEType != None: 11867839Snilay@cs.wisc.edu code(''' 11877839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}*& m_tbe_ptr, 11887839Snilay@cs.wisc.edu''') 11897839Snilay@cs.wisc.edu if self.EntryType != None: 11907839Snilay@cs.wisc.edu code(''' 11917839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}*& m_cache_entry_ptr, 11927839Snilay@cs.wisc.edu''') 11937839Snilay@cs.wisc.edu code(''' 11947007Snate@binkert.org const Address& addr) 11956657Snate@binkert.org{ 11966657Snate@binkert.org switch(HASH_FUN(state, event)) { 11976657Snate@binkert.org''') 11986657Snate@binkert.org 11996657Snate@binkert.org # This map will allow suppress generating duplicate code 12006657Snate@binkert.org cases = orderdict() 12016657Snate@binkert.org 12026657Snate@binkert.org for trans in self.transitions: 12036657Snate@binkert.org case_string = "%s_State_%s, %s_Event_%s" % \ 12046657Snate@binkert.org (self.ident, trans.state.ident, self.ident, trans.event.ident) 12056657Snate@binkert.org 12066999Snate@binkert.org case = self.symtab.codeFormatter() 12076657Snate@binkert.org # Only set next_state if it changes 12086657Snate@binkert.org if trans.state != trans.nextState: 12096657Snate@binkert.org ns_ident = trans.nextState.ident 12106657Snate@binkert.org case('next_state = ${ident}_State_${ns_ident};') 12116657Snate@binkert.org 12126657Snate@binkert.org actions = trans.actions 12139104Shestness@cs.utexas.edu request_types = trans.request_types 12146657Snate@binkert.org 12156657Snate@binkert.org # Check for resources 12166657Snate@binkert.org case_sorter = [] 12176657Snate@binkert.org res = trans.resources 12186657Snate@binkert.org for key,val in res.iteritems(): 12196657Snate@binkert.org if key.type.ident != "DNUCAStopTable": 12206657Snate@binkert.org val = ''' 12217007Snate@binkert.orgif (!%s.areNSlotsAvailable(%s)) 12226657Snate@binkert.org return TransitionResult_ResourceStall; 12236657Snate@binkert.org''' % (key.code, val) 12246657Snate@binkert.org case_sorter.append(val) 12256657Snate@binkert.org 12269105SBrad.Beckmann@amd.com # Check all of the request_types for resource constraints 12279105SBrad.Beckmann@amd.com for request_type in request_types: 12289105SBrad.Beckmann@amd.com val = ''' 12299105SBrad.Beckmann@amd.comif (!checkResourceAvailable(%s_RequestType_%s, addr)) { 12309105SBrad.Beckmann@amd.com return TransitionResult_ResourceStall; 12319105SBrad.Beckmann@amd.com} 12329105SBrad.Beckmann@amd.com''' % (self.ident, request_type.ident) 12339105SBrad.Beckmann@amd.com case_sorter.append(val) 12346657Snate@binkert.org 12356657Snate@binkert.org # Emit the code sequences in a sorted order. This makes the 12366657Snate@binkert.org # output deterministic (without this the output order can vary 12376657Snate@binkert.org # since Map's keys() on a vector of pointers is not deterministic 12386657Snate@binkert.org for c in sorted(case_sorter): 12396657Snate@binkert.org case("$c") 12406657Snate@binkert.org 12419104Shestness@cs.utexas.edu # Record access types for this transition 12429104Shestness@cs.utexas.edu for request_type in request_types: 12439104Shestness@cs.utexas.edu case('recordRequestType(${ident}_RequestType_${{request_type.ident}}, addr);') 12449104Shestness@cs.utexas.edu 12456657Snate@binkert.org # Figure out if we stall 12466657Snate@binkert.org stall = False 12476657Snate@binkert.org for action in actions: 12486657Snate@binkert.org if action.ident == "z_stall": 12496657Snate@binkert.org stall = True 12506657Snate@binkert.org break 12516657Snate@binkert.org 12526657Snate@binkert.org if stall: 12536657Snate@binkert.org case('return TransitionResult_ProtocolStall;') 12546657Snate@binkert.org else: 12557839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 12567839Snilay@cs.wisc.edu for action in actions: 12577839Snilay@cs.wisc.edu case('${{action.ident}}(m_tbe_ptr, m_cache_entry_ptr, addr);') 12587839Snilay@cs.wisc.edu elif self.TBEType != None: 12597839Snilay@cs.wisc.edu for action in actions: 12607839Snilay@cs.wisc.edu case('${{action.ident}}(m_tbe_ptr, addr);') 12617839Snilay@cs.wisc.edu elif self.EntryType != None: 12627839Snilay@cs.wisc.edu for action in actions: 12637839Snilay@cs.wisc.edu case('${{action.ident}}(m_cache_entry_ptr, addr);') 12647839Snilay@cs.wisc.edu else: 12657839Snilay@cs.wisc.edu for action in actions: 12667839Snilay@cs.wisc.edu case('${{action.ident}}(addr);') 12676657Snate@binkert.org case('return TransitionResult_Valid;') 12686657Snate@binkert.org 12696657Snate@binkert.org case = str(case) 12706657Snate@binkert.org 12716657Snate@binkert.org # Look to see if this transition code is unique. 12726657Snate@binkert.org if case not in cases: 12736657Snate@binkert.org cases[case] = [] 12746657Snate@binkert.org 12756657Snate@binkert.org cases[case].append(case_string) 12766657Snate@binkert.org 12776657Snate@binkert.org # Walk through all of the unique code blocks and spit out the 12786657Snate@binkert.org # corresponding case statement elements 12796657Snate@binkert.org for case,transitions in cases.iteritems(): 12806657Snate@binkert.org # Iterative over all the multiple transitions that share 12816657Snate@binkert.org # the same code 12826657Snate@binkert.org for trans in transitions: 12836657Snate@binkert.org code(' case HASH_FUN($trans):') 12846657Snate@binkert.org code(' $case') 12856657Snate@binkert.org 12866657Snate@binkert.org code(''' 12876657Snate@binkert.org default: 12887805Snilay@cs.wisc.edu fatal("Invalid transition\\n" 12898159SBrad.Beckmann@amd.com "%s time: %d addr: %s event: %s state: %s\\n", 12909465Snilay@cs.wisc.edu name(), curCycle(), addr, event, state); 12916657Snate@binkert.org } 12926657Snate@binkert.org return TransitionResult_Valid; 12936657Snate@binkert.org} 12946657Snate@binkert.org''') 12956657Snate@binkert.org code.write(path, "%s_Transitions.cc" % self.ident) 12966657Snate@binkert.org 12977542SBrad.Beckmann@amd.com def printProfileDumperHH(self, path): 12987542SBrad.Beckmann@amd.com code = self.symtab.codeFormatter() 12997542SBrad.Beckmann@amd.com ident = self.ident 13007542SBrad.Beckmann@amd.com 13017542SBrad.Beckmann@amd.com code(''' 13027542SBrad.Beckmann@amd.com// Auto generated C++ code started by $__file__:$__line__ 13037542SBrad.Beckmann@amd.com// ${ident}: ${{self.short}} 13047542SBrad.Beckmann@amd.com 13057542SBrad.Beckmann@amd.com#ifndef __${ident}_PROFILE_DUMPER_HH__ 13067542SBrad.Beckmann@amd.com#define __${ident}_PROFILE_DUMPER_HH__ 13077542SBrad.Beckmann@amd.com 13087832Snate@binkert.org#include <cassert> 13097542SBrad.Beckmann@amd.com#include <iostream> 13107542SBrad.Beckmann@amd.com#include <vector> 13117542SBrad.Beckmann@amd.com 13128229Snate@binkert.org#include "${ident}_Event.hh" 13137542SBrad.Beckmann@amd.com#include "${ident}_Profiler.hh" 13147542SBrad.Beckmann@amd.com 13157542SBrad.Beckmann@amd.comtypedef std::vector<${ident}_Profiler *> ${ident}_profilers; 13167542SBrad.Beckmann@amd.com 13177542SBrad.Beckmann@amd.comclass ${ident}_ProfileDumper 13187542SBrad.Beckmann@amd.com{ 13197542SBrad.Beckmann@amd.com public: 13207542SBrad.Beckmann@amd.com ${ident}_ProfileDumper(); 13217542SBrad.Beckmann@amd.com void registerProfiler(${ident}_Profiler* profiler); 13227542SBrad.Beckmann@amd.com void dumpStats(std::ostream& out) const; 13237542SBrad.Beckmann@amd.com 13247542SBrad.Beckmann@amd.com private: 13257542SBrad.Beckmann@amd.com ${ident}_profilers m_profilers; 13267542SBrad.Beckmann@amd.com}; 13277542SBrad.Beckmann@amd.com 13287542SBrad.Beckmann@amd.com#endif // __${ident}_PROFILE_DUMPER_HH__ 13297542SBrad.Beckmann@amd.com''') 13307542SBrad.Beckmann@amd.com code.write(path, "%s_ProfileDumper.hh" % self.ident) 13317542SBrad.Beckmann@amd.com 13327542SBrad.Beckmann@amd.com def printProfileDumperCC(self, path): 13337542SBrad.Beckmann@amd.com code = self.symtab.codeFormatter() 13347542SBrad.Beckmann@amd.com ident = self.ident 13357542SBrad.Beckmann@amd.com 13367542SBrad.Beckmann@amd.com code(''' 13377542SBrad.Beckmann@amd.com// Auto generated C++ code started by $__file__:$__line__ 13387542SBrad.Beckmann@amd.com// ${ident}: ${{self.short}} 13397542SBrad.Beckmann@amd.com 13407542SBrad.Beckmann@amd.com#include "mem/protocol/${ident}_ProfileDumper.hh" 13417542SBrad.Beckmann@amd.com 13427542SBrad.Beckmann@amd.com${ident}_ProfileDumper::${ident}_ProfileDumper() 13437542SBrad.Beckmann@amd.com{ 13447542SBrad.Beckmann@amd.com} 13457542SBrad.Beckmann@amd.com 13467542SBrad.Beckmann@amd.comvoid 13477542SBrad.Beckmann@amd.com${ident}_ProfileDumper::registerProfiler(${ident}_Profiler* profiler) 13487542SBrad.Beckmann@amd.com{ 13497542SBrad.Beckmann@amd.com m_profilers.push_back(profiler); 13507542SBrad.Beckmann@amd.com} 13517542SBrad.Beckmann@amd.com 13527542SBrad.Beckmann@amd.comvoid 13537542SBrad.Beckmann@amd.com${ident}_ProfileDumper::dumpStats(std::ostream& out) const 13547542SBrad.Beckmann@amd.com{ 13557542SBrad.Beckmann@amd.com out << " --- ${ident} ---\\n"; 13567542SBrad.Beckmann@amd.com out << " - Event Counts -\\n"; 13577542SBrad.Beckmann@amd.com for (${ident}_Event event = ${ident}_Event_FIRST; 13587542SBrad.Beckmann@amd.com event < ${ident}_Event_NUM; 13597542SBrad.Beckmann@amd.com ++event) { 13607542SBrad.Beckmann@amd.com out << (${ident}_Event) event << " ["; 13617542SBrad.Beckmann@amd.com uint64 total = 0; 13627542SBrad.Beckmann@amd.com for (int i = 0; i < m_profilers.size(); i++) { 13637542SBrad.Beckmann@amd.com out << m_profilers[i]->getEventCount(event) << " "; 13647542SBrad.Beckmann@amd.com total += m_profilers[i]->getEventCount(event); 13657542SBrad.Beckmann@amd.com } 13667542SBrad.Beckmann@amd.com out << "] " << total << "\\n"; 13677542SBrad.Beckmann@amd.com } 13687542SBrad.Beckmann@amd.com out << "\\n"; 13697542SBrad.Beckmann@amd.com out << " - Transitions -\\n"; 13707542SBrad.Beckmann@amd.com for (${ident}_State state = ${ident}_State_FIRST; 13717542SBrad.Beckmann@amd.com state < ${ident}_State_NUM; 13727542SBrad.Beckmann@amd.com ++state) { 13737542SBrad.Beckmann@amd.com for (${ident}_Event event = ${ident}_Event_FIRST; 13747542SBrad.Beckmann@amd.com event < ${ident}_Event_NUM; 13757542SBrad.Beckmann@amd.com ++event) { 13767542SBrad.Beckmann@amd.com if (m_profilers[0]->isPossible(state, event)) { 13777542SBrad.Beckmann@amd.com out << (${ident}_State) state << " " 13787542SBrad.Beckmann@amd.com << (${ident}_Event) event << " ["; 13797542SBrad.Beckmann@amd.com uint64 total = 0; 13807542SBrad.Beckmann@amd.com for (int i = 0; i < m_profilers.size(); i++) { 13817542SBrad.Beckmann@amd.com out << m_profilers[i]->getTransitionCount(state, event) << " "; 13827542SBrad.Beckmann@amd.com total += m_profilers[i]->getTransitionCount(state, event); 13837542SBrad.Beckmann@amd.com } 13847542SBrad.Beckmann@amd.com out << "] " << total << "\\n"; 13857542SBrad.Beckmann@amd.com } 13867542SBrad.Beckmann@amd.com } 13877542SBrad.Beckmann@amd.com out << "\\n"; 13887542SBrad.Beckmann@amd.com } 13897542SBrad.Beckmann@amd.com} 13907542SBrad.Beckmann@amd.com''') 13917542SBrad.Beckmann@amd.com code.write(path, "%s_ProfileDumper.cc" % self.ident) 13927542SBrad.Beckmann@amd.com 13936657Snate@binkert.org def printProfilerHH(self, path): 13946999Snate@binkert.org code = self.symtab.codeFormatter() 13956657Snate@binkert.org ident = self.ident 13966657Snate@binkert.org 13976657Snate@binkert.org code(''' 13986657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 13996657Snate@binkert.org// ${ident}: ${{self.short}} 14006657Snate@binkert.org 14017542SBrad.Beckmann@amd.com#ifndef __${ident}_PROFILER_HH__ 14027542SBrad.Beckmann@amd.com#define __${ident}_PROFILER_HH__ 14036657Snate@binkert.org 14047832Snate@binkert.org#include <cassert> 14057002Snate@binkert.org#include <iostream> 14067002Snate@binkert.org 14078229Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 14088229Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 14098608Snilay@cs.wisc.edu#include "mem/ruby/common/TypeDefines.hh" 14106657Snate@binkert.org 14117007Snate@binkert.orgclass ${ident}_Profiler 14127007Snate@binkert.org{ 14136657Snate@binkert.org public: 14146657Snate@binkert.org ${ident}_Profiler(); 14156657Snate@binkert.org void setVersion(int version); 14166657Snate@binkert.org void countTransition(${ident}_State state, ${ident}_Event event); 14176657Snate@binkert.org void possibleTransition(${ident}_State state, ${ident}_Event event); 14187542SBrad.Beckmann@amd.com uint64 getEventCount(${ident}_Event event); 14197542SBrad.Beckmann@amd.com bool isPossible(${ident}_State state, ${ident}_Event event); 14207542SBrad.Beckmann@amd.com uint64 getTransitionCount(${ident}_State state, ${ident}_Event event); 14216657Snate@binkert.org void clearStats(); 14226657Snate@binkert.org 14236657Snate@binkert.org private: 14246657Snate@binkert.org int m_counters[${ident}_State_NUM][${ident}_Event_NUM]; 14256657Snate@binkert.org int m_event_counters[${ident}_Event_NUM]; 14266657Snate@binkert.org bool m_possible[${ident}_State_NUM][${ident}_Event_NUM]; 14276657Snate@binkert.org int m_version; 14286657Snate@binkert.org}; 14296657Snate@binkert.org 14307007Snate@binkert.org#endif // __${ident}_PROFILER_HH__ 14316657Snate@binkert.org''') 14326657Snate@binkert.org code.write(path, "%s_Profiler.hh" % self.ident) 14336657Snate@binkert.org 14346657Snate@binkert.org def printProfilerCC(self, path): 14356999Snate@binkert.org code = self.symtab.codeFormatter() 14366657Snate@binkert.org ident = self.ident 14376657Snate@binkert.org 14386657Snate@binkert.org code(''' 14396657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 14406657Snate@binkert.org// ${ident}: ${{self.short}} 14416657Snate@binkert.org 14427832Snate@binkert.org#include <cassert> 14437832Snate@binkert.org 14446657Snate@binkert.org#include "mem/protocol/${ident}_Profiler.hh" 14456657Snate@binkert.org 14466657Snate@binkert.org${ident}_Profiler::${ident}_Profiler() 14476657Snate@binkert.org{ 14486657Snate@binkert.org for (int state = 0; state < ${ident}_State_NUM; state++) { 14496657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 14506657Snate@binkert.org m_possible[state][event] = false; 14516657Snate@binkert.org m_counters[state][event] = 0; 14526657Snate@binkert.org } 14536657Snate@binkert.org } 14546657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 14556657Snate@binkert.org m_event_counters[event] = 0; 14566657Snate@binkert.org } 14576657Snate@binkert.org} 14587007Snate@binkert.org 14597007Snate@binkert.orgvoid 14607007Snate@binkert.org${ident}_Profiler::setVersion(int version) 14616657Snate@binkert.org{ 14626657Snate@binkert.org m_version = version; 14636657Snate@binkert.org} 14647007Snate@binkert.org 14657007Snate@binkert.orgvoid 14667007Snate@binkert.org${ident}_Profiler::clearStats() 14676657Snate@binkert.org{ 14686657Snate@binkert.org for (int state = 0; state < ${ident}_State_NUM; state++) { 14696657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 14706657Snate@binkert.org m_counters[state][event] = 0; 14716657Snate@binkert.org } 14726657Snate@binkert.org } 14736657Snate@binkert.org 14746657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 14756657Snate@binkert.org m_event_counters[event] = 0; 14766657Snate@binkert.org } 14776657Snate@binkert.org} 14787007Snate@binkert.orgvoid 14797007Snate@binkert.org${ident}_Profiler::countTransition(${ident}_State state, ${ident}_Event event) 14806657Snate@binkert.org{ 14816657Snate@binkert.org assert(m_possible[state][event]); 14826657Snate@binkert.org m_counters[state][event]++; 14836657Snate@binkert.org m_event_counters[event]++; 14846657Snate@binkert.org} 14857007Snate@binkert.orgvoid 14867007Snate@binkert.org${ident}_Profiler::possibleTransition(${ident}_State state, 14877007Snate@binkert.org ${ident}_Event event) 14886657Snate@binkert.org{ 14896657Snate@binkert.org m_possible[state][event] = true; 14906657Snate@binkert.org} 14917007Snate@binkert.org 14927542SBrad.Beckmann@amd.comuint64 14937542SBrad.Beckmann@amd.com${ident}_Profiler::getEventCount(${ident}_Event event) 14946657Snate@binkert.org{ 14957542SBrad.Beckmann@amd.com return m_event_counters[event]; 14967542SBrad.Beckmann@amd.com} 14977002Snate@binkert.org 14987542SBrad.Beckmann@amd.combool 14997542SBrad.Beckmann@amd.com${ident}_Profiler::isPossible(${ident}_State state, ${ident}_Event event) 15007542SBrad.Beckmann@amd.com{ 15017542SBrad.Beckmann@amd.com return m_possible[state][event]; 15026657Snate@binkert.org} 15037542SBrad.Beckmann@amd.com 15047542SBrad.Beckmann@amd.comuint64 15057542SBrad.Beckmann@amd.com${ident}_Profiler::getTransitionCount(${ident}_State state, 15067542SBrad.Beckmann@amd.com ${ident}_Event event) 15077542SBrad.Beckmann@amd.com{ 15087542SBrad.Beckmann@amd.com return m_counters[state][event]; 15097542SBrad.Beckmann@amd.com} 15107542SBrad.Beckmann@amd.com 15116657Snate@binkert.org''') 15126657Snate@binkert.org code.write(path, "%s_Profiler.cc" % self.ident) 15136657Snate@binkert.org 15146657Snate@binkert.org # ************************** 15156657Snate@binkert.org # ******* HTML Files ******* 15166657Snate@binkert.org # ************************** 15177007Snate@binkert.org def frameRef(self, click_href, click_target, over_href, over_num, text): 15186999Snate@binkert.org code = self.symtab.codeFormatter(fix_newlines=False) 15197007Snate@binkert.org code("""<A href=\"$click_href\" target=\"$click_target\" onmouseover=\" 15207007Snate@binkert.org if (parent.frames[$over_num].location != parent.location + '$over_href') { 15217007Snate@binkert.org parent.frames[$over_num].location='$over_href' 15227007Snate@binkert.org }\"> 15237007Snate@binkert.org ${{html.formatShorthand(text)}} 15247007Snate@binkert.org </A>""") 15256657Snate@binkert.org return str(code) 15266657Snate@binkert.org 15276657Snate@binkert.org def writeHTMLFiles(self, path): 15286657Snate@binkert.org # Create table with no row hilighted 15296657Snate@binkert.org self.printHTMLTransitions(path, None) 15306657Snate@binkert.org 15316657Snate@binkert.org # Generate transition tables 15326657Snate@binkert.org for state in self.states.itervalues(): 15336657Snate@binkert.org self.printHTMLTransitions(path, state) 15346657Snate@binkert.org 15356657Snate@binkert.org # Generate action descriptions 15366657Snate@binkert.org for action in self.actions.itervalues(): 15376657Snate@binkert.org name = "%s_action_%s.html" % (self.ident, action.ident) 15386657Snate@binkert.org code = html.createSymbol(action, "Action") 15396657Snate@binkert.org code.write(path, name) 15406657Snate@binkert.org 15416657Snate@binkert.org # Generate state descriptions 15426657Snate@binkert.org for state in self.states.itervalues(): 15436657Snate@binkert.org name = "%s_State_%s.html" % (self.ident, state.ident) 15446657Snate@binkert.org code = html.createSymbol(state, "State") 15456657Snate@binkert.org code.write(path, name) 15466657Snate@binkert.org 15476657Snate@binkert.org # Generate event descriptions 15486657Snate@binkert.org for event in self.events.itervalues(): 15496657Snate@binkert.org name = "%s_Event_%s.html" % (self.ident, event.ident) 15506657Snate@binkert.org code = html.createSymbol(event, "Event") 15516657Snate@binkert.org code.write(path, name) 15526657Snate@binkert.org 15536657Snate@binkert.org def printHTMLTransitions(self, path, active_state): 15546999Snate@binkert.org code = self.symtab.codeFormatter() 15556657Snate@binkert.org 15566657Snate@binkert.org code(''' 15577007Snate@binkert.org<HTML> 15587007Snate@binkert.org<BODY link="blue" vlink="blue"> 15596657Snate@binkert.org 15606657Snate@binkert.org<H1 align="center">${{html.formatShorthand(self.short)}}: 15616657Snate@binkert.org''') 15626657Snate@binkert.org code.indent() 15636657Snate@binkert.org for i,machine in enumerate(self.symtab.getAllType(StateMachine)): 15646657Snate@binkert.org mid = machine.ident 15656657Snate@binkert.org if i != 0: 15666657Snate@binkert.org extra = " - " 15676657Snate@binkert.org else: 15686657Snate@binkert.org extra = "" 15696657Snate@binkert.org if machine == self: 15706657Snate@binkert.org code('$extra$mid') 15716657Snate@binkert.org else: 15726657Snate@binkert.org code('$extra<A target="Table" href="${mid}_table.html">$mid</A>') 15736657Snate@binkert.org code.dedent() 15746657Snate@binkert.org 15756657Snate@binkert.org code(""" 15766657Snate@binkert.org</H1> 15776657Snate@binkert.org 15786657Snate@binkert.org<TABLE border=1> 15796657Snate@binkert.org<TR> 15806657Snate@binkert.org <TH> </TH> 15816657Snate@binkert.org""") 15826657Snate@binkert.org 15836657Snate@binkert.org for event in self.events.itervalues(): 15846657Snate@binkert.org href = "%s_Event_%s.html" % (self.ident, event.ident) 15856657Snate@binkert.org ref = self.frameRef(href, "Status", href, "1", event.short) 15866657Snate@binkert.org code('<TH bgcolor=white>$ref</TH>') 15876657Snate@binkert.org 15886657Snate@binkert.org code('</TR>') 15896657Snate@binkert.org # -- Body of table 15906657Snate@binkert.org for state in self.states.itervalues(): 15916657Snate@binkert.org # -- Each row 15926657Snate@binkert.org if state == active_state: 15936657Snate@binkert.org color = "yellow" 15946657Snate@binkert.org else: 15956657Snate@binkert.org color = "white" 15966657Snate@binkert.org 15976657Snate@binkert.org click = "%s_table_%s.html" % (self.ident, state.ident) 15986657Snate@binkert.org over = "%s_State_%s.html" % (self.ident, state.ident) 15996657Snate@binkert.org text = html.formatShorthand(state.short) 16006657Snate@binkert.org ref = self.frameRef(click, "Table", over, "1", state.short) 16016657Snate@binkert.org code(''' 16026657Snate@binkert.org<TR> 16036657Snate@binkert.org <TH bgcolor=$color>$ref</TH> 16046657Snate@binkert.org''') 16056657Snate@binkert.org 16066657Snate@binkert.org # -- One column for each event 16076657Snate@binkert.org for event in self.events.itervalues(): 16086657Snate@binkert.org trans = self.table.get((state,event), None) 16096657Snate@binkert.org if trans is None: 16106657Snate@binkert.org # This is the no transition case 16116657Snate@binkert.org if state == active_state: 16126657Snate@binkert.org color = "#C0C000" 16136657Snate@binkert.org else: 16146657Snate@binkert.org color = "lightgrey" 16156657Snate@binkert.org 16166657Snate@binkert.org code('<TD bgcolor=$color> </TD>') 16176657Snate@binkert.org continue 16186657Snate@binkert.org 16196657Snate@binkert.org next = trans.nextState 16206657Snate@binkert.org stall_action = False 16216657Snate@binkert.org 16226657Snate@binkert.org # -- Get the actions 16236657Snate@binkert.org for action in trans.actions: 16246657Snate@binkert.org if action.ident == "z_stall" or \ 16256657Snate@binkert.org action.ident == "zz_recycleMandatoryQueue": 16266657Snate@binkert.org stall_action = True 16276657Snate@binkert.org 16286657Snate@binkert.org # -- Print out "actions/next-state" 16296657Snate@binkert.org if stall_action: 16306657Snate@binkert.org if state == active_state: 16316657Snate@binkert.org color = "#C0C000" 16326657Snate@binkert.org else: 16336657Snate@binkert.org color = "lightgrey" 16346657Snate@binkert.org 16356657Snate@binkert.org elif active_state and next.ident == active_state.ident: 16366657Snate@binkert.org color = "aqua" 16376657Snate@binkert.org elif state == active_state: 16386657Snate@binkert.org color = "yellow" 16396657Snate@binkert.org else: 16406657Snate@binkert.org color = "white" 16416657Snate@binkert.org 16426657Snate@binkert.org code('<TD bgcolor=$color>') 16436657Snate@binkert.org for action in trans.actions: 16446657Snate@binkert.org href = "%s_action_%s.html" % (self.ident, action.ident) 16456657Snate@binkert.org ref = self.frameRef(href, "Status", href, "1", 16466657Snate@binkert.org action.short) 16477007Snate@binkert.org code(' $ref') 16486657Snate@binkert.org if next != state: 16496657Snate@binkert.org if trans.actions: 16506657Snate@binkert.org code('/') 16516657Snate@binkert.org click = "%s_table_%s.html" % (self.ident, next.ident) 16526657Snate@binkert.org over = "%s_State_%s.html" % (self.ident, next.ident) 16536657Snate@binkert.org ref = self.frameRef(click, "Table", over, "1", next.short) 16546657Snate@binkert.org code("$ref") 16557007Snate@binkert.org code("</TD>") 16566657Snate@binkert.org 16576657Snate@binkert.org # -- Each row 16586657Snate@binkert.org if state == active_state: 16596657Snate@binkert.org color = "yellow" 16606657Snate@binkert.org else: 16616657Snate@binkert.org color = "white" 16626657Snate@binkert.org 16636657Snate@binkert.org click = "%s_table_%s.html" % (self.ident, state.ident) 16646657Snate@binkert.org over = "%s_State_%s.html" % (self.ident, state.ident) 16656657Snate@binkert.org ref = self.frameRef(click, "Table", over, "1", state.short) 16666657Snate@binkert.org code(''' 16676657Snate@binkert.org <TH bgcolor=$color>$ref</TH> 16686657Snate@binkert.org</TR> 16696657Snate@binkert.org''') 16706657Snate@binkert.org code(''' 16717007Snate@binkert.org<!- Column footer-> 16726657Snate@binkert.org<TR> 16736657Snate@binkert.org <TH> </TH> 16746657Snate@binkert.org''') 16756657Snate@binkert.org 16766657Snate@binkert.org for event in self.events.itervalues(): 16776657Snate@binkert.org href = "%s_Event_%s.html" % (self.ident, event.ident) 16786657Snate@binkert.org ref = self.frameRef(href, "Status", href, "1", event.short) 16796657Snate@binkert.org code('<TH bgcolor=white>$ref</TH>') 16806657Snate@binkert.org code(''' 16816657Snate@binkert.org</TR> 16826657Snate@binkert.org</TABLE> 16836657Snate@binkert.org</BODY></HTML> 16846657Snate@binkert.org''') 16856657Snate@binkert.org 16866657Snate@binkert.org 16876657Snate@binkert.org if active_state: 16886657Snate@binkert.org name = "%s_table_%s.html" % (self.ident, active_state.ident) 16896657Snate@binkert.org else: 16906657Snate@binkert.org name = "%s_table.html" % self.ident 16916657Snate@binkert.org code.write(path, name) 16926657Snate@binkert.org 16936657Snate@binkert.org__all__ = [ "StateMachine" ] 1694