interleavingsとは 意味・読み方・使い方

To avoid increase of the number of interleavings of transitions from different threads or processes in concurrent systems.例文帳に追加

コンカレントシステムにおいて、異なったスレッドまたはプロセスからの遷移のインターリービングの数が増えないようにする。 - 特許庁

Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.例文帳に追加

部分的命令低減は、保護された独立状態が続くとき、冗長なスレッドインターリービングを自動的に取り除くことを許すために、保護された独立関係を用いて行なわれる。 - 特許庁