1 //===-- test.c ------------------------------------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // Test for Go runtime.
11 //===----------------------------------------------------------------------===//
18 void __tsan_init(void **thr
, void **proc
, void (*cb
)(long, void*));
20 void __tsan_map_shadow(void *addr
, unsigned long size
);
21 void __tsan_go_start(void *thr
, void **chthr
, void *pc
);
22 void __tsan_go_end(void *thr
);
23 void __tsan_proc_create(void **pproc
);
24 void __tsan_proc_destroy(void *proc
);
25 void __tsan_proc_wire(void *proc
, void *thr
);
26 void __tsan_proc_unwire(void *proc
, void *thr
);
27 void __tsan_read(void *thr
, void *addr
, void *pc
);
28 void __tsan_write(void *thr
, void *addr
, void *pc
);
29 void __tsan_func_enter(void *thr
, void *pc
);
30 void __tsan_func_exit(void *thr
);
31 void __tsan_malloc(void *thr
, void *pc
, void *p
, unsigned long sz
);
32 void __tsan_free(void *p
, unsigned long sz
);
33 void __tsan_acquire(void *thr
, void *addr
);
34 void __tsan_release(void *thr
, void *addr
);
35 void __tsan_release_acquire(void *thr
, void *addr
);
36 void __tsan_release_merge(void *thr
, void *addr
);
40 void symbolize_cb(long cmd
, void *ctx
) {
43 if (current_proc
== 0)
45 *(void**)ctx
= current_proc
;
50 * See lib/tsan/rtl/tsan_platform.h for details of what the memory layout
51 * of Go programs looks like. To prevent running over existing mappings,
52 * we pick an address slightly inside the Go heap region.
54 void *go_heap
= (void *)0xC011110000;
63 __tsan_init(&thr0
, &proc0
, symbolize_cb
);
66 // Allocate something resembling a heap in Go.
67 buf0
= mmap(go_heap
, 16384, PROT_READ
| PROT_WRITE
,
68 MAP_PRIVATE
| MAP_FIXED
| MAP_ANON
, -1, 0);
69 if (buf0
== MAP_FAILED
) {
70 fprintf(stderr
, "failed to allocate Go-like heap at %p; errno %d\n",
74 char *buf
= (char*)((unsigned long)buf0
+ (64<<10) - 1 & ~((64<<10) - 1));
75 __tsan_map_shadow(buf
, 4096);
76 __tsan_malloc(thr0
, (char*)&barfoo
+ 1, buf
, 10);
78 __tsan_func_enter(thr0
, (char*)&main
+ 1);
79 __tsan_malloc(thr0
, (char*)&barfoo
+ 1, buf
, 10);
80 __tsan_release(thr0
, buf
);
81 __tsan_release_acquire(thr0
, buf
);
82 __tsan_release_merge(thr0
, buf
);
84 __tsan_go_start(thr0
, &thr1
, (char*)&barfoo
+ 1);
86 __tsan_go_start(thr0
, &thr2
, (char*)&barfoo
+ 1);
87 __tsan_func_exit(thr0
);
88 __tsan_func_enter(thr1
, (char*)&foobar
+ 1);
89 __tsan_func_enter(thr1
, (char*)&foobar
+ 1);
90 __tsan_write(thr1
, buf
, (char*)&barfoo
+ 1);
91 __tsan_acquire(thr1
, buf
);
92 __tsan_func_exit(thr1
);
93 __tsan_func_exit(thr1
);
96 __tsan_proc_create(&proc1
);
98 __tsan_func_enter(thr2
, (char*)&foobar
+ 1);
99 __tsan_read(thr2
, buf
, (char*)&barfoo
+ 1);
100 __tsan_free(buf
, 10);
101 __tsan_func_exit(thr2
);
103 __tsan_proc_destroy(proc1
);
104 current_proc
= proc0
;