インテル® C++ コンパイラー XE 13.1 ユーザー・リファレンス・ガイド
int __cilkrts_get_total_workers (void);
複数のユーザー作成スレッドが同じワーカーのセットを共有できるように、ランタイムシステムは一時、アクティブなワーカーより多くのワーカーを割り当てる場合があります。 __cilkrts_get_total_workers 関数は、アクティブではなく利用されていないワーカーを含む総数を返します。 シリアル化されたコードから呼び出されると、__cilkrts_get_total_workers は 1 を返します。