zz

Author: chai2010

docs/public/talks/ssa-bug/images/mlir-block-args.png

@@ -96,6 +96,7 @@ <h3>主题大纲</h3>
 <li>一个Issue引发的争议</li>
 <li>深挖Φ指令10年坑</li>
 <li>结果及思考</li>
+<li>Φ指令进化</li>
 </ul>
 
 
@@ -436,7 +437,7 @@ <h3>Phi指令并行并非多大的共识</h3>
         <h3>在战争中学习战争</h3>
         <p>通过这次事件，我们：</p>
 <ul>
-<li>学习到了 SSA 中 Phi 指令的特殊约束，并通过本文在中文社区传播这一知识；</li>
+<li>学习到了 SSA 中 Phi 指令的特殊约束，并通过本文在中文社区传播这一知识并引起讨论；</li>
 <li>构造了可以稳定触发 <strong>Phi并发</strong> 的测试用例；</li>
 <li>协助 Golang 解决了存在于 SSA 解释执行器中的错误。</li>
 </ul>
@@ -448,6 +449,30 @@ <h3>在战争中学习战争</h3>
 
 
 
+      <article >
+      
+        <h2>Phi指令再进化</h2>
+      
+      <span class="pagenumber">27</span>
+      </article>
+  
+  
+  
+      <article >
+      
+        <h3>Phi指令进化为Block参数</h3>
+        <p>在更新的MLIR和SwiftIR都引入了Block参数，通过提前计算以避免Phi指令并行的干扰。</p>
+
+<div class="image">
+  <img src="images/mlir-block-args.png" height="500" width="600">
+</div>
+
+      
+      <span class="pagenumber">28</span>
+      </article>
+  
+  
+  
       <article >
 
         <h3>参考链接</h3>
@@ -458,10 +483,12 @@ <h3>参考链接</h3>
 <li><a href="https://github.com/wa-lang/wa/commit/8138ee" target="_blank" rel="noopener">凹语言: 修正 Phi 未并行执行的问题</a></li>
 <li><a href="https://en.wikipedia.org/wiki/Static_single-assignment_form" target="_blank" rel="noopener">https://en.wikipedia.org/wiki/Static_single-assignment_form</a></li>
 <li><a href="https://homes.luddy.indiana.edu/achauhan/Teaching/B629/2006-Fall/CourseMaterial/1998-spe-briggs-ssa_improv.pdf" target="_blank" rel="noopener">Practical Improvements to the Construction and Destruction of Static Single Assignment Form</a></li>
+<li><a href="https://mlir.llvm.org/docs/LangRef/#blocks" target="_blank" rel="noopener">https://mlir.llvm.org/docs/LangRef/#blocks</a></li>
+<li><a href="https://apple-swift.readthedocs.io/en/latest/SIL.html#basic-blocks" target="_blank" rel="noopener">https://apple-swift.readthedocs.io/en/latest/SIL.html#basic-blocks</a></li>
 </ul>
 
 
-      <span class="pagenumber">27</span>
+      <span class="pagenumber">29</span>
       </article>
 
 

docs/public/talks/ssa-bug/index.html

@@ -29,7 +29,7 @@ https://wa-lang.org
 - 一个Issue引发的争议
 - 深挖Φ指令10年坑
 - 结果及思考
-
+- Φ指令进化
 
 // --------------------------------------------------------
 ## 凹语言简介
@@ -212,12 +212,23 @@ Alan Donovan 迅速提交了修正 `golang.org/x/tools/go/ssa/interp` 包的 pr
 
 通过这次事件，我们：
 
-- 学习到了 SSA 中 Phi 指令的特殊约束，并通过本文在中文社区传播这一知识；
+- 学习到了 SSA 中 Phi 指令的特殊约束，并通过本文在中文社区传播这一知识并引起讨论；
 - 构造了可以稳定触发 **Phi并发** 的测试用例；
 - 协助 Golang 解决了存在于 SSA 解释执行器中的错误。
 
 经常有人质问我们：“重复发明轮子有何意义？”，这一经历正好可以用来作为回应。
 
