cppcmu-db/bustub #288Not a task: already works

Proposal: introduce ThreadSanitizer to bustub

envgap__cmu-db__bustub-288

Original GitHub issue ↗Dated source checkout ↗Opened 2022-08-27

01 / FAILURE SIGNATURE

As reported upstream

No identifying execution failure has been captured.

Not a benchmark task.

The project already builds and runs before the fix, so there is nothing to repair.

02 / ENVIRONMENT RECIPE

Base commit: ca96212b3a65bb632f9cc19144457b66817f1c6d
Manifest: CMakeLists.txt
Reproduce: Awaiting issue-specific recipe
Run under trace: Awaiting a meaningful runtime command

03 / ORIGINAL ISSUE TEXT

cmu-db/bustub #288 · read the original issue

Currently we've already enabled AddressSanitizer + LeakSanitizer. We can further add a CI step / grading step to run all tests under thread sanitizer, so as to find potential issues with deadlocks in the bustub project.

Continue on GitHub ↗

04 / LABELS

Labels from the report text only; not yet run

No supported category has been assigned.

Label rules and the text that matched

[]