2012-10-23 06:31:11 +02:00
|
|
|
// Copyright 2012 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.
|
|
|
|
|
|
|
|
// Definitions related to data race detection.
|
|
|
|
|
|
|
|
#ifdef RACE
|
|
|
|
enum { raceenabled = 1 };
|
|
|
|
#else
|
|
|
|
enum { raceenabled = 0 };
|
|
|
|
#endif
|
|
|
|
|
|
|
|
// Initialize race detection subsystem.
|
|
|
|
void runtime_raceinit(void);
|
|
|
|
// Finalize race detection subsystem, does not return.
|
|
|
|
void runtime_racefini(void);
|
|
|
|
|
2012-11-21 08:03:38 +01:00
|
|
|
void runtime_racemapshadow(void *addr, uintptr size);
|
2012-10-23 06:31:11 +02:00
|
|
|
void runtime_racemalloc(void *p, uintptr sz, void *pc);
|
|
|
|
void runtime_racefree(void *p);
|
|
|
|
void runtime_racegostart(int32 goid, void *pc);
|
|
|
|
void runtime_racegoend(int32 goid);
|
2012-12-13 00:13:29 +01:00
|
|
|
void runtime_racewritepc(void *addr, void *callpc, void *pc);
|
|
|
|
void runtime_racereadpc(void *addr, void *callpc, void *pc);
|
2012-10-23 06:31:11 +02:00
|
|
|
void runtime_racefingo(void);
|
|
|
|
void runtime_raceacquire(void *addr);
|
|
|
|
void runtime_raceacquireg(G *gp, void *addr);
|
|
|
|
void runtime_racerelease(void *addr);
|
|
|
|
void runtime_racereleaseg(G *gp, void *addr);
|
|
|
|
void runtime_racereleasemerge(void *addr);
|
|
|
|
void runtime_racereleasemergeg(G *gp, void *addr);
|