goroutineのRace Conditionについて

Question

初めまして。先月からGo言語を学び始めました初心者です。今回は、goroutineのRace Conditionについての質問をさせて頂こうと思っています。

intSlice = make([]bool,10)

上のbooleanのスライスを二つのgoroutineがシェアしているとします。ただ、片方のgoroutineは、スライスの最初の5つのインデックスへ書き込みするのみで、もう片方のgoroutineは、スライスの後半の5つのインデックスを読み込むだけのものです。この場合でも、Race Conditionは起こり得るのでしょうか？

複数のgoroutineが同じメモリの値を読み書きしたりすると、予期せぬ結果が起こることがある。というのがRace Conditionだという認識です。お互い読み書きする範囲は被っていないので（読み込むだけのgoroutineもありますし）、Race Conditionは起こらないような気がするのですが、一つの変数をシェアしているので、影響があるような気もしてしまいます。。

よろしくお願い致します。

Answer 1

• 複数のgoroutineからリードだけ
• 複数のgoroutineにまたがない要素の書き換え

であればraceコンディションが起こらないのはそのように書いた実装をgo run -race .で見てもらうと確認できるかと思います。

• 複数のgoroutineに同じインデックス要素の書き換えを行うことがある場合
• 一方のgoroutineがスライスのcapやlenが変更される際に他方のgoroutineがそのスライスにアクセスした場合

はraceコンディションが起こります。