Part III: Modeling cache coherence with Ruby

• Introduction to Ruby
• MSI example cache protocol
  • First steps to writing a protocol
  • Writing a state machine file
• Declaring a state machine
  • State machine parameters
  • State declarations
  • Event declarations
  • User-defined structures
  • Other declarations and definitions required
• In port code blocks
• Action code blocks
• Transition code blocks
• MSI Directory implementation
• Compiling a SLICC protocol
  • The SLICC file
  • Compiling a protocol with SCons
• Configuring a simple Ruby system
  • Cache system configuration
    • L1 Cache
    • Directory
    • Ruby System
    • Network
• Running the simple Ruby system
• Debugging SLICC Protocols
  • General debugging tips
  • Understanding Protocol Traces
  • Errors I ran into debugging MSI
• Configuring for a standard protocol

Todo

Add a chapter on default protocols in gem5

Todo

Make the MSI one chapter