blob: 89ec306af47a29082b3537b9dcc9d2732d4c8b31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
// $G $D/$F.go && $L $F.$A && ./$A.out
// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
// Verify channel operations that test for blocking
// Use several sizes and types of operands
package main
func pause() {
for i:=0; i<100; i++ { sys.gosched() }
}
func i32receiver(c *chan int32) {
if <-c != 123 { panic "i32 value" }
}
func i32sender(c *chan int32) {
c -< 234
}
func i64receiver(c *chan int64) {
if <-c != 123456 { panic "i64 value" }
}
func i64sender(c *chan int64) {
c -< 234567
}
func breceiver(c *chan bool) {
if ! <-c { panic "b value" }
}
func bsender(c *chan bool) {
c -< true
}
func sreceiver(c *chan string) {
if <-c != "hello" { panic "s value" }
}
func ssender(c *chan string) {
c -< "hello again"
}
func main() {
var i32 int32;
var i64 int64;
var b bool;
var s string;
var ok bool;
c32 := new(chan int32);
c64 := new(chan int64);
cb := new(chan bool);
cs := new(chan string);
i32, ok = <-c32;
if ok { panic "blocked i32sender" }
i64, ok = <-c64;
if ok { panic "blocked i64sender" }
b, ok = <-cb;
if ok { panic "blocked bsender" }
s, ok = <-cs;
if ok { panic "blocked ssender" }
go i32receiver(c32);
pause();
ok = c32 -< 123;
if !ok { panic "i32receiver" }
go i32sender(c32);
pause();
i32, ok = <-c32;
if !ok { panic "i32sender" }
if i32 != 234 { panic "i32sender value" }
go i64receiver(c64);
pause();
ok = c64 -< 123456;
if !ok { panic "i64receiver" }
go i64sender(c64);
pause();
i64, ok = <-c64;
if !ok { panic "i64sender" }
if i64 != 234567 { panic "i64sender value" }
go breceiver(cb);
pause();
ok = cb -< true;
if !ok { panic "breceiver" }
go bsender(cb);
pause();
b, ok = <-cb;
if !ok { panic "bsender" }
if !b{ panic "bsender value" }
go sreceiver(cs);
pause();
ok = cs -< "hello";
if !ok { panic "sreceiver" }
go ssender(cs);
pause();
s, ok = <-cs;
if !ok { panic "ssender" }
if s != "hello again" { panic "ssender value" }
print "PASS\n"
}
|