< sched;
sched < allg, allp;
allp < timers;
+timers < wakeableSleep;
timers < netpollInit;
# Channels
< MALLOC
# Below MALLOC is the malloc implementation.
< fin,
- gcBitsArenas,
- mheapSpecial,
- mspanSpecial,
spanSetSpine,
+ mspanSpecial,
MPROF;
+# We can acquire gcBitsArenas for pinner bits, and
+# it's guarded by mspanSpecial.
+MALLOC, mspanSpecial < gcBitsArenas;
+
# Memory profiling
MPROF < profInsert, profBlock, profMemActive;
profMemActive < profMemFuture;
# Above mheap is anything that can call the span allocator.
< mheap;
# Below mheap is the span allocator implementation.
+#
+# Specials: we're allowed to allocate a special while holding
+# an mspanSpecial lock, and they're part of the malloc implementation.
+# Pinner bits might be freed by the span allocator.
+mheap, mspanSpecial < mheapSpecial;
mheap, mheapSpecial < globalAlloc;
# Execution tracer events (with a P)
# deadlock is not acquired while holding panic, but it also needs to be
# below all other locks.
panic < deadlock;
+# raceFini is only held while exiting.
+panic < raceFini;
`
// cyclicRanks lists lock ranks that allow multiple locks of the same