+
+// --------------------------------------------------------
+## Phi指令再进化
+// --------------------------------------------------------
+
+## Phi指令进化为Block参数
+
+在更新的MLIR和SwiftIR都引入了Block参数，通过提前计算以避免Phi指令并行的干扰。
+
+.image images/mlir-block-args.png 500 600
+
 ## 参考链接
 
 - [Phi并行-凹语言与Golang共有问题的复盘](https://wa-lang.org/smalltalk/st0060.html)
@@ -226,4 +237,6 @@ Alan Donovan 迅速提交了修正 `golang.org/x/tools/go/ssa/interp` 包的 pr
 - [凹语言: 修正 Phi 未并行执行的问题](https://github.com/wa-lang/wa/commit/8138ee)
 - [https://en.wikipedia.org/wiki/Static_single-assignment_form](https://en.wikipedia.org/wiki/Static_single-assignment_form)
 - [Practical Improvements to the Construction and Destruction of Static Single Assignment Form](https://homes.luddy.indiana.edu/achauhan/Teaching/B629/2006-Fall/CourseMaterial/1998-spe-briggs-ssa_improv.pdf)
+- [https://mlir.llvm.org/docs/LangRef/#blocks](https://mlir.llvm.org/docs/LangRef/#blocks)
+- [https://apple-swift.readthedocs.io/en/latest/SIL.html#basic-blocks](https://apple-swift.readthedocs.io/en/latest/SIL.html#basic-blocks)
 

docs/public/talks/ssa-bug/index.slide

@@ -29,7 +29,7 @@ https://wa-lang.org
 - 一个Issue引发的争议
 - 深挖Φ指令10年坑
 - 结果及思考
-
+- Φ指令进化
 
 // --------------------------------------------------------
 ## 凹语言简介
@@ -212,12 +212,23 @@ Alan Donovan 迅速提交了修正 `golang.org/x/tools/go/ssa/interp` 包的 pr
 
 通过这次事件，我们：
 
-- 学习到了 SSA 中 Phi 指令的特殊约束，并通过本文在中文社区传播这一知识；
+- 学习到了 SSA 中 Phi 指令的特殊约束，并通过本文在中文社区传播这一知识并引起讨论；
 - 构造了可以稳定触发 **Phi并发** 的测试用例；
 - 协助 Golang 解决了存在于 SSA 解释执行器中的错误。
 
 经常有人质问我们：“重复发明轮子有何意义？”，这一经历正好可以用来作为回应。
 
+
+// --------------------------------------------------------
+## Phi指令再进化
+// --------------------------------------------------------
+
+## Phi指令进化为Block参数
+
+在更新的MLIR和SwiftIR都引入了Block参数，通过提前计算以避免Phi指令并行的干扰。
+
+.image images/mlir-block-args.png 500 600
+
 ## 参考链接
 
 - [Phi并行-凹语言与Golang共有问题的复盘](https://wa-lang.org/smalltalk/st0060.html)
@@ -226,4 +237,6 @@ Alan Donovan 迅速提交了修正 `golang.org/x/tools/go/ssa/interp` 包的 pr
 - [凹语言: 修正 Phi 未并行执行的问题](https://github.com/wa-lang/wa/commit/8138ee)
 - [https://en.wikipedia.org/wiki/Static_single-assignment_form](https://en.wikipedia.org/wiki/Static_single-assignment_form)
 - [Practical Improvements to the Construction and Destruction of Static Single Assignment Form](https://homes.luddy.indiana.edu/achauhan/Teaching/B629/2006-Fall/CourseMaterial/1998-spe-briggs-ssa_improv.pdf)
+- [https://mlir.llvm.org/docs/LangRef/#blocks](https://mlir.llvm.org/docs/LangRef/#blocks)
+- [https://apple-swift.readthedocs.io/en/latest/SIL.html#basic-blocks](https://apple-swift.readthedocs.io/en/latest/SIL.html#basic-blocks)