Difference between revisions of "Ruby"

From gem5
Jump to: navigation, search
(→‎Basic Operation)
(Update replacement policy information)
 
(284 intermediate revisions by 9 users not shown)
Line 1: Line 1:
−
==Ruby==
+
== High level components of Ruby ==
−
=== High level components of Ruby ===
 
−
  Need to talk about the overview of Ruby and what are the major components.
 
−
''Rathijit will do it''
 
  
−
==== SLICC + Coherence protocols: ====
+
Ruby implements a detailed simulation model for the memory subsystem. It models inclusive/exclusive cache hierarchies with various [[Replacement_policy|replacement policies]], coherence protocol implementations, interconnection networks, DMA and memory controllers, various sequencers that initiate memory requests and handle responses. The models are modular, flexible and highly configurable. Three key aspects of these models are:
−
    Need to say what is SLICC and whats its purpose.  
 
−
    Talk about high level strcture of a typical coherence protocol file, that SLICC uses to generate code.  
 
−
    A simple example structure from protocol like MI_example can help here.
 
  
−
''Nilay will do it''
+
# Separation of concerns -- for example, the coherence protocol specifications are separate from the replacement policies and cache index mapping, the network topology is specified separately from the implementation.
 +
# Rich configurability -- almost any aspect affecting the memory hierarchy functionality and timing can be controlled.
 +
# Rapid prototyping -- a high-level specification language, SLICC, is used to specify functionality of various controllers.
  
−
==== Protocol independent memory components ====
+
The following picture, taken from the GEMS tutorial in ISCA 2005, shows a high-level view of the main components in Ruby.
−
# Cache Memory
+
[[File:ruby_overview.jpg|600px|center]]
−
# Replacement Policies
 
−
# Memory Controller
 
  
−
''Arka will do it''
+
=== SLICC + Coherence protocols: ===
 +
 
 +
'''''[[SLICC]]''''' stands for ''Specification Language for Implementing Cache Coherence''. It is a domain specific language that is used for specifying cache coherence protocols. In essence, a cache coherence protocol behaves like a state machine. SLICC is used for specifying the behavior of the state machine. Since the aim is to model the hardware as close as possible, SLICC imposes constraints on the state machines that can be specified. For example, SLICC can impose restrictions on the number of transitions that can take place in a single cycle. Apart from protocol specification, SLICC also combines together some of the components in the memory model. As can be seen in the following picture, the state machine takes its input from the input ports of the inter-connection network and queues the output at the output ports of the network, thus tying together the cache / memory controllers with the inter-connection network itself.
  
−
==== Interconnection Network ====
+
[[File:slicc_overview.jpg|700px|center]]
  
−
The interconnection network connects the various components of the memory hierarchy (cache, memory, dma controllers) together. There are 3 key parts to this:
+
The following cache coherence protocols are supported:
−
 
−
# '''Topology specification''': These are specified with python files that describe the topology (mesh/crossbar/ etc.), link latencies and link bandwidth. The network topology is thus configurable.
 
−
# '''Cycle-accurate network model''': [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4919636 Garnet] is a cycle accurate, pipelined, network model that builds and simulates the specified topology. It simulates the router pipeline and movement of flits across the network subject to the routing algorithm, latency and bandwidth constraints.
 
