Object Level Datarace Detection in Chord

[Suvam Mukherjee]

Hi,

Can Chord detect data races at the level of objects? Consider a class Test with fields x and y. Let main create a single object t of Test, and passes this object to threads t1 and t2. If t1 writes to t.x and t2 writes to t.y, both without taking any locks, no datarace is reported by Chord. There is certainly no datarace here, but there is a "race" on the object t.

I was wondering if there is a mode by which we can enable reporting races on objects.

Sincerely,

Suvam.