Distributed Hierarchical Locking with Real-Time Priorities Nirmit Desai and Frank Mueller Department of Computer Science North Carolina State University, Raleigh, NC 27695-7534
[email protected], phone: +1.919.515.7889, fax: +1.919.515.7925
Abstract
"! #$ %&' # $( )# !) * +' ,- .$ # #$ # /'0. %1 -2'%%! 3#$ 4/56!$87 '89 ;: 31 @NM O'PQ4SR/#IK BD >T + U'%%! 3#$V$! !) W + +' . )# !) X +0BD Y $ -/ %1#$ Z J [-8 )7 )6 Y #,:\!> 3#$]! #' !) 8 -4E^" B63#$_$%% #D'!>+ _:\#$_!$87 ' `! # ! )!) a ) B6! (#J#$( G +G% #$ b* + $ c#$:d '87e Z'%%! 3#$ 4 f +2Ig#$ H.!)# - )/
E'0. % )6& # , )&$ #':G*#'B h%1 )7Q #$7e%1 )K% #$ #-!)# i:\#$/ X! # ! !) > B! )CI`8 +W%%1#'F:&' !&+!$3#-!&H6 Y* '7Q 2 &$0' ($0 '&'0$ 2&$ $!) # K #a L# 6 !)K 6B8 #$ - m3 3
)7e!'3 a _1 T 4
1.
p /Scalable } `3- #6Hierarchical ! /# `$ J% #$Locking #-! #$
#a% # B63 J+ )&' !&+87 ! $0#-!&H aXY3 L 6B68 # -`M O Ph$* + * )|6 0 8G- Y%%1#$":\#$G% 3#' 89 a[- 4"56 i
)&$8 _ [68 + 2 !) # 1 >9IK ) #-!>HL #6 " #Y!) ' / + {%1#$ - 3$ :\#$X! #$! !> -4V.# X 3
+= tJZ#-!>H6 '0FI{ 8 , F- X'6&' + )/#-!$"%' -/%1# - ) 4 f + Z #-#$#6 Z+$ + m #$HD Z'0Ji ):\ ) Y #2$i + " # HD Y#6 $'3-#' + )#6 a >:< ) . #T'/# 7Q #$HD ,#6 4{p Y ) , !> 31 Y + 2 `1 #IY0 $# BD ) * + Ig#$ H6 $/#':d + J% #$ #-! #$v f +CIg#$ HWIK$q%%1#' Wb%0 - sY5 '&$-uw{wg`7 O 4
Xd\. .#6 (lG'0_]K' K '3a #1 J&' ¡¢$£¤Q¥ ¦3§iI`8 + '!>+q#$ + >Z:K$C#$8 C:( + ) C L#'Z! #$0!)Y$! ! #'&
#L! #$ %0 338n X 8|#': f ' ¨DQD{'0qM ©'Pe4 ª-«G¬\®\¯1¬0C° #-!&Hu±y $3= #C1 E²&£³$´6µ-§>³_ +0'l#-!&H ¶ 8:/ + :L! #$&$* + ' T#$:/! # ! !) u# BD ) + 23' )4GznX#$ + >KIK#'& ±oK! # %' `I`8 +T:\ )IK )`#' + ) #6 )2 +$ ¶ 4 f + Z#'& )/#$:m#-!>H. ' +23 )} 6 + /: H · z9- -{2 z9 z9Z a a zep Ñ 2 X Z zna Z Ñ /% '& z9Z Ñ Ñ Ñ zn- -Kp 8 Xzep znp znp z9Zznp Ñ p 8 p Ñ Ñ Ñ Ñ Ñ
Ì d\]0ZXd\ÍL¯ , Ì$Ëdh !) BD T% #$ 8 L#': #6 {a' )%1 !) BD 8 -4Gxm$!&+* [- )G X g6 a#6 *& +$G% 87 #' 89 %('&F>$ + ` )h !) BD {% #$ 89 *#$: &c'm + K K#':
[6 4 pU +# m + K%%1#$":\#$(% #' n *+ ) 8&$! {!&+ (' &F '0+ $(' &FgIK#$3.#$`1 Z $+
4 f + X0$!T$%% # $!&+u#$:`%%1#$ F% #$ 8 ? ] [- Z #_ $. + ¨$4 , 6. --´ £\À§s£e LD§>´~´1Á-§É'Çm´¤²F¢q³² U£ I $³* N ¤´ X N\[ F G vM ].^3_.`BaJ_.bdc e6e /È Ggf Z Ne hiaJj3ke`H_.bdcQe-e /È Glf Z Nen1P m YZ n j3`oc p n arqDe N f ]ÃGÅ Fs ¥>§F£\À§E²)§>£Xt IF LÁ-§>²,£el¥&§C²)§>´£ : @BAC> ;BD 4 Ed§>£Z) ÇG¤¢µ-§/£ea¢*&À6¤¦ÁZ$ÇG´¤4 4gpo+ { ! B6 J + K #$HD '0* >
+ {#-!$1[- I` + + Z[- ! )3B :\ #$ y + J#' 3 $0$i # HD #6 + 2[- {3(#$ '! ! #'& Z #J + `#$& )g !) 1 /3x Ê4¨ 4
2.3 Queue/Forward Policy
f + ) ! #':K + *%1# !) q #,[6 _ [- Y#-!'38 3Y # $ Z%0 +F! # % # ,:\#$ [6 0 + ) - !)3 L + '
Y# BD ) + I`8 +# 2B6# 3' dz_4 wg# 3 )L $87Q 3 T'%%! 3#$LI`8 + (' ËX ÅÌ( ¶ >4q/!>7 ! #'& #//© Ê4¨$ÍË f º Î I`3% )! Í ¶ f º Î a + K[- '±a4 f +/ '` +0 J[- )
Í1Ë f ºÎ #-!$8 C' ¶ 8 q%1#' - 3$8 X61# 0 0"% #$ 89 X6BD ) #$i4 f +{ ${ # >| )0u + f $ ¨ ! L$ +#I`k f ' FO6K1# 3=:$!) 03! ' )|6 # 4LxG - 3$8 - #.[6 Z + a [- J3#'7 !'38 -g( ÏBe`H{?p'`H] ^3e1ÐÑBeqTa Ê (Ò ^3e n ep³Ó.e{ ^9eÐÑBeqTa +#$31 )`.!)# $9!) # . #* + J! #$08 # $i#$: f ' L¨D! >4
/# 7Q #$HD ,^d )0
2 [- .#6 _]à .#6 a à z9 znp #*%1 03
· zn6 )6 #$2 u Xz9 2 2 $u X 2 % $& X 2 2 z9- - # Xp 8 Xzep 2 pq p 2 2 2 2 ¯1g¬ \®\¯1¬iÌ0 2 i¤¦ ¤}0 $Z + % #$ 89 q#$:{ + +
+ *% #$7 8n q#6 L!)# - 0 :\#$_Â N4 f + % #' n C! 3 , _3' # % #$ #-! #$/Q^(wKxm^gJ! #$ * + _
)&$m3 T#$:K + *#' 3 $0$ ^(wK^sM PI`8 +. 8 % #$ 89 1#-# _ #_ + ! 3 L BD
L7 3' 8 =%1# = $&'6 q #$ ! . [6 'L% #$%1# l3 + `&$!&H_ #$ ! 2% #' #-! # dM8¨>Pe4GzeK'#Z [68 m +'m + {! )387
`1 Y! # % X&' !' Q${:h !) BD `% #$ 8n *#' : &y # +_ dQ $g' &, f _ d >4 f + `% #' #$7 !)# mBD# 3!>+$ E#-!&H63 i% #$ 8n E!>+$ $ I`+3 L+# 3
#$ ! *$0, X ! a + Z *1 )2#':g! #$- )|6JI`8 !>+ :\#$L&$Hq# ]#6u &q4F + #' + )a+0'0h"8_ X C )|%1 ) 87 )! I)¢ ¦ ²)§2¥ ¦M L'¤v ¨$4 g#-#$* + [- ) _% #$ 89 q%1#$=$![-8 , + L )7 # ! T3 `§>§>¤ P$9§ V11 LD§>´q#$ `§&§>Q¤ P$§ K³¢'´£2$L !) 1 1 ):\#$ 4 4 ° #Ig )*8 a% #$ 8n ]%1#$ '3 F + L #$ ! T 2§ RTS§>² £ i´¦M La$2 !) 1 .1 ):\#$ 4 f + m #68}0! # #`#' [- m'6 J 8 # 0'- $ $ # BD > + $
4 f + ` a% #$ #-! #$h% # B6 ( + ` # K ! - #$ # C #1#$0 X% #$ 8n FB ) # C3E + a% #' #-! # J:\#$ $87Q 3 T!)# !) !) ! #$6 #$1 #_#${H6#I`
4 6x'\¯ $®8 )¬g.'\® ̬dË 6x ¯0® ¯
Ë ¯1 6 T6 f + {^Gz^E% #' #-! # [68 * +0 _ + % #$ 89 u#':JE#6 +# 3 qF #$ ! 1 1#-#$ Y #/#$ (B$$ m%1#$Z ) )!) # a#$:2! #$- - 3#$Y:4`p] )!) 1 _ + a )|6 3#$Y': *I`8 +V # H =#6 F ): *+ 3 #6 C1#-# ): )h )!) BD É% #' n y # (³ qecQo1 ¼ _ dQ (³ q1e1cÒo1 f (e]ÃGa'0u1#-# _ + T )h !) BD T% #$ 8n #$:h +m3#-!&H_ x # (' c j n k ¼ +_ Q (' c j n k f (e à >4"ze:h 8: )h !) BD T% #$ 8n =3*!>+$ $
G )7e .${ + T%1 0
[- *:\#$T'3` + #-!>H6XÂ Ng[KÂ{4W f +3*1#-# X 8: )h !) BD J% #$ 89 ,!$ Y#':m*! #$0!)4 .Ìg¬ d\ , 6. -D1 zn:qb!&+3y )! BD ob:\ ) ? W ) $
:\ #$ 8 _%0' )6*$u:` + T!&+3]XÀ$¦Á$¤H3='- #6 $*V! # 0!)C1 )9Ig bV!>+33 C+ )s #6 u'0ÉV >7 ! - 8 b[- W [6 É #6 =' + u # HD ;#6 =] >7 !)
4 f + *!>+33C1#-# a Z )h )!) BD L% #' n E # (³ qe1cÒo1 ¼ _ dQ (³ qe1cÒo1 f +_ ' vx^3j3y\e` z j{.e3q9Æ a4.ze:` 8: * ):7 :< )!) BD X% #$ 89 q_!&+0' $
d + !>+ )3 _$g + %1 )07 A [- U:\#$t$E + s3#-!&H6t N [ Â{4 f + É!&+3 '3# 1#-# V + )h !) BD % 3#' 89 :\#$k +V#-!&H W # (' c j n k ¼ _ dQ (' c j n k f +_ ' vx^3j3y\e` z j{.e3q9Æ a4 iÍ ® ¬d\¯
ËG po+ ) #-!>H_( '
- ): g )h !) BD % #' n J#IK > J # (³ qe1cÒo1 ¼ +_ dQ $g³ qe1cÒo1 f _ dQ ( Y Â NÒ[ ÂVv zKR/ 3iQÂ N f RJxG| (QÂ N {x ° 5x=z ° >4 !) m + (#-!&HY3d )3 $ h$ + g )h !> 3B (% 3#' 89 Y:h !) BD ]% 3#' 89 tC%h #l + C s >7 [- ( )h !) BD `% #' n -4 f +g X a [-8 ` #$& ) Z#$:
+ [- *'! ! #'& T #2 Ê4¨ 4_/#i8:(IK L *#$J + a #$HD #6 L'0, + Z E [- +0'J+
+ )Y% 3#' 89 , +$C# %1 Z [- -Ig !'#_#$
>`[- 2 + / [- )K#-!$8 f ' ,O >4uR ! G + X [- )L [6 u$0]:\#$I{ & # + .%0 -4/#`%h q + ,% #' n l#$:J + F[-
4
,2 43
65 798;:
,2 43
65 798;:
,2 43 C3
@?9A+5 B
D
=
(
E E
F
E
= !> !!
=
(
± ² r ¸
Br \\
!#"/ ¤J¡d1t¡%\$ ± È ¢. Ã ²!& ' () +*-,/. 10#2 ¼ l\43576 ¿ 8:9 \¤tr1; 8:9 \¤M1< lr3\r³tr¤ 8 £>3= t3= t3= t3= twW KpV|}i'Z RaxQ~ ¿ S k > wW ± S k k Vw> V ² k ¼ RS ^ ¸K . 10 2 ¾9± o b ² ;dc fe ±C¾9± a b ²J½ c fe ± S k VwW [i k piVXn' ²² RSUT[ij ± ¾9± a Cgb ²³² . 10#2 FlZno\ F%i vq CZnj k % bk V k nC%i Ks:t ¦ s ¾9± VT%h ² ;dc fe ± ¾9± VT%h ²J½ c fe ± S k VwW %i k piVXn' ²² { zS > wW O\V|}i'Znn k ¼ Raxz~ ¿ a\u`k ' VT\h ±Q² 8 £W9= r?; 8 £W9= r!gM Ä Ä 8:9; ¡d\r\*% r H
!#"/ ¼ l\4 ¿ r\lrM¡dt©} G ¡d¤tr 8:9 rJ ¤r3\r³ \r\ ¼ \? ¿ ¾9± a Cgb ² ;dc fe ±n
± o b ² k ² k\k j ?[i K ¼ ' F ´71 ¿ RS { Cgb ¸ . Vhf V . 10 2 RS ¾9±] ) ²L ¾9± > k ² . `0 2 v1bV F N[i a ¼ . D~ ¿ uqHCp vS k Vw> V k ¼ . k Ky ¿ k { zb k >wW FpV T[i'Znn k ¼ RaxQ~ ¿
/3
$
, 1 'q¿
® ¬dÍ\¯1¬dÍ e¯ )/¬ . $® Ì0¬dË$ [6 / X .!$ a + Y:\ # ?) F + +# 32 #T1 Z1#-#$ E$0 )6` #* + J!&+3 .$! ! #'& L # f $3 $0z96B 3$- 4 /#$ ! g +'"I`+3 { 2:\ )? { $ $ " #J!&+3 aI` + ! E + +# 3LQ'Y
BD C- f ' $0Ez96B$' 3$- a¨ '0 >'IK {' ( +'"I`+ B )d + > gm2%1#' - '!)# !) 1 >9IK ) o + E [- 1 l[- o$U + E+ 3o #6 E#': + L!&+3
"T: ? ) $
LI`K'8I{ a1 * -Y # +#$ !&+3 )i4 ° X ¨Y )|%3! 8 8 &' { +{ [-8 )6v +XO*> ¨$K4 IX¢q&À-¤¦Áq'Çm´² ¦M L N ¤´,©¢ I>³ § ² ²)¢ µ-§aÇG¤¦´£K£e £\À§*&À-¤¦Á-Å ^" #-#$:nvu! #$0!) e gÈ s / à ! # 0!) e È G / à ,M $ gÈ s ¸ /È G
PQ4 ° )J) F G]1 ZL >#':m$d #6 )` # 1 J: # ? )
'` + # HD ).#6 Z$! !)#$& L #Lz96B$' 3$-J¨$ ¥ ±n1 ¨ NÒ¦ µ FH·CG ¬1± °>Mª'?½ · ]rµ³N³¯²± µ'NJª%½ \ ¬ à ²& · ¬± ½ N³²³² ±I ² º º> /È G º È G ° )K F s 1 2Z >g#':'1 #6 G +0 mI`11 ` -( #Y + 2!&+3 $!)! #$&3 L #Lz96B$' 3$- ¥ ±1 ¨ ¦ µ F· s ¬± °W1¨ º ½ µ º> ·C²¬1±i µ'ª%gÈ \s ¬M½ ·C¬1²X± &`rªT.½ ·g /È G º> /È G zn: + E) F sb!$! kk!)# &'6OX#$7e %9 -G + # H .#6 JI` ._: ? Y #* + J!>+h4 ( Z 8 ¼ /È s a! # &$-mO' + (! # &$- }0 U' Y ]gÈ sc*v ].^3_.`BaJ_.bdc e6egÈ s f ]/È sm,M '0Vp #6 F#I` ) .!'#$1 C!&+3 )PQ2! # 0!) e s
È Ã /$ $&$-&' De]/È GG]gÈ sGm{'8I{ g `: + $
4 f + C )8 ,#$:_# .Ig#$ Ho %0'!) $87 a$%%3! ' # +0 # ! $!) #$J3'
_ 6B68 # )6 (&$ $ *: # y+ )& !>+!$i3#-!&H6 L. '87e &$$ X'0= &$0' &' $!> 3#$* #q u# 6 !> 6B68 # )6 g3.
)7e!' _ _1 4
F" '
5. M8¨)P f REFERENCES 4 ^d4 g$HD )4056&'!>H-7e0' !&+ *#$:d '8 3
!
% #-! 4 2§¢ ¦ MVd¤&' !&+!$i#-!>H6 4zn &´£n§>³>´0¢$£¤Q$´0¢ #¦ m$d´ I§>³ §>´0&§*$¢ ´ ¡Y¤1, $$ O4 M ©$P_6 !>/,$0'
)6 / #$%i40wg# ! )!) T ) B6! %1 !)}!' #$i40+- %
v 3 I{I{IY4 # 4 #$ ? !&+7e#$3#$ $ $#-! 7 - M :
