新規にインストールした Ubuntu 20.04 上で Intel Pin 3.13 (March 25, 2020) が上手く動かなかったので原因究明したメモです。 make と g++ パッケージのみを導入した状態では /usr/bin/cc が存在せず，それが原因で Intel Pin ツールのビルドが上手くいっ…

ベクタークロック（vector clock）という名前は，クロック（時計）を並べたベクターというところからきています。 マルチスレッドプログラムの競合検査の分野で言うベクタークロックは，各スレッドの論理時刻を並べたものです。 uchan がベクタークロックを…