Optimized C++ ―最適化、高速化のためのプログラミングテクニック

259

12.1　C++ 並行機能の復習

が多数、別のスレッドに

OS

が制御を移すまでに実行されるので、競合条件も比較的まれだった。

実際に観察されるインタリーブは、「

1111...11112222....2222

」などだ。

現在のマルチコアプロセッサでは、個別文のインタリーブが可能で、競合条件がより頻繁にな

る。過去の単一プロセッサで並行プログラムを書いていた開発者は、もはや保証されない技術に自

己満足しているかもしれない。

12.1.3

　逐次一貫性

2

章で述べたように、

C++

は単純で直感的なコンピュータモデルを用いる。このモデルには、プ

ログラムが逐次一貫であるという要件を含む。すなわち、プログラムは

C++

の文制御フローに従

うのだが、あたかも書かれている順番に文が実行するかのように振る舞う。この要件は自明のよう

に見えるが、この「あたかも」という言葉によって、多くのコンパイラ最適化や革新的なマイクロ

プロセッサ設計が可能になる。

例えば、例

12-1

のプログラム片は逐次一貫性を備えている。たとえ

y

が

0

にセットされた後で

x

が

0

にセットされたり、

y

が

1

にセットされた後で

x

が

1

にセットされたりしても、たとえ

if

文で比較

y == 1

の後で

x

が

1

にセットされても、代入

x = 1

が

assert(x == 1)

より前に、すな

わち値が使われる前になされるなら、逐次一貫となる。

例

12-1

 逐次一貫性は「あたかも」順に実行することを意味する

int x = 0, y = 0;

x = 1;

y = 1;

if (y ...