Open Bug 1543029 Opened 7 years ago Updated 1 year ago

Create an analysis to detect unsafe use of synchronization in virtual destructors

Categories

(Core :: JavaScript: GC, enhancement, P5)

enhancement

Tracking

()

Tracking Status
firefox68 --- affected

People

(Reporter: jonco, Unassigned)

References

(Blocks 1 open bug)

Details

Filed following the comments in bug 1532803.

Relying on synchronization in virtual destructors is unsafe as described here:

https://github.com/google/sanitizers/wiki/ThreadSanitizerPopularDataRaces#data-race-on-vptr

We could detect situation this using our hazard analysis infrastructure since that computes a global callgraph.

Severity: normal → S3
Blocks: GC.stability
Severity: S3 → N/A
You need to log in before you can comment on or make changes to this bug.