STM と Polly
2023-8-23 14:04 JST
最近気になっている技術の STM(Software Transactional Memory) とPolyhedral Model の情報。
Clojure は積極的に STM 使っているんだよね。確か それで DB 作っている。
Kumagi さんの情報が大変素晴らしい。 今後おっていってみよう。
STM の設計と進化と題して Kumagi さんがどっかで発表したらしい。 有意義で貴重な資料。専門的なので一個一個検証して理解したい。
LLVM の Polly の情報。
Polly Labs。isl, ppcg, pet, Polly, Polly-ACC 全部理解しなきゃならないのか。 ここのところ更新されていないのは気になる。
Wikipedia では Polytope model となっている。
深層学習コンパイラスタックと最適化。 なるほど、こっちのコンパイラに生きるのか。
MLIR も調べないとなぁ。
Deep Learning Compiler なんてものがあるのか。 Tensorflow XLA なんてのが典型的なものみたいね。 とりあえずは関係ない分野かも。