Hasty Briefsbeta

双语

Sequentialising Parallel Moves

11 hours ago
  • 并行移动需要同时赋值;简单的顺序化会因依赖关系和循环而导致错误。
  • 位置转移图对依赖关系进行建模;正确的顺序是该图的后序遍历。
  • 图中的循环通过使用单个临时寄存器来打破循环以解决。
  • 像Leroy等人提出的算法使用递归和状态跟踪来高效地顺序化移动。