File: issue52612.go

package info (click to toggle)
golang-1.23 1.23.4-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental, sid
  • size: 157,684 kB
  • sloc: asm: 127,587; ansic: 6,951; sh: 2,218; javascript: 1,664; perl: 1,052; python: 366; makefile: 88; cpp: 39; f90: 8; awk: 7; objc: 4
file content (49 lines) | stat: -rw-r--r-- 881 bytes parent folder | download | duplicates (19)
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
// run

// Copyright 2022 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 main

import (
	"sync/atomic"
	"unsafe"
)

var one interface{} = 1

type eface struct {
	typ  unsafe.Pointer
	data unsafe.Pointer
}

func f(c chan struct{}) {
	var x atomic.Value

	go func() {
		x.Swap(one) // writing using the old marker
	}()
	for i := 0; i < 100000; i++ {
		v := x.Load() // reading using the new marker

		p := (*eface)(unsafe.Pointer(&v)).typ
		if uintptr(p) == ^uintptr(0) {
			// We read the old marker, which the new reader
			// doesn't know is a case where it should retry
			// instead of returning it.
			panic("bad typ field")
		}
	}
	c <- struct{}{}
}

func main() {
	c := make(chan struct{}, 10)
	for i := 0; i < 10; i++ {
		go f(c)
	}
	for i := 0; i < 10; i++ {
		<-c
	}
}