DPCT1078

メッセージ

強力なメモリー順序制限が必要な場合は、正当性のため、memory_order::acq_rel を memory_order::seq_cst に置き換えることを検討してください。

詳細な説明

memory_order::acq_rel は、ほとんどのプログラムにおいてメモリーを同期するのに役立つ軽量のフェンスです。正当性を保証するため、プログラムが逐次一貫性のあるメモリー順序を必要とする場合は、memory_order::acq_rel を memory_order::seq_cst に置き換えます。

修正方法の提案

より厳密なメモリーの順序付けが必要な場合、memory_order::acq_rel を memory_order::seq_cst に置き換えます。

例えば、以下のオリジナル CUDA* コードについて考えてみます。

  __device__ void foo_dev() { 
   ...
   __threadfence(); 
   ... 
  }

このコードは、以下の SYCL* コードに移行されます。

 void foo_dev() {
  ... 
  /* 
  DPCT1078:0: Consider replacing memory_order::acq_rel with 
  memory_order::seq_cst for correctness if strong memory order restrictions are 
  needed.
  */ 
  sycl::atomic_fence(sycl::memory_order::acq_rel, sycl::memory_scope::device); 
  ... 
}

このコードは次のように書き換えられます。

  void foo_dev() {
   ... 
   // Assuming strong memory order restrictions are need here 
   sycl::atomic_fence(sycl::memory_order::seq_cst, sycl::memory_scope::device); 
   ... 
  }