チャネルで理解出来ない挙動があるので解説お願いしたいです。

解決済

回答 1

投稿 編集

  • 評価
  • クリップ 0
  • VIEW 741

puroko3

score 170

package main

import (
  "fmt"
  "math/rand"
  "time"
)

const goroutines = 10
const maxProcesses = 3

func main() {
  //3つまでint型を受け取れるチャネル
  semaphore := make(chan int, maxProcesses)
  //10つまでint型を受け取れるチャネル
  notify := make(chan int, goroutines)

  for i := 0; i < goroutines; i++ {
    fmt.Println(i, "i")
    go func(no int, semaphore chan int, notify chan<- int) {
      //semaphoreに0を送信
      semaphore <- 0
      //ランダムな秒数で処理を一時停止させる
      time.Sleep(time.Duration(rand.Int63n(3)) * time.Second)
      //semaphoreに送信された値を取り出してバッファを解放する。解放しなかれば3回ループした時点で止まる。
      fmt.Println(<-semaphore, "semaphore受信")
      //notifyに引数のnoを送信する
      notify <- no
    }(i, semaphore, notify)
  }
  for i := 0; i < goroutines; i++ {
    //notifyに送信された値を全て取り出す。同期の意味合いも持つ
    fmt.Println(<-notify, "notify受信")
  }
  fmt.Println("全て完了")
}

基礎からわかるGo言語という書籍のサンプルコードを少し変形させて、自分なりの理解をコメントにしました。
もし理解に誤りがあるようなら指摘してくださると嬉しいです。

本題に入りまして、今つまづいているのはsemaphoreの部分です。
このコードを実行させると大体の場合、forのiの0から3以上が表示されて、
その後、semaphoreの受信が表示されるのですが、その前にsemaphore <- 0の部分が3つまでしか受け取れないのでエラーが起きてしまうように感じます。

<- semaphoreでバッファの解放?を行っているみたいですが、先にiが3以上まで表示されるという事は、解放する前に受け取っているという事なので、エラーが起きないのが何故なのか理解出来てない状況です...

わかるかたいらしたらお願いします

fmt.Println(<-semaphore, "semaphore受信")
の部分をコメントアウトした時のエラーメッセージ
fatal error: all goroutines are asleep - deadlock!

goroutine 1 [chan receive]:
main.main()
C:/Go/src/mytest/test1.go:33 +0x18b
goroutine 5 [chan send]:
main.main.func1(0x0, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b

goroutine 6 [chan send]:
main.main.func1(0x1, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b

goroutine 7 [chan send]:
main.main.func1(0x2, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b

goroutine 10 [chan send]:
main.main.func1(0x5, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b

goroutine 11 [chan send]:
main.main.func1(0x6, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b

goroutine 12 [chan send]:
main.main.func1(0x7, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b

goroutine 13 [chan send]:
main.main.func1(0x8, 0xc04206a080, 0xc042076000)
C:/Go/src/mytest/test1.go:22 +0x3e
created by main.main
C:/Go/src/mytest/test1.go:20 +0x14b
exit status 2

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 1

checkベストアンサー

0

「semaphore <- 0の部分が3つまでしか受け取れないのでエラーが起きてしまうように感じます。」は誤解です。
semaphoreに0を送信において、semaphoreがcloseでなければエラーが発生することはありません。
空きがあれば送信できるし、空きがなければ空きができるまでブロック(処理待ち)します。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/07/17 20:06

    deadlockチェックはよくできていて、goroutineはchanへの送信待ちリスト、chanからの受信待ちリストかそれ以外かに分類されています。deadlock検出時のpanic表示がその理解の手助けになります。
    7つのsemaphore送信まちのgoroutineと1つのnotify受信まちのgoroutineに分類され、それ以外に属しているgoroutineがいなくなったため、以降どんなに待っても待ちが解消されることがないということが確定したからdeadlock検出panicになったのです。

    キャンセル

  • 2018/07/17 20:17

    panicやエラー時のメッセージは回答するのに大変重要なヒントが乗っているので、何か表示されるのならそれを質問に貼るのをお勧めします。

    キャンセル

  • 2018/07/17 20:28 編集

    ありがとうございます!
    ようやく理解出来ました。
    send receiveは互いに相殺するような関係にあり、相殺が不可能になった時点で止まるという事ですね。

    エラーの件次から気を付けます。
    また機会があればお願いします。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.22%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる