You are on page 1of 7

c

' c' 


c' .

c c#  .

c #.

 c c!.

c c c   c % c&  cc .c/c(.c'c-.

c<c!c  c c   cc c c . cc c =c( c c( c. cc' cC  c"  c%c/  c  cc. c=cc.  c#c<.

c  c.

 c c S c " cccc   cc.

.

c c c  c      c    c  c .

 c  c    c.

c  c c c c  c .

c c c  c  c  .

c c  c  c  c  c  c   c  c c  c    c c    c ( c .

 c  .

c   c c  c   c  cc c c c c.

cc  c   .

c .

 c c c c .

c   c c  c  c .

 .

c .

c .

 c  c c  c .

  c  c c  c  c  c   c c  c  .

  c  c .

c  c  c .

 c    c .

 c  c .

c   c  c c  c   c .

.

c  c  c  c c .

.

  c c .

 c c  c c  c c .

 .

c  c   .

c c  c.

c cc .

.

 .

c c  c  .

c  c  c .

c  c   c  c .

 c  c   .

c c .

 c  c cc   c c c c " c  c .

   c  c .

 c  c  c " c c  c c c  c  .

 c c c c  c  c    c .

c c c   c c .

.

c  c c c cc c .

 c c c   c  cc  c c     c.

c  c   c c  c >+?c  .

c c  c c  c  c  c >)?c c  c a ôc   c  c .

c   c  .

.c  c c c.

c&c.

 c .

c     c  c   .

c cc  c .

 c   c c c  c  c  c  c   c .

 c (c  c  c c c c c c  "!#$%" c   c  c   .

c .

 c  c .

c &c c " c  c  c   c  c  c .

 c   c  c  c  c  .

 c   .

c .

 c  c .

 c c  c  c  c    c  c .

.

c .

c.

@c  cc  c c c  c&  c   ccc !c c ccc    cc  c(.

 cc c  c  c  c   c  c  c  c    c /   c Cooperative Workflow Modelc .

 c c .

c &  c    c c c  c  c c c c   c  c c  c Transaction Protocolc >41?c  .

c      c.

  c c c c.

 c   c.

 .

c c c.

c c c c  c .

c    .c .

 c <c c Deadlock Detection and &  c  c c  c    c .

c   c c  c Recoveryc.

 c.

 c<c cAlgorithmcc c   .

c   c c c  c cc.

 c cc  c  c .

 c  c !.

c  c .

 c <c .

.

 c  c c c .

 c  c .

   c  c  c  c    cc .

ccc .

 c c.

c ccc   c  .

cc c c   .

c c c.

 c.

A&c#Ac 'c .c c c%/!'"<c&!=.

c   c .

 c c   c c c   c  c % c   c  c  c  c .

c  c  c  .

c .

c .

 c  c c .

 c  c  c  c  cc c cc c   c c cc c  c  c  c  c c .

 c c  c  c      c  .

c .

 c c (c )*c )*+*c ' c '  .

c ' .

c  c .

  c c.

c c  c    cc c #  .

c #.

 c  c !.

c  c  c    c % c .

 c c c.

 cB ..

c c  ccc &  cc  c.

 c.

 )***7c .c 'c -.  c  c c cCcc .c /c c  c 'c    c %  c /   c  c 012134+**++25c6c..

 8cc   c  c .

.

c  c c  c    c (c c ' c   c c  c 'c    c %  c .

c   c >+?c  c   c c  c  c  c  c /   c cc06c   7 .

8c c "c %c /  c   c c  c 'c    c %  c # c c cc.

.

c c c c.

216  7 .cc  c /   c c01219:92.

8c . c =c c  c 'c    c %  c /   c  cc  06c.c #c <. 1117 .

8c 3 6c c cc c.

c c c c .

 c .c c  c =c ( c c  c c 'c    c %  c  cc.

 c c c c c c c c.

c c c /   c 06c  927 .

8c .

ccc c c c c.

ccc.

c. c .c<c!c  cc cc'c   c%  c/   c  06c  7 .

8c c .

c  "'Ac c   c c@ c .

cc c c.

 c c c  c c .

c " c   c .

c  .

c c / c .

c cGc  c.

 cc / c.

 c c .

 c  c .

 cc cc.

 c c c! c c% c 0!"%8cccc c.

c c c   .

c  c !'#Dc ' "%/'"'Ac cc.

 cc Ô cc   cc .

 cC  c (c / c .

c cGc (c 'c  c    c  c  c .

 .

 c c  c .

 c   c.

 c .

c c c!"%cc  cc.

cc.

 c c  .

  c c C' #A Ec F%$" Ec ' "%/'" Ec  .

c cccc c.

c c c   .

c F%/" c   c c c   c .

c c  c   .

c  c / .

c % .

c % .

B"  c  cc .  c .

 cc .

c.

 cc  c" cc c c  c c c !.

c c c Gc c !c  c c .

 c c%c .

 c  .

c>1?c  c c  B  c .

c "! '"#c .

 cc c   c  .

c  c  c    c  c .

 c  c .

 cc  c.

cc .

cc " c c $ c.

c cc  cc " cccc c c.

c  cc.

ccc %$ %'" Ec %/A"#c /'$(#c   c.

c c c c" cc cc c /  c c ( c  c  c@c c.

c  c  cc" c.

ccc.

 c  c B c  c.

   B.

c  c .

cc   c@c c c c c.

 c' c.

c c ccc .

 cc cc  ccc.

 cc c !'#Dc"c %/A"c   c' c.

c.

 c.

c ccc c  .

c c / c.

cc.

 cc .c c  c .

c  c  c  c .

c c .

 c c  c '.

c.

c cc  cc " c   .

c #'#A%=c   .

ccc c.

cc c   .

c  c c .

c .

cc #'#A%=#c !%<!Dc .

cccc .

c.

c c cc c c c.

 c.

 c c c   .

ccc cc c   .

 +c/   c c c c c   c  cc  c c. c .

c c .

c.

cccc c c c c ' c .

 c .

c c c  c .

 c   c c .

c c cc cc   c  c c  c .

 c c  .

  c.

 c c Ô 6c '.

c c  c  c c " c c  c  c c c   c  .

c c c  c  .

c  c  c c cc c .

.

c c cc c c.

c .

 cc   c.

c c c  cc c c c.

c0 cc cc.

c c c  c  cÔ  c&  c c.

c.

c   .

 c  .

8c cc c.

c c c.

c c  c   .

c .

c  .

 c c   c  c .

c c  c.

.

c .

c cc%  .

c cc   .

cc   c c  c c c  c.

 c c c c.

c c  c.

c c c c c.

cc  c.

c c c.

.

ccc c   6c c c c  c .

c .

c    c .

#c"!' ('%" c/!"%Ac  . cc c c#.

 6c c " c c  c c c  c .

c  c .

 c c / c   c c.

c cc .

 cc%c  c c c cc c.

08c c.

cc /  .

c c>+?cc C cc c c c.

cc c cc   6c' c .

c.

c c c c c   c %c   .

c c   c  .

c   c  c C c c .

 c.

c.

 cc  c cc  c .

c c c  c c>)?>:?c c c  c.

c c  c c c  c.

 c %c .

 c  .

cc c c.

cc .

cc c c.

.

c cc c cc c c c  .

c c.

c cc   6c c 'c .

 .

 c .

c " c .

.

c  c  c ccc  c ' c .

c .

 c c .

c .

 .

 c c  c  .

.

c c c c c  c.

 cc +c 'c c  .

 c  c  c  c c  c .

c c  c    6c ' c .

c  c c  c .

 c   cc$c.

 c c c  cc .

.

c  c   c  c  c c  c c  c  c  c c.

c c  c.

c conCommunicatec c c c  c c c c c ccc.

 c c  .

c c  c c  c   c  c c .

c  c cc >)?c   c " c.

c c  c  c c   c  c c  c c.

.

c c .

c c  c.

c c  c c )c 'cc .

 cc c c c c.

ccc cc .

cc@c cc  c .

c c  c.

c" c 'c  c c c  .

 c  .

c  c  c  .

ccc c  cc c c.

cc .

 c c ccomplete  c '  c   .

c  c  c .

c .

 c c  c  c c .

 .

ccc  c c.

cc c c c c  c c .

c c  .

c c c   c  .

c  c :c ' c .

c  c  .

c  c   c c c  .

cc.

  c cc" c  .

c.

.

c .

c c c.

 .

 cccc c c.

 c c .

c c c ..

c cc   cconCommunicatec c " c cccc c c cc  c  c c.

 c c .

c c .

c .

cc  c c c c .

c c cc c cc  cc c.

c c c  c ccompletec c c c  c c  c  .

c  c  c  c c  c c c  c.

c   .

c .

.

c  c c c c c .

c  c cc c  c c c c cc  c c .

c c  c c c 2c c c.

c c c  cc  ccc c  c cc   c@c .

 Hc c  c  c c   .

c  c .

  c  c c " c   .

c   c c .

.

cc directed edgec c.

c c c c.

c c  c  c .

c c  c  c  c .

c c  c.

c c c  cc c  c.

c   c c   c .

 c c   .

cc cc  c  c  c c .

c &  c c .

c A1c c .

.

c .

 c  c .

. cc c c c cc  c  cc c c .

cJ  .

 cc  c c  c  ccc c.

c.

 c cc.

.

cc .

  ccdirected edgecA0ĺA1cc.cA0.

 c&  c  c .

c A1  cc cJ c A0  A0c c .

 c  c ReadyToCompletec c   c c  c c   .

c   c .

 c ccc  c  ccc c  c .

 c  .

c ' c . c c cc cc .

c .

 c .

c c c c c   c c /+cc /)c   c .

c c  c .

c c  c .

c ready to c complete (RTC)cc c  c c cc c  c c c   c  c  c .

c  c .

c c 9c '.

c    c  c c .

.

.

c   .

 )c'c c   .c  c  c c /:c  c c .

c   c c.

c D c 'c  c.

c.

 cccgroup completion c  c c.

cc" ccomplete  c c c.

c cc c.

ccc.

  c cDeadlockedccc  .

ccc c  c cc c.

 c c c c c.

c ceJecuting  cready to complete  c  c  c .

c  c c   .

c c   .

c c c (RTC) c  c.

 cc c.

c c'cc c  c c c .

cc.

c c  c.

c  .

c c cc   c 4c &  cc  c.

cc ccomplete  cc c .

c 0 c .

c  .

c c .

.

c   c  .

8c  c  c c  c  c RTC c   c c  c .

cc.

 c  c /+c #/+c c 1c &  cc  c.

cc ccomplete  c c c  c  cc.

  cc . .

c c  c cc c c cRTCcc c +*c c c  c c  .

c c c   c c /:c /)c  c  c  c .

 c  c   c  c .

 c  cc  c cc c  cc c c eJecuting c . c:c% c.

c c .

c/+c <c #'#A%=c#"%" c' #c!%<!Dc  .

cc c cDeadlockedcc .

c c c.

cc  c.

c.

 .

c cc cc.

.

c.

 c .

 c  c c c c  c  c c .

c c c   c c c c .

cc.

c c c.

c  c c .

  c  c DeadlockRecoveryc c  c  c  .

 c c cc .

c c c  c c .

cc c c c c  c.

c' c c c c  c.

cc  .

c cc.

.

c.

 c#  .

ccc.

 c c  c c c c.

c .

ccc c c c .

c  c .

 c c c .

c cc.

.

cc  cc  c c .

 cc c  c.

cc cc.

c .

c  cccsoftware lockc csoft c.

 c  c c c .

cc c   c c lockc % c    c  c   ccc c c.

 c c c c.

c"  c c  ctime-sharingc B creal-timecc c  c @ c  c chardware lockc0 chard lock8c  .

c .

c.

cc.

 c cc c c c.

c c  ceJclusive accessc c  .

c  .

 c  c  .

c   c .

c c   c c  .

c c  c .

.

c #  .

c c .

c   c .

c  c c c c  c c c c  c  c   c .

c c cgeneralc  c c  c0 8c   .

c   c c  c  .

c  c  c c  c  c  c .

 c c .

c  c. c)cc cc c  c .

c c c c +6ccc%.

c#.

c c .

.

 c .

c +c )c  c :c " c .

 c  c  c )6ccc cccc!"%c c .

 c cc c c c   .

 c.