−
# '''Network Power model''': The [http://www.princeton.edu/~peh/orion.html Orion] power model is used to keep track of router and link activity in the network. It calculates both router static power and link and router dynamic power as flits move through the network.
 
  
−
More details about the network model implementation are described [[#Interconnection_Network_2|here]]
+
# '''[[MI_example]]''': example protocol, 1-level cache.
 +
# '''[[MESI_Two_Level]]''': single chip, 2-level caches, strictly-inclusive hierarchy.
 +
# '''[[MOESI_CMP_directory]]''': multiple chips, 2-level caches, non-inclusive (neither strictly inclusive nor exclusive) hierarchy.
 +
# '''[[MOESI_CMP_token]]''': 2-level caches. TODO.
 +
# '''[[MOESI_hammer]]''': single chip, 2-level private caches, strictly-exclusive hierarchy.
 +
# '''[[Garnet_standalone]]''': protocol to run the Garnet network in a standalone manner.
 +
# '''[[MESI Three Level]]''': 3-level caches, strictly-inclusive hierarchy.
  
−
=== Implementation of Ruby ===
+
Commonly used notations and data structures in the protocols have been described in detail [[Cache Coherence Protocols|here]].
  
−
==== Directory Structure ====
+
=== Protocol independent memory components ===
  
−
* '''src/mem/'''
+
# '''Sequencer'''
−
** '''protocols''': SLICC specification for coherence protocols
+
# '''Cache Memory'''
−
** '''slicc''': implementation for SLICC parser and code generator
+
# '''Replacement Policies'''
−
** '''ruby'''
+
# '''Memory Controller'''
−
*** '''buffers''': implementation for message buffers that are used for exchanging information between the cache, directory, memory controllers and the interconnect
 
−
*** '''common''': frequently used data structures, e.g. Address (with bit-manipulation methods), histogram, data block, basic types (int32, uint64, etc.)
 
−
*** '''eventqueue''': Ruby’s event queue mechanism for scheduling events
 
−
*** '''filters''': various Bloom filters
 
−
*** '''network''': Interconnect implementation, sample topology specification, network power calculations
 
−
*** '''profiler''': Profiling for cache events, memory controller events
 
−
*** '''recorder''':  Cache warmup and access trace recording
 
−
*** '''slicc_interface''': Message data structure, various mappings (e.g. address to directory node), utility functions (e.g. conversion between address & int, convert address to cache line address)
 
−
*** '''system''': Protocol independent memory components – CacheMemory, DirectoryMemory, Sequencer, RubyPort
 
  
−
==== SLICC ====
+
In general cache coherence protocol independent components comprises of the Sequencer, Cache Memory structure, [[Replacement_policy|replacement policies]] and the Memory controller. The Sequencer class is responsible for feeding the memory subsystem (including the caches and the off-chip memory) with load/store/atomic memory requests from the processor. Every memory request when completed by the memory subsystem also send back the response to the processor via the Sequencer. There is one Sequencer for each hardware thread (or core) simulated in the system. The Cache Memory models a set-associative cache structure with parameterizable size, associativity, and replacement policy. L1, L2, L3 caches in the system are instances of Cache Memory, if they exist. The replacement policies are kept modular from the Cache Memory, so that different instances of Cache Memory can use different replacement policies of their choice. The Memory Controller is responsible for simulating and servicing any request that misses on all the on-chip caches of the simulated system. Memory Controller currently simple, but models DRAM ban contention, DRAM refresh faithfully. It also models close-page policy for DRAM buffer.  
−
    Explain functionality/ capability of SLICC
 
−
    Talk about
 
−
    AST, Symbols, Parser and code generation in some details but NO need to cover every file and/or functions.  
 
−
    Few examples should suffice.
 
  
−
''Nilay will do it''
+
'''''Each component is described in details [[Coherence-Protocol-Independent Memory Components|here]].'''''
  
−
==== Protocols ====
+
=== Interconnection Network ===
−
    Need to talk about each protocol being shipped. Need to talk about protocol specific configuration parameters.
 
−
    NO need to explain every action or every state/events, but need to give overall idea and how it works
 
−
    and assumptions (if any).
 
  
−
===== MI example =====
+
The interconnection network connects the various components of the memory hierarchy (cache, memory, dma controllers) together.
  
−
This is a simple cache coherence protocol that is used to illustrate protocol specification using SLICC.
+
[[File:Interconnection_network.jpg|600px|center]]
  
−
====== Related Files ======
+
The key components of an interconnection network are:
  
−
* '''src/mem/protocols'''
+
# '''Topology'''
−
** '''MI_example-cache.sm''': cache controller specification
+
# '''Routing'''
−
** '''MI_example-dir.sm''': directory controller specification
+
# '''Flow Control'''
−
** '''MI_example-dma.sm''': dma controller specification
+
# '''Router Microarchitecture'''
−
** '''MI_example-msg.sm''': message type specification
 
−
** '''MI_example.slicc''': container file
 
  
−
====== Cache Hierarchy ======
+
'''''More details about the network model implementation are described [[Interconnection Network|here]].'''''
  
−
This protocol assumes a 1-level cache hierarchy. The cache is private to each node. The caches are kept coherent by a directory controller. Since the hierarchy is only 1-level, there is no inclusion/exclusion requirement.
+
Alternatively, Interconnection network could be replaced with the external simulator [http://www.atc.unican.es/topaz/  TOPAZ]. This simulator is ready to run within gem5 and adds a significant number of [https://sites.google.com/site/atcgalerna/home-1/publications/files/NOCS-2012_Topaz.pdf?attredirects=0  features] over original ruby network simulator. It includes, new advanced router micro-architectures, new topologies, precision-performance adjustable router models, mechanisms to speed-up network simulation, etc ... The presentation of the tool (and the reason why is not included in the gem5 repostories)  is [http://thread.gmane.org/gmane.comp.emulators.m5.users/9651 here]
  
−
====== Stable States and Invariants ======
+
== Life of a memory request in Ruby ==
  
−
* '''M''' : The cache block has been accessed (read/written) by this node. No other node holds a copy of the cache block
+
In this section we will provide a high level overview of how a memory request is serviced by Ruby as a whole and what components in Ruby it goes through. For detailed operations within each components though, refer to previous sections describing each component in isolation.
−
* '''I''' : The cache block at this node is invalid
 
  
−
====== Cache controller ======
+
# A memory request from a core or hardware context of gem5 enters the jurisdiction of Ruby through the '''''RubyPort::recvTiming''''' interface (in src/mem/ruby/system/RubyPort.hh/cc). The number of Rubyport instantiation in the simulated system is equal to the number of hardware thread context or cores (in case of ''non-multithreaded'' cores). A port from the side of each core is tied to a corresponding RubyPort.
 +
# The memory request arrives as a gem5 packet and RubyPort is responsible for converting it to a RubyRequest object that is understood by various components of Ruby. It also finds out if the request is for some PIO or not and maneuvers the packet to correct PIO. Finally once it has generated the corresponding RubyRequest object and ascertained that the request is a ''normal'' memory request (not PIO access), it passes the request to the '''''Sequencer::makeRequest''''' interface of the attached Sequencer object with the port (variable ''ruby_port'' holds the pointer to it). Observe that Sequencer class itself is a derived class from the RubyPort class.
 +
# As mentioned in the section describing Sequencer class of Ruby, there are as many objects of Sequencer in a simulated system as the number of hardware thread context (which is also equal to the number of RubyPort object in the system) and there is an one-to-one mapping between the Sequencer objects and the hardware thread context. Once a memory request arrives at the '''''Sequencer::makeRequest''''', it does various accounting and resource allocation for the request and finally pushes the request to the Ruby's coherent cache hierarchy for satisfying the request while accounting for the delay in servicing the same. The request is pushed to the Cache hierarchy by enqueueing the request to the ''mandatory queue'' after accounting for L1 cache access latency. The ''mandatory queue'' (variable name ''m_mandatory_q_ptr'') effectively acts as the interface between the Sequencer and the SLICC generated cache coherence files.
 +
# L1 cache controllers (generated by SLICC according to the coherence protocol specifications) dequeues request from the ''mandatory queue'' and looks up the cache, makes necessary coherence state transitions and/or pushes the request to the next level of cache hierarchy as per the requirements. Different controller and components of SLICC generated Ruby code communicates among themselves through instantiations of ''MessageBuffer'' class of Ruby (src/mem/ruby/buffers/MessageBuffer.cc/hh) , which can act as ordered or unordered buffer or queues. Also the delays in servicing different steps for satisfying a memory request gets accounted for scheduling enqueue-ing and dequeue-ing operations accordingly. If the requested cache block may be found in L1 caches and with required coherence permissions then the request is satisfied and immediately returned. Otherwise the request is pushed to the next level of cache hierarchy through ''MessageBuffer''. A request can go all the way up to the Ruby's Memory Controller (also called Directory in many protocols).  Once the request get satisfied it is pushed upwards in the hierarchy through ''MessageBuffer''s.
 +
# The ''MessageBuffers'' also act as entry point of coherence messages to the on-chip interconnect modeled. The MesageBuffers are connected according to the interconnect topology specified. The coherence messages thus travel through this on-chip interconnect accordingly. 
 +
# Once the requested cache block is available at L1 cache with desired coherence permissions, the L1 cache controller informs the corresponding Sequencer object by calling its '''''readCallback''''' or ''''writeCallback''''' method depending upon the type of the request. Note that by the time these methods on Sequencer are called the latency of servicing the request has been implicitly accounted for.
 +
# The Sequencer then clears up the accounting information for the corresponding request and then calls the '''''RubyPort::ruby_hit_callback''''' method. This ultimately returns the result of the request to the corresponding port of the core/ hardware context of the frontend (gem5).
  
−
* Requests, Responses, Triggers:
+
== Directory Structure ==
−
** Load, Instruction fetch, Store from the core
 
−
** Replacement from self
 
−
** Data from the directory controller
 
−
** Forwarded request (intervention) from the directory controller
 
−
** Writeback acknowledgement from the directory controller
 
−
** Invalidations from directory controller (on dma activity)
 
  
−
* Main Operation:
+
* '''src/mem/'''
−
** On a '''load/Instruction fetch/Store''' request from the core:
+
** '''protocols''': SLICC specification for coherence protocols
−
*** it checks whether the corresponding block is present in the M state. If so, it returns a hit
+
** '''slicc''': implementation for SLICC parser and code generator
−
*** otherwise, if in I state, it initiates a GETX request from the directory controller
+
** '''ruby'''
−
** ''Note: This protocol does not differentiate between load and store requests''
+
*** '''common''': frequently used data structures, e.g. Address (with bit-manipulation methods), histogram, data block
−
 
+
*** '''filters''': various Bloom filters (stale code from GEMS)
−
** On a '''replacement''' trigger from self:
+
*** '''network''': Interconnect implementation, sample topology specification, network power calculations, message buffers used for connecting controllers
−
*** it evicts the block, issues a writeback request to the directory controller
+
*** '''profiler''': Profiling for cache events, memory controller events
−
*** it waits for acknowledgement from the directory controller
+
*** '''recorder''':  Cache warmup and access trace recording
−
** ''Note: writebacks are acknowledged to prevent races''
+
*** '''slicc_interface''': Message data structure, various mappings (e.g. address to directory node), utility functions (e.g. conversion between address & int, convert address to cache line address)
−
 
+
*** '''structures''': Protocol independent memory components – CacheMemory, DirectoryMemory
−
** On a '''forwarded request''' from the directory controller:
+
*** '''system''': Glue components – Sequencer, RubyPort, RubySystem
−
*** This means that the block was in M state at this node when the request was generated by some other node
 
−
*** It sends the block directly to the requesting node (cache-to-cache transfer)
 
−
*** It evicts the block from this node
 
−
 
 
−
** '''Invalidations''' are similar to replacements
 
−
 
 
−
====== Directory controller ======
 
−
 
 
−
* Requests, Responses, Triggers:
 
−
** GETX from the cores, Forwarded GETX to the cores
 
−
** Data from memory, Data to the cores
 
−
** Writeback requests from the cores, Writeback acknowledgements to the cores
 
−
** DMA read, write requests from the DMA controllers
 
−
 
 
−
* Main Operation:
 
−
** The directory maintains track of which core has a block in the M state. It designates this core as owner of the block.
 
−
** On a '''GETX''' request from a core:
 
−
*** If the block is not present, a memory fetch request is initiated
 
−
*** If the block is already present, then it means the request is generated from some other core
 
−
**** In this case, a forwarded request is sent to the original owner
 
−
**** Ownership of the block is transferred to the requestor
 
−
** On a '''writeback''' request from a core:
 
−
*** If the core is owner, the data is written to memory and acknowledgement is sent back to the core
 
−
*** If the core is not owner, a NACK is sent back
 
−
**** This can happen in a race condition
 
−
**** The core evicted the block while a forwarded request some other core was on the way and the directory has already changed ownership for the core
 
−
**** The evicting core holds the data till the forwarded request arrives
 
−
** On '''DMA''' accesses (read/write)
 
−
*** Invalidation is sent to the owner node (if any). Otherwise data is fetched from memory.
 
−
*** This ensures that the most recent data is available.
 
−
 
 
−
====== Other features ======
 
−
 
 
−
** MI protocols don't support LL/SC semantics.
 
−
** This protocol has no timeout mechanisms.
 
−
 
 
−
===== MOESI_hammer =====
 
−
''Somayeh will do it''
 
−
 
 
−
===== MOESI_CMP_token =====
 
−
''Shoaib will do it''
 
−
===== MOESI_CMP_directory =====
 
−
 
 
−
In contrast with the MESI protocol, the MOESI protocol introduces an additional '''Owned''' state. This enables sharing of a block after modification without needing to write it back to memory first. However, in that case, only 1 node is the owner while the others are sharers. The owner node has the responsibility to write the block back to memory on eviction. Sharers may evict the block without writeback. An overview of the protocol can be found [http://en.wikipedia.org/wiki/MOESI_protocol here].
 
−
 
 
−
====== Related Files ======
 
−
 
 
−
* '''src/mem/protocols'''
 
−
** '''MOESI_CMP_directory-L1cache.sm''': L1 cache controller specification
 
−
** '''MOESI_CMP_directory-L2cache.sm''': L2 cache controller specification
 
−
** '''MOESI_CMP_directory-dir.sm''': directory controller specification
 
−
** '''MOESI_CMP_directory-dma.sm''': dma controller specification
 
−
** '''MOESI_CMP_directory-msg.sm''': message type specification
 
−
** '''MOESI_CMP_directory.slicc''': container file
 
−
 
 
−
====== Cache Hierarchy ======
 
−
 
 
−
====== Stable States and Invariants ======
 
−
 
 
−
====== L1 Cache controller ======
 
−
 
 
−
====== L2 Cache controller ======
 
−
 
 
−
====== Directory controller ======
 
−
 
 
−
====== Other features ======
 
−
 
 
−
''Rathijit will do it''
 
−
===== MESI_CMP_directory =====
 
−
''Arka will do it''
 
−
 
 
−
==== Protocol Independent Memory components ====
 
−
===== System =====
 
−
''Arka will do it''
 
−
 
 
−
===== Sequencer =====
 
−
''Arka will do it''
 
−
 
 
−
===== CacheMemory =====
 
−
This module can model any '''Set-associative Cache structure''' with given associativity. Each instantiation of the following module models a '''single bank''' of a cache.  This module can also model Fully associative cache when the associativity is set to 1.
 
−
====== '''Basic Operation''' ======
 
−
This module models the set-associative structure as a two dimensional array. Each row of the 2D array represents a set of in the set-associative cache structure, while columns represents ways. The number of columns  is equal to the given associativity (parameter), while the number of rows is decided depending on the desired size of the structure (parameter), associativity (parameter) and the size of the cache line (parameter).
 
−
 
 
−
====== Related files ======
 
−
* '''src/mem/ruby/system'''
 
−
** '''CacheMemory.cc''': contains CacheMemory class which models a cache bank
 
−
** '''CacheMemory.hh''': Interface for the CacheMemory class
 
−
** '''Cache.py''': Python configuration file for CacheMemory class
 
−
** '''AbstractReplacementPolicy.hh''': Generic interface for Replacement policies for the Cache
 
−
** '''LRUPolicy.hh''': contains LRU replacement policy
 
−
** '''PseudoLRUPolicy.hh''': contains Pseudo-LRU replacement policy
 
−
 
 
−
===== DMASequencer =====
 
−
 
 
−
There can be only 1 DMASequencer in the system. There can be a number of DMA controllers that interface with the DMASequencer.
 
−
 
 
−
====== Related Files ======
 
−
 
 
−
* '''src/mem/ruby/system'''
 
−
** '''DMASequencer.hh''':
 
−
** '''DMASequencer.cc''':
 
−
 
 
−
====== Main Operation ======
 
−
 
 
−
''Rathijit will do it''
 
−
 
 
−
===== Memory Controller =====
 
−
 
 
−
'''Most (but not all) of the writeup in this section is taken verbatim from documentation in the gem5 source files and rubyconfig.defaults file of GEMS'''.
 
−
 
 
−
This module simulates a basic DDR-style memory controller. It models a single channel, connected to any number of DIMMs with any number of ranks of DRAMs each.  If you want multiple address/data channels, you need to instantiate multiple copies of this module.
 
−
 
 
−
'' Note: The product of the memory bus cycle multiplier, memory controller latency, and clock cycle time(=1/processor frequency) gives a first-order approximation of the latency of memory requests in time. The Memory Controller module refines this further by considering bank & bus contention, queueing effects of finite queues, and refreshes.''
 
−
 
 
−
'' Note: Data sheet values for some components of the memory latency are specified in time (nanoseconds), whereas the Memory Controller module expects all delay configuration parameters in cycles. The parameters should be set appropriately taking into account the processor and bus frequencies.''
 
−
 
 
−
====== Related Files ======
 
−
 
 
−
* '''src/mem/ruby/system'''
 
−
** '''MemoryControl.hh''': This file declares the Memory Controller class.
 
−
** '''MemoryControl.cc''': This file implements all the operations of the memory controller. This includes processing of input packets, address decoding and bank selection, request scheduling and contention handling, handling refresh, returning completed requests to the directory controller.
 
−
** '''MemoryControl.py''': Configuration parameters
 
−
 
 
−
====== Configuration Parameters ======
 
−
 
 
−
* '''dimms_per_channel''': Currently the only thing that matters is the number of ranks per channel, i.e. the product of this parameter and '''ranks_per_dimm'''. But if and when this is expanded to do FB-DIMMs, the distinction between the two will matter.
 
−
 
 
−
* ''Address Mapping'': This is controlled by configuration parameters '''banks_per_rank''', '''bank_bit_0''', '''ranks_per_dimm''', '''rank_bit_0''', '''dimms_per_channel''', '''dimm_bit_0'''.  You could choose to have the bank bits, rank bits, and DIMM bits in any order. For the default values, we assume this format for addresses:
 
−
** Offset within line:    [5:0]
 
−
** Memory controller #:    [7:6]
 
−
** Bank:                  [10:8]
 
−
** Rank:                    [11]
 
−
** DIMM:                    [12]
 
−
** Row addr / Col addr: [top:13]
 
−
 
 
−
If you get these bits wrong, then some banks won't see any requests; you need to check for this in the .stats output.
 
−
 
 
−
* '''mem_bus_cycle_multiplier''': Basic cycle time of the memory controller.  This defines the period which is used as the memory channel clock period, the address bus bit time, and the memory controller cycle time. Assuming a 200 MHz memory channel (DDR-400, which has 400 bits/sec data), and a 2 GHz processor clock, mem_bus_cycle_multiplier=10.
 
−
 
 
−
* '''mem_ctl_latency''': Latency to returning read request or writeback acknowledgement. Measured in memory address cycles. This equals tRCD + CL + AL + (four bit times) + (round trip on channel) + (memory control internal delays). It's going to be an approximation, so pick what you like. ''Note:  The fact that latency is a constant, and does not depend on two low-order address bits, implies that our memory controller either: (a) tells the DRAM to read the critical word first, and sends the critical word first back to the CPU, or (b) waits until it has seen all four bit times on the data wires before sending anything back. Either is plausible.  If (a), remove the "four bit times" term from the calculation above.''
 
−
 
 
−
* '''rank_rank_delay''': This is how many memory address cycles to delay between reads to different ranks of DRAMs to allow for clock skew.
 
−
 
 
−
* '''read_write_delay''': This is how many memory address cycles to delay between a read and a write.  This is based on two things:  (1) the data bus is used one cycle earlier in the operation; (2) a round-trip wire delay from the controller to the DIMM that did the reading. Usually this is set to 2.
 
−
 
 
−
* '''basic_bus_busy_time''': Basic address and data bus occupancy.  If you are assuming a 16-byte-wide data bus (pairs of DIMMs side-by-side), then the data bus occupancy matches the address bus occupancy at 2 cycles.  But if the channel is only 8 bytes wide, you need to increase this bus occupancy time to 4 cycles.
 
−
 
 
−
* '''mem_random_arbitrate''':  By default, the memory controller uses round-robin to arbitrate between ready bank queues for use of the address bus.  If you wish to add randomness to the system, set this parameter to one instead, and it will restart the round-robin pointer at a random bank number each cycle.  If you want additional nondeterminism, set the parameter to some integer n >= 2, and it will in addition add a n% chance each cycle that a ready bank will be delayed an additional cycle.  Note that if you are in mem_fixed_delay mode (see below), mem_random_arbitrate=1 will have no effect, but mem_random_arbitrate=2 or more will.
 
−
 
 
−
* '''mem_fixed_delay''': If this is nonzero, it will disable the memory controller and instead give every request a fixed latency.  The nonzero value specified here is measured in memory cycles and is just added to MEM_CTL_LATENCY.  It will also show up in the stats file as a contributor to memory delays stalled at head of bank queue.
 
−
 
 
−
* '''tFAW''': This is an obscure DRAM parameter that says that no more than four activate requests can happen within a window of a certain size. For most configurations this does not come into play, or has very little effect, but it could be used to throttle the power consumption of the DRAM.  In this implementation (unlike in a DRAM data sheet) TFAW is measured in memory bus cycles; i.e. if TFAW = 16 then no more than four activates may happen within any 16 cycle window. Refreshes are included in the activates.
 
−
 
 
−
* '''refresh_period''': This is the number of memory cycles between refresh of row x in bank n and refresh of row x+1 in bank n.  For DDR-400, this is typically 7.8 usec for commercial systems; after 8192 such refreshes, this will have refreshed the whole chip in 64 msec.  If we have a 5 nsec memory clock, 7800 / 5 = 1560 cycles.  The memory controller will divide this by the total number of banks, and kick off a refresh to somebody every time that amount is counted down to zero. (There will be some rounding error there, but it should have minimal effect.)
 
−
 
 
−
* '''Typical Settings for configuration parameters''': The default values are for DDR-400 assuming a 2GHz processor clock. If instead of DDR-400, you wanted DDR-800, the channel gets faster but the basic operation of the DRAM core is unchanged. Busy times appear to double just because they are measured in smaller clock cycles.  The performance advantage comes because the bus busy times don't actually quite double. You would use something like these values:
 
−
 
 
−
:: mem_bus_cycle_multiplier: 5
 
−
:: bank_busy_time: 22
 
−
:: rank_rank_delay: 2
 
−
:: read_write_delay: 3
 
−
:: basic_bus_busy_time: 3
 
−
:: mem_ctl_latency: 20
 
−
:: refresh_period: 3120
 
−
 
 
−
====== Main Operation ======
 
−
 
 
−
* '''Interfaces'''
 
−
 
 
−
* '''Data Structures'''
 
−
 
 
−
* '''Scheduling and Bank Contention'''
 
−
 
 
−
Each memory request is placed in a queue associated with a specific memory bank.  This queue is of finite size; if the queue is full the request will back up in an (infinite) common queue and will effectively throttle the whole system.  This sort of behavior is intended to be closer to real system behavior than if we had an infinite queue on each bank.  If you want the latter, just make the bank queues unreasonably large.
 
−
 
 
−
The head item on a bank queue is issued when all of the following are true:
 
−
# The bank is available
 
−
# The address path to the DIMM is available
 
−
# The data path to or from the DIMM is available
 
−
 
 
−
Note that we are not concerned about fixed offsets in time.  The bank will not be used at the same moment as the address path, but since there is no queue in the DIMM or the DRAM it will be used at a constant number of cycles later, so it is treated as if it is used at the same time.
 
−
 
 
−
We are assuming "posted CAS"; that is, we send the READ or WRITE immediately after the ACTIVATE.  This makes scheduling the address bus trivial; we always schedule a fixed set of cycles.  For DDR-400, this is a set of two cycles; for some configurations such as DDR-800 the parameter tRRD forces this to be set to three cycles.
 
−
 
 
−
We assume a four-bit-time transfer on the data wires.  This is the minimum burst length for DDR-2.  This would correspond to (for example) a memory where each DIMM is 72 bits wide and DIMMs are ganged in pairs to deliver 64 bytes at a shot.This gives us the same occupancy on the data wires as on the address wires (for the two-address-cycle case).
 
−
 
 
−
The only non-trivial scheduling problem is the data wires. A write will use the wires earlier in the operation than a read will; typically one cycle earlier as seen at the DRAM, but earlier by a worst-case round-trip wire delay when seen at the memory controller. So, while reads from one rank can be scheduled back-to-back every two cycles, and writes (to any rank) scheduled every two cycles, when a read is followed by a write we need to insert a bubble. Furthermore, consecutive reads from two different ranks may need to insert a bubble due to skew between when one DRAM stops driving the wires and when the other one starts.  (These bubbles are parameters.)
 
−
 
 
−
This means that when some number of reads and writes are at the heads of their queues, reads could starve writes, and/or reads to the same rank could starve out other requests, since the others would never see the data bus ready. For this reason, we have implemented an anti-starvation feature. A group of requests is marked "old", and a counter is incremented each cycle as long as any request from that batch has not issued. If the counter reaches twice the bank busy time, we hold off any newer requests until all of the "old" requests have issued.
 
−
 
 
−
* '''Open/Closed Policy'''
 
−
 
 
−
We are assuming closed bank policy; that is, we automatically close each bank after a single read or write.  Adding an option for open bank policy is for future work.
 
−
 
 
−
''Rathijit will do it''
 
−
 
 
−
==== Interconnection Network ====
 
−
===== Topology specification =====
 
−
Python files specify connections.  Shortest path graph traversals program the routing tables.
 
−
===== Network implementation =====
 
−
# SimpleNetwork
 
−
# Garnet
 
−
 
 
−
==== Life of a memory request in Ruby ====
 
−
Cpu model generates a packet -> RubyPort converts it to a ruby request -> L1 cache controller converts it to a protocol specific message ...etc.
 
−
 
 
−
''Arka will do it''
 

Latest revision as of 05:31, 5 November 2019

High level components of Ruby

Ruby implements a detailed simulation model for the memory subsystem. It models inclusive/exclusive cache hierarchies with various replacement policies, coherence protocol implementations, interconnection networks, DMA and memory controllers, various sequencers that initiate memory requests and handle responses. The models are modular, flexible and highly configurable. Three key aspects of these models are:

  1. Separation of concerns -- for example, the coherence protocol specifications are separate from the replacement policies and cache index mapping, the network topology is specified separately from the implementation.
  2. Rich configurability -- almost any aspect affecting the memory hierarchy functionality and timing can be controlled.
  3. Rapid prototyping -- a high-level specification language, SLICC, is used to specify functionality of various controllers.

The following picture, taken from the GEMS tutorial in ISCA 2005, shows a high-level view of the main components in Ruby.

Ruby overview.jpg

SLICC + Coherence protocols:

SLICC stands for Specification Language for Implementing Cache Coherence. It is a domain specific language that is used for specifying cache coherence protocols. In essence, a cache coherence protocol behaves like a state machine. SLICC is used for specifying the behavior of the state machine. Since the aim is to model the hardware as close as possible, SLICC imposes constraints on the state machines that can be specified. For example, SLICC can impose restrictions on the number of transitions that can take place in a single cycle. Apart from protocol specification, SLICC also combines together some of the components in the memory model. As can be seen in the following picture, the state machine takes its input from the input ports of the inter-connection network and queues the output at the output ports of the network, thus tying together the cache / memory controllers with the inter-connection network itself.

Slicc overview.jpg

The following cache coherence protocols are supported:

  1. MI_example: example protocol, 1-level cache.
  2. MESI_Two_Level: single chip, 2-level caches, strictly-inclusive hierarchy.
  3. MOESI_CMP_directory: multiple chips, 2-level caches, non-inclusive (neither strictly inclusive nor exclusive) hierarchy.
  4. MOESI_CMP_token: 2-level caches. TODO.
  5. MOESI_hammer: single chip, 2-level private caches, strictly-exclusive hierarchy.
  6. Garnet_standalone: protocol to run the Garnet network in a standalone manner.
  7. MESI Three Level: 3-level caches, strictly-inclusive hierarchy.

Commonly used notations and data structures in the protocols have been described in detail here.

Protocol independent memory components

  1. Sequencer
  2. Cache Memory
  3. Replacement Policies
  4. Memory Controller

In general cache coherence protocol independent components comprises of the Sequencer, Cache Memory structure, replacement policies and the Memory controller. The Sequencer class is responsible for feeding the memory subsystem (including the caches and the off-chip memory) with load/store/atomic memory requests from the processor. Every memory request when completed by the memory subsystem also send back the response to the processor via the Sequencer. There is one Sequencer for each hardware thread (or core) simulated in the system. The Cache Memory models a set-associative cache structure with parameterizable size, associativity, and replacement policy. L1, L2, L3 caches in the system are instances of Cache Memory, if they exist. The replacement policies are kept modular from the Cache Memory, so that different instances of Cache Memory can use different replacement policies of their choice. The Memory Controller is responsible for simulating and servicing any request that misses on all the on-chip caches of the simulated system. Memory Controller currently simple, but models DRAM ban contention, DRAM refresh faithfully. It also models close-page policy for DRAM buffer.

Each component is described in details here.

Interconnection Network

The interconnection network connects the various components of the memory hierarchy (cache, memory, dma controllers) together.

Interconnection network.jpg

The key components of an interconnection network are:

  1. Topology
  2. Routing
  3. Flow Control
  4. Router Microarchitecture

More details about the network model implementation are described here.

Alternatively, Interconnection network could be replaced with the external simulator TOPAZ. This simulator is ready to run within gem5 and adds a significant number of features over original ruby network simulator. It includes, new advanced router micro-architectures, new topologies, precision-performance adjustable router models, mechanisms to speed-up network simulation, etc ... The presentation of the tool (and the reason why is not included in the gem5 repostories) is here

Life of a memory request in Ruby

In this section we will provide a high level overview of how a memory request is serviced by Ruby as a whole and what components in Ruby it goes through. For detailed operations within each components though, refer to previous sections describing each component in isolation.

  1. A memory request from a core or hardware context of gem5 enters the jurisdiction of Ruby through the RubyPort::recvTiming interface (in src/mem/ruby/system/RubyPort.hh/cc). The number of Rubyport instantiation in the simulated system is equal to the number of hardware thread context or cores (in case of non-multithreaded cores). A port from the side of each core is tied to a corresponding RubyPort.
  2. The memory request arrives as a gem5 packet and RubyPort is responsible for converting it to a RubyRequest object that is understood by various components of Ruby. It also finds out if the request is for some PIO or not and maneuvers the packet to correct PIO. Finally once it has generated the corresponding RubyRequest object and ascertained that the request is a normal memory request (not PIO access), it passes the request to the Sequencer::makeRequest interface of the attached Sequencer object with the port (variable ruby_port holds the pointer to it). Observe that Sequencer class itself is a derived class from the RubyPort class.
  3. As mentioned in the section describing Sequencer class of Ruby, there are as many objects of Sequencer in a simulated system as the number of hardware thread context (which is also equal to the number of RubyPort object in the system) and there is an one-to-one mapping between the Sequencer objects and the hardware thread context. Once a memory request arrives at the Sequencer::makeRequest, it does various accounting and resource allocation for the request and finally pushes the request to the Ruby's coherent cache hierarchy for satisfying the request while accounting for the delay in servicing the same. The request is pushed to the Cache hierarchy by enqueueing the request to the mandatory queue after accounting for L1 cache access latency. The mandatory queue (variable name m_mandatory_q_ptr) effectively acts as the interface between the Sequencer and the SLICC generated cache coherence files.
  4. L1 cache controllers (generated by SLICC according to the coherence protocol specifications) dequeues request from the mandatory queue and looks up the cache, makes necessary coherence state transitions and/or pushes the request to the next level of cache hierarchy as per the requirements. Different controller and components of SLICC generated Ruby code communicates among themselves through instantiations of MessageBuffer class of Ruby (src/mem/ruby/buffers/MessageBuffer.cc/hh) , which can act as ordered or unordered buffer or queues. Also the delays in servicing different steps for satisfying a memory request gets accounted for scheduling enqueue-ing and dequeue-ing operations accordingly. If the requested cache block may be found in L1 caches and with required coherence permissions then the request is satisfied and immediately returned. Otherwise the request is pushed to the next level of cache hierarchy through MessageBuffer. A request can go all the way up to the Ruby's Memory Controller (also called Directory in many protocols). Once the request get satisfied it is pushed upwards in the hierarchy through MessageBuffers.
  5. The MessageBuffers also act as entry point of coherence messages to the on-chip interconnect modeled. The MesageBuffers are connected according to the interconnect topology specified. The coherence messages thus travel through this on-chip interconnect accordingly.
  6. Once the requested cache block is available at L1 cache with desired coherence permissions, the L1 cache controller informs the corresponding Sequencer object by calling its readCallback or 'writeCallback method depending upon the type of the request. Note that by the time these methods on Sequencer are called the latency of servicing the request has been implicitly accounted for.
  7. The Sequencer then clears up the accounting information for the corresponding request and then calls the RubyPort::ruby_hit_callback method. This ultimately returns the result of the request to the corresponding port of the core/ hardware context of the frontend (gem5).

Directory Structure

  • src/mem/
    • protocols: SLICC specification for coherence protocols
    • slicc: implementation for SLICC parser and code generator
    • ruby
      • common: frequently used data structures, e.g. Address (with bit-manipulation methods), histogram, data block
      • filters: various Bloom filters (stale code from GEMS)
      • network: Interconnect implementation, sample topology specification, network power calculations, message buffers used for connecting controllers
      • profiler: Profiling for cache events, memory controller events
      • recorder: Cache warmup and access trace recording
      • slicc_interface: Message data structure, various mappings (e.g. address to directory node), utility functions (e.g. conversion between address & int, convert address to cache line address)
      • structures: Protocol independent memory components – CacheMemory, DirectoryMemory
      • system: Glue components – Sequencer, RubyPort, RubySystem
Retrieved from "http://daystrom.m5sim.org/wiki/index.php?title=Ruby&oldid=8460"