Ian Lance Taylor | d5ba668 | 2008-11-06 22:27:32 -0800 | [diff] [blame] | 1 | // $G $D/$F.go && $L $F.$A && ./$A.out |
| 2 | |
| 3 | // Copyright 2009 The Go Authors. All rights reserved. |
| 4 | // Use of this source code is governed by a BSD-style |
| 5 | // license that can be found in the LICENSE file. |
| 6 | |
| 7 | package main |
| 8 | |
| 9 | var counter uint |
| 10 | var shift uint |
| 11 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 12 | func GetValue() uint { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 13 | counter++ |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 14 | return 1 << shift |
Ian Lance Taylor | d5ba668 | 2008-11-06 22:27:32 -0800 | [diff] [blame] | 15 | } |
| 16 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 17 | func Send(a, b chan uint) int { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 18 | var i int |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 19 | |
| 20 | LOOP: |
| 21 | for { |
| 22 | select { |
| 23 | case a <- GetValue(): |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 24 | i++ |
| 25 | a = nil |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 26 | case b <- GetValue(): |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 27 | i++ |
| 28 | b = nil |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 29 | default: |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 30 | break LOOP |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 31 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 32 | shift++ |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 33 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 34 | return i |
Ian Lance Taylor | d5ba668 | 2008-11-06 22:27:32 -0800 | [diff] [blame] | 35 | } |
| 36 | |
| 37 | func main() { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 38 | a := make(chan uint, 1) |
| 39 | b := make(chan uint, 1) |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 40 | if v := Send(a, b); v != 2 { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 41 | println("Send returned", v, "!= 2") |
| 42 | panic("fail") |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 43 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 44 | if av, bv := <-a, <-b; av|bv != 3 { |
| 45 | println("bad values", av, bv) |
| 46 | panic("fail") |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 47 | } |
| 48 | if v := Send(a, nil); v != 1 { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 49 | println("Send returned", v, "!= 1") |
| 50 | panic("fail") |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 51 | } |
| 52 | if counter != 10 { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 53 | println("counter is", counter, "!= 10") |
| 54 | panic("fail") |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 55 | } |
Ian Lance Taylor | d5ba668 | 2008-11-06 22:27:32 -0800 | [diff] [blame] | 56 | } |