c .

cc  c c 'c .

c c  c .

c +c c c .

 c  c :6ccc c #  .

+5c c c cc  c c c c.

c#/+cc  c 26cc !.

c+5cc  c c c:c .6c  c #/+c 96cc c(c cGc!"%c c /+c 36cc c c #  .

)5c 46cc c !.

)5c 16cc c   .

C 085cBB.

 ccccc +*6c c  c /)c ++6cccccccccccccccccccccccccc ccccc c.

 ccGc  cc!"%c /:c c c +)6c c cccc@c c  c.

 2c!.  5c .

c/+c c#/+c cc/+c +:6cc c cccc cc +26c c cc c $ c c c c.

c c c c .

6c cc c .c c +.

cc  c c.

c)ccc c.

.

  c c c +96c cc )c c .

c  c c .

@ c  c  c cc c c cc c ccc'cc c  cc.

c 'c .

c c .

 :c c c c  . cdeadlockHandlecc  c c.

c c  c  c    c c c .

c  .

c c c.

c .

 c c c c c c   .

c   c .

c Procedures for deadlock Handle /+c CccycleDetectorc cgroupCompletionc . c A.

 cc c #/+c   c c cdeadlockHandlec .

c Cycle Detection  ccycleDetectorc . cc B.

c(. c# c.

(8c   cc c c . c0#.

 c.

.

.

c   .

c#  c '.

+c c'.

)cc c c ccycleDetectorc'c /:c /)c    cc'.

+cGc'.

)ccc cc .

