Global Synchronization Analysis

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

doThis();

barrier();

boolean x =

someCondition();

if (x) {

doThat();

barrier();

}

doSomeMore();

barrier();

Previous slide

Next slide

Back to first slide

View graphic version