Quote: disallow out-of-thin-air changes for incorrectly synchronized code; e.g., x,y=0; y=x and x=y; x==42

Quotation Skeleton

Out-of-Thin-Air Guarantees for Incorrect Programs The bulk of … synchronized code. … [p. 381] Initially, x==y==0 Thread 1 ( r1=x; y=r1;) … [This example] is incorrectly synchronized; all sequentially consistent executions … However, we need to provide a strong guarantee … out of thin air in r1 and r2. … in a future aggressive system, Thread 1 could … [allowing] Thread 1 to read 42 for x, … one can create serious security violations [e.g., a reference to an unmanaged object] and needs to be disallowed.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: security leaks and weaknesses (56 items)
Topic: managing shared memory (74 items)
Topic: race conditions (30 items)