c(c c.

c c c.

.

.

c  cc c c cycleDetectorc .

 . ccc .c"c c c c/:c c/+c c cc .

 c c c  .

cccc   c.

.

#.

 08c &c.

c.

c c c c c c.

.

c c 3 c c#  cEc'.

+c'.

)c .

.

 c c  c  .

c "  c   c c c  c  c c .

 c c  c .

c /:c  c c  c  c  c c'cc c.

c%.

(c c c .

.

 c " c  c  c c c .

 c c .

 c c  cc   .

n]cc  cc c c c  cc ccccc <c 'AE!"Cc c c c c  c#. c ccc marked[1..(c.

c'c 'cc  c c .

 c .

 cc  c c  ccc c >+ ?cc  c c " c c c  c c c   .

c .

 c c.

'A(c  c . cc .

 c   .

n ] cccc  cc c c .C 08ccccccc done[1..

(ccc c   c   .c  c#.

C 08c c cc.

 cc c c'c c  ccccccccccc 3 c c#  cEc >+ ?cc  c c.'A(c  c c  c#  cEc c c .

c +6cc c>'.

.+?cIc"!$5c +*6c c c!"%cIc"!$c c )6cccc V c .

 c c'.

+c cEcc ++6c c   I   c0Ec%.

(85c :6ccc c >?JcIc"!$c c +)6c c   .

!.

0E  %.

(85c 26cc c >'.

)?cJIc"!$c c +:6c c cc .6cc c  cc c%.

6c cc 36cc c %.(5c +26c cc cc 9cccccccccccc c cc c +.

#.

 0E'.

)85cBB.

 c c 46cccccccccccccccccc >'.

)?cJIc"!$c c ü.4 EJtra Procedures c 16cc c  cc c%.

(5c ( cc .

 ccaddEdgecremoveEdgecaddVerteJc +*6c ccccccccc cc  cremoveVerteJcc c c#  c'.

+c c ++6c  cc >?JcIc"!$c c '.

)cc c c caddEdgec cremoveEdgecc c #  c c'.

+cc c c caddVerteJc c +)6c c c >'.

)?cJIc"!$c c c removeVerteJc .

 c +:6cc c c  cc c%.

(5c c   c  08c +26c c c >?cIc"!$5c 3 c c#  cEc'.

+c'.

6c c cc  cc#  cEc c c.)c +.

c +96c cc c +36c ccc +6ccc'.

+c c c c'.

)c c +46cc >'.

)?cJIc"!$c c )6c.

c c c'.

+cKc'.

)5c +16cc  c'.

