私は、複数のスレッドから以下のArrayの要素にアクセスすることを考えました。
加えて、インデックスをatomicに管理することで、複数のスレッドから同時に同じ要素には触らないという条件を設けました。
std::array<uint8_t, SIZE> ar;
std::array<Struct_70bit, SIZE> ar; //あるいはsizeof(size_t)の幅で区切ることが出来ない型
この場合、隣り合った要素はスレッドセーフに読み書きできますか?
もしスレッドセーフでない場合の対策として、私は以下のようにすることを考えましたが、これは正しいですか?
alignas(sizeof(size_t)) std::array<uint8_t, SIZE> ar;
alignas(sizeof(size_t)) std::array<Struct_70bit, SIZE> ar;
P.S.
スレッドセーフの定義が曖昧だとご指摘いただきました。
私自身がスレッドセーフという言葉を取り違えていました。お詫びします。
ここではさらに具体的に、「特別な管理によって配列の同じインデックスにアクセスすることはないが、小さな型のとき隣り合った要素アクセスにはデータ競合が生じるか(アクセスした要素の周囲の要素が、意図しない値になるか)」という点についての質問でした。