Exclusion for Composite Objects - ACM Digital Library

Exclusion for Composite Objects James Noble

David Holmes

John Potter

Computer Science Victoria University of Wellington New Zealand

DSTC Pty Ltd Brisbane

Computer Science and Engineering University of New South Wales Sydney

[email protected]

[email protected]

[email protected]

#& 6%' %'
)
Q+>?
)
#  =)#=)
9K6%'8&
+“ -/ 
=)
K"
%) +

7ˆ'#35%0#‰ 7#& $)
— #&46
73I
1NR& Z#& *3 & j Na&%0#& 8˜f)*#+Q X  
c™Sš# *C B‰ #& $)
I 8  %'8& 
 ›/#& h#&")
  7#+  g &%'8
 7›A#& g   1i

c)*#!
 
>?
2
>?
 ;Na %    2
> 
›/#& g#& C " 1i

')*#+1Na&5 %'
 7: ?
#7>? D 
NR

  
: ' 
 )
; 
&5LKI&N )
Z &%'8 
 Ÿ8#$#0 9 
#& *3 > #+#& ,!Šm)
9
c#
#2 %18
=N@ 5¡ 

 #  #& $)
P?
!K"  $)  # & D+>?
)
# IK'
7"  2   
 K,

1. -/&  "INTRODUCTION 
 ; 
 &
 
7X  $#&%'%' '8
?#& k 3)
Z4l#+


5J
m?
; 4#& %0#+
76K0) 
#  , Šm)
‰#  3N2)

W)"
7# "D)*#7>?
X‹8
WK"  $)  
7O "
>?
 2 
Na

 
,‹Ed#+45Kh)"
7# "4 
 '4#&  *#
:  9)c#&/n"%0#&445$#&4B8: $  *#+
72) 
#  AKZ ;8
 l#4*" 8&
/ &  "
  9KQ & &4? 
 : 4B?
A
%0#& )
Œ# *;)*#+
 #4
1i

,QI
Z
 
 45K:8 34l# &*#&&
; $)X#&QI  4l#+UŽ # *0t?#7>&#":"K"  $)  # 08
U?
D&%'
%'
 9)#& %3[\?]^ _ `[;&)
9=%'
)"/Na&%
J"
 " 2%145 $# 
&45K, Šm)
6"  4
%‘) 1*#8
c#&

cˆ0)7?
9)
7#&(›/#X%'
#&


GUI Server

Authentication

Bitmap Cache

RAM Cache

Input Queue

Locking Strategy

Disk Cache

Output Queue

Locking Strategy


   

 "! #%$%&(') *,+ *

2Na44    
 K — #P)
;)
9˜9, Šm)D#&8
D6& #& 
7Y#&INa 447
)
7#& :?
72Na&% 
&=&"L
 :#& *') +< 4"$#KV  %c 8
  #& ;8
@
7P
J
 f)
@ &  "
  9K &  4?%'
 $)  #& %'/ +>
7cK1 &&$#&%'%' ;4l# &*#&&
,/n"
 9& (7!)
    
!NR "
2&#&=LK"8
, S )K" 6
 — &  XŽ ˜P 7# 3 +>
Q
7# *#4
Z4
>?
4N

   
 K:/?
)
#  0# *‹#+>    W  
9NR

 
,P” &f
J #&%'4
:#'•ef–Pn"
>
f
 D)#
)
xd%0#h-m#& $)
'3%0#& #&&
'
J" 4 ‰Na&c5Z8 &%'8
  # *X 7#
9NR445KW  "r* "
Q)
2i

Ÿ 4 9B 6$#
&
:H 7#& "+>""
Q#&=%1 $)0
Na4    
  K0#P#1%0#+J %0#445K'     
 c
& :d Z?
9)
7#&(,‰ef Na&  *#+
45K:H)K "j 9)
%'
Z#
V%'&
0"5G' 45ZX
& ‰)*#& #g &4
w) 
7#&
7F
>?
97:Q&D#g
>?
V?
KM  %'8
 V0"&
 
MKM507

#  
, –U g)c*#8
7:A?
‰
7 FB?

 )
C"
 ¢&N0)
C#&4
"$#F%' 4

    )c;8
%'51yL#& $BNaw)

 >?
4&8
Q 7#4 4#& =#+d)
4
>
4=&N#& $#&  CLK"  #&445KC
7‰?
0#& h #& M  r*
 
I C)
50"
 & ,6Sf45)&&)j5!Z%' 4
