概要 ClangではCやC++のコードをASTとして出力してくれる機能がある AST: Abstract Syntax Tree, 抽象構文木 資料1 資料2 資料3 2017/06/05時点での情報です ClangでASTを出力するには clang -Xclang -ast-dump -fsyntax-only sample.cとすれば出る。 Clang3…

GKLEEとは GPUプログラムの検証ソフトウェア Utah大学の研究成果 サイト 実行環境 Windows 10 Home 64bits Windows Bash GKLEE コミットf77577343c67a3f1815ce5e802e2c933f8df876a 環境構築 1. 必要な物を入れる sudo apt-get install git bison flex libboo…

並列プロセスの形式的解析 この辺を見ると大体つかめる https://ja.wikipedia.org/wiki/並行性 https://ja.wikipedia.org/wiki/プロセス計算 並列的相互作用と通信 共有メモリ通信 メッセージパッシング通信 メッセージパッシング通信 Erlang, Occamなどでプ…

GPUプログラム検証？ プログラム検証という研究分野がある。 検証の意味合いについては色々あるが、GPUプログラム上での検証は主にデータ競合の検知が重要となる。 そのデータ競合の検知についての最近の研究についてまとめていく。最近の事情の俯瞰には、書…