c82a8979a3
The purpose of this patch is to change the way CacheMemory interfaces with coherence protocols. Currently, whenever a cache controller (defined in the protocol under consideration) needs to carry out any operation on a cache block, it looks up the tag hash map and figures out whether or not the block exists in the cache. In case it does exist, the operation is carried out (which requires another lookup). As observed through profiling of different protocols, multiple such lookups take place for a given cache block. It was noted that the tag lookup takes anything from 10% to 20% of the simulation time. In order to reduce this time, this patch is being posted. I have to acknowledge that the many of the thoughts that went in to this patch belong to Brad. Changes to CacheMemory, TBETable and AbstractCacheEntry classes: 1. The lookup function belonging to CacheMemory class now returns a pointer to a cache block entry, instead of a reference. The pointer is NULL in case the block being looked up is not present in the cache. Similar change has been carried out in the lookup function of the TBETable class. 2. Function for setting and getting access permission of a cache block have been moved from CacheMemory class to AbstractCacheEntry class. 3. The allocate function in CacheMemory class now returns pointer to the allocated cache entry. Changes to SLICC: 1. Each action now has implicit variables - cache_entry and tbe. cache_entry, if != NULL, must point to the cache entry for the address on which the action is being carried out. Similarly, tbe should also point to the transaction buffer entry of the address on which the action is being carried out. 2. If a cache entry or a transaction buffer entry is passed on as an argument to a function, it is presumed that a pointer is being passed on. 3. The cache entry and the tbe pointers received __implicitly__ by the actions, are passed __explicitly__ to the trigger function. 4. While performing an action, set/unset_cache_entry, set/unset_tbe are to be used for setting / unsetting cache entry and tbe pointers respectively. 5. is_valid() and is_invalid() has been made available for testing whether a given pointer 'is not NULL' and 'is NULL' respectively. 6. Local variables are now available, but they are assumed to be pointers always. 7. It is now possible for an object of the derieved class to make calls to a function defined in the interface. 8. An OOD token has been introduced in SLICC. It is same as the NULL token used in C/C++. If you are wondering, OOD stands for Out Of Domain. 9. static_cast can now taken an optional parameter that asks for casting the given variable to a pointer of the given type. 10. Functions can be annotated with 'return_by_pointer=yes' to return a pointer. 11. StateMachine has two new variables, EntryType and TBEType. EntryType is set to the type which inherits from 'AbstractCacheEntry'. There can only be one such type in the machine. TBEType is set to the type for which 'TBE' is used as the name. All the protocols have been modified to conform with the new interface.
142 lines
5.5 KiB
Python
142 lines
5.5 KiB
Python
# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood
|
|
# Copyright (c) 2009 The Hewlett-Packard Development Company
|
|
# All rights reserved.
|
|
#
|
|
# Redistribution and use in source and binary forms, with or without
|
|
# modification, are permitted provided that the following conditions are
|
|
# met: redistributions of source code must retain the above copyright
|
|
# notice, this list of conditions and the following disclaimer;
|
|
# redistributions in binary form must reproduce the above copyright
|
|
# notice, this list of conditions and the following disclaimer in the
|
|
# documentation and/or other materials provided with the distribution;
|
|
# neither the name of the copyright holders nor the names of its
|
|
# contributors may be used to endorse or promote products derived from
|
|
# this software without specific prior written permission.
|
|
#
|
|
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
from slicc.ast.DeclAST import DeclAST
|
|
from slicc.ast.TypeAST import TypeAST
|
|
from slicc.symbols import Func, Type, Var
|
|
|
|
class InPortDeclAST(DeclAST):
|
|
max_port_rank = 0
|
|
|
|
def __init__(self, slicc, ident, msg_type, var_expr, pairs, statements):
|
|
super(InPortDeclAST, self).__init__(slicc, pairs)
|
|
|
|
self.ident = ident
|
|
self.msg_type = msg_type
|
|
self.var_expr = var_expr
|
|
self.statements = statements
|
|
self.queue_type = TypeAST(slicc, "InPort")
|
|
if self.pairs.has_key("rank"):
|
|
InPortDeclAST.max_port_rank = max(self.pairs["rank"],
|
|
InPortDeclAST.max_port_rank)
|
|
|
|
def __repr__(self):
|
|
return "[InPortDecl: %s]" % self.ident
|
|
|
|
def generate(self):
|
|
symtab = self.symtab
|
|
void_type = symtab.find("void", Type)
|
|
|
|
machine = symtab.state_machine
|
|
if machine is None:
|
|
self.error("InPort declaration not part of a machine.")
|
|
|
|
code = self.slicc.codeFormatter()
|
|
queue_type = self.var_expr.generate(code)
|
|
if not queue_type.isInPort:
|
|
self.error("The inport queue's type must have the 'inport' " + \
|
|
"attribute. Type '%s' does not have this attribute.",
|
|
queue_type)
|
|
|
|
type = self.queue_type.type
|
|
in_port = Var(self.symtab, self.ident, self.location, type, str(code),
|
|
self.pairs)
|
|
symtab.newSymbol(in_port)
|
|
|
|
symtab.pushFrame()
|
|
param_types = []
|
|
|
|
# Check for Event
|
|
type = symtab.find("Event", Type)
|
|
if type is None:
|
|
self.error("in_port decls require 'Event' enumeration defined")
|
|
param_types.append(type)
|
|
|
|
# Check for Address
|
|
type = symtab.find("Address", Type)
|
|
if type is None:
|
|
self.error("in_port decls require 'Address' type to be defined")
|
|
|
|
param_types.append(type)
|
|
|
|
if machine.EntryType != None:
|
|
param_types.append(machine.EntryType)
|
|
if machine.TBEType != None:
|
|
param_types.append(machine.TBEType)
|
|
|
|
# Add the trigger method - FIXME, this is a bit dirty
|
|
pairs = { "external" : "yes" }
|
|
func = Func(self.symtab, "trigger", self.location, void_type,
|
|
param_types, [], "", pairs, None)
|
|
symtab.newSymbol(func)
|
|
|
|
param_types = []
|
|
# Check for Event2
|
|
type = symtab.find("Event", Type)
|
|
if type is None:
|
|
self.error("in_port decls require 'Event' enumeration")
|
|
|
|
param_types.append(type)
|
|
|
|
# Check for Address2
|
|
type = symtab.find("Address", Type)
|
|
if type is None:
|
|
self.error("in_port decls require 'Address' type to be defined")
|
|
|
|
param_types.append(type)
|
|
|
|
# Add the doubleTrigger method - this hack supports tiggering
|
|
# two simulateous events
|
|
#
|
|
# The key is that the second transistion cannot fail because
|
|
# the first event cannot be undone therefore you must do some
|
|
# checks before calling double trigger to ensure that won't
|
|
# happen
|
|
func = Func(self.symtab, "doubleTrigger", self.location, void_type,
|
|
param_types, [], "", pairs, None)
|
|
symtab.newSymbol(func)
|
|
|
|
# Add the continueProcessing method - this hack supports
|
|
# messages that don't trigger events
|
|
func = Func(self.symtab, "continueProcessing", self.location,
|
|
void_type, [], [], "", pairs, None)
|
|
symtab.newSymbol(func)
|
|
|
|
if self.statements is not None:
|
|
rcode = self.slicc.codeFormatter()
|
|
rcode.indent()
|
|
rcode.indent()
|
|
self.statements.generate(rcode, None)
|
|
in_port["c_code_in_port"] = str(rcode)
|
|
|
|
symtab.popFrame()
|
|
|
|
# Add port to state machine
|
|
machine.addInPort(in_port)
|
|
|
|
# Include max_rank to be used by StateMachine.py
|
|
in_port["max_port_rank"] = InPortDeclAST.max_port_rank
|