Skip to main content
タイトルを編集
リンク
misaki
  • 680
  • 6
  • 15

sizeof(size_t)以下未満の幅の型の隣り合っ、メモリ上隣り合った変数に関して、スレッドセーフにマルチスレッドプログラムはデータ競合なく読み書きできますか?

本文から 16 文字削除
ソース リンク
misaki
  • 680
  • 6
  • 15

私は、複数のスレッドから以下の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.
スレッドセーフの定義が曖昧だとご指摘いただきました。
私自身がスレッドセーフという言葉を取り違えていました。お詫びします。
ここではさらに具体的に、「特別な管理によって配列の同じインデックスにアクセスすることはないが、小さな型のとき隣り合った要素アクセスにはデータ競合が生じるか(アクセスした要素の周囲の要素が、意図しない値になるか)」という点についての質問でした。

私は、複数のスレッドから以下の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.
スレッドセーフの定義が曖昧だとご指摘いただきました。
私自身がスレッドセーフという言葉を取り違えていました。お詫びします。
ここではさらに具体的に、「特別な管理によって配列の同じインデックスにアクセスすることはないが、小さな型のとき隣り合った要素アクセスにはデータ競合が生じるか(アクセスした要素の周囲の要素が、意図しない値になるか)」という点についての質問でした。

私は、複数のスレッドから以下のArrayの要素にアクセスすることを考えました。
加えて、インデックスをatomicに管理することで、複数のスレッドから同時に同じ要素には触らないという条件を設けました。

std::array<uint8_t, SIZE> ar;
std::array<Struct_70bit, SIZE> ar; //あるいはsizeof(size_t)の幅で区切ることが出来ない型

この場合、隣り合った要素はスレッドセーフに読み書きできますか?

もしスレッドセーフでない場合の対策として、私は以下のようにすることを考えましたが、これは正しいですか?

alignas(size_t) std::array<uint8_t, SIZE> ar;
alignas(size_t) std::array<Struct_70bit, SIZE> ar;

P.S.
スレッドセーフの定義が曖昧だとご指摘いただきました。
私自身がスレッドセーフという言葉を取り違えていました。お詫びします。
ここではさらに具体的に、「特別な管理によって配列の同じインデックスにアクセスすることはないが、小さな型のとき隣り合った要素アクセスにはデータ競合が生じるか(アクセスした要素の周囲の要素が、意図しない値になるか)」という点についての質問でした。

本文から 121 文字削除; タグを編集
ソース リンク
misaki
  • 680
  • 6
  • 15

私は、複数のスレッドから以下の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.
スレッドセーフの定義が曖昧だとご指摘いただきました。
私自身がスレッドセーフという言葉を取り違えていました。お詫びします。
ここではさらに具体的に、「特別な管理によって配列の同じインデックスにアクセスすることはないが、小さな型のとき隣り合った要素アクセスにはデータ競合が生じるか(アクセスした要素の周囲の要素が、意図しない値になるか)」という点についての質問でした。

私は、複数のスレッドから以下の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;

私は、複数のスレッドから以下の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.
スレッドセーフの定義が曖昧だとご指摘いただきました。
私自身がスレッドセーフという言葉を取り違えていました。お詫びします。
ここではさらに具体的に、「特別な管理によって配列の同じインデックスにアクセスすることはないが、小さな型のとき隣り合った要素アクセスにはデータ競合が生じるか(アクセスした要素の周囲の要素が、意図しない値になるか)」という点についての質問でした。

本文から 121 文字削除; タグを編集
ソース リンク
misaki
  • 680
  • 6
  • 15
読み込んでいます
編集済みの本文
ソース リンク
misaki
  • 680
  • 6
  • 15
読み込んでいます
ソース リンク
misaki
  • 680
  • 6
  • 15
読み込んでいます