イベントの並行性

一つのイベントxが他のイベントyより前に発生していると自信を持って言えない場合には、イベントxとyは並行(concurrent)です。

逐次プログラムではイベントx, yがある時x < y, x > y, x = yのいずれか一つのみが成り立つ

これが成り立たない2つのイベントをconcurrentであると言う

物理的時間において同時性があることを必要としない

日本語の並行性と並列性と言うのがわかりにくい気がする。

concurrency = con + current

current = 走っている cur + ent

語源まで遡ってもあんまりわかりやすくはならなかった。。 定義そのままでunorderedとか使えば良いのかもしれないが。