Figure: Memory mapping
on(p) { int # s = new int #; # s = 100; }
on(p) int # s = new int # on q;
on(q) int # s = new int #;
In the first fragment, the owner of s is set as Group q, but its descriptor is duplicated on each process in Group p where s is defined.