2. MOESI状态转换基础模拟

任务目标

在上一例MESI模拟器基础上，扩展状态机以支持MOESI协议。核心差异在于新增Owned(O)状态——该状态表示缓存行既被本核心修改（与Modified共享数据），又允许其他核心读取（数据由本核心负责提供）。通过本案例，你将看到Owned状态如何减少总线上的内存访问流量。

实现方案

本案例使用Python实现一个最小MOESI状态转换模拟器。模拟器接收总线事件（本地读/写、远程读/写），根据当前状态输出下一状态及总线动作。为聚焦状态转换逻辑，我们使用状态转换表驱动的方式，而非复杂的条件分支。

核心代码

class MOESISimulator:
    # 状态编码: M=Modified, O=Owned, E=Exclusive, S=Shared, I=Invalid
    STATES = ['M', 'O', 'E', 'S', 'I']
    
    # 总线事件: LocalRead, LocalWrite, RemoteRead, RemoteWrite
    # 返回: (下一状态, 总线动作)
    # 总线动作: '-'=无, 'Flush'=向总线提供数据, 'Invalidate'=使其他副本失效
    TRANSITIONS = {
        # 当前状态: M
        'M': {
            'LocalRead':    ('M', '-'),
            'LocalWrite':   ('M', '-'),
            'RemoteRead':   ('O', 'Flush'),   # 关键: M→O, 数据仍由本核心提供
            'RemoteWrite':  ('I', 'Flush+Invalidate')
        },
        # 当前状态: O
        'O': {
            'LocalRead':    ('O', '-'),
            'LocalWrite':   ('M', '-'),        # O→M, 本核心独占修改
            'RemoteRead':   ('O', 'Flush'),    # 继续提供数据
            'RemoteWrite':  ('I', 'Flush+Invalidate')
        },
        # 当前状态: E
        'E': {
            'LocalRead':    ('E', '-'),
            'LocalWrite':   ('M', '-'),
            'RemoteRead':   ('S', '-'),        # 降级为S, 但无需Flush
            'RemoteWrite':  ('I', '-')
        },
        # 当前状态: S
        'S': {
            'LocalRead':    ('S', '-'),
            'LocalWrite':   ('M', '-'),        # 需要Invalidate其他副本
            'RemoteRead':   ('S', '-'),
            'RemoteWrite':  ('I', '-')
        },
        # 当前状态: I
        'I': {
            'LocalRead':    ('E', '-'),        # 若总线无其他副本则为E, 此处简化
            'LocalWrite':   ('M', '-'),
            'RemoteRead':   ('I', '-'),
            'RemoteWrite':  ('I', '-')
        }
    }
    
    def __init__(self, initial_state='I'):
        self.state = initial_state
    
    def process_event(self, event):
        """处理总线事件, 返回(下一状态, 总线动作)"""
        if event not in self.TRANSITIONS[self.state]:
            raise ValueError(f"非法事件 {event} 在状态 {self.state}")
        next_state, bus_action = self.TRANSITIONS[self.state][event]
        self.state = next_state
        return next_state, bus_action
    
    def get_state(self):
        return self.state

# 最小验证闭环
if __name__ == "__main__":
    sim = MOESISimulator('M')
    print(f"初始状态: M")
    
    # 场景: 本地核心持有M, 远程核心发起读
    next_s, action = sim.process_event('RemoteRead')
    print(f"RemoteRead → 状态: {next_s}, 总线动作: {action}")
    assert next_s == 'O', "M状态收到RemoteRead应转为O"
    assert action == 'Flush', "应触发Flush提供数据"
    
    # 场景: O状态下本地写
    next_s, action = sim.process_event('LocalWrite')
    print(f"LocalWrite → 状态: {next_s}, 总线动作: {action}")
    assert next_s == 'M', "O状态本地写应回到M"
    
    # 场景: O状态下远程写
    sim.state = 'O'
    next_s, action = sim.process_event('RemoteWrite')
    print(f"RemoteWrite → 状态: {next_s}, 总线动作: {action}")
    assert next_s == 'I', "O状态收到RemoteWrite应失效"
    
    print("\n全部断言通过: MOESI状态转换逻辑正确")

运行与验证

运行方式：将代码保存为moesi_sim.py，执行python3 moesi_sim.py。

验证标准：程序输出应依次显示：

初始状态: M
RemoteRead → 状态: O, 总线动作: Flush
LocalWrite → 状态: M, 总线动作: -
RemoteWrite → 状态: I, 总线动作: Flush+Invalidate
全部断言通过: MOESI状态转换逻辑正确

若断言失败，程序将抛出AssertionError并终止。重点关注M→O的转换：这是MOESI与MESI的核心差异——MESI中M收到RemoteRead会降级为S（需写回内存），而MOESI转为O（无需写回，由本核心继续提供数据）。

关键设计说明

本模拟器使用状态转换表而非条件分支，便于扩展和验证。实际硬件中，I状态收到LocalRead时需总线监听以决定进入E还是S，此处简化为E以保持代码聚焦。Owned状态的核心价值在于：当多个核心共享同一数据且其中一个修改过时，由该核心直接响应远程读请求，避免写回内存的延迟和带宽消耗。