Global Synchronization Analysis

• In Titanium, processes must synchronize at the same textual instances of barrier()

• Singleness analysis statically guarantees correctness by restricting the values of variables that control program flow

doThis();

barrier();

boolean single x =

someCondition();

if (x) {

doThat();

barrier();

}

doSomeMore();

barrier();

Previous slide

Next slide

Back to first slide

View graphic version