+c c%.

(5c :6cc  cc'.

+c@c c c'.

)c c )*6c cc 26ccc .

c c c'.

)cKc'.

+5c .6cc cc )+6c c>'.

+?cIc"!$5c c ))6c  c%.

(c c (c C.c Request for Group Completion groupCompletionc .

 cc c c.

.

.

c   .

c Dc !.

)c c  c  c #  c #  c  c '.

+c c  c  c  c #.

c groupCompletionc .

 ccc %.

Lc #  .

)c c 'ccc c   c  %  08c !"%Lc 3 c c#  cEc'.

+c Dc Dc ' ccc  Lc  c c  c#  cEc #  .

+c c c !.

+c +6cc!"%I"!$5c Dc  c.

 c cGc  c )6ccc'.

+c V cEc c c!"%cLc c !@c cE c :6cc'.

+c V c c.

.

c cEc c c %  c 26cc %.

(cIc%.

#.

 0Ecc'.

6ccccccccc cc V c%.+85c  c .

 . 9c.(cc .

c c   .

cC c 96cc c ccJcIc!"%c c   c  c08c 36cc c c !"%cIc.'A(5c 3 c c#  cEc'.

+c'.

)c 46cc c ccc  cc  c#  cEc 16cc c c +6ccc'.

+Gc'.

)c V cEc c c .

