blob: 4a3d5290f2a6cb80d9a12ceb1b01fb29003b0149 [file] [log] [blame]
// Copyright 2011 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.
package race_test
import (
"runtime"
"testing"
"time"
)
func TestNoRaceChanSync(t *testing.T) {
v := 0
c := make(chan int)
go func() {
v = 1
c <- 0
}()
<-c
v = 2
}
func TestNoRaceChanSyncRev(t *testing.T) {
v := 0
c := make(chan int)
go func() {
c <- 0
v = 2
}()
v = 1
<-c
}
func TestNoRaceChanAsync(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
v = 1
c <- 0
}()
<-c
v = 2
}
func TestRaceChanAsyncRev(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
c <- 0
v = 1
}()
v = 2
<-c
}
func TestNoRaceChanAsyncCloseRecv(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
v = 1
close(c)
}()
func() {
defer func() {
recover()
v = 2
}()
<-c
}()
}
func TestNoRaceChanAsyncCloseRecv2(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
v = 1
close(c)
}()
_, _ = <-c
v = 2
}
func TestNoRaceChanAsyncCloseRecv3(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
v = 1
close(c)
}()
for _ = range c {
}
v = 2
}
func TestNoRaceChanSyncCloseRecv(t *testing.T) {
v := 0
c := make(chan int)
go func() {
v = 1
close(c)
}()
func() {
defer func() {
recover()
v = 2
}()
<-c
}()
}
func TestNoRaceChanSyncCloseRecv2(t *testing.T) {
v := 0
c := make(chan int)
go func() {
v = 1
close(c)
}()
_, _ = <-c
v = 2
}
func TestNoRaceChanSyncCloseRecv3(t *testing.T) {
v := 0
c := make(chan int)
go func() {
v = 1
close(c)
}()
for _ = range c {
}
v = 2
}
func TestRaceChanSyncCloseSend(t *testing.T) {
v := 0
c := make(chan int)
go func() {
v = 1
close(c)
}()
func() {
defer func() {
recover()
}()
c <- 0
}()
v = 2
}
func TestRaceChanAsyncCloseSend(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
v = 1
close(c)
}()
func() {
defer func() {
recover()
}()
for {
c <- 0
}
}()
v = 2
}
func TestRaceChanCloseClose(t *testing.T) {
compl := make(chan bool, 2)
v1 := 0
v2 := 0
c := make(chan int)
go func() {
defer func() {
if recover() != nil {
v2 = 2
}
compl <- true
}()
v1 = 1
close(c)
}()
go func() {
defer func() {
if recover() != nil {
v1 = 2
}
compl <- true
}()
v2 = 1
close(c)
}()
<-compl
<-compl
}
func TestRaceChanSendLen(t *testing.T) {
v := 0
c := make(chan int, 10)
go func() {
v = 1
c <- 1
}()
for len(c) == 0 {
runtime.Gosched()
}
v = 2
}
func TestRaceChanRecvLen(t *testing.T) {
v := 0
c := make(chan int, 10)
c <- 1
go func() {
v = 1
<-c
}()
for len(c) != 0 {
runtime.Gosched()
}
v = 2
}
func TestRaceChanSendSend(t *testing.T) {
compl := make(chan bool, 2)
v1 := 0
v2 := 0
c := make(chan int, 1)
go func() {
v1 = 1
select {
case c <- 1:
default:
v2 = 2
}
compl <- true
}()
go func() {
v2 = 1
select {
case c <- 1:
default:
v1 = 2
}
compl <- true
}()
<-compl
<-compl
}
func TestNoRaceChanPtr(t *testing.T) {
type msg struct {
x int
}
c := make(chan *msg)
go func() {
c <- &msg{1}
}()
m := <-c
m.x = 2
}
func TestRaceChanWrongSend(t *testing.T) {
v1 := 0
v2 := 0
c := make(chan int, 2)
go func() {
v1 = 1
c <- 1
}()
go func() {
v2 = 2
c <- 2
}()
time.Sleep(1e7)
if <-c == 1 {
v2 = 3
} else {
v1 = 3
}
}
func TestRaceChanWrongClose(t *testing.T) {
v1 := 0
v2 := 0
c := make(chan int, 1)
go func() {
defer func() {
recover()
}()
v1 = 1
c <- 1
}()
go func() {
time.Sleep(1e7)
v2 = 2
close(c)
}()
time.Sleep(2e7)
if _, who := <-c; who {
v2 = 2
} else {
v1 = 2
}
}
func TestRaceChanSendClose(t *testing.T) {
compl := make(chan bool, 2)
c := make(chan int, 1)
go func() {
defer func() {
recover()
compl <- true
}()
c <- 1
}()
go func() {
time.Sleep(10 * time.Millisecond)
close(c)
compl <- true
}()
<-compl
<-compl
}
func TestRaceChanSendSelectClose(t *testing.T) {
compl := make(chan bool, 2)
c := make(chan int, 1)
c1 := make(chan int)
go func() {
defer func() {
recover()
compl <- true
}()
time.Sleep(10 * time.Millisecond)
select {
case c <- 1:
case <-c1:
}
}()
go func() {
close(c)
compl <- true
}()
<-compl
<-compl
}
func TestRaceSelectReadWriteAsync(t *testing.T) {
done := make(chan bool)
x := 0
c1 := make(chan int, 10)
c2 := make(chan int, 10)
c3 := make(chan int)
c2 <- 1
go func() {
select {
case c1 <- x: // read of x races with...
case c3 <- 1:
}
done <- true
}()
select {
case x = <-c2: // ... write to x here
case c3 <- 1:
}
<-done
}
func TestRaceSelectReadWriteSync(t *testing.T) {
done := make(chan bool)
x := 0
c1 := make(chan int)
c2 := make(chan int)
c3 := make(chan int)
// make c1 and c2 ready for communication
go func() {
<-c1
}()
go func() {
c2 <- 1
}()
go func() {
select {
case c1 <- x: // read of x races with...
case c3 <- 1:
}
done <- true
}()
select {
case x = <-c2: // ... write to x here
case c3 <- 1:
}
<-done
}
func TestNoRaceSelectReadWriteAsync(t *testing.T) {
done := make(chan bool)
x := 0
c1 := make(chan int)
c2 := make(chan int)
go func() {
select {
case c1 <- x: // read of x does not race with...
case c2 <- 1:
}
done <- true
}()
select {
case x = <-c1: // ... write to x here
case c2 <- 1:
}
<-done
}
func TestRaceChanReadWriteAsync(t *testing.T) {
done := make(chan bool)
c1 := make(chan int, 10)
c2 := make(chan int, 10)
c2 <- 10
x := 0
go func() {
c1 <- x // read of x races with...
done <- true
}()
x = <-c2 // ... write to x here
<-done
}
func TestRaceChanReadWriteSync(t *testing.T) {
done := make(chan bool)
c1 := make(chan int)
c2 := make(chan int)
// make c1 and c2 ready for communication
go func() {
<-c1
}()
go func() {
c2 <- 10
}()
x := 0
go func() {
c1 <- x // read of x races with...
done <- true
}()
x = <-c2 // ... write to x here
<-done
}
func TestNoRaceChanReadWriteAsync(t *testing.T) {
done := make(chan bool)
c1 := make(chan int, 10)
x := 0
go func() {
c1 <- x // read of x does not race with...
done <- true
}()
x = <-c1 // ... write to x here
<-done
}
func TestNoRaceProducerConsumerUnbuffered(t *testing.T) {
type Task struct {
f func()
done chan bool
}
queue := make(chan Task)
go func() {
t := <-queue
t.f()
t.done <- true
}()
doit := func(f func()) {
done := make(chan bool, 1)
queue <- Task{f, done}
<-done
}
x := 0
doit(func() {
x = 1
})
_ = x
}
func TestRaceChanItselfSend(t *testing.T) {
compl := make(chan bool, 1)
c := make(chan int, 10)
go func() {
c <- 0
compl <- true
}()
c = make(chan int, 20)
<-compl
}
func TestRaceChanItselfRecv(t *testing.T) {
compl := make(chan bool, 1)
c := make(chan int, 10)
c <- 1
go func() {
<-c
compl <- true
}()
time.Sleep(1e7)
c = make(chan int, 20)
<-compl
}
func TestRaceChanItselfNil(t *testing.T) {
c := make(chan int, 10)
go func() {
c <- 0
}()
time.Sleep(1e7)
c = nil
_ = c
}
func TestRaceChanItselfClose(t *testing.T) {
compl := make(chan bool, 1)
c := make(chan int)
go func() {
close(c)
compl <- true
}()
c = make(chan int)
<-compl
}
func TestRaceChanItselfLen(t *testing.T) {
compl := make(chan bool, 1)
c := make(chan int)
go func() {
_ = len(c)
compl <- true
}()
c = make(chan int)
<-compl
}
func TestRaceChanItselfCap(t *testing.T) {
compl := make(chan bool, 1)
c := make(chan int)
go func() {
_ = cap(c)
compl <- true
}()
c = make(chan int)
<-compl
}
func TestRaceChanCloseLen(t *testing.T) {
v := 0
c := make(chan int, 10)
c <- 0
go func() {
v = 1
close(c)
}()
time.Sleep(1e7)
_ = len(c)
v = 2
}
func TestRaceChanCloseSend(t *testing.T) {
compl := make(chan bool, 1)
c := make(chan int, 10)
go func() {
close(c)
compl <- true
}()
c <- 0
<-compl
}
func TestNoRaceChanMutex(t *testing.T) {
done := make(chan struct{})
mtx := make(chan struct{}, 1)
data := 0
go func() {
mtx <- struct{}{}
data = 42
<-mtx
done <- struct{}{}
}()
mtx <- struct{}{}
data = 43
<-mtx
<-done
}
func TestNoRaceSelectMutex(t *testing.T) {
done := make(chan struct{})
mtx := make(chan struct{}, 1)
aux := make(chan bool)
data := 0
go func() {
select {
case mtx <- struct{}{}:
case <-aux:
}
data = 42
select {
case <-mtx:
case <-aux:
}
done <- struct{}{}
}()
select {
case mtx <- struct{}{}:
case <-aux:
}
data = 43
select {
case <-mtx:
case <-aux:
}
<-done
}
func TestRaceChanSem(t *testing.T) {
done := make(chan struct{})
mtx := make(chan bool, 2)
data := 0
go func() {
mtx <- true
data = 42
<-mtx
done <- struct{}{}
}()
mtx <- true
data = 43
<-mtx
<-done
}
func TestNoRaceChanWaitGroup(t *testing.T) {
const N = 10
chanWg := make(chan bool, N/2)
data := make([]int, N)
for i := 0; i < N; i++ {
chanWg <- true
go func(i int) {
data[i] = 42
<-chanWg
}(i)
}
for i := 0; i < cap(chanWg); i++ {
chanWg <- true
}
for i := 0; i < N; i++ {
_ = data[i]
}
}