| // Copyright 2016 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. |
| |
| //go:build linux && race |
| |
| package race_test |
| |
| import ( |
| "sync/atomic" |
| "syscall" |
| "testing" |
| "unsafe" |
| ) |
| |
| func TestAtomicMmap(t *testing.T) { |
| // Test that atomic operations work on "external" memory. Previously they crashed (#16206). |
| // Also do a sanity correctness check: under race detector atomic operations |
| // are implemented inside of race runtime. |
| mem, err := syscall.Mmap(-1, 0, 1<<20, syscall.PROT_READ|syscall.PROT_WRITE, syscall.MAP_ANON|syscall.MAP_PRIVATE) |
| if err != nil { |
| t.Fatalf("mmap failed: %v", err) |
| } |
| defer syscall.Munmap(mem) |
| a := (*uint64)(unsafe.Pointer(&mem[0])) |
| if *a != 0 { |
| t.Fatalf("bad atomic value: %v, want 0", *a) |
| } |
| atomic.AddUint64(a, 1) |
| if *a != 1 { |
| t.Fatalf("bad atomic value: %v, want 1", *a) |
| } |
| atomic.AddUint64(a, 1) |
| if *a != 2 { |
| t.Fatalf("bad atomic value: %v, want 2", *a) |
| } |
| } |
| |
| func TestAtomicPageBoundary(t *testing.T) { |
| // Test that atomic access near (but not cross) a page boundary |
| // doesn't fault. See issue 60825. |
| |
| // Mmap two pages of memory, and make the second page inaccessible, |
| // so we have an address at the end of a page. |
| pagesize := syscall.Getpagesize() |
| b, err := syscall.Mmap(0, 0, 2*pagesize, syscall.PROT_READ|syscall.PROT_WRITE, syscall.MAP_ANON|syscall.MAP_PRIVATE) |
| if err != nil { |
| t.Fatalf("mmap failed %s", err) |
| } |
| defer syscall.Munmap(b) |
| err = syscall.Mprotect(b[pagesize:], syscall.PROT_NONE) |
| if err != nil { |
| t.Fatalf("mprotect high failed %s\n", err) |
| } |
| |
| // This should not fault. |
| a := (*uint32)(unsafe.Pointer(&b[pagesize-4])) |
| atomic.StoreUint32(a, 1) |
| if x := atomic.LoadUint32(a); x != 1 { |
| t.Fatalf("bad atomic value: %v, want 1", x) |
| } |
| if x := atomic.AddUint32(a, 1); x != 2 { |
| t.Fatalf("bad atomic value: %v, want 2", x) |
| } |
| } |