はまやんはまやんはまやん

hamayanhamayan's blog

Windows BashでGKLEEを動作させるまで

GKLEEとは

  • GPUプログラムの検証ソフトウェア
  • Utah大学の研究成果 サイト

実行環境

  • Windows 10 Home 64bits
  • Windows Bash
  • GKLEE コミットf77577343c67a3f1815ce5e802e2c933f8df876a

環境構築

1. 必要な物を入れる

sudo apt-get install git bison flex libboost-dev gcc-multilib g++-multilib

普通に入れると、cmakeのバージョンが足りないので、以下のサイトを参考にこれだけ最新を入れる
https://askubuntu.com/questions/610291/how-to-install-cmake-3-2-on-ubuntu-14-04

2. 最新版を持ってきて、ビルド用フォルダを作る

cd ~
git clone https://github.com/Geof23/Gklee.git
cd Gklee
mkdir build
cd build

3. ビルドする

cmake ..
make -j4

時間が結構かかります
あとサイズも結構でかいので、注意

4. パスを通す

cd ~
vim .bashrc

これでbashrcの末尾に

export KLEE_HOME_DIR=~/Gklee
export PATH=$KLEE_HOME_DIR/bin:$PATH

を挿入し、

source .bashrc

で反映させる

テスト

cd ~/Gklee
git clone https://github.com/Geof23/GkleeTests.git
cd GkleeTests/deadlock_0
../execute_test.sh deadlock_0.cu

をすると、実行できる。gklee_log.txtに結果が書いてある(デッドロック起きてるぞって結果)