PET SNAKE架构全解析:从方程收集到并行计算的技术之旅
1. 方程收集与一致性检查
在整个计算流程中,首先会进行方程收集,然后对结果进行一致性检查。若发现不一致,会向主控制处理器(MCP)发出信号,MCP会判定当前猜测错误,进而转向新的猜测。若未发现不一致,则检查结果是否具有最大秩(即非平凡行的数量等于n)。若具有最大秩,MCP会收到找到解的提示;否则,结果会作为新的方程集被存储。接着通过行计数检查是否有不在旧方程集中的新方程,若没有新信息,进入胶合阶段;否则,进入传播阶段。
2. 传播阶段
- 符号传递 :头部主处理单元(MPU)创建收集符号,先发送给其东部邻居,之后再发送给南部邻居。东部邻居会存储该符号,然后依次发送给其东部和南部邻居,活跃区域顶行的所有MPU都按此方式传递。从北部邻居收到符号的MPU仅存储并发送给南部邻居。
- 符号处理 :所有MPU收到收集符号后,会将其与MPU内的每个符号进行比对,比对结果会在哈密顿循环中传播到下一个MPU。与正常比对一样,若符号L部分的每一列都被删除,MPU会向MCP发出发现不一致的信号。所有比对完成后,每个MPU会将收集符号与自身拥有的每个符号进行胶合。
3. 时间估计
- 提取成本 :由于每个MPU中有g个符号且同时进行提取,提取操作的时间成本需支付g次。有g²次大规模行约简,每次包含log₂q + 1次行约简以及1 + 2 + 4 + … + q² = q - 1次最多2047个方程的移动(移动一个方程集比移动一
超级会员免费看
订阅专栏 解锁全文
25

被折叠的 条评论
为什么被折叠?



