Closed liuq19 closed 2 weeks ago
Enhance the data race detection when using Sonic JIT.
Problem: when running JIT codes, it will not generate race read/write even though enabling -race, and it will cause some data race cannot be detected.
-race
Solution: We use encoding/json logic at first to make data race detection always work.
Enhance the data race detection when using Sonic JIT.
Problem: when running JIT codes, it will not generate race read/write even though enabling
-race
, and it will cause some data race cannot be detected.Solution: We use encoding/json logic at first to make data race detection always work.