c )6cccc  c c c c'.

+cG'.

)5c .6c cc :6cc  cc 96cccc V c% .

.

c cdummy 26c c c@5c cc 36cc c.

c  c. c cdummyBcKc.

c c .6cc cc .

.

ccccccccBKdummyc   c <08c 46c cc cBKdummy ==  c c c c.

.

.

c cdummy  c 3 c c#  cEc'.

+c 16c   0  c.8c c  0.c  cc  c#  cEc   8c +6ccc'.

+c McEc c +*6c  cdummyc'.

c c c.

.

(c )6c c'.

+c cE5c ++6cc cc :6cccccccccccc .

ccc"'.

+ c c.

5c +)6c cc 26cc  cc +:6cc.

cc c. c c  BccKc.

c c.

.

6c c c@5c +26c c  c 96cc ccc c c   c 08c   c <08c 3 c'.c .

c.c 3 c c#  cE'.

8c .+c  c c  cc  cE cEc +6cc c c0c.

c +6ccc'.

+c V cEc c )6c c  c )6c c'.

+c cE5c c :6cc  cc   c  08c 26c c c@5c 3 c'.

c.c .8c.6cc cc  c c c +6cc c c0c.

c   c   c )6c c  c 3 c#  cEc(c c.

c%.

(c <c % %A$( cc  c  c'.

c A c c .

c V %. c c  c c  c  c c c   c +6ccccc.

(c .

 ccc c.

c c cc c c c )6cc3c"cMc"c.c c    c  c c  c  c  c  c  .

 c   .

c .

 c c.

c  c  c c  c :6c  I<c   c  c  c   c c   .

c c    c 26c  c  c c  c .

 c  c  c    c   c c" c.

c  c c .

6c  I<.c    c cc c  c c ccc . cc .

c 96c  c  c .

 c  c  c   .

c &c .

.

c  .

  c   c c cc c c !.! %(ccc   c   .

!.

08c >+?c ' c #=%   c =c %c ( c O'c % .

ccccccccccccccccccccc  c c  c     c % c &  c 3 c#  cEc  c'.

c(c c#  .

 c'.

c O   c .  c c %  c  c c    c %.

(c ".

 c-c)**1c  c c >)?c  c  6P c'/Pc .

c  c c ccc:+c (c)**3cc +6c%cccdummy .

c c  c c.

cc c c c >:?c ' c c -.c /c #=c %   c =c %c ( Pc /c c .

.

.

 c <.c c  c cdummy.

 c c c % c & c  c  Pc )ccc   .

cNc.c  Kc.cKc  c V %.

(c    c .

 .

c c  c # c ".

 c )**10 #"Q*18c4)43c)4:+c-c)**1c :6c.

cdummyKc.cK dummyc c%.cGcc.

8c c c0.(c 26c c0  c.c  8c c .

c >2?c cCc c' cc=cc c' c .

P&  cc $Ac .

c  c 6' .

c  c  c .

 c  c .

 P(c)**4c >..?c  cc 6BB  .

  Bc>c 6c++c(c )*+*?c >9?c / cAc"  c.c c%cC c( cO' c  c % c  c  c &c (.

c  c &  c    Pc Proceedings of the 11th IEEE International Conference on Computer Supported Cooperative Work in Designcc4+44))c)9)4c'c)**3c >3?c  c D c  c . c  c     c &  c (Pc Proceedings of 27th IEEE Annual Conference on Computer Software and Applications (COMPSAC¶2003)923+:9c c)**:c >4?c %c c.c%  cc/ c cCc( ccO% c   c  c . - c & c O'c % c .

  c .

 c .

c.

 c  c c c Pc Proceedings of Seventh IEEE International Conference on Parallel and Distributed Systemscc2*12+92c 3c-c)***c >1?c  c =c  c  c %c E c O'c " .

 c ' .

+1)9+1:+c < :c+111c >+*?c&c  c c 'c  c =c  c Cc >)***?6c O&  c    6c c c c(Pc"c/c >++?cc&%c&  c! . c  c %    c %  Pc IEEE Conference on Global Telecommunications (GLOBECOM¶99).

c c c c c c c c 0+14:R8c c c A.

c  c #c c % c(.

 .

cGc   c c'c   c %  c/   c cCc c.

 c cc ".

c  c    c ".

 c  c %.

c $ c cCc.

 c c".

c c% c (.

 .

c c  c "=c ( c  c Cc c  c c .

c  cc/c  c c%  c % c"  c%  c  cc c .