&:Œ)
c#&4
"$#"Ÿ Z%'
4@&Nm
J" 4  & ‰Z   7#445KW%2 45)"
7# "
7(:#&447 QA*# !
%'+>?
.)
P"K" *#%'  Nl % )
   4
%D,

 

W

 W W W

— 

)
fSf8
 * 5J˜9,HŠm)
5*{6:0[9|N.# 6
J""
 6#
%' 45K )
P
d&N %'
9)2 #&%'
=K"%28&4A
2 c)
=
J" 
& :"# * )
Az"{&}R‚$|/N8# 1
J""
 c#+
/)
d
HN*
J" 4& 2*#5H    
7jKk)
'
J" 4 & g 8
$#+&,jn"&%'
'
J" 
& :@ $) #&O 
YUP&:()#+>
2 V*#5:Π ;"I)#+>
1& 
c;%'&
1 *#&%'
fœ Fj
IH.GK! 0)m 7#
,dŠm)
  &L  I&8
$#P=l"
%'8&
 7: #& l#+>?
:#& *' &%'%2"$#>?
:# *c)

J" 4& 6&8
$#= #& l#+>?
:  &%'%2 $#+>?
:"#& D "
P+>?
     (, x/)g *#+KW&8
$#2)#
V#& ‰"
 UK yž&3?
ˆPN dH
J"
    1& 
d)"
7#  )
 V#& &)
9/) 
# '%0#Kc m8
& V
9J
   ?  P ')
f#%'
&"L
 7,@Šm)
d
9J 4  ;
4# — #& Q)
@%0#5J˜ .K"%'%'
 œ 5N
0
J" 4*
Q )
R Q%2 =
J" 4*"S

8,

8 4 K:??
f#& *c
9J 4

>?
9K6)
%'
#
,/n $)I#24 $B6 #& D8
!"
r*
76#ˆ xz4{9| — f\c.f;d vwvwv f ~ ˜  v — f=clW_f=c$˜IW — f;d)W_f;d˜ vwvGv — f ~ WSf ~ ˜

#& V" 
'>
#",6e  )

&8
$#m)

J" 
& —
RU ˜ W f%'
7# A)
#&%'
f#& )
;
J" 4 I%0#5J0 3”.  
!Ž:8#PNa 447%po^A)q@
Zr !  6
sAtD

2.1 -j
=%'Exclusion 
4"%'
) 1
J"Pairs

4& c ;
9ANd[\?]^ _|$}‡„652z"{&}a‚9| — 

-





xz4{9| — f c f d$vGvwv fg~˜  v f c f dvGvv f]~ 2.3.1 S
7# wl#+
76Na&% NRf
7#&"w #4
 — *#&%'
2# *‰*#5$˜Z&^N T6#
6#X 
1&NP)
>&#&4
P&N  ,-‰
Q?
 D
J" 4 & 3  $#& 
7 K6#1#  4l#+4l# &*#&&
:8# *6
%'& $# 1)*#+#& 6
J" 4  & 3
J" 
 I%'

P#28
 r 7#& , Ef&
=)*#+m#45)   )c
r 
%'
 @"

>?
/#; &&$#%DŸ A#Na
LK : 5! 7# j#& >?
9
45Kj#+¡ 
 !#V &&$#&%DŸ ;4>?

ˆ!#0 &
Z
J "
 ! 7# ; 7#& 
/"
7# "4 $B?
KW4 9Bj C#3" &$#%


i 5
Z#$#6 "
QD8
'#44 7#+
7jD 8&!57:.#& *

16

  —U

3.1 -j
 7# IExtending %'"
48K"
%'the m&NŒAlgebra %2 4 4
f with 
 9Objects K'
9J"
 *  Z)


# 4
"$#;
7#4"
%'
) 0 #&44=
J 4 545K,H–L 2%0#& KZ 7#&
@)

f"Q A 

 d#& KZ
7#&4 5G'  45 
:*"+>""
7V


$#&4 NR%' &N 7#44 
7i5
m#;%'
f &%'4
J2%'
4‡›?

9
7' ')

;N@%' 4 UKV V)P*#8
7, Sf45)  &)1) @H
 >?
:5@A 4 
=" &$#%'%' UK"4
  $)‹#&0xm#44& OŠAK"8
Do Žqw:-/& r 
7hŠAK"8
3o qw:P# *h”.4
J 4
kSf4#&  @
  ¢o Ž :1v +qQ?
38

 F#& >? #
7 
 
 45K:#& 6c)
;
%0#  N@
J"*# *
6 
  3E@5¡ 
4 o Ž Ž+q:PV > #+
D 4 
7h 
 9V - 1,OSf ‹%' 4
%'
 $#  'NR&447 # $#&
 NR1#& *#45K 1#& W%'
44 ":.) +?
7,0–U W#  4l#+7:H5!" 8&@# 4 
7Z""*#&4@&"L
 !?
7jK3)
c
  4& D & $#& 
Z&"L
 !6)


 %'8
 @œ &Ÿ 
%'
9)2 7#44%
 Ÿ /#& *y  Ÿ % `D%'
) (:?#& * Ÿ   j%'
9)‹ #&44R 
8Ÿ V#& *1  &Ÿ   f %'
) (,OŠm)
3  $#
 &"L
 f5
45NA
r 
= 2
J" 4& 3  $#& & 6)

# *   %'
9) :?!)

P%'
)"d #& '
J"
 "
=?
d 
 
#K: ) 7?
9Q)
1
J"
  & WN/)u
fs#& *;  `C%'
)  & W
#& $)WN

3.3 Šm)
W
J"Splitting

4 O
7iObjects 5
%'
 :8
)#7>"& 7:;# *F > #+l# D&N

 %'
I 
 0 7# ‹8
I*#5
7‹ j 
8
 
 2
9 o u :., žqw,2–U W 9)k 7#
:.5; 7# j8
1
Na4H6 4;)
2

17

—U

U˜


 ‘c  ‘d  “ 
RU ‘ c

— …„7` — …„7` — …„7` — …„7`

‘ d_W “

„32‚
„32 ‘ „32 ‘ „3‚2 “

vwvv c?vGvwv d vGvwv vwvGv

˜

&%'8 
 m 
 :*#
; "L
 P1)
Q
J" 4 I  $#&   k)
c  %'8
 ; 
 ,(-‰
c 7# j &%'"
1)
2
J" 4

& $#& INa&3)
X?
$#44H
J" 4 NRf)
Q &%'8 5 D

˜

˜ ˜


, 
)   

!P@yC q D

 v
Uu %v ‘ c  %v ‘ d 

 #&4m&"L
 c X#3  %'8&5& :H""
I&"L
 Ig  9
7#&
W   
 K:P&#5 # =?

:Œ",DŠm)

9¡ 
 >?
!
J" 4 X & $# NR  d 
:*
>?
 D)  &# )  d 5 
4N@  $#&  2
J" 4 D
9J "
 (, -j
; 7#& D%'"
4 )P )
D#4&
 $#kKg)7
Q
7#&"wl"
A#Q4#
9m
J #&%' 4
m&N(l"
m &  "
  K1 & &4 NRQ)
! & $#& 
7Ÿ f *#+$
73%'
)  Q
8I: &I: Z# *%  $*,-/ l
 c)
!  $#&
7Ÿ _ ;%'
) (:"NR&
J #&%' 4
&&: ! c7Ÿ Q “ %'
)  #& '  ! d ŸX  T3%'
) h%1'8
3#4
D‰
J"
  
I
')


& $# 
7Ÿ ‚ %'
9)'
J"
 "
:"#& 6# K0)
m%'
)"d)
9K
J" 4*"
;#
Z#4'
9J 4
7'
4 
>?
=&"L
 #=  $#&  2& 
;#4&
 $#Z 
 9Na&P
7# 9)

 %'8
 ' h)
6r  
&:=#& Cr>?
V%'
)"ˆj^„ 1&}5F#& *O^„ ƒ 1?„_"€‡:")*#+m8
& I# *'
 *' 
=
 ›:c„&_|[9: )#m 4#& 
m# %'&
Z
>?
 f ')
!   i

&›A`&‚{ @: )*#+8

BfNR!#&
>?
 Nl % )
2& "Qi

:(# *D

>?
Q
25N/5;
9J › # *W] ]^[9:)*#+=

>?
P# 6  m
>?
 7:>?
5r
=5P#& ) &5 #+ :* 9)
 9B#& I  #
=)
; 7#& $)
;5NA 
 
#K:*#& *0)
 8&;#& k ""
>
 7,;Šm)

2%'
)  )7
)
5=#& 9*#&4*
i 5
%'
 d4
7 —
 I)&&)I)
;&"L
 f)
%'
4>?
 )*#7>?
j
J #& 45KO)
‰#%'
‰
J" 4& 
7i5
%'
 :;  
&: #& ‰%'
)",kŠm)c44$#
c)7?
@)
m  
/  %' 4
9J14 $B@
i 5
71K!)
m%0#+J"%0#44K

&  "
 =
& :
>
 c)& )c)
f)K" c"
 V%0#& $#& 

&  "
  K2?
45K:")
Q&34
>?
4Œ
9>?
   4D8
;  4
!) 
7#&
7 : c)*#+#&44Œ5P%'
)  =
J"
 "
Q D%2"*#4(
9J 4  ,AQ7

?
4/  $#& 
91?
 
 0%'
) 2 *#%'
: — )&
f%'
)  A )
9 5
7;>l#  :  H#4"
r*
7;4 #&445K1K 2&}h˜(#
A
 *#%'
7 Kk#    3#V %'
,0Šm) Z!%'4l#+!I  j&  jt?#7> # &Qn"%0#44$#4B :&f 
r J" c*#
! 4#&%'
9) m?
)
7#  :/  0#+c)
6  0N 
%'> 2#&44Π   
 KV 6)
Q &%'8 5 (, 4. –U W) DISCUSSION ;
  j?
3 
 : )
5$#  
:=
7#&" 4 $B8:#& *h  %'#45LKh8
 5r 7# 0œ #& ‹ %'
I&N! "
9J 8
9%'
 m?
:A52%'
9) !%0#KW8
6 7#44
 Nl % 5f7

?
d 
 9A>
K %' 4K6œ ?
ZK34#  6#& W#& 
9J y W#1)
V$#2&Nfc
r 5 ,jSf C# >?
V 
 7Ÿ 
9J 4  h  $#& 0#& 45K‰W8)g)
0) 
7#& c & $#& 
7 ?
 
'
 — )*#+'#+ 4
7#&Z& 
1)"
7# X&#"Ÿ A| 58]$‚„65 } +[`;B?
9K" " *#4H 
 91# *3 &%'8 5 :Œ#& X
#& 45UKk#& *3)
1
7#&
&NP )
5$#& 
V#
0
#$#
V &  
 ZNl % )
V# *#4/%'"
44  ,‹£"c#"?#& $)CX

6NR#7>? "c#X  %'8& 
 *#
7 #&  #& $):?l"*#4 &%'8 
 @%0#KZ8
=

72&#' 4#&;%'4
%'
 f#V>
KD#&
9J 4  3 & $#& 7:?

m
7i5  ;#f&4&*#4*#& #&45K",AŠm)
=#4&
 $#;# *!5A%'"
4H&N8 ?
5NaK6)*#)
9K3#
! 
 7,fŠm)
 4A#4D#&44+   D&N2
   ‹ 
& 

L
 ;K" 9)" #+& X 3
%'f&Nd  %'#45LK6
4# ) — #0
7M -mEA5¡ 
41o Ž&žqa˜c$#)
9V)#& ‹
J" 4 (, Šm)
KM# &
I)#'  %'*#+4UKC
4# )0%0#&B
6K"  $) & #&

 $# 2
7#&
c3 *"
$#& (:@
8
 l#44Kg? 4>?
Q )
5$#& 
:8
 7#& 
Z#& D
%'"LK08
 r 7#& %' 4
P &4
!)"
7# "
76
9J
   (: ?
 ˆX& V
J" 4& M
4#  #
V%'4l#+45Kh    )
7‰ #4#4
6Na&V-=n P›A#+'#3%'&
)%14
64
>
4f& V#4&
 $#j#&4‰%'
4c
9r* 
%'
 c ‹
%' &N 
Z ‰)
0
%0#  '%'"
4‡,k-=n .:H#Z?
 :@k5c%0#B?
Z
 
03$#&4B‰&Nf
45Na
J" 4 & :A)*#+c:
J" 4& D &5
*
9J >?
&,

H#)WEHJ "
 co5v 7&qd#+
2>&## Q 3
&4#!
9J "
  & V&N1#‰K"
%š#V   ) 4K‹)
#&%'
14
>?
4@&Nm#& $#&  !#&;& !#4&
 $#, (B?
1)
2>&#    
! 7#&4  4‡:H) 7?
97:Œ#)j
9J "
 Q$#&B?
'#‹yL  



 
7"X>"
  ;
7#& 4 $BQ5N"#& ! 
 9 =
4#& 
76KV#& 6 $#& 
;&NH#1"LK"8
,H–U 6  $#&7:  "#&45 
 $#1%'"
4/& 45K')
f 
— $#
4
$˜/
J" 4 6  $#&  8
U&##& 4
A?
D
7" * #& 6
J" 4 O &  $# ,AEHJ" Q "%'#+ A#+
=

$#&445Kc#&
72& 2
  5NlK  c 

V 5 7#4Œ
 &  —  $)D#Pt?#7> #Z4 9B:ovp": : ": u7qa˜!# *X)
 k
%'+>" V)
cK"  $)  # ‰+>?
9)
7#& QNa&% )
2 
Q
  ,1S4)    )3)

!
 $) li
Q#+
ci5
2
9Na Na
 >?
: )
KV& 45KV  #& #
!  $#& =)*#P
7i 
  4
 )"
7# "  ,.–L Z  $#&7:&)
=#4
"$# 7#& 18
m
Z" #&?#+


 $# 6)*#D#&447< %2455w) 
7#&  ‰)"   )F &%'8 5
&"L
  —  9)X#f)
Z
7#&
w
K'o5v7Ž+q"

 Œ)

m
H Z%'&
m"
$#&4 )#& D#& 
;8
9%'= =)

&, Š@K" 7#&445K:A#&Z gŠ.S£ o Ž 8+qm&ZQ™fSf•;£;_£ E o 8+qw:@K"  $)  # & j;
 "
7XKX8&4
7#& ‰$#+
c 
  7#
 — 1&_{‚`&|˜#&4
%0#& 

25

Š3%'%0#
:Œ
J" 4 j
J" 
 2#+
V#&!%'4
0#& — " % 
/
J""
>?
/)*# 8˜()
/
J" 4 & c &  9.&N8%'&H $#  '  7#4. &&$#%'%' c4#&  *#
,P–U D & $#7:*8
 #&
!)
9KVNa&

! ‰
9J 4  j$#+)
;)#& j)
2NR 44A?#%2"!&N=$#+
*#&
 K" 9)" #+& :
J" 4 D
9J "
 f#+
;%'4
 — #& 64
 &
 
9$#&4l˜)*#& k)
cK" 9)" #+& ‰ &  9;&N= &  "
  &"L
 &
 
7! &&$#%'%' m

7#+ 9)!K"
%':+ $)!#&.Š.S£ UK"4
2 *#+$ :&;
&4#!
9J "
 W*#&
W   4! $)W#&

H &4.&
  4#LK"8
,d–UP) f%'4 5LK0)#f#&447.z [9‚{&€‡}5*1 |$€U[ :1|:*>?&4 %'
2v7p1&N*.[]€‡_‚[@?;„&€U[9|;}5AA„ :z*_€U[9‚ 8]}[ 5*]9[9:*#
  ,*vž?u,n  &
Bd
94l# :x/
4 :v ,7 , o5v,87qZSZ, SZ,*-/)
 (:eZ,8n8, ™
7 "K:"t , A4
>K#B : # *Dt , Q&4K, –-=- Yœ #c- T"#&4
 PNR)  )I8
9NR&%0#  
*#$#44
4Œ &%'   ,"–L 4 7 @8/" Cm‚„7]$[[`}5*1&|:Hv p, o5v7p+qZt , U1,8-/)  ‡: W,*•"$#":*W,8n
$#&  :D1,*-f,8n

7 )#7: #& *In ,*I B5¡H,*E@ 7#&8
!# *#4K"PNR&t?#7>&#", –L E" 5*/ =‚„7]9[[`&}5 1&|:8*#
!v#v ",*S-=W: v , o5v 7q!2,8-/4#+B?
:t , .
7:*# *6t 9, Ef 4
,*£f


5LK:nK 
K:8v , o upq!2, &4%'
:t"9, E&4
:#& It , .&
7,Sf8
 9N K"  $) & # (,*–U 8)* C{ ]}
/ ] &: *#&&
fu,v 7 : v ,  o u +q1•1,D$; 7#&4
: t", #&%'  :SZ,I
 *")
B&#7:-f,8D#&
7 #": -f,!Z, 8
:8t , LW, (  
7:8# *Dt , –U,-.?

Abbreviation

@BA-C?DFE2AG H c H dJIKIKI H ~ @BA-C?D3LM(@2N GBAOE2AGPH c H dJIKIKI H ~ 6 Qic=Q%dRIIKI2Q ”

H c+* H d,*3IKII* H ~

A.2 TcH.
7iEquivalence >&#&4
 .^Tdd5¡cand )
KQ)*Algebra #7>?
d)
/#%'Laws
58{ :0[9|/#& *;z"{&}R‚$|,

 c(S  d N TU=. c VW8,-. d JC?XYDZ !#"K c :V
3!4". d  x/) wy U 3# *O y W@6 8
$#+&Z#
'# #>?
0# *W  %'%2"$# >?
:"