タスクスキップ

タスクスキップは、実行時にチェックされる特定のブール条件に従ってコードブロックをスキップすることを可能にする近似計算手法です。

この手法は通常、コードの中で最も計算負荷の高い部分に適用されます。

これは、一連の値を順次計算した場合、タプル全体が特定の条件を満たす場合にのみ有用になるという事実に基づいています。タプル内の特定の値がタプル全体を無効にする、あるいは無効にする可能性が高いことが分かれば、残りのタプルの計算を回避することが可能です。

以下の例は、このC言語ライクなソースコードにタスクスキップを適用した結果を示しています。

for ( int i = 0 ; i < N ; i ++ ) { value_1 = compute_1 ( i ); value_2 = compute_2 ( i ); }

for(inti=0;i<N;i++){value_1=compute_1(i);if(value_1>=fixed_threshold){value_2=compute_2(i);}}

• Loop perforation
• Memoization