[all-commits] [llvm/llvm-project] 4c5476: tsan: fix NULL deref in TraceSwitchPart

Dmitry Vyukov via All-commits all-commits at lists.llvm.org
Mon Dec 20 09:56:03 PST 2021

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4c5476b0664a2ba4bd51f69552852160ba6451be
  Author: Dmitry Vyukov <dvyukov at google.com>
  Date:   2021-12-20 (Mon, 20 Dec 2021)

  Changed paths:
    M compiler-rt/lib/tsan/rtl/tsan_rtl.cpp

  Log Message:
  tsan: fix NULL deref in TraceSwitchPart

There is a small chance that the slot may be not queued in TraceSwitchPart.
This can happen if the slot has kEpochLast epoch and another thread
in FindSlotAndLock discovered that it's exhausted and removed it from
the slot queue. kEpochLast can happen in 2 cases: (1) if TraceSwitchPart
was called with the slot locked and epoch already at kEpochLast,
or (2) if we've acquired a new slot in SlotLock in the beginning
of the function and the slot was at kEpochLast - 1, so after increment
in SlotAttachAndLock it become kEpochLast.

If this happens we crash on ctx->slot_queue.Remove(thr->slot).
Skip the requeueing if the slot is not queued.
The slot is exhausted, so it must not be ctx->slot_queue.

The existing stress test triggers this with very small probability.
I am not sure how to make this condition more likely to be triggered,
it evaded lots of testing.

Depends on D116040.

Reviewed By: melver

Differential Revision: https://reviews.llvm.org/D116041

More information about the All-commits mailing list