White RoomNEW

Where The Bugs Actually Are

Lu et al. classified every concurrency bug fixed in four mature codebases:

Application Non-deadlock Deadlock
MySQL 14 9
Apache 13 4
Mozilla 41 16
OpenOffice 6 2
Total 74 31

Of the 74 non-deadlock bugs, 97 percent were atomicity violations or order violations. Your team can fund exactly one analysis tool this quarter: a deadlock detector, a checker for atomicity and order violations, or a lock-ordering linter. Which reading of the table is correct?