StateMachine.py revision 8086
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 336657Snate@binkert.org 346882SBrad.Beckmann@amd.compython_class_map = {"int": "Int", 357055Snate@binkert.org "std::string": "String", 366882SBrad.Beckmann@amd.com "bool": "Bool", 376882SBrad.Beckmann@amd.com "CacheMemory": "RubyCache", 386882SBrad.Beckmann@amd.com "Sequencer": "RubySequencer", 396882SBrad.Beckmann@amd.com "DirectoryMemory": "RubyDirectoryMemory", 406882SBrad.Beckmann@amd.com "MemoryControl": "RubyMemoryControl", 416888SBrad.Beckmann@amd.com "DMASequencer": "DMASequencer" 426882SBrad.Beckmann@amd.com } 436882SBrad.Beckmann@amd.com 446657Snate@binkert.orgclass StateMachine(Symbol): 456657Snate@binkert.org def __init__(self, symtab, ident, location, pairs, config_parameters): 466657Snate@binkert.org super(StateMachine, self).__init__(symtab, ident, location, pairs) 476657Snate@binkert.org self.table = None 486657Snate@binkert.org self.config_parameters = config_parameters 497839Snilay@cs.wisc.edu 506657Snate@binkert.org for param in config_parameters: 516882SBrad.Beckmann@amd.com if param.pointer: 526882SBrad.Beckmann@amd.com var = Var(symtab, param.name, location, param.type_ast.type, 536882SBrad.Beckmann@amd.com "(*m_%s_ptr)" % param.name, {}, self) 546882SBrad.Beckmann@amd.com else: 556882SBrad.Beckmann@amd.com var = Var(symtab, param.name, location, param.type_ast.type, 566882SBrad.Beckmann@amd.com "m_%s" % param.name, {}, self) 576657Snate@binkert.org self.symtab.registerSym(param.name, var) 586657Snate@binkert.org 596657Snate@binkert.org self.states = orderdict() 606657Snate@binkert.org self.events = orderdict() 616657Snate@binkert.org self.actions = orderdict() 626657Snate@binkert.org self.transitions = [] 636657Snate@binkert.org self.in_ports = [] 646657Snate@binkert.org self.functions = [] 656657Snate@binkert.org self.objects = [] 667839Snilay@cs.wisc.edu self.TBEType = None 677839Snilay@cs.wisc.edu self.EntryType = None 686657Snate@binkert.org 696657Snate@binkert.org self.message_buffer_names = [] 706657Snate@binkert.org 716657Snate@binkert.org def __repr__(self): 726657Snate@binkert.org return "[StateMachine: %s]" % self.ident 736657Snate@binkert.org 746657Snate@binkert.org def addState(self, state): 756657Snate@binkert.org assert self.table is None 766657Snate@binkert.org self.states[state.ident] = state 776657Snate@binkert.org 786657Snate@binkert.org def addEvent(self, event): 796657Snate@binkert.org assert self.table is None 806657Snate@binkert.org self.events[event.ident] = event 816657Snate@binkert.org 826657Snate@binkert.org def addAction(self, action): 836657Snate@binkert.org assert self.table is None 846657Snate@binkert.org 856657Snate@binkert.org # Check for duplicate action 866657Snate@binkert.org for other in self.actions.itervalues(): 876657Snate@binkert.org if action.ident == other.ident: 886779SBrad.Beckmann@amd.com action.warning("Duplicate action definition: %s" % action.ident) 896657Snate@binkert.org action.error("Duplicate action definition: %s" % action.ident) 906657Snate@binkert.org if action.short == other.short: 916657Snate@binkert.org other.warning("Duplicate action shorthand: %s" % other.ident) 926657Snate@binkert.org other.warning(" shorthand = %s" % other.short) 936657Snate@binkert.org action.warning("Duplicate action shorthand: %s" % action.ident) 946657Snate@binkert.org action.error(" shorthand = %s" % action.short) 956657Snate@binkert.org 966657Snate@binkert.org self.actions[action.ident] = action 976657Snate@binkert.org 986657Snate@binkert.org def addTransition(self, trans): 996657Snate@binkert.org assert self.table is None 1006657Snate@binkert.org self.transitions.append(trans) 1016657Snate@binkert.org 1026657Snate@binkert.org def addInPort(self, var): 1036657Snate@binkert.org self.in_ports.append(var) 1046657Snate@binkert.org 1056657Snate@binkert.org def addFunc(self, func): 1066657Snate@binkert.org # register func in the symbol table 1076657Snate@binkert.org self.symtab.registerSym(str(func), func) 1086657Snate@binkert.org self.functions.append(func) 1096657Snate@binkert.org 1106657Snate@binkert.org def addObject(self, obj): 1116657Snate@binkert.org self.objects.append(obj) 1126657Snate@binkert.org 1137839Snilay@cs.wisc.edu def addType(self, type): 1147839Snilay@cs.wisc.edu type_ident = '%s' % type.c_ident 1157839Snilay@cs.wisc.edu 1167839Snilay@cs.wisc.edu if type_ident == "%s_TBE" %self.ident: 1177839Snilay@cs.wisc.edu if self.TBEType != None: 1187839Snilay@cs.wisc.edu self.error("Multiple Transaction Buffer types in a " \ 1197839Snilay@cs.wisc.edu "single machine."); 1207839Snilay@cs.wisc.edu self.TBEType = type 1217839Snilay@cs.wisc.edu 1227839Snilay@cs.wisc.edu elif "interface" in type and "AbstractCacheEntry" == type["interface"]: 1237839Snilay@cs.wisc.edu if self.EntryType != None: 1247839Snilay@cs.wisc.edu self.error("Multiple AbstractCacheEntry types in a " \ 1257839Snilay@cs.wisc.edu "single machine."); 1267839Snilay@cs.wisc.edu self.EntryType = type 1277839Snilay@cs.wisc.edu 1286657Snate@binkert.org # Needs to be called before accessing the table 1296657Snate@binkert.org def buildTable(self): 1306657Snate@binkert.org assert self.table is None 1316657Snate@binkert.org 1326657Snate@binkert.org table = {} 1336657Snate@binkert.org 1346657Snate@binkert.org for trans in self.transitions: 1356657Snate@binkert.org # Track which actions we touch so we know if we use them 1366657Snate@binkert.org # all -- really this should be done for all symbols as 1376657Snate@binkert.org # part of the symbol table, then only trigger it for 1386657Snate@binkert.org # Actions, States, Events, etc. 1396657Snate@binkert.org 1406657Snate@binkert.org for action in trans.actions: 1416657Snate@binkert.org action.used = True 1426657Snate@binkert.org 1436657Snate@binkert.org index = (trans.state, trans.event) 1446657Snate@binkert.org if index in table: 1456657Snate@binkert.org table[index].warning("Duplicate transition: %s" % table[index]) 1466657Snate@binkert.org trans.error("Duplicate transition: %s" % trans) 1476657Snate@binkert.org table[index] = trans 1486657Snate@binkert.org 1496657Snate@binkert.org # Look at all actions to make sure we used them all 1506657Snate@binkert.org for action in self.actions.itervalues(): 1516657Snate@binkert.org if not action.used: 1526657Snate@binkert.org error_msg = "Unused action: %s" % action.ident 1536657Snate@binkert.org if "desc" in action: 1546657Snate@binkert.org error_msg += ", " + action.desc 1556657Snate@binkert.org action.warning(error_msg) 1566657Snate@binkert.org self.table = table 1576657Snate@binkert.org 1586657Snate@binkert.org def writeCodeFiles(self, path): 1596877Ssteve.reinhardt@amd.com self.printControllerPython(path) 1606657Snate@binkert.org self.printControllerHH(path) 1616657Snate@binkert.org self.printControllerCC(path) 1626657Snate@binkert.org self.printCSwitch(path) 1636657Snate@binkert.org self.printCWakeup(path) 1646657Snate@binkert.org self.printProfilerCC(path) 1656657Snate@binkert.org self.printProfilerHH(path) 1667542SBrad.Beckmann@amd.com self.printProfileDumperCC(path) 1677542SBrad.Beckmann@amd.com self.printProfileDumperHH(path) 1686657Snate@binkert.org 1696657Snate@binkert.org for func in self.functions: 1706657Snate@binkert.org func.writeCodeFiles(path) 1716657Snate@binkert.org 1726877Ssteve.reinhardt@amd.com def printControllerPython(self, path): 1736999Snate@binkert.org code = self.symtab.codeFormatter() 1746877Ssteve.reinhardt@amd.com ident = self.ident 1756877Ssteve.reinhardt@amd.com py_ident = "%s_Controller" % ident 1766877Ssteve.reinhardt@amd.com c_ident = "%s_Controller" % self.ident 1776877Ssteve.reinhardt@amd.com code(''' 1786877Ssteve.reinhardt@amd.comfrom m5.params import * 1796877Ssteve.reinhardt@amd.comfrom m5.SimObject import SimObject 1806877Ssteve.reinhardt@amd.comfrom Controller import RubyController 1816877Ssteve.reinhardt@amd.com 1826877Ssteve.reinhardt@amd.comclass $py_ident(RubyController): 1836877Ssteve.reinhardt@amd.com type = '$py_ident' 1846877Ssteve.reinhardt@amd.com''') 1856877Ssteve.reinhardt@amd.com code.indent() 1866877Ssteve.reinhardt@amd.com for param in self.config_parameters: 1876877Ssteve.reinhardt@amd.com dflt_str = '' 1886877Ssteve.reinhardt@amd.com if param.default is not None: 1896877Ssteve.reinhardt@amd.com dflt_str = str(param.default) + ', ' 1906882SBrad.Beckmann@amd.com if python_class_map.has_key(param.type_ast.type.c_ident): 1916882SBrad.Beckmann@amd.com python_type = python_class_map[param.type_ast.type.c_ident] 1926882SBrad.Beckmann@amd.com code('${{param.name}} = Param.${{python_type}}(${dflt_str}"")') 1936882SBrad.Beckmann@amd.com else: 1946882SBrad.Beckmann@amd.com self.error("Unknown c++ to python class conversion for c++ " \ 1956882SBrad.Beckmann@amd.com "type: '%s'. Please update the python_class_map " \ 1966882SBrad.Beckmann@amd.com "in StateMachine.py", param.type_ast.type.c_ident) 1976877Ssteve.reinhardt@amd.com code.dedent() 1986877Ssteve.reinhardt@amd.com code.write(path, '%s.py' % py_ident) 1996877Ssteve.reinhardt@amd.com 2006877Ssteve.reinhardt@amd.com 2016657Snate@binkert.org def printControllerHH(self, path): 2026657Snate@binkert.org '''Output the method declarations for the class declaration''' 2036999Snate@binkert.org code = self.symtab.codeFormatter() 2046657Snate@binkert.org ident = self.ident 2056657Snate@binkert.org c_ident = "%s_Controller" % self.ident 2066657Snate@binkert.org 2076657Snate@binkert.org self.message_buffer_names = [] 2086657Snate@binkert.org 2096657Snate@binkert.org code(''' 2107007Snate@binkert.org/** \\file $c_ident.hh 2116657Snate@binkert.org * 2126657Snate@binkert.org * Auto generated C++ code started by $__file__:$__line__ 2136657Snate@binkert.org * Created by slicc definition of Module "${{self.short}}" 2146657Snate@binkert.org */ 2156657Snate@binkert.org 2167007Snate@binkert.org#ifndef __${ident}_CONTROLLER_HH__ 2177007Snate@binkert.org#define __${ident}_CONTROLLER_HH__ 2186657Snate@binkert.org 2197002Snate@binkert.org#include <iostream> 2207002Snate@binkert.org#include <sstream> 2217002Snate@binkert.org#include <string> 2227002Snate@binkert.org 2236877Ssteve.reinhardt@amd.com#include "params/$c_ident.hh" 2246877Ssteve.reinhardt@amd.com 2256657Snate@binkert.org#include "mem/ruby/common/Global.hh" 2266657Snate@binkert.org#include "mem/ruby/common/Consumer.hh" 2276657Snate@binkert.org#include "mem/ruby/slicc_interface/AbstractController.hh" 2286657Snate@binkert.org#include "mem/protocol/TransitionResult.hh" 2296657Snate@binkert.org#include "mem/protocol/Types.hh" 2306657Snate@binkert.org#include "mem/protocol/${ident}_Profiler.hh" 2317542SBrad.Beckmann@amd.com#include "mem/protocol/${ident}_ProfileDumper.hh" 2326657Snate@binkert.org''') 2336657Snate@binkert.org 2346657Snate@binkert.org seen_types = set() 2356657Snate@binkert.org for var in self.objects: 2366793SBrad.Beckmann@amd.com if var.type.ident not in seen_types and not var.type.isPrimitive: 2376657Snate@binkert.org code('#include "mem/protocol/${{var.type.c_ident}}.hh"') 2386657Snate@binkert.org seen_types.add(var.type.ident) 2396657Snate@binkert.org 2406657Snate@binkert.org # for adding information to the protocol debug trace 2416657Snate@binkert.org code(''' 2427002Snate@binkert.orgextern std::stringstream ${ident}_transitionComment; 2436657Snate@binkert.org 2447007Snate@binkert.orgclass $c_ident : public AbstractController 2457007Snate@binkert.org{ 2467007Snate@binkert.org// the coherence checker needs to call isBlockExclusive() and isBlockShared() 2477007Snate@binkert.org// making the Chip a friend class is an easy way to do this for now 2487007Snate@binkert.org 2496657Snate@binkert.orgpublic: 2506877Ssteve.reinhardt@amd.com typedef ${c_ident}Params Params; 2516877Ssteve.reinhardt@amd.com $c_ident(const Params *p); 2526657Snate@binkert.org static int getNumControllers(); 2536877Ssteve.reinhardt@amd.com void init(); 2546657Snate@binkert.org MessageBuffer* getMandatoryQueue() const; 2556657Snate@binkert.org const int & getVersion() const; 2567002Snate@binkert.org const std::string toString() const; 2577002Snate@binkert.org const std::string getName() const; 2586657Snate@binkert.org const MachineType getMachineType() const; 2597567SBrad.Beckmann@amd.com void stallBuffer(MessageBuffer* buf, Address addr); 2607567SBrad.Beckmann@amd.com void wakeUpBuffers(Address addr); 2617922SBrad.Beckmann@amd.com void wakeUpAllBuffers(); 2626881SBrad.Beckmann@amd.com void initNetworkPtr(Network* net_ptr) { m_net_ptr = net_ptr; } 2637002Snate@binkert.org void print(std::ostream& out) const; 2647002Snate@binkert.org void printConfig(std::ostream& out) const; 2656657Snate@binkert.org void wakeup(); 2667002Snate@binkert.org void printStats(std::ostream& out) const; 2676902SBrad.Beckmann@amd.com void clearStats(); 2686863Sdrh5@cs.wisc.edu void blockOnQueue(Address addr, MessageBuffer* port); 2696863Sdrh5@cs.wisc.edu void unblock(Address addr); 2707007Snate@binkert.org 2716657Snate@binkert.orgprivate: 2726657Snate@binkert.org''') 2736657Snate@binkert.org 2746657Snate@binkert.org code.indent() 2756657Snate@binkert.org # added by SS 2766657Snate@binkert.org for param in self.config_parameters: 2776882SBrad.Beckmann@amd.com if param.pointer: 2786882SBrad.Beckmann@amd.com code('${{param.type_ast.type}}* m_${{param.ident}}_ptr;') 2796882SBrad.Beckmann@amd.com else: 2806882SBrad.Beckmann@amd.com code('${{param.type_ast.type}} m_${{param.ident}};') 2816657Snate@binkert.org 2826657Snate@binkert.org code(''' 2836657Snate@binkert.orgint m_number_of_TBEs; 2846657Snate@binkert.org 2857007Snate@binkert.orgTransitionResult doTransition(${ident}_Event event, 2867839Snilay@cs.wisc.edu''') 2877839Snilay@cs.wisc.edu 2887839Snilay@cs.wisc.edu if self.EntryType != None: 2897839Snilay@cs.wisc.edu code(''' 2907839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}* m_cache_entry_ptr, 2917839Snilay@cs.wisc.edu''') 2927839Snilay@cs.wisc.edu if self.TBEType != None: 2937839Snilay@cs.wisc.edu code(''' 2947839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}* m_tbe_ptr, 2957839Snilay@cs.wisc.edu''') 2967839Snilay@cs.wisc.edu 2977839Snilay@cs.wisc.edu code(''' 2987007Snate@binkert.org const Address& addr); 2997007Snate@binkert.org 3007007Snate@binkert.orgTransitionResult doTransitionWorker(${ident}_Event event, 3017007Snate@binkert.org ${ident}_State state, 3027007Snate@binkert.org ${ident}_State& next_state, 3037839Snilay@cs.wisc.edu''') 3047839Snilay@cs.wisc.edu 3057839Snilay@cs.wisc.edu if self.TBEType != None: 3067839Snilay@cs.wisc.edu code(''' 3077839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}*& m_tbe_ptr, 3087839Snilay@cs.wisc.edu''') 3097839Snilay@cs.wisc.edu if self.EntryType != None: 3107839Snilay@cs.wisc.edu code(''' 3117839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}*& m_cache_entry_ptr, 3127839Snilay@cs.wisc.edu''') 3137839Snilay@cs.wisc.edu 3147839Snilay@cs.wisc.edu code(''' 3157007Snate@binkert.org const Address& addr); 3167007Snate@binkert.org 3177002Snate@binkert.orgstd::string m_name; 3186657Snate@binkert.orgint m_transitions_per_cycle; 3196657Snate@binkert.orgint m_buffer_size; 3206657Snate@binkert.orgint m_recycle_latency; 3217055Snate@binkert.orgstd::map<std::string, std::string> m_cfg; 3226657Snate@binkert.orgNodeID m_version; 3236657Snate@binkert.orgNetwork* m_net_ptr; 3246657Snate@binkert.orgMachineID m_machineID; 3256863Sdrh5@cs.wisc.edubool m_is_blocking; 3267055Snate@binkert.orgstd::map<Address, MessageBuffer*> m_block_map; 3277567SBrad.Beckmann@amd.comtypedef std::vector<MessageBuffer*> MsgVecType; 3287567SBrad.Beckmann@amd.comtypedef m5::hash_map< Address, MsgVecType* > WaitingBufType; 3297567SBrad.Beckmann@amd.comWaitingBufType m_waiting_buffers; 3307567SBrad.Beckmann@amd.comint m_max_in_port_rank; 3317567SBrad.Beckmann@amd.comint m_cur_in_port_rank; 3327542SBrad.Beckmann@amd.comstatic ${ident}_ProfileDumper s_profileDumper; 3337542SBrad.Beckmann@amd.com${ident}_Profiler m_profiler; 3346657Snate@binkert.orgstatic int m_num_controllers; 3357007Snate@binkert.org 3366657Snate@binkert.org// Internal functions 3376657Snate@binkert.org''') 3386657Snate@binkert.org 3396657Snate@binkert.org for func in self.functions: 3406657Snate@binkert.org proto = func.prototype 3416657Snate@binkert.org if proto: 3426657Snate@binkert.org code('$proto') 3436657Snate@binkert.org 3447839Snilay@cs.wisc.edu if self.EntryType != None: 3457839Snilay@cs.wisc.edu code(''' 3467839Snilay@cs.wisc.edu 3477839Snilay@cs.wisc.edu// Set and Reset for cache_entry variable 3487839Snilay@cs.wisc.eduvoid set_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, AbstractCacheEntry* m_new_cache_entry); 3497839Snilay@cs.wisc.eduvoid unset_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr); 3508086SBrad.Beckmann@amd.com// Set permissions for the cache_entry 3518086SBrad.Beckmann@amd.comvoid set_permission(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, AccessPermission perm); 3527839Snilay@cs.wisc.edu''') 3537839Snilay@cs.wisc.edu 3547839Snilay@cs.wisc.edu if self.TBEType != None: 3557839Snilay@cs.wisc.edu code(''' 3567839Snilay@cs.wisc.edu 3577839Snilay@cs.wisc.edu// Set and Reset for tbe variable 3587839Snilay@cs.wisc.eduvoid set_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr, ${ident}_TBE* m_new_tbe); 3597839Snilay@cs.wisc.eduvoid unset_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr); 3607839Snilay@cs.wisc.edu''') 3617839Snilay@cs.wisc.edu 3626657Snate@binkert.org code(''' 3636657Snate@binkert.org 3646657Snate@binkert.org// Actions 3656657Snate@binkert.org''') 3667839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 3677839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3687839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3697839Snilay@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);') 3707839Snilay@cs.wisc.edu elif self.TBEType != None: 3717839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3727839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3737839Snilay@cs.wisc.edu code('void ${{action.ident}}(${{self.TBEType.c_ident}}*& m_tbe_ptr, const Address& addr);') 3747839Snilay@cs.wisc.edu elif self.EntryType != None: 3757839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3767839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3777839Snilay@cs.wisc.edu code('void ${{action.ident}}(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, const Address& addr);') 3787839Snilay@cs.wisc.edu else: 3797839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 3807839Snilay@cs.wisc.edu code('/** \\brief ${{action.desc}} */') 3817839Snilay@cs.wisc.edu code('void ${{action.ident}}(const Address& addr);') 3826657Snate@binkert.org 3836657Snate@binkert.org # the controller internal variables 3846657Snate@binkert.org code(''' 3856657Snate@binkert.org 3867007Snate@binkert.org// Objects 3876657Snate@binkert.org''') 3886657Snate@binkert.org for var in self.objects: 3896657Snate@binkert.org th = var.get("template_hack", "") 3906657Snate@binkert.org code('${{var.type.c_ident}}$th* m_${{var.c_ident}}_ptr;') 3916657Snate@binkert.org 3926657Snate@binkert.org if var.type.ident == "MessageBuffer": 3936657Snate@binkert.org self.message_buffer_names.append("m_%s_ptr" % var.c_ident) 3946657Snate@binkert.org 3956657Snate@binkert.org code.dedent() 3966657Snate@binkert.org code('};') 3977007Snate@binkert.org code('#endif // __${ident}_CONTROLLER_H__') 3986657Snate@binkert.org code.write(path, '%s.hh' % c_ident) 3996657Snate@binkert.org 4006657Snate@binkert.org def printControllerCC(self, path): 4016657Snate@binkert.org '''Output the actions for performing the actions''' 4026657Snate@binkert.org 4036999Snate@binkert.org code = self.symtab.codeFormatter() 4046657Snate@binkert.org ident = self.ident 4056657Snate@binkert.org c_ident = "%s_Controller" % self.ident 4066657Snate@binkert.org 4076657Snate@binkert.org code(''' 4087007Snate@binkert.org/** \\file $c_ident.cc 4096657Snate@binkert.org * 4106657Snate@binkert.org * Auto generated C++ code started by $__file__:$__line__ 4116657Snate@binkert.org * Created by slicc definition of Module "${{self.short}}" 4126657Snate@binkert.org */ 4136657Snate@binkert.org 4147832Snate@binkert.org#include <cassert> 4157002Snate@binkert.org#include <sstream> 4167002Snate@binkert.org#include <string> 4177002Snate@binkert.org 4187056Snate@binkert.org#include "base/cprintf.hh" 4196657Snate@binkert.org#include "mem/protocol/${ident}_Controller.hh" 4206657Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 4216657Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 4226657Snate@binkert.org#include "mem/protocol/Types.hh" 4237056Snate@binkert.org#include "mem/ruby/common/Global.hh" 4247056Snate@binkert.org#include "mem/ruby/slicc_interface/RubySlicc_includes.hh" 4256657Snate@binkert.org#include "mem/ruby/system/System.hh" 4267002Snate@binkert.org 4277002Snate@binkert.orgusing namespace std; 4286657Snate@binkert.org''') 4296657Snate@binkert.org 4306657Snate@binkert.org # include object classes 4316657Snate@binkert.org seen_types = set() 4326657Snate@binkert.org for var in self.objects: 4336793SBrad.Beckmann@amd.com if var.type.ident not in seen_types and not var.type.isPrimitive: 4346657Snate@binkert.org code('#include "mem/protocol/${{var.type.c_ident}}.hh"') 4356657Snate@binkert.org seen_types.add(var.type.ident) 4366657Snate@binkert.org 4376657Snate@binkert.org code(''' 4386877Ssteve.reinhardt@amd.com$c_ident * 4396877Ssteve.reinhardt@amd.com${c_ident}Params::create() 4406877Ssteve.reinhardt@amd.com{ 4416877Ssteve.reinhardt@amd.com return new $c_ident(this); 4426877Ssteve.reinhardt@amd.com} 4436877Ssteve.reinhardt@amd.com 4446657Snate@binkert.orgint $c_ident::m_num_controllers = 0; 4457542SBrad.Beckmann@amd.com${ident}_ProfileDumper $c_ident::s_profileDumper; 4466657Snate@binkert.org 4477007Snate@binkert.org// for adding information to the protocol debug trace 4486657Snate@binkert.orgstringstream ${ident}_transitionComment; 4496657Snate@binkert.org#define APPEND_TRANSITION_COMMENT(str) (${ident}_transitionComment << str) 4507007Snate@binkert.org 4516657Snate@binkert.org/** \\brief constructor */ 4526877Ssteve.reinhardt@amd.com$c_ident::$c_ident(const Params *p) 4536877Ssteve.reinhardt@amd.com : AbstractController(p) 4546657Snate@binkert.org{ 4556877Ssteve.reinhardt@amd.com m_version = p->version; 4566877Ssteve.reinhardt@amd.com m_transitions_per_cycle = p->transitions_per_cycle; 4576877Ssteve.reinhardt@amd.com m_buffer_size = p->buffer_size; 4586877Ssteve.reinhardt@amd.com m_recycle_latency = p->recycle_latency; 4596877Ssteve.reinhardt@amd.com m_number_of_TBEs = p->number_of_TBEs; 4606969SBrad.Beckmann@amd.com m_is_blocking = false; 4616657Snate@binkert.org''') 4627567SBrad.Beckmann@amd.com # 4637567SBrad.Beckmann@amd.com # max_port_rank is used to size vectors and thus should be one plus the 4647567SBrad.Beckmann@amd.com # largest port rank 4657567SBrad.Beckmann@amd.com # 4667567SBrad.Beckmann@amd.com max_port_rank = self.in_ports[0].pairs["max_port_rank"] + 1 4677567SBrad.Beckmann@amd.com code(' m_max_in_port_rank = $max_port_rank;') 4686657Snate@binkert.org code.indent() 4696882SBrad.Beckmann@amd.com 4706882SBrad.Beckmann@amd.com # 4716882SBrad.Beckmann@amd.com # After initializing the universal machine parameters, initialize the 4726882SBrad.Beckmann@amd.com # this machines config parameters. Also detemine if these configuration 4736882SBrad.Beckmann@amd.com # params include a sequencer. This information will be used later for 4746882SBrad.Beckmann@amd.com # contecting the sequencer back to the L1 cache controller. 4756882SBrad.Beckmann@amd.com # 4766882SBrad.Beckmann@amd.com contains_sequencer = False 4776877Ssteve.reinhardt@amd.com for param in self.config_parameters: 4786888SBrad.Beckmann@amd.com if param.name == "sequencer" or param.name == "dma_sequencer": 4796882SBrad.Beckmann@amd.com contains_sequencer = True 4806882SBrad.Beckmann@amd.com if param.pointer: 4816882SBrad.Beckmann@amd.com code('m_${{param.name}}_ptr = p->${{param.name}};') 4826882SBrad.Beckmann@amd.com else: 4836882SBrad.Beckmann@amd.com code('m_${{param.name}} = p->${{param.name}};') 4846882SBrad.Beckmann@amd.com 4856882SBrad.Beckmann@amd.com # 4866882SBrad.Beckmann@amd.com # For the l1 cache controller, add the special atomic support which 4876882SBrad.Beckmann@amd.com # includes passing the sequencer a pointer to the controller. 4886882SBrad.Beckmann@amd.com # 4896882SBrad.Beckmann@amd.com if self.ident == "L1Cache": 4906882SBrad.Beckmann@amd.com if not contains_sequencer: 4916882SBrad.Beckmann@amd.com self.error("The L1Cache controller must include the sequencer " \ 4926882SBrad.Beckmann@amd.com "configuration parameter") 4936882SBrad.Beckmann@amd.com 4946882SBrad.Beckmann@amd.com code(''' 4956882SBrad.Beckmann@amd.comm_sequencer_ptr->setController(this); 4966882SBrad.Beckmann@amd.com''') 4976888SBrad.Beckmann@amd.com # 4986888SBrad.Beckmann@amd.com # For the DMA controller, pass the sequencer a pointer to the 4996888SBrad.Beckmann@amd.com # controller. 5006888SBrad.Beckmann@amd.com # 5016888SBrad.Beckmann@amd.com if self.ident == "DMA": 5026888SBrad.Beckmann@amd.com if not contains_sequencer: 5036888SBrad.Beckmann@amd.com self.error("The DMA controller must include the sequencer " \ 5046888SBrad.Beckmann@amd.com "configuration parameter") 5056657Snate@binkert.org 5066888SBrad.Beckmann@amd.com code(''' 5076888SBrad.Beckmann@amd.comm_dma_sequencer_ptr->setController(this); 5086888SBrad.Beckmann@amd.com''') 5096888SBrad.Beckmann@amd.com 5106657Snate@binkert.org code('m_num_controllers++;') 5116657Snate@binkert.org for var in self.objects: 5126657Snate@binkert.org if var.ident.find("mandatoryQueue") >= 0: 5136657Snate@binkert.org code('m_${{var.c_ident}}_ptr = new ${{var.type.c_ident}}();') 5146657Snate@binkert.org 5156657Snate@binkert.org code.dedent() 5166657Snate@binkert.org code(''' 5176657Snate@binkert.org} 5186657Snate@binkert.org 5197007Snate@binkert.orgvoid 5207007Snate@binkert.org$c_ident::init() 5216657Snate@binkert.org{ 5227007Snate@binkert.org MachineType machine_type; 5237007Snate@binkert.org int base; 5247007Snate@binkert.org 5256657Snate@binkert.org m_machineID.type = MachineType_${ident}; 5266657Snate@binkert.org m_machineID.num = m_version; 5276657Snate@binkert.org 5287007Snate@binkert.org // initialize objects 5297542SBrad.Beckmann@amd.com m_profiler.setVersion(m_version); 5307542SBrad.Beckmann@amd.com s_profileDumper.registerProfiler(&m_profiler); 5317007Snate@binkert.org 5326657Snate@binkert.org''') 5336657Snate@binkert.org 5346657Snate@binkert.org code.indent() 5356657Snate@binkert.org for var in self.objects: 5366657Snate@binkert.org vtype = var.type 5376657Snate@binkert.org vid = "m_%s_ptr" % var.c_ident 5386657Snate@binkert.org if "network" not in var: 5396657Snate@binkert.org # Not a network port object 5406657Snate@binkert.org if "primitive" in vtype: 5416657Snate@binkert.org code('$vid = new ${{vtype.c_ident}};') 5426657Snate@binkert.org if "default" in var: 5436657Snate@binkert.org code('(*$vid) = ${{var["default"]}};') 5446657Snate@binkert.org else: 5456657Snate@binkert.org # Normal Object 5466657Snate@binkert.org # added by SS 5476657Snate@binkert.org if "factory" in var: 5486657Snate@binkert.org code('$vid = ${{var["factory"]}};') 5496657Snate@binkert.org elif var.ident.find("mandatoryQueue") < 0: 5506657Snate@binkert.org th = var.get("template_hack", "") 5516657Snate@binkert.org expr = "%s = new %s%s" % (vid, vtype.c_ident, th) 5526657Snate@binkert.org 5536657Snate@binkert.org args = "" 5546657Snate@binkert.org if "non_obj" not in vtype and not vtype.isEnumeration: 5556657Snate@binkert.org if expr.find("TBETable") >= 0: 5566657Snate@binkert.org args = "m_number_of_TBEs" 5576657Snate@binkert.org else: 5586657Snate@binkert.org args = var.get("constructor_hack", "") 5596657Snate@binkert.org 5607007Snate@binkert.org code('$expr($args);') 5616657Snate@binkert.org 5626657Snate@binkert.org code('assert($vid != NULL);') 5636657Snate@binkert.org 5646657Snate@binkert.org if "default" in var: 5657007Snate@binkert.org code('*$vid = ${{var["default"]}}; // Object default') 5666657Snate@binkert.org elif "default" in vtype: 5677007Snate@binkert.org comment = "Type %s default" % vtype.ident 5687007Snate@binkert.org code('*$vid = ${{vtype["default"]}}; // $comment') 5696657Snate@binkert.org 5706657Snate@binkert.org # Set ordering 5716657Snate@binkert.org if "ordered" in var and "trigger_queue" not in var: 5726657Snate@binkert.org # A buffer 5736657Snate@binkert.org code('$vid->setOrdering(${{var["ordered"]}});') 5746657Snate@binkert.org 5756657Snate@binkert.org # Set randomization 5766657Snate@binkert.org if "random" in var: 5776657Snate@binkert.org # A buffer 5786657Snate@binkert.org code('$vid->setRandomization(${{var["random"]}});') 5796657Snate@binkert.org 5806657Snate@binkert.org # Set Priority 5816657Snate@binkert.org if vtype.isBuffer and \ 5826657Snate@binkert.org "rank" in var and "trigger_queue" not in var: 5836657Snate@binkert.org code('$vid->setPriority(${{var["rank"]}});') 5847566SBrad.Beckmann@amd.com 5856657Snate@binkert.org else: 5866657Snate@binkert.org # Network port object 5876657Snate@binkert.org network = var["network"] 5886657Snate@binkert.org ordered = var["ordered"] 5896657Snate@binkert.org vnet = var["virtual_network"] 5906657Snate@binkert.org 5916657Snate@binkert.org assert var.machine is not None 5926657Snate@binkert.org code(''' 5937007Snate@binkert.orgmachine_type = string_to_MachineType("${{var.machine.ident}}"); 5947007Snate@binkert.orgbase = MachineType_base_number(machine_type); 5957007Snate@binkert.org$vid = m_net_ptr->get${network}NetQueue(m_version + base, $ordered, $vnet); 5966657Snate@binkert.org''') 5976657Snate@binkert.org 5986657Snate@binkert.org code('assert($vid != NULL);') 5996657Snate@binkert.org 6006657Snate@binkert.org # Set ordering 6016657Snate@binkert.org if "ordered" in var: 6026657Snate@binkert.org # A buffer 6036657Snate@binkert.org code('$vid->setOrdering(${{var["ordered"]}});') 6046657Snate@binkert.org 6056657Snate@binkert.org # Set randomization 6066657Snate@binkert.org if "random" in var: 6076657Snate@binkert.org # A buffer 6086657Snate@binkert.org code('$vid->setRandomization(${{var["random"]}})') 6096657Snate@binkert.org 6106657Snate@binkert.org # Set Priority 6116657Snate@binkert.org if "rank" in var: 6126657Snate@binkert.org code('$vid->setPriority(${{var["rank"]}})') 6136657Snate@binkert.org 6146657Snate@binkert.org # Set buffer size 6156657Snate@binkert.org if vtype.isBuffer: 6166657Snate@binkert.org code(''' 6176657Snate@binkert.orgif (m_buffer_size > 0) { 6187454Snate@binkert.org $vid->resize(m_buffer_size); 6196657Snate@binkert.org} 6206657Snate@binkert.org''') 6216657Snate@binkert.org 6226657Snate@binkert.org # set description (may be overriden later by port def) 6237007Snate@binkert.org code(''' 6247056Snate@binkert.org$vid->setDescription("[Version " + to_string(m_version) + ", ${ident}, name=${{var.c_ident}}]"); 6257007Snate@binkert.org 6267007Snate@binkert.org''') 6276657Snate@binkert.org 6287566SBrad.Beckmann@amd.com if vtype.isBuffer: 6297566SBrad.Beckmann@amd.com if "recycle_latency" in var: 6307566SBrad.Beckmann@amd.com code('$vid->setRecycleLatency(${{var["recycle_latency"]}});') 6317566SBrad.Beckmann@amd.com else: 6327566SBrad.Beckmann@amd.com code('$vid->setRecycleLatency(m_recycle_latency);') 6337566SBrad.Beckmann@amd.com 6347566SBrad.Beckmann@amd.com 6356657Snate@binkert.org # Set the queue consumers 6367672Snate@binkert.org code() 6376657Snate@binkert.org for port in self.in_ports: 6386657Snate@binkert.org code('${{port.code}}.setConsumer(this);') 6396657Snate@binkert.org 6406657Snate@binkert.org # Set the queue descriptions 6417672Snate@binkert.org code() 6426657Snate@binkert.org for port in self.in_ports: 6437056Snate@binkert.org code('${{port.code}}.setDescription("[Version " + to_string(m_version) + ", $ident, $port]");') 6446657Snate@binkert.org 6456657Snate@binkert.org # Initialize the transition profiling 6467672Snate@binkert.org code() 6476657Snate@binkert.org for trans in self.transitions: 6486657Snate@binkert.org # Figure out if we stall 6496657Snate@binkert.org stall = False 6506657Snate@binkert.org for action in trans.actions: 6516657Snate@binkert.org if action.ident == "z_stall": 6526657Snate@binkert.org stall = True 6536657Snate@binkert.org 6546657Snate@binkert.org # Only possible if it is not a 'z' case 6556657Snate@binkert.org if not stall: 6566657Snate@binkert.org state = "%s_State_%s" % (self.ident, trans.state.ident) 6576657Snate@binkert.org event = "%s_Event_%s" % (self.ident, trans.event.ident) 6587542SBrad.Beckmann@amd.com code('m_profiler.possibleTransition($state, $event);') 6596657Snate@binkert.org 6606657Snate@binkert.org code.dedent() 6616657Snate@binkert.org code('}') 6626657Snate@binkert.org 6636657Snate@binkert.org has_mandatory_q = False 6646657Snate@binkert.org for port in self.in_ports: 6656657Snate@binkert.org if port.code.find("mandatoryQueue_ptr") >= 0: 6666657Snate@binkert.org has_mandatory_q = True 6676657Snate@binkert.org 6686657Snate@binkert.org if has_mandatory_q: 6696657Snate@binkert.org mq_ident = "m_%s_mandatoryQueue_ptr" % self.ident 6706657Snate@binkert.org else: 6716657Snate@binkert.org mq_ident = "NULL" 6726657Snate@binkert.org 6736657Snate@binkert.org code(''' 6747007Snate@binkert.orgint 6757007Snate@binkert.org$c_ident::getNumControllers() 6767007Snate@binkert.org{ 6776657Snate@binkert.org return m_num_controllers; 6786657Snate@binkert.org} 6796657Snate@binkert.org 6807007Snate@binkert.orgMessageBuffer* 6817007Snate@binkert.org$c_ident::getMandatoryQueue() const 6827007Snate@binkert.org{ 6836657Snate@binkert.org return $mq_ident; 6846657Snate@binkert.org} 6856657Snate@binkert.org 6867007Snate@binkert.orgconst int & 6877007Snate@binkert.org$c_ident::getVersion() const 6887007Snate@binkert.org{ 6896657Snate@binkert.org return m_version; 6906657Snate@binkert.org} 6916657Snate@binkert.org 6927007Snate@binkert.orgconst string 6937007Snate@binkert.org$c_ident::toString() const 6947007Snate@binkert.org{ 6956657Snate@binkert.org return "$c_ident"; 6966657Snate@binkert.org} 6976657Snate@binkert.org 6987007Snate@binkert.orgconst string 6997007Snate@binkert.org$c_ident::getName() const 7007007Snate@binkert.org{ 7016657Snate@binkert.org return m_name; 7026657Snate@binkert.org} 7037007Snate@binkert.org 7047007Snate@binkert.orgconst MachineType 7057007Snate@binkert.org$c_ident::getMachineType() const 7067007Snate@binkert.org{ 7076657Snate@binkert.org return MachineType_${ident}; 7086657Snate@binkert.org} 7096657Snate@binkert.org 7107007Snate@binkert.orgvoid 7117567SBrad.Beckmann@amd.com$c_ident::stallBuffer(MessageBuffer* buf, Address addr) 7127567SBrad.Beckmann@amd.com{ 7137567SBrad.Beckmann@amd.com if (m_waiting_buffers.count(addr) == 0) { 7147567SBrad.Beckmann@amd.com MsgVecType* msgVec = new MsgVecType; 7157567SBrad.Beckmann@amd.com msgVec->resize(m_max_in_port_rank, NULL); 7167567SBrad.Beckmann@amd.com m_waiting_buffers[addr] = msgVec; 7177567SBrad.Beckmann@amd.com } 7187567SBrad.Beckmann@amd.com (*(m_waiting_buffers[addr]))[m_cur_in_port_rank] = buf; 7197567SBrad.Beckmann@amd.com} 7207567SBrad.Beckmann@amd.com 7217567SBrad.Beckmann@amd.comvoid 7227567SBrad.Beckmann@amd.com$c_ident::wakeUpBuffers(Address addr) 7237567SBrad.Beckmann@amd.com{ 7247567SBrad.Beckmann@amd.com // 7257567SBrad.Beckmann@amd.com // Wake up all possible lower rank (i.e. lower priority) buffers that could 7267567SBrad.Beckmann@amd.com // be waiting on this message. 7277567SBrad.Beckmann@amd.com // 7287567SBrad.Beckmann@amd.com for (int in_port_rank = m_cur_in_port_rank - 1; 7297567SBrad.Beckmann@amd.com in_port_rank >= 0; 7307567SBrad.Beckmann@amd.com in_port_rank--) { 7317567SBrad.Beckmann@amd.com if ((*(m_waiting_buffers[addr]))[in_port_rank] != NULL) { 7327567SBrad.Beckmann@amd.com (*(m_waiting_buffers[addr]))[in_port_rank]->reanalyzeMessages(addr); 7337567SBrad.Beckmann@amd.com } 7347567SBrad.Beckmann@amd.com } 7357567SBrad.Beckmann@amd.com delete m_waiting_buffers[addr]; 7367567SBrad.Beckmann@amd.com m_waiting_buffers.erase(addr); 7377567SBrad.Beckmann@amd.com} 7387567SBrad.Beckmann@amd.com 7397567SBrad.Beckmann@amd.comvoid 7407922SBrad.Beckmann@amd.com$c_ident::wakeUpAllBuffers() 7417922SBrad.Beckmann@amd.com{ 7427922SBrad.Beckmann@amd.com // 7437922SBrad.Beckmann@amd.com // Wake up all possible buffers that could be waiting on any message. 7447922SBrad.Beckmann@amd.com // 7457922SBrad.Beckmann@amd.com 7467922SBrad.Beckmann@amd.com std::vector<MsgVecType*> wokeUpMsgVecs; 7477922SBrad.Beckmann@amd.com 7487922SBrad.Beckmann@amd.com for (WaitingBufType::iterator buf_iter = m_waiting_buffers.begin(); 7497922SBrad.Beckmann@amd.com buf_iter != m_waiting_buffers.end(); 7507922SBrad.Beckmann@amd.com ++buf_iter) { 7517922SBrad.Beckmann@amd.com for (MsgVecType::iterator vec_iter = buf_iter->second->begin(); 7527922SBrad.Beckmann@amd.com vec_iter != buf_iter->second->end(); 7537922SBrad.Beckmann@amd.com ++vec_iter) { 7547922SBrad.Beckmann@amd.com if (*vec_iter != NULL) { 7557922SBrad.Beckmann@amd.com (*vec_iter)->reanalyzeAllMessages(); 7567922SBrad.Beckmann@amd.com } 7577922SBrad.Beckmann@amd.com } 7587922SBrad.Beckmann@amd.com wokeUpMsgVecs.push_back(buf_iter->second); 7597922SBrad.Beckmann@amd.com } 7607922SBrad.Beckmann@amd.com 7617922SBrad.Beckmann@amd.com for (std::vector<MsgVecType*>::iterator wb_iter = wokeUpMsgVecs.begin(); 7627922SBrad.Beckmann@amd.com wb_iter != wokeUpMsgVecs.end(); 7637922SBrad.Beckmann@amd.com ++wb_iter) { 7647922SBrad.Beckmann@amd.com delete (*wb_iter); 7657922SBrad.Beckmann@amd.com } 7667922SBrad.Beckmann@amd.com 7677922SBrad.Beckmann@amd.com m_waiting_buffers.clear(); 7687922SBrad.Beckmann@amd.com} 7697922SBrad.Beckmann@amd.com 7707922SBrad.Beckmann@amd.comvoid 7717007Snate@binkert.org$c_ident::blockOnQueue(Address addr, MessageBuffer* port) 7727007Snate@binkert.org{ 7736863Sdrh5@cs.wisc.edu m_is_blocking = true; 7746863Sdrh5@cs.wisc.edu m_block_map[addr] = port; 7756863Sdrh5@cs.wisc.edu} 7767007Snate@binkert.org 7777007Snate@binkert.orgvoid 7787007Snate@binkert.org$c_ident::unblock(Address addr) 7797007Snate@binkert.org{ 7806863Sdrh5@cs.wisc.edu m_block_map.erase(addr); 7816863Sdrh5@cs.wisc.edu if (m_block_map.size() == 0) { 7826863Sdrh5@cs.wisc.edu m_is_blocking = false; 7836863Sdrh5@cs.wisc.edu } 7846863Sdrh5@cs.wisc.edu} 7856863Sdrh5@cs.wisc.edu 7867007Snate@binkert.orgvoid 7877007Snate@binkert.org$c_ident::print(ostream& out) const 7887007Snate@binkert.org{ 7897007Snate@binkert.org out << "[$c_ident " << m_version << "]"; 7907007Snate@binkert.org} 7916657Snate@binkert.org 7927007Snate@binkert.orgvoid 7937007Snate@binkert.org$c_ident::printConfig(ostream& out) const 7947007Snate@binkert.org{ 7956657Snate@binkert.org out << "$c_ident config: " << m_name << endl; 7966657Snate@binkert.org out << " version: " << m_version << endl; 7977007Snate@binkert.org map<string, string>::const_iterator it; 7987007Snate@binkert.org for (it = m_cfg.begin(); it != m_cfg.end(); it++) 7997007Snate@binkert.org out << " " << it->first << ": " << it->second << endl; 8006657Snate@binkert.org} 8016657Snate@binkert.org 8027007Snate@binkert.orgvoid 8037007Snate@binkert.org$c_ident::printStats(ostream& out) const 8047007Snate@binkert.org{ 8056902SBrad.Beckmann@amd.com''') 8066902SBrad.Beckmann@amd.com # 8076902SBrad.Beckmann@amd.com # Cache and Memory Controllers have specific profilers associated with 8086902SBrad.Beckmann@amd.com # them. Print out these stats before dumping state transition stats. 8096902SBrad.Beckmann@amd.com # 8106902SBrad.Beckmann@amd.com for param in self.config_parameters: 8116902SBrad.Beckmann@amd.com if param.type_ast.type.ident == "CacheMemory" or \ 8127025SBrad.Beckmann@amd.com param.type_ast.type.ident == "DirectoryMemory" or \ 8136902SBrad.Beckmann@amd.com param.type_ast.type.ident == "MemoryControl": 8146902SBrad.Beckmann@amd.com assert(param.pointer) 8156902SBrad.Beckmann@amd.com code(' m_${{param.ident}}_ptr->printStats(out);') 8166902SBrad.Beckmann@amd.com 8176902SBrad.Beckmann@amd.com code(''' 8187542SBrad.Beckmann@amd.com if (m_version == 0) { 8197542SBrad.Beckmann@amd.com s_profileDumper.dumpStats(out); 8207542SBrad.Beckmann@amd.com } 8216902SBrad.Beckmann@amd.com} 8226902SBrad.Beckmann@amd.com 8236902SBrad.Beckmann@amd.comvoid $c_ident::clearStats() { 8246902SBrad.Beckmann@amd.com''') 8256902SBrad.Beckmann@amd.com # 8266902SBrad.Beckmann@amd.com # Cache and Memory Controllers have specific profilers associated with 8276902SBrad.Beckmann@amd.com # them. These stats must be cleared too. 8286902SBrad.Beckmann@amd.com # 8296902SBrad.Beckmann@amd.com for param in self.config_parameters: 8306902SBrad.Beckmann@amd.com if param.type_ast.type.ident == "CacheMemory" or \ 8316902SBrad.Beckmann@amd.com param.type_ast.type.ident == "MemoryControl": 8326902SBrad.Beckmann@amd.com assert(param.pointer) 8336902SBrad.Beckmann@amd.com code(' m_${{param.ident}}_ptr->clearStats();') 8346902SBrad.Beckmann@amd.com 8356902SBrad.Beckmann@amd.com code(''' 8367542SBrad.Beckmann@amd.com m_profiler.clearStats(); 8376902SBrad.Beckmann@amd.com} 8387839Snilay@cs.wisc.edu''') 8397839Snilay@cs.wisc.edu 8407839Snilay@cs.wisc.edu if self.EntryType != None: 8417839Snilay@cs.wisc.edu code(''' 8427839Snilay@cs.wisc.edu 8437839Snilay@cs.wisc.edu// Set and Reset for cache_entry variable 8447839Snilay@cs.wisc.eduvoid 8457839Snilay@cs.wisc.edu$c_ident::set_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, AbstractCacheEntry* m_new_cache_entry) 8467839Snilay@cs.wisc.edu{ 8477839Snilay@cs.wisc.edu m_cache_entry_ptr = (${{self.EntryType.c_ident}}*)m_new_cache_entry; 8487839Snilay@cs.wisc.edu} 8497839Snilay@cs.wisc.edu 8507839Snilay@cs.wisc.eduvoid 8517839Snilay@cs.wisc.edu$c_ident::unset_cache_entry(${{self.EntryType.c_ident}}*& m_cache_entry_ptr) 8527839Snilay@cs.wisc.edu{ 8537839Snilay@cs.wisc.edu m_cache_entry_ptr = 0; 8547839Snilay@cs.wisc.edu} 8558086SBrad.Beckmann@amd.com 8568086SBrad.Beckmann@amd.comvoid 8578086SBrad.Beckmann@amd.com$c_ident::set_permission(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, 8588086SBrad.Beckmann@amd.com AccessPermission perm) 8598086SBrad.Beckmann@amd.com{ 8608086SBrad.Beckmann@amd.com if (m_cache_entry_ptr != NULL) { 8618086SBrad.Beckmann@amd.com m_cache_entry_ptr->changePermission(perm); 8628086SBrad.Beckmann@amd.com } 8638086SBrad.Beckmann@amd.com} 8647839Snilay@cs.wisc.edu''') 8657839Snilay@cs.wisc.edu 8667839Snilay@cs.wisc.edu if self.TBEType != None: 8677839Snilay@cs.wisc.edu code(''' 8687839Snilay@cs.wisc.edu 8697839Snilay@cs.wisc.edu// Set and Reset for tbe variable 8707839Snilay@cs.wisc.eduvoid 8717839Snilay@cs.wisc.edu$c_ident::set_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr, ${{self.TBEType.c_ident}}* m_new_tbe) 8727839Snilay@cs.wisc.edu{ 8737839Snilay@cs.wisc.edu m_tbe_ptr = m_new_tbe; 8747839Snilay@cs.wisc.edu} 8757839Snilay@cs.wisc.edu 8767839Snilay@cs.wisc.eduvoid 8777839Snilay@cs.wisc.edu$c_ident::unset_tbe(${{self.TBEType.c_ident}}*& m_tbe_ptr) 8787839Snilay@cs.wisc.edu{ 8797839Snilay@cs.wisc.edu m_tbe_ptr = NULL; 8807839Snilay@cs.wisc.edu} 8817839Snilay@cs.wisc.edu''') 8827839Snilay@cs.wisc.edu 8837839Snilay@cs.wisc.edu code(''' 8846902SBrad.Beckmann@amd.com 8856657Snate@binkert.org// Actions 8866657Snate@binkert.org''') 8877839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 8887839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 8897839Snilay@cs.wisc.edu if "c_code" not in action: 8907839Snilay@cs.wisc.edu continue 8916657Snate@binkert.org 8927839Snilay@cs.wisc.edu code(''' 8937839Snilay@cs.wisc.edu/** \\brief ${{action.desc}} */ 8947839Snilay@cs.wisc.eduvoid 8957839Snilay@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) 8967839Snilay@cs.wisc.edu{ 8978055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 8987839Snilay@cs.wisc.edu ${{action["c_code"]}} 8997839Snilay@cs.wisc.edu} 9006657Snate@binkert.org 9017839Snilay@cs.wisc.edu''') 9027839Snilay@cs.wisc.edu elif self.TBEType != None: 9037839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 9047839Snilay@cs.wisc.edu if "c_code" not in action: 9057839Snilay@cs.wisc.edu continue 9067839Snilay@cs.wisc.edu 9077839Snilay@cs.wisc.edu code(''' 9087839Snilay@cs.wisc.edu/** \\brief ${{action.desc}} */ 9097839Snilay@cs.wisc.eduvoid 9107839Snilay@cs.wisc.edu$c_ident::${{action.ident}}(${{self.TBEType.c_ident}}*& m_tbe_ptr, const Address& addr) 9117839Snilay@cs.wisc.edu{ 9128055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 9137839Snilay@cs.wisc.edu ${{action["c_code"]}} 9147839Snilay@cs.wisc.edu} 9157839Snilay@cs.wisc.edu 9167839Snilay@cs.wisc.edu''') 9177839Snilay@cs.wisc.edu elif self.EntryType != None: 9187839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 9197839Snilay@cs.wisc.edu if "c_code" not in action: 9207839Snilay@cs.wisc.edu continue 9217839Snilay@cs.wisc.edu 9227839Snilay@cs.wisc.edu code(''' 9237839Snilay@cs.wisc.edu/** \\brief ${{action.desc}} */ 9247839Snilay@cs.wisc.eduvoid 9257839Snilay@cs.wisc.edu$c_ident::${{action.ident}}(${{self.EntryType.c_ident}}*& m_cache_entry_ptr, const Address& addr) 9267839Snilay@cs.wisc.edu{ 9278055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 9287839Snilay@cs.wisc.edu ${{action["c_code"]}} 9297839Snilay@cs.wisc.edu} 9307839Snilay@cs.wisc.edu 9317839Snilay@cs.wisc.edu''') 9327839Snilay@cs.wisc.edu else: 9337839Snilay@cs.wisc.edu for action in self.actions.itervalues(): 9347839Snilay@cs.wisc.edu if "c_code" not in action: 9357839Snilay@cs.wisc.edu continue 9367839Snilay@cs.wisc.edu 9377839Snilay@cs.wisc.edu code(''' 9386657Snate@binkert.org/** \\brief ${{action.desc}} */ 9397007Snate@binkert.orgvoid 9407007Snate@binkert.org$c_ident::${{action.ident}}(const Address& addr) 9416657Snate@binkert.org{ 9428055Sksewell@umich.edu DPRINTF(RubyGenerated, "executing ${{action.ident}}\\n"); 9436657Snate@binkert.org ${{action["c_code"]}} 9446657Snate@binkert.org} 9456657Snate@binkert.org 9466657Snate@binkert.org''') 9476657Snate@binkert.org code.write(path, "%s.cc" % c_ident) 9486657Snate@binkert.org 9496657Snate@binkert.org def printCWakeup(self, path): 9506657Snate@binkert.org '''Output the wakeup loop for the events''' 9516657Snate@binkert.org 9526999Snate@binkert.org code = self.symtab.codeFormatter() 9536657Snate@binkert.org ident = self.ident 9546657Snate@binkert.org 9556657Snate@binkert.org code(''' 9566657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 9576657Snate@binkert.org// ${ident}: ${{self.short}} 9586657Snate@binkert.org 9597832Snate@binkert.org#include <cassert> 9607832Snate@binkert.org 9617007Snate@binkert.org#include "base/misc.hh" 9626657Snate@binkert.org#include "mem/ruby/common/Global.hh" 9636657Snate@binkert.org#include "mem/ruby/slicc_interface/RubySlicc_includes.hh" 9646657Snate@binkert.org#include "mem/protocol/${ident}_Controller.hh" 9656657Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 9666657Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 9676657Snate@binkert.org#include "mem/protocol/Types.hh" 9686657Snate@binkert.org#include "mem/ruby/system/System.hh" 9696657Snate@binkert.org 9707055Snate@binkert.orgusing namespace std; 9717055Snate@binkert.org 9727007Snate@binkert.orgvoid 9737007Snate@binkert.org${ident}_Controller::wakeup() 9746657Snate@binkert.org{ 9756657Snate@binkert.org int counter = 0; 9766657Snate@binkert.org while (true) { 9776657Snate@binkert.org // Some cases will put us into an infinite loop without this limit 9786657Snate@binkert.org assert(counter <= m_transitions_per_cycle); 9796657Snate@binkert.org if (counter == m_transitions_per_cycle) { 9807007Snate@binkert.org // Count how often we are fully utilized 9817007Snate@binkert.org g_system_ptr->getProfiler()->controllerBusy(m_machineID); 9827007Snate@binkert.org 9837007Snate@binkert.org // Wakeup in another cycle and try again 9847007Snate@binkert.org g_eventQueue_ptr->scheduleEvent(this, 1); 9856657Snate@binkert.org break; 9866657Snate@binkert.org } 9876657Snate@binkert.org''') 9886657Snate@binkert.org 9896657Snate@binkert.org code.indent() 9906657Snate@binkert.org code.indent() 9916657Snate@binkert.org 9926657Snate@binkert.org # InPorts 9936657Snate@binkert.org # 9946657Snate@binkert.org for port in self.in_ports: 9956657Snate@binkert.org code.indent() 9966657Snate@binkert.org code('// ${ident}InPort $port') 9977567SBrad.Beckmann@amd.com if port.pairs.has_key("rank"): 9987567SBrad.Beckmann@amd.com code('m_cur_in_port_rank = ${{port.pairs["rank"]}};') 9997567SBrad.Beckmann@amd.com else: 10007567SBrad.Beckmann@amd.com code('m_cur_in_port_rank = 0;') 10016657Snate@binkert.org code('${{port["c_code_in_port"]}}') 10026657Snate@binkert.org code.dedent() 10036657Snate@binkert.org 10046657Snate@binkert.org code('') 10056657Snate@binkert.org 10066657Snate@binkert.org code.dedent() 10076657Snate@binkert.org code.dedent() 10086657Snate@binkert.org code(''' 10096657Snate@binkert.org break; // If we got this far, we have nothing left todo 10106657Snate@binkert.org } 10117007Snate@binkert.org // g_eventQueue_ptr->scheduleEvent(this, 1); 10126657Snate@binkert.org} 10136657Snate@binkert.org''') 10146657Snate@binkert.org 10156657Snate@binkert.org code.write(path, "%s_Wakeup.cc" % self.ident) 10166657Snate@binkert.org 10176657Snate@binkert.org def printCSwitch(self, path): 10186657Snate@binkert.org '''Output switch statement for transition table''' 10196657Snate@binkert.org 10206999Snate@binkert.org code = self.symtab.codeFormatter() 10216657Snate@binkert.org ident = self.ident 10226657Snate@binkert.org 10236657Snate@binkert.org code(''' 10246657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 10256657Snate@binkert.org// ${ident}: ${{self.short}} 10266657Snate@binkert.org 10277832Snate@binkert.org#include <cassert> 10287832Snate@binkert.org 10297805Snilay@cs.wisc.edu#include "base/misc.hh" 10307832Snate@binkert.org#include "base/trace.hh" 10316657Snate@binkert.org#include "mem/ruby/common/Global.hh" 10326657Snate@binkert.org#include "mem/protocol/${ident}_Controller.hh" 10336657Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 10346657Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 10356657Snate@binkert.org#include "mem/protocol/Types.hh" 10366657Snate@binkert.org#include "mem/ruby/system/System.hh" 10376657Snate@binkert.org 10386657Snate@binkert.org#define HASH_FUN(state, event) ((int(state)*${ident}_Event_NUM)+int(event)) 10396657Snate@binkert.org 10406657Snate@binkert.org#define GET_TRANSITION_COMMENT() (${ident}_transitionComment.str()) 10416657Snate@binkert.org#define CLEAR_TRANSITION_COMMENT() (${ident}_transitionComment.str("")) 10426657Snate@binkert.org 10437007Snate@binkert.orgTransitionResult 10447007Snate@binkert.org${ident}_Controller::doTransition(${ident}_Event event, 10457839Snilay@cs.wisc.edu''') 10467839Snilay@cs.wisc.edu if self.EntryType != None: 10477839Snilay@cs.wisc.edu code(''' 10487839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}* m_cache_entry_ptr, 10497839Snilay@cs.wisc.edu''') 10507839Snilay@cs.wisc.edu if self.TBEType != None: 10517839Snilay@cs.wisc.edu code(''' 10527839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}* m_tbe_ptr, 10537839Snilay@cs.wisc.edu''') 10547839Snilay@cs.wisc.edu code(''' 10557007Snate@binkert.org const Address &addr) 10566657Snate@binkert.org{ 10577839Snilay@cs.wisc.edu''') 10587839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 10597839Snilay@cs.wisc.edu code('${ident}_State state = ${ident}_getState(m_tbe_ptr, m_cache_entry_ptr, addr);') 10607839Snilay@cs.wisc.edu elif self.TBEType != None: 10617839Snilay@cs.wisc.edu code('${ident}_State state = ${ident}_getState(m_tbe_ptr, addr);') 10627839Snilay@cs.wisc.edu elif self.EntryType != None: 10637839Snilay@cs.wisc.edu code('${ident}_State state = ${ident}_getState(m_cache_entry_ptr, addr);') 10647839Snilay@cs.wisc.edu else: 10657839Snilay@cs.wisc.edu code('${ident}_State state = ${ident}_getState(addr);') 10667839Snilay@cs.wisc.edu 10677839Snilay@cs.wisc.edu code(''' 10686657Snate@binkert.org ${ident}_State next_state = state; 10696657Snate@binkert.org 10707780Snilay@cs.wisc.edu DPRINTF(RubyGenerated, "%s, Time: %lld, state: %s, event: %s, addr: %s\\n", 10717780Snilay@cs.wisc.edu *this, 10727780Snilay@cs.wisc.edu g_eventQueue_ptr->getTime(), 10737780Snilay@cs.wisc.edu ${ident}_State_to_string(state), 10747780Snilay@cs.wisc.edu ${ident}_Event_to_string(event), 10757780Snilay@cs.wisc.edu addr); 10766657Snate@binkert.org 10777007Snate@binkert.org TransitionResult result = 10787839Snilay@cs.wisc.edu''') 10797839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 10807839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, m_tbe_ptr, m_cache_entry_ptr, addr);') 10817839Snilay@cs.wisc.edu elif self.TBEType != None: 10827839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, m_tbe_ptr, addr);') 10837839Snilay@cs.wisc.edu elif self.EntryType != None: 10847839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, m_cache_entry_ptr, addr);') 10857839Snilay@cs.wisc.edu else: 10867839Snilay@cs.wisc.edu code('doTransitionWorker(event, state, next_state, addr);') 10876657Snate@binkert.org 10887839Snilay@cs.wisc.edu code(''' 10896657Snate@binkert.org if (result == TransitionResult_Valid) { 10907780Snilay@cs.wisc.edu DPRINTF(RubyGenerated, "next_state: %s\\n", 10917780Snilay@cs.wisc.edu ${ident}_State_to_string(next_state)); 10927542SBrad.Beckmann@amd.com m_profiler.countTransition(state, event); 10937832Snate@binkert.org DPRINTFR(ProtocolTrace, "%7d %3s %10s%20s %6s>%-6s %s %s\\n", 10947832Snate@binkert.org g_eventQueue_ptr->getTime(), m_version, "${ident}", 10957832Snate@binkert.org ${ident}_Event_to_string(event), 10967832Snate@binkert.org ${ident}_State_to_string(state), 10977832Snate@binkert.org ${ident}_State_to_string(next_state), 10987832Snate@binkert.org addr, GET_TRANSITION_COMMENT()); 10996657Snate@binkert.org 11007832Snate@binkert.org CLEAR_TRANSITION_COMMENT(); 11017839Snilay@cs.wisc.edu''') 11027839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 11037839Snilay@cs.wisc.edu code('${ident}_setState(m_tbe_ptr, m_cache_entry_ptr, addr, next_state);') 11048086SBrad.Beckmann@amd.com code('set_permission(m_cache_entry_ptr, ${ident}_State_to_permission(next_state));') 11057839Snilay@cs.wisc.edu elif self.TBEType != None: 11067839Snilay@cs.wisc.edu code('${ident}_setState(m_tbe_ptr, addr, next_state);') 11077839Snilay@cs.wisc.edu elif self.EntryType != None: 11087839Snilay@cs.wisc.edu code('${ident}_setState(m_cache_entry_ptr, addr, next_state);') 11098086SBrad.Beckmann@amd.com code('set_permission(m_cache_entry_ptr, ${ident}_State_to_permission(next_state));') 11107839Snilay@cs.wisc.edu else: 11117839Snilay@cs.wisc.edu code('${ident}_setState(addr, next_state);') 11127839Snilay@cs.wisc.edu 11137839Snilay@cs.wisc.edu code(''' 11146657Snate@binkert.org } else if (result == TransitionResult_ResourceStall) { 11157832Snate@binkert.org DPRINTFR(ProtocolTrace, "%7s %3s %10s%20s %6s>%-6s %s %s\\n", 11167832Snate@binkert.org g_eventQueue_ptr->getTime(), m_version, "${ident}", 11177832Snate@binkert.org ${ident}_Event_to_string(event), 11187832Snate@binkert.org ${ident}_State_to_string(state), 11197832Snate@binkert.org ${ident}_State_to_string(next_state), 11207832Snate@binkert.org addr, "Resource Stall"); 11216657Snate@binkert.org } else if (result == TransitionResult_ProtocolStall) { 11227780Snilay@cs.wisc.edu DPRINTF(RubyGenerated, "stalling\\n"); 11237832Snate@binkert.org DPRINTFR(ProtocolTrace, "%7s %3s %10s%20s %6s>%-6s %s %s\\n", 11247832Snate@binkert.org g_eventQueue_ptr->getTime(), m_version, "${ident}", 11257832Snate@binkert.org ${ident}_Event_to_string(event), 11267832Snate@binkert.org ${ident}_State_to_string(state), 11277832Snate@binkert.org ${ident}_State_to_string(next_state), 11287832Snate@binkert.org addr, "Protocol Stall"); 11296657Snate@binkert.org } 11306657Snate@binkert.org 11316657Snate@binkert.org return result; 11326657Snate@binkert.org} 11336657Snate@binkert.org 11347007Snate@binkert.orgTransitionResult 11357007Snate@binkert.org${ident}_Controller::doTransitionWorker(${ident}_Event event, 11367007Snate@binkert.org ${ident}_State state, 11377007Snate@binkert.org ${ident}_State& next_state, 11387839Snilay@cs.wisc.edu''') 11397839Snilay@cs.wisc.edu 11407839Snilay@cs.wisc.edu if self.TBEType != None: 11417839Snilay@cs.wisc.edu code(''' 11427839Snilay@cs.wisc.edu ${{self.TBEType.c_ident}}*& m_tbe_ptr, 11437839Snilay@cs.wisc.edu''') 11447839Snilay@cs.wisc.edu if self.EntryType != None: 11457839Snilay@cs.wisc.edu code(''' 11467839Snilay@cs.wisc.edu ${{self.EntryType.c_ident}}*& m_cache_entry_ptr, 11477839Snilay@cs.wisc.edu''') 11487839Snilay@cs.wisc.edu code(''' 11497007Snate@binkert.org const Address& addr) 11506657Snate@binkert.org{ 11516657Snate@binkert.org switch(HASH_FUN(state, event)) { 11526657Snate@binkert.org''') 11536657Snate@binkert.org 11546657Snate@binkert.org # This map will allow suppress generating duplicate code 11556657Snate@binkert.org cases = orderdict() 11566657Snate@binkert.org 11576657Snate@binkert.org for trans in self.transitions: 11586657Snate@binkert.org case_string = "%s_State_%s, %s_Event_%s" % \ 11596657Snate@binkert.org (self.ident, trans.state.ident, self.ident, trans.event.ident) 11606657Snate@binkert.org 11616999Snate@binkert.org case = self.symtab.codeFormatter() 11626657Snate@binkert.org # Only set next_state if it changes 11636657Snate@binkert.org if trans.state != trans.nextState: 11646657Snate@binkert.org ns_ident = trans.nextState.ident 11656657Snate@binkert.org case('next_state = ${ident}_State_${ns_ident};') 11666657Snate@binkert.org 11676657Snate@binkert.org actions = trans.actions 11686657Snate@binkert.org 11696657Snate@binkert.org # Check for resources 11706657Snate@binkert.org case_sorter = [] 11716657Snate@binkert.org res = trans.resources 11726657Snate@binkert.org for key,val in res.iteritems(): 11736657Snate@binkert.org if key.type.ident != "DNUCAStopTable": 11746657Snate@binkert.org val = ''' 11757007Snate@binkert.orgif (!%s.areNSlotsAvailable(%s)) 11766657Snate@binkert.org return TransitionResult_ResourceStall; 11776657Snate@binkert.org''' % (key.code, val) 11786657Snate@binkert.org case_sorter.append(val) 11796657Snate@binkert.org 11806657Snate@binkert.org 11816657Snate@binkert.org # Emit the code sequences in a sorted order. This makes the 11826657Snate@binkert.org # output deterministic (without this the output order can vary 11836657Snate@binkert.org # since Map's keys() on a vector of pointers is not deterministic 11846657Snate@binkert.org for c in sorted(case_sorter): 11856657Snate@binkert.org case("$c") 11866657Snate@binkert.org 11876657Snate@binkert.org # Figure out if we stall 11886657Snate@binkert.org stall = False 11896657Snate@binkert.org for action in actions: 11906657Snate@binkert.org if action.ident == "z_stall": 11916657Snate@binkert.org stall = True 11926657Snate@binkert.org break 11936657Snate@binkert.org 11946657Snate@binkert.org if stall: 11956657Snate@binkert.org case('return TransitionResult_ProtocolStall;') 11966657Snate@binkert.org else: 11977839Snilay@cs.wisc.edu if self.TBEType != None and self.EntryType != None: 11987839Snilay@cs.wisc.edu for action in actions: 11997839Snilay@cs.wisc.edu case('${{action.ident}}(m_tbe_ptr, m_cache_entry_ptr, addr);') 12007839Snilay@cs.wisc.edu elif self.TBEType != None: 12017839Snilay@cs.wisc.edu for action in actions: 12027839Snilay@cs.wisc.edu case('${{action.ident}}(m_tbe_ptr, addr);') 12037839Snilay@cs.wisc.edu elif self.EntryType != None: 12047839Snilay@cs.wisc.edu for action in actions: 12057839Snilay@cs.wisc.edu case('${{action.ident}}(m_cache_entry_ptr, addr);') 12067839Snilay@cs.wisc.edu else: 12077839Snilay@cs.wisc.edu for action in actions: 12087839Snilay@cs.wisc.edu case('${{action.ident}}(addr);') 12096657Snate@binkert.org case('return TransitionResult_Valid;') 12106657Snate@binkert.org 12116657Snate@binkert.org case = str(case) 12126657Snate@binkert.org 12136657Snate@binkert.org # Look to see if this transition code is unique. 12146657Snate@binkert.org if case not in cases: 12156657Snate@binkert.org cases[case] = [] 12166657Snate@binkert.org 12176657Snate@binkert.org cases[case].append(case_string) 12186657Snate@binkert.org 12196657Snate@binkert.org # Walk through all of the unique code blocks and spit out the 12206657Snate@binkert.org # corresponding case statement elements 12216657Snate@binkert.org for case,transitions in cases.iteritems(): 12226657Snate@binkert.org # Iterative over all the multiple transitions that share 12236657Snate@binkert.org # the same code 12246657Snate@binkert.org for trans in transitions: 12256657Snate@binkert.org code(' case HASH_FUN($trans):') 12266657Snate@binkert.org code(' $case') 12276657Snate@binkert.org 12286657Snate@binkert.org code(''' 12296657Snate@binkert.org default: 12307805Snilay@cs.wisc.edu fatal("Invalid transition\\n" 12317805Snilay@cs.wisc.edu "version: %d time: %d addr: %s event: %s state: %s\\n", 12327805Snilay@cs.wisc.edu m_version, g_eventQueue_ptr->getTime(), addr, event, state); 12336657Snate@binkert.org } 12346657Snate@binkert.org return TransitionResult_Valid; 12356657Snate@binkert.org} 12366657Snate@binkert.org''') 12376657Snate@binkert.org code.write(path, "%s_Transitions.cc" % self.ident) 12386657Snate@binkert.org 12397542SBrad.Beckmann@amd.com def printProfileDumperHH(self, path): 12407542SBrad.Beckmann@amd.com code = self.symtab.codeFormatter() 12417542SBrad.Beckmann@amd.com ident = self.ident 12427542SBrad.Beckmann@amd.com 12437542SBrad.Beckmann@amd.com code(''' 12447542SBrad.Beckmann@amd.com// Auto generated C++ code started by $__file__:$__line__ 12457542SBrad.Beckmann@amd.com// ${ident}: ${{self.short}} 12467542SBrad.Beckmann@amd.com 12477542SBrad.Beckmann@amd.com#ifndef __${ident}_PROFILE_DUMPER_HH__ 12487542SBrad.Beckmann@amd.com#define __${ident}_PROFILE_DUMPER_HH__ 12497542SBrad.Beckmann@amd.com 12507832Snate@binkert.org#include <cassert> 12517542SBrad.Beckmann@amd.com#include <iostream> 12527542SBrad.Beckmann@amd.com#include <vector> 12537542SBrad.Beckmann@amd.com 12547542SBrad.Beckmann@amd.com#include "${ident}_Profiler.hh" 12557542SBrad.Beckmann@amd.com#include "${ident}_Event.hh" 12567542SBrad.Beckmann@amd.com 12577542SBrad.Beckmann@amd.comtypedef std::vector<${ident}_Profiler *> ${ident}_profilers; 12587542SBrad.Beckmann@amd.com 12597542SBrad.Beckmann@amd.comclass ${ident}_ProfileDumper 12607542SBrad.Beckmann@amd.com{ 12617542SBrad.Beckmann@amd.com public: 12627542SBrad.Beckmann@amd.com ${ident}_ProfileDumper(); 12637542SBrad.Beckmann@amd.com void registerProfiler(${ident}_Profiler* profiler); 12647542SBrad.Beckmann@amd.com void dumpStats(std::ostream& out) const; 12657542SBrad.Beckmann@amd.com 12667542SBrad.Beckmann@amd.com private: 12677542SBrad.Beckmann@amd.com ${ident}_profilers m_profilers; 12687542SBrad.Beckmann@amd.com}; 12697542SBrad.Beckmann@amd.com 12707542SBrad.Beckmann@amd.com#endif // __${ident}_PROFILE_DUMPER_HH__ 12717542SBrad.Beckmann@amd.com''') 12727542SBrad.Beckmann@amd.com code.write(path, "%s_ProfileDumper.hh" % self.ident) 12737542SBrad.Beckmann@amd.com 12747542SBrad.Beckmann@amd.com def printProfileDumperCC(self, path): 12757542SBrad.Beckmann@amd.com code = self.symtab.codeFormatter() 12767542SBrad.Beckmann@amd.com ident = self.ident 12777542SBrad.Beckmann@amd.com 12787542SBrad.Beckmann@amd.com code(''' 12797542SBrad.Beckmann@amd.com// Auto generated C++ code started by $__file__:$__line__ 12807542SBrad.Beckmann@amd.com// ${ident}: ${{self.short}} 12817542SBrad.Beckmann@amd.com 12827542SBrad.Beckmann@amd.com#include "mem/protocol/${ident}_ProfileDumper.hh" 12837542SBrad.Beckmann@amd.com 12847542SBrad.Beckmann@amd.com${ident}_ProfileDumper::${ident}_ProfileDumper() 12857542SBrad.Beckmann@amd.com{ 12867542SBrad.Beckmann@amd.com} 12877542SBrad.Beckmann@amd.com 12887542SBrad.Beckmann@amd.comvoid 12897542SBrad.Beckmann@amd.com${ident}_ProfileDumper::registerProfiler(${ident}_Profiler* profiler) 12907542SBrad.Beckmann@amd.com{ 12917542SBrad.Beckmann@amd.com m_profilers.push_back(profiler); 12927542SBrad.Beckmann@amd.com} 12937542SBrad.Beckmann@amd.com 12947542SBrad.Beckmann@amd.comvoid 12957542SBrad.Beckmann@amd.com${ident}_ProfileDumper::dumpStats(std::ostream& out) const 12967542SBrad.Beckmann@amd.com{ 12977542SBrad.Beckmann@amd.com out << " --- ${ident} ---\\n"; 12987542SBrad.Beckmann@amd.com out << " - Event Counts -\\n"; 12997542SBrad.Beckmann@amd.com for (${ident}_Event event = ${ident}_Event_FIRST; 13007542SBrad.Beckmann@amd.com event < ${ident}_Event_NUM; 13017542SBrad.Beckmann@amd.com ++event) { 13027542SBrad.Beckmann@amd.com out << (${ident}_Event) event << " ["; 13037542SBrad.Beckmann@amd.com uint64 total = 0; 13047542SBrad.Beckmann@amd.com for (int i = 0; i < m_profilers.size(); i++) { 13057542SBrad.Beckmann@amd.com out << m_profilers[i]->getEventCount(event) << " "; 13067542SBrad.Beckmann@amd.com total += m_profilers[i]->getEventCount(event); 13077542SBrad.Beckmann@amd.com } 13087542SBrad.Beckmann@amd.com out << "] " << total << "\\n"; 13097542SBrad.Beckmann@amd.com } 13107542SBrad.Beckmann@amd.com out << "\\n"; 13117542SBrad.Beckmann@amd.com out << " - Transitions -\\n"; 13127542SBrad.Beckmann@amd.com for (${ident}_State state = ${ident}_State_FIRST; 13137542SBrad.Beckmann@amd.com state < ${ident}_State_NUM; 13147542SBrad.Beckmann@amd.com ++state) { 13157542SBrad.Beckmann@amd.com for (${ident}_Event event = ${ident}_Event_FIRST; 13167542SBrad.Beckmann@amd.com event < ${ident}_Event_NUM; 13177542SBrad.Beckmann@amd.com ++event) { 13187542SBrad.Beckmann@amd.com if (m_profilers[0]->isPossible(state, event)) { 13197542SBrad.Beckmann@amd.com out << (${ident}_State) state << " " 13207542SBrad.Beckmann@amd.com << (${ident}_Event) event << " ["; 13217542SBrad.Beckmann@amd.com uint64 total = 0; 13227542SBrad.Beckmann@amd.com for (int i = 0; i < m_profilers.size(); i++) { 13237542SBrad.Beckmann@amd.com out << m_profilers[i]->getTransitionCount(state, event) << " "; 13247542SBrad.Beckmann@amd.com total += m_profilers[i]->getTransitionCount(state, event); 13257542SBrad.Beckmann@amd.com } 13267542SBrad.Beckmann@amd.com out << "] " << total << "\\n"; 13277542SBrad.Beckmann@amd.com } 13287542SBrad.Beckmann@amd.com } 13297542SBrad.Beckmann@amd.com out << "\\n"; 13307542SBrad.Beckmann@amd.com } 13317542SBrad.Beckmann@amd.com} 13327542SBrad.Beckmann@amd.com''') 13337542SBrad.Beckmann@amd.com code.write(path, "%s_ProfileDumper.cc" % self.ident) 13347542SBrad.Beckmann@amd.com 13356657Snate@binkert.org def printProfilerHH(self, path): 13366999Snate@binkert.org code = self.symtab.codeFormatter() 13376657Snate@binkert.org ident = self.ident 13386657Snate@binkert.org 13396657Snate@binkert.org code(''' 13406657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 13416657Snate@binkert.org// ${ident}: ${{self.short}} 13426657Snate@binkert.org 13437542SBrad.Beckmann@amd.com#ifndef __${ident}_PROFILER_HH__ 13447542SBrad.Beckmann@amd.com#define __${ident}_PROFILER_HH__ 13456657Snate@binkert.org 13467832Snate@binkert.org#include <cassert> 13477002Snate@binkert.org#include <iostream> 13487002Snate@binkert.org 13496657Snate@binkert.org#include "mem/ruby/common/Global.hh" 13506657Snate@binkert.org#include "mem/protocol/${ident}_State.hh" 13516657Snate@binkert.org#include "mem/protocol/${ident}_Event.hh" 13526657Snate@binkert.org 13537007Snate@binkert.orgclass ${ident}_Profiler 13547007Snate@binkert.org{ 13556657Snate@binkert.org public: 13566657Snate@binkert.org ${ident}_Profiler(); 13576657Snate@binkert.org void setVersion(int version); 13586657Snate@binkert.org void countTransition(${ident}_State state, ${ident}_Event event); 13596657Snate@binkert.org void possibleTransition(${ident}_State state, ${ident}_Event event); 13607542SBrad.Beckmann@amd.com uint64 getEventCount(${ident}_Event event); 13617542SBrad.Beckmann@amd.com bool isPossible(${ident}_State state, ${ident}_Event event); 13627542SBrad.Beckmann@amd.com uint64 getTransitionCount(${ident}_State state, ${ident}_Event event); 13636657Snate@binkert.org void clearStats(); 13646657Snate@binkert.org 13656657Snate@binkert.org private: 13666657Snate@binkert.org int m_counters[${ident}_State_NUM][${ident}_Event_NUM]; 13676657Snate@binkert.org int m_event_counters[${ident}_Event_NUM]; 13686657Snate@binkert.org bool m_possible[${ident}_State_NUM][${ident}_Event_NUM]; 13696657Snate@binkert.org int m_version; 13706657Snate@binkert.org}; 13716657Snate@binkert.org 13727007Snate@binkert.org#endif // __${ident}_PROFILER_HH__ 13736657Snate@binkert.org''') 13746657Snate@binkert.org code.write(path, "%s_Profiler.hh" % self.ident) 13756657Snate@binkert.org 13766657Snate@binkert.org def printProfilerCC(self, path): 13776999Snate@binkert.org code = self.symtab.codeFormatter() 13786657Snate@binkert.org ident = self.ident 13796657Snate@binkert.org 13806657Snate@binkert.org code(''' 13816657Snate@binkert.org// Auto generated C++ code started by $__file__:$__line__ 13826657Snate@binkert.org// ${ident}: ${{self.short}} 13836657Snate@binkert.org 13847832Snate@binkert.org#include <cassert> 13857832Snate@binkert.org 13866657Snate@binkert.org#include "mem/protocol/${ident}_Profiler.hh" 13876657Snate@binkert.org 13886657Snate@binkert.org${ident}_Profiler::${ident}_Profiler() 13896657Snate@binkert.org{ 13906657Snate@binkert.org for (int state = 0; state < ${ident}_State_NUM; state++) { 13916657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 13926657Snate@binkert.org m_possible[state][event] = false; 13936657Snate@binkert.org m_counters[state][event] = 0; 13946657Snate@binkert.org } 13956657Snate@binkert.org } 13966657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 13976657Snate@binkert.org m_event_counters[event] = 0; 13986657Snate@binkert.org } 13996657Snate@binkert.org} 14007007Snate@binkert.org 14017007Snate@binkert.orgvoid 14027007Snate@binkert.org${ident}_Profiler::setVersion(int version) 14036657Snate@binkert.org{ 14046657Snate@binkert.org m_version = version; 14056657Snate@binkert.org} 14067007Snate@binkert.org 14077007Snate@binkert.orgvoid 14087007Snate@binkert.org${ident}_Profiler::clearStats() 14096657Snate@binkert.org{ 14106657Snate@binkert.org for (int state = 0; state < ${ident}_State_NUM; state++) { 14116657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 14126657Snate@binkert.org m_counters[state][event] = 0; 14136657Snate@binkert.org } 14146657Snate@binkert.org } 14156657Snate@binkert.org 14166657Snate@binkert.org for (int event = 0; event < ${ident}_Event_NUM; event++) { 14176657Snate@binkert.org m_event_counters[event] = 0; 14186657Snate@binkert.org } 14196657Snate@binkert.org} 14207007Snate@binkert.orgvoid 14217007Snate@binkert.org${ident}_Profiler::countTransition(${ident}_State state, ${ident}_Event event) 14226657Snate@binkert.org{ 14236657Snate@binkert.org assert(m_possible[state][event]); 14246657Snate@binkert.org m_counters[state][event]++; 14256657Snate@binkert.org m_event_counters[event]++; 14266657Snate@binkert.org} 14277007Snate@binkert.orgvoid 14287007Snate@binkert.org${ident}_Profiler::possibleTransition(${ident}_State state, 14297007Snate@binkert.org ${ident}_Event event) 14306657Snate@binkert.org{ 14316657Snate@binkert.org m_possible[state][event] = true; 14326657Snate@binkert.org} 14337007Snate@binkert.org 14347542SBrad.Beckmann@amd.comuint64 14357542SBrad.Beckmann@amd.com${ident}_Profiler::getEventCount(${ident}_Event event) 14366657Snate@binkert.org{ 14377542SBrad.Beckmann@amd.com return m_event_counters[event]; 14387542SBrad.Beckmann@amd.com} 14397002Snate@binkert.org 14407542SBrad.Beckmann@amd.combool 14417542SBrad.Beckmann@amd.com${ident}_Profiler::isPossible(${ident}_State state, ${ident}_Event event) 14427542SBrad.Beckmann@amd.com{ 14437542SBrad.Beckmann@amd.com return m_possible[state][event]; 14446657Snate@binkert.org} 14457542SBrad.Beckmann@amd.com 14467542SBrad.Beckmann@amd.comuint64 14477542SBrad.Beckmann@amd.com${ident}_Profiler::getTransitionCount(${ident}_State state, 14487542SBrad.Beckmann@amd.com ${ident}_Event event) 14497542SBrad.Beckmann@amd.com{ 14507542SBrad.Beckmann@amd.com return m_counters[state][event]; 14517542SBrad.Beckmann@amd.com} 14527542SBrad.Beckmann@amd.com 14536657Snate@binkert.org''') 14546657Snate@binkert.org code.write(path, "%s_Profiler.cc" % self.ident) 14556657Snate@binkert.org 14566657Snate@binkert.org # ************************** 14576657Snate@binkert.org # ******* HTML Files ******* 14586657Snate@binkert.org # ************************** 14597007Snate@binkert.org def frameRef(self, click_href, click_target, over_href, over_num, text): 14606999Snate@binkert.org code = self.symtab.codeFormatter(fix_newlines=False) 14617007Snate@binkert.org code("""<A href=\"$click_href\" target=\"$click_target\" onmouseover=\" 14627007Snate@binkert.org if (parent.frames[$over_num].location != parent.location + '$over_href') { 14637007Snate@binkert.org parent.frames[$over_num].location='$over_href' 14647007Snate@binkert.org }\"> 14657007Snate@binkert.org ${{html.formatShorthand(text)}} 14667007Snate@binkert.org </A>""") 14676657Snate@binkert.org return str(code) 14686657Snate@binkert.org 14696657Snate@binkert.org def writeHTMLFiles(self, path): 14706657Snate@binkert.org # Create table with no row hilighted 14716657Snate@binkert.org self.printHTMLTransitions(path, None) 14726657Snate@binkert.org 14736657Snate@binkert.org # Generate transition tables 14746657Snate@binkert.org for state in self.states.itervalues(): 14756657Snate@binkert.org self.printHTMLTransitions(path, state) 14766657Snate@binkert.org 14776657Snate@binkert.org # Generate action descriptions 14786657Snate@binkert.org for action in self.actions.itervalues(): 14796657Snate@binkert.org name = "%s_action_%s.html" % (self.ident, action.ident) 14806657Snate@binkert.org code = html.createSymbol(action, "Action") 14816657Snate@binkert.org code.write(path, name) 14826657Snate@binkert.org 14836657Snate@binkert.org # Generate state descriptions 14846657Snate@binkert.org for state in self.states.itervalues(): 14856657Snate@binkert.org name = "%s_State_%s.html" % (self.ident, state.ident) 14866657Snate@binkert.org code = html.createSymbol(state, "State") 14876657Snate@binkert.org code.write(path, name) 14886657Snate@binkert.org 14896657Snate@binkert.org # Generate event descriptions 14906657Snate@binkert.org for event in self.events.itervalues(): 14916657Snate@binkert.org name = "%s_Event_%s.html" % (self.ident, event.ident) 14926657Snate@binkert.org code = html.createSymbol(event, "Event") 14936657Snate@binkert.org code.write(path, name) 14946657Snate@binkert.org 14956657Snate@binkert.org def printHTMLTransitions(self, path, active_state): 14966999Snate@binkert.org code = self.symtab.codeFormatter() 14976657Snate@binkert.org 14986657Snate@binkert.org code(''' 14997007Snate@binkert.org<HTML> 15007007Snate@binkert.org<BODY link="blue" vlink="blue"> 15016657Snate@binkert.org 15026657Snate@binkert.org<H1 align="center">${{html.formatShorthand(self.short)}}: 15036657Snate@binkert.org''') 15046657Snate@binkert.org code.indent() 15056657Snate@binkert.org for i,machine in enumerate(self.symtab.getAllType(StateMachine)): 15066657Snate@binkert.org mid = machine.ident 15076657Snate@binkert.org if i != 0: 15086657Snate@binkert.org extra = " - " 15096657Snate@binkert.org else: 15106657Snate@binkert.org extra = "" 15116657Snate@binkert.org if machine == self: 15126657Snate@binkert.org code('$extra$mid') 15136657Snate@binkert.org else: 15146657Snate@binkert.org code('$extra<A target="Table" href="${mid}_table.html">$mid</A>') 15156657Snate@binkert.org code.dedent() 15166657Snate@binkert.org 15176657Snate@binkert.org code(""" 15186657Snate@binkert.org</H1> 15196657Snate@binkert.org 15206657Snate@binkert.org<TABLE border=1> 15216657Snate@binkert.org<TR> 15226657Snate@binkert.org <TH> </TH> 15236657Snate@binkert.org""") 15246657Snate@binkert.org 15256657Snate@binkert.org for event in self.events.itervalues(): 15266657Snate@binkert.org href = "%s_Event_%s.html" % (self.ident, event.ident) 15276657Snate@binkert.org ref = self.frameRef(href, "Status", href, "1", event.short) 15286657Snate@binkert.org code('<TH bgcolor=white>$ref</TH>') 15296657Snate@binkert.org 15306657Snate@binkert.org code('</TR>') 15316657Snate@binkert.org # -- Body of table 15326657Snate@binkert.org for state in self.states.itervalues(): 15336657Snate@binkert.org # -- Each row 15346657Snate@binkert.org if state == active_state: 15356657Snate@binkert.org color = "yellow" 15366657Snate@binkert.org else: 15376657Snate@binkert.org color = "white" 15386657Snate@binkert.org 15396657Snate@binkert.org click = "%s_table_%s.html" % (self.ident, state.ident) 15406657Snate@binkert.org over = "%s_State_%s.html" % (self.ident, state.ident) 15416657Snate@binkert.org text = html.formatShorthand(state.short) 15426657Snate@binkert.org ref = self.frameRef(click, "Table", over, "1", state.short) 15436657Snate@binkert.org code(''' 15446657Snate@binkert.org<TR> 15456657Snate@binkert.org <TH bgcolor=$color>$ref</TH> 15466657Snate@binkert.org''') 15476657Snate@binkert.org 15486657Snate@binkert.org # -- One column for each event 15496657Snate@binkert.org for event in self.events.itervalues(): 15506657Snate@binkert.org trans = self.table.get((state,event), None) 15516657Snate@binkert.org if trans is None: 15526657Snate@binkert.org # This is the no transition case 15536657Snate@binkert.org if state == active_state: 15546657Snate@binkert.org color = "#C0C000" 15556657Snate@binkert.org else: 15566657Snate@binkert.org color = "lightgrey" 15576657Snate@binkert.org 15586657Snate@binkert.org code('<TD bgcolor=$color> </TD>') 15596657Snate@binkert.org continue 15606657Snate@binkert.org 15616657Snate@binkert.org next = trans.nextState 15626657Snate@binkert.org stall_action = False 15636657Snate@binkert.org 15646657Snate@binkert.org # -- Get the actions 15656657Snate@binkert.org for action in trans.actions: 15666657Snate@binkert.org if action.ident == "z_stall" or \ 15676657Snate@binkert.org action.ident == "zz_recycleMandatoryQueue": 15686657Snate@binkert.org stall_action = True 15696657Snate@binkert.org 15706657Snate@binkert.org # -- Print out "actions/next-state" 15716657Snate@binkert.org if stall_action: 15726657Snate@binkert.org if state == active_state: 15736657Snate@binkert.org color = "#C0C000" 15746657Snate@binkert.org else: 15756657Snate@binkert.org color = "lightgrey" 15766657Snate@binkert.org 15776657Snate@binkert.org elif active_state and next.ident == active_state.ident: 15786657Snate@binkert.org color = "aqua" 15796657Snate@binkert.org elif state == active_state: 15806657Snate@binkert.org color = "yellow" 15816657Snate@binkert.org else: 15826657Snate@binkert.org color = "white" 15836657Snate@binkert.org 15846657Snate@binkert.org code('<TD bgcolor=$color>') 15856657Snate@binkert.org for action in trans.actions: 15866657Snate@binkert.org href = "%s_action_%s.html" % (self.ident, action.ident) 15876657Snate@binkert.org ref = self.frameRef(href, "Status", href, "1", 15886657Snate@binkert.org action.short) 15897007Snate@binkert.org code(' $ref') 15906657Snate@binkert.org if next != state: 15916657Snate@binkert.org if trans.actions: 15926657Snate@binkert.org code('/') 15936657Snate@binkert.org click = "%s_table_%s.html" % (self.ident, next.ident) 15946657Snate@binkert.org over = "%s_State_%s.html" % (self.ident, next.ident) 15956657Snate@binkert.org ref = self.frameRef(click, "Table", over, "1", next.short) 15966657Snate@binkert.org code("$ref") 15977007Snate@binkert.org code("</TD>") 15986657Snate@binkert.org 15996657Snate@binkert.org # -- Each row 16006657Snate@binkert.org if state == active_state: 16016657Snate@binkert.org color = "yellow" 16026657Snate@binkert.org else: 16036657Snate@binkert.org color = "white" 16046657Snate@binkert.org 16056657Snate@binkert.org click = "%s_table_%s.html" % (self.ident, state.ident) 16066657Snate@binkert.org over = "%s_State_%s.html" % (self.ident, state.ident) 16076657Snate@binkert.org ref = self.frameRef(click, "Table", over, "1", state.short) 16086657Snate@binkert.org code(''' 16096657Snate@binkert.org <TH bgcolor=$color>$ref</TH> 16106657Snate@binkert.org</TR> 16116657Snate@binkert.org''') 16126657Snate@binkert.org code(''' 16137007Snate@binkert.org<!- Column footer-> 16146657Snate@binkert.org<TR> 16156657Snate@binkert.org <TH> </TH> 16166657Snate@binkert.org''') 16176657Snate@binkert.org 16186657Snate@binkert.org for event in self.events.itervalues(): 16196657Snate@binkert.org href = "%s_Event_%s.html" % (self.ident, event.ident) 16206657Snate@binkert.org ref = self.frameRef(href, "Status", href, "1", event.short) 16216657Snate@binkert.org code('<TH bgcolor=white>$ref</TH>') 16226657Snate@binkert.org code(''' 16236657Snate@binkert.org</TR> 16246657Snate@binkert.org</TABLE> 16256657Snate@binkert.org</BODY></HTML> 16266657Snate@binkert.org''') 16276657Snate@binkert.org 16286657Snate@binkert.org 16296657Snate@binkert.org if active_state: 16306657Snate@binkert.org name = "%s_table_%s.html" % (self.ident, active_state.ident) 16316657Snate@binkert.org else: 16326657Snate@binkert.org name = "%s_table.html" % self.ident 16336657Snate@binkert.org code.write(path, name) 16346657Snate@binkert.org 16356657Snate@binkert.org__all__ = [ "StateMachine" ] 1636