Quote: static race detection by protecting class fields with an external lock; no race checking for local objects and benign races

Quotation Skeleton

we extend the initial type system with a … of a class to be protected by some … thread and therefore safely accessible without synchronization; and … a particular race condition is considered benign.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: race conditions (30 items)