      9.2 0ࠢ ࠭ﬨ, ਠ ࠭権

     ঠ 堭 ࠭権 - ⥫ ஢ ࠧ-
 . ४⭮ ঠ ࠭権 ६ -
 ᭮ ᯥ祭 楫⭮   ( ⮬ ࠭-
樨   㬥      짮⥫᪨  ᮭ
),  ⠪ ⠢  ஢ 짮⥫ 
짮⥫᪨ ⥬.    ᯥ ᬠ-
  ⤥쭮,   ᠬ   易,  
㤥   ⮩ 樨.
     ⨬,    窨  ७  ᯥ祭  楫⭮
   堭 ࠭権 ᫥  ন  -
 ,   ࠪ⨪  筮  믮.  ⮬
 室   ᮭ  짮⥫᪨  -
⥫ ⠫  室 ⪮  த
࠭権.
      ࠭樥     窨  ७  -
⢨      ᫥⥫쭮  ஢ 㫨஢
묨 (⥭, 㤠, ⠢, 䨪樨) ⠪,  
१  ஢,  室  ࠭, ⮡ࠦ
 ,  ⢨   ஢  -
.  㭣 ࠭樨 - "  祣":   襭 ࠭-
樨 ஬ COMMIT १  ࠭஢  䨪
 譥   ( ᫮ commit - "䨪஢" १-
 ࠭樨);   襭 ࠭樨 ஬ ROLLBACK
१ ࠭஢     譥  (
᫮ rollback - ஢ १ ࠭樨).

     9.1 ࠭樨  楫⭮  

     ⨥ ࠭樨   ।⢥   ⨥
楫⭮ . 祭     ⠪ ࠭祭-
ﬨ 楫⭮,     , 믮
⮫쪮    .  ਬ,    -
-  ⢥  ࠭祭  楫⭮ 
ᮢ 祭 ਡ _  ⥦ ⭮襭  -
,  뢠饬  ⤥ (ਬ,  ⤥ 320),  ᫮
⥦  ⭮襭    ⠪,    祭  ਡ
__ ࠢ 320.    ⮬ 砥 ਭ  ࠡ 
⤥ 320  㤭?  ᨬ  ⮣,  
㤥 믮 ࢮ,  ⠢  ⥦  ⭮襭 -
  䨪 饣 ⥦  ⭮襭  -
, ᫥ 믮 樨     楫⭮
ﭨ.
     ⮬   ঠ    ࠭祭 楫⭮
᪠  襭  ࠭樨  ⥬ ᫮, ⮡
   襭 ࠭樨 ᫮ 楫⭮ 뫨 ᮡ-
.   ⥬  ࠧ묨 ।⢠ ࠭祭   ஫
楫⭮  ࠭ 稭  楫⭮ ﭨ
   ⠢  ﭨ 楫묨 ᫥  ᢮  -
襭. ᮡ ⮣ ᫮ ਢ  ⮬,  
䨪樨 १⮢ ࠭樨 ந室  ⪠ (.. 
 COMMIT 믮  ROLLBACK),   ⠥ 
⠪ ﭨ,   ஬ 室   砫 ࠭-
樨, ..  楫⭮ ﭨ.
     ᫨    ,  ࠧ   -
祭 楫⭮:   ஢塞  ⪫뢠.  
 ஢塞 ࠭祭 楫⭮ ⭮  ⠪
࠭祭, ஢    ᫥   
⪫뢠. ਬ஬ ࠭祭, ஢ ண ⪫뢠
᫥,  ࠭祭  ( 㤭 
 ॢ 150 ).   ᫮ ࠭祭,  ஢
ண  ⫮,   ᫥饥: ௫ -
㤭    㢥祭    ,  祬  
100,000 㡫.    ஢塞 ࠭祭 楫⭮
ᮮ⢥ ஢ ⤥ ஢ 몮 ஢ .
   襭  ந ⪠ ࠭樨,    -
࣠ ᮮ⢥騩 .
     ⪫뢠 ࠭祭  楫⭮ -  ࠭祭 
 ,    - ⤥ 樨.  㬮砭
⠪ ࠭祭 ஢   ࠭樨,   -
 뢠 ⮬   COMMIT   
ROLLBACK.    ⥬ ন ᯥ樠
 ᨫ⢥ ஢ન ࠭祭 楫⭮  
࠭樨. ᫨ ᫥ 믮 ⠪  㦨-
,  ᫮ 楫⭮  믮, 짮⥫  ᠬ
믮   ROLLBACK     ࠭ 稭
楫⭮ ﭨ      ࠭樨  (,
 ᫥  ⮫쪮    ᯮ짮 ࠪ⨢ ०
ࠡ).
        砭.  窨 ७ 譥 ।⠢
  襭 ࠭樨 ஢  ⪫뢠 -
࠭祭 楫⭮,  ।  ⮩  .  
 ॠ樨 ६  믮  ࠭樨  ᪨
뤥  ࠭祭 楫⭮,  ⢨⥫쭮 
  襭.  ਬ,  ᫨  믮 ࠭樨 
   -      믮﫨 
⠢  㤠 ⥦  ⭮襭 ,  ஢-
 㯮襥   ࠭祭 楫⭮  ॡ (
஢ઠ  ࠭祭 뢠 筮   ࠡ-
).

     9.2 ஢ 짮⥫

      짮⥫᪨ ⥬      -
६  ࠡ ᪮쪮 짮⥫  ਪ
ணࠬ. ।쭮 祩 ⥬  ᯥ祭 -
஢ 짮⥫,  ..  ᮧ ⮢୮  
 ⮣,     짮⥫ ࠡ⠥     -
.
      裡  ᢮⢮ ࠭ 楫⭮    ࠭樨
 室騬  栬  ஢  짮⥫.
⢨⥫쭮, ᫨   ᥠᮬ ࠡ    -
樨 ࠭,     짮⥫ 稭 ࠡ 
ᮣᮢ ﭨ  , ..  ⠪ ﭨ, 
஬     室,   ᫨  짮-
⥫ ࠡ⠫    .
      ᮡ 易⥫쭮 ॡ ঠ 楫-
       ᫥騥  ஢  ஢
࠭権:
     -  ஢ - ⢨ ﭭ  .  -
ਬ  ᫥騩  業਩ ᮢ⭮ 믮  ࠭-
権.  ࠭ 1  ꥪ   A.   襭
࠭樨 1 ࠭ 2 ⠪  ꥪ A.  ࠭ 2
蠥 ஬ ROLLBACK (ਬ,   稭 襭
࠭祭  楫⭮).    ୮ ⥭ ꥪ A
࠭ 1    ⮣ ꥪ, ந -
.     뢠 樥 ﭭ .
⢥,  ⨢ ॡ ஢ 짮-
⥫. ⮡  ⠪ 樨  ࠭樨 1 ॡ,
⮡  襭 ࠭樨 1   㣠  ࠭  
  ꥪ A. ⢨ ﭭ  -
  ॡ     ᨭ஭樨  ࠫ-
쭮 믮塞 ࠭権.
     - ன ஢  -  ⢨  ⥭  "吝  ".
ᬮਬ  ᫥騩 業਩ ᮢ⭮ 믮 ࠭権
1  2. ࠭ 1  ꥪ   A. ࠫ쭮 
⨬ ࠭ 2 ⠥ ꥪ A.  ᪮  
  襭,  ࠭ 2  ᮣᮢ  "吝"
 ( ⭮,   ࠭樨 1   ⢥
 ஢થ  ஢塞  ࠭祭  楫⭮).
 ⮦  ᮮ⢥ ॡ ஢ 짮-
 ( 짮⥫ 稭 ᢮ ࠭    ᮣ-
 ﭨ       ࠢ   ᮣ-
 ).  ⮡  樨 ⥭ "吝" ,
 襭 ࠭樨 1,  襩 ꥪ A,  㣠
࠭    ꥪ  A  (  ॡ
 ஢  ⥭  ꥪ A  襭 樨 
  ࠭樨 1).
     - ⨩ ஢ - ⢨  ⥭. -
ਬ ᫥騩 業਩.  ࠭ 1 ⠥ ꥪ  -
 A.  襭 ࠭樨 1 ࠭ 2  ꥪ A
 ᯥ譮 蠥 ஬ COMMIT.  ࠭ 1  ୮
⠥ ꥪ A     ﭨ. ⮡ 
 ⥭,  襭 ࠭樨 1  㣠
࠭    ꥪ A.  設⢥ ⥬ 
 ᨬ ॡ    ᨭ஭樨  ࠭権,
,     㢨  ,  ⢨ 
⥭   ࠭ ॠ쭮  ஢  짮-
.
     ⨬,       ᯥ祭   ࠧ
஢  ஢  ࠧ ࠭権,  믮 
 ⥬   ( ⭮, ᮮ⢥騥 
।ᬮ७  ⠭ SQL 2).    㦥 ⬥砫,  -
ঠ 楫⭮ 祭  ஢.    
ਫ,      ࢮ  ஢ 筮 (ਬ,
ਪ  ⥬ ᪨ ⨫,   -
४⭮  㠫    ⢥).   ⮬
㤠 ⢥ ᮪  室    
 䥪⨢.
       ⮭ ஡ ஢  ࠭権  ⭮-
  ⠪  뢠 ஡ ⥦-"䠭⮬",  뢠
樨,  ⠪ ⨢ ஢ 짮-
.  ᬮਬ ᫥騩 業਩. ࠭ 1 믮 -
 A 롮ન ⥦ ⭮襭 R  ᫮ 롮ન S  (..
론ࠥ   ⥦ ⭮襭 R,  㤮⢮ ᫮
S).  襭 ࠭樨 1 ࠭ 2 ⠢   ⭮-
 R  ⥦ r,  㤮⢮騩 ᫮ S,   ᯥ譮 -
蠥.  ࠭ 1 ୮ 믮  A,    -
  ⥦,   ⢮  ࢮ -
 .  筮,  ⠪  ⨢  
஢ ࠭権         쥬
஢ ஢ ࠭権. ⮡   -
⥦-䠭⮬,  ॡ    ᮪  "᪨" ஢
ᨭ஭樨 ࠭権.   ⠪ ᨭ஭樨 (।
ᨭ஭樮 墠)  ,   設⢥ -
⥬  ॠ.

     9.3 ਠ ࠭権

     ⭮,   ⮣, ⮡  ஢ ࠭-
権,    ᯮ짮 - ⮤ ॣ㫨-
 ᮢ⭮ 믮 ࠭権.
      (ᯮᮡ) 믮  ࠭権 뢠 -
, ᫨ १ ᮢ⭮ 믮 ࠭権 -
⥭  १  ண ᫥⥫쭮 믮 
 ࠭権.
     ਠ ࠭権 -  堭  믮  -
஬ ਠ쭮 . ᯥ祭 ⠪ 堭 -
 ᭮ 㭪樥  , ⢥⢥  ࠢ-
 ࠭ﬨ. ⥬,  ன ন ਠ
࠭権 ᯥ稢 ॠ ஢ 짮⥫.
     ᭮ ॠ樮 ஡ ⮨    롮  ⮤
ਠ樨   ࠭権,    ᫨誮 ࠭稢
  ࠫ쭮.  室騬   ਢ 襭 -
 ⢨⥫쭮 ᫥⥫쭮 믮 ࠭権.
       樨,    믮 
ࠧ ࠭権      浪  ࠭ ਠ쭮.
ਬࠬ  㦨  ⮫쪮  騥  ࠭樨,    ⠪
࠭樨,  䫨騥  ꥪ⠬  .
      ࠭ﬨ  ⢮ ᫥騥   -
⮢:
     - W-W - ࠭ 2 ⠥   ꥪ,  
 稢襩 ࠭樥 1;
     - R-W - ࠭ 2 ⠥  ꥪ,  ⠭
 稢襩 ࠭樥 1;
     - W-R - ࠭ 2 ⠥  ꥪ,   
稢襩 ࠭樥 1.
     ࠪ᪠ ਠ ࠭権 ᭮뢠   
 䫨⮢.
      10. ⮤ ਠ樨 ࠭権

        室   ਠ樨  ࠭権,
᭮   ᨭ஭樮 墠 ꥪ⮢   
 ᯮ짮 ६ ⮪.    室 ⮨ 
㦥 䫨⮢ ࠭権   ࠭.   -
ਬ  室 ᬠਢ ࠢ⥫쭮 ஡.
     ।⥫쭮 ⨬,     室 
 ࠧ - ᨬ᪠  ⨬᪠.  -
  ᨬ᪨ ⮤,  ਥ஢  樨,
 䫨  , 䫨 ᯮ  ࠧ-
     .  ⨬᪨ ⮤
᭮뢠  ⮬,   १   権  䨪樨
    ࠭  ࠡ祩  ࠭権.  쭠
䨪   ந ⮫쪮   ⠤  䨪樨
࠭樨.     ஢,     䫨 
㣨 ࠭ﬨ.
       ࠭稬 ᬮ७  ࠭
ᨬ᪨ ࠧ⥩ ⮤ ਠ樨  ࠭-
権. ᨬ᪨  ⮤ ࠢ⥫쭮  ࠭ନ-
  ᢮ ⨬᪨ ਠ.

     10.1 ஭樮 墠

      ࠭  業ࠫ   (-
 ⥬, ᭮  ⥪ "-ࢥ") -
 室,  ᭮  ᮡ 䠧 ⮪
ᨭ஭樮 墠⮢ ꥪ⮢ .     -
 ⮨  ⮬,  । 믮  樨  ࠭-
樨 T  ꥪ⮬   r   ࠭樨 T -
訢  ᨭ஭樮 墠 ꥪ r  ᮮ⢥-
饬 ० ( ᨬ   樨).
     ᭮ ० ᨭ஭樮 墠⮢ :
     - ᮢ ० - S (Shared),  騩  ࠧ塞
墠 ꥪ  ॡ㥬  믮 樨 ⥭ -
;
     -  ० - X (eXclusive), 騩 -
 墠 ꥪ  ॡ㥬  믮 権 -
, 㤠  䨪樨.
     墠 ꥪ⮢ ᪮쪨 ࠭ﬨ  ⥭  ᮢ-
⨬, .. ᪮쪨 ࠭ ᪠   
  ꥪ,  墠 ꥪ  ࠭樥  ⥭  
ᮢ⨬  墠⮬ 㣮 ࠭樥 ⮣  ꥪ  -
,  墠  ꥪ ࠧ묨 ࠭ﬨ   
 ᮢ⨬.  ࠢ  ᮢ⨬ 墠⮢  ꥪ
ࠧ묨 ࠭ﬨ ࠦ  ᫥饩 ⠡:
                           Ŀ
                             X    S  
                     Ĵ
                       -        
                     Ĵ
                       X      
                     Ĵ
                       S       
                     
      ࢮ ⮫ ਢ  ﭨ ꥪ  
窨  ७  ᨭ஭樮 墠⮢.   ⮬ "-" ᮮ-
 ﭨ ꥪ,   ண  ⠭ -
 墠.  ࠭,  ᨢ ᨭ஭樮 墠
ꥪ , 㦥 墠祭 㣮 ࠭樥  ᮢ⨬
०,    ,  墠  ⮣ ꥪ 
㤥 .
     ⨬,   ᫮  ""   襩 ⠡ ᮮ⢥
ᠭ ࠭     䫨⮢  ࠭権  
   ꥪ⠬   (WW,  RW,  WR).  ⨬
S-墠⮢ ᮮ⢥ ⮬,  䫨 RR  .
      ᯥ祭  ਠ樨 ࠭権 (쥣 ஢
஢) ᨭ஭樮 墠 ꥪ⮢,  ந-
   樠⨢ ࠭樨,   ᭨ ⮫쪮  
襭.  ॡ ஦ 䠧 ⮪ ᨭ-
஭樮 墠⮢ - 2PL.  ᮮ⢥⢨  ⨬ ⮪
믮 ࠭樨 ࠧ   䠧:
     - ࢠ 䠧 ࠭樨 -  墠⮢;
     -  䠧 (䨪  ⪠) - ᢮  墠-
⮢.
     筮  㡥,   ᮡ 䠧-
 ⮪  ᨭ஭樮 墠⮢ ⢨⥫쭮 ᯥ-
稢 ਠ ࠭権  쥬 ஢ ஢-
.  ᭮  ஡ ⮨  ⮬,   ᫥ 
ꥪ⮬  ᨭ஭樮 墠?
      ⥪  ५樮       ᫥騥
ୠ⨢:
     - 䠩  - 䨧᪨ ( 窨 ७  ) ꥪ,
 ࠭ ᪮쪨 ⭮襭 , , ᮢ;
     - ⭮襭 - ᪨ ꥪ, ᮮ⢥騩 -
 ⥦  ⭮襭;
     - ࠭   - 䨧᪨ ꥪ,  ࠭騩 ⥦
  ᪮쪨 ⭮襭,    㦥  -
ଠ;
     - ⥦ -  䨧᪨ ꥪ  .
      ᠬ ,   ਬ  樨  ꥪ-
  ,       ⥦,  䠪᪨,
  樥  ࠭楩,  ன  ⥦ -
,   ᮮ⢥騬 ⭮襭,    䠩, ᮤ-
饬 ⭮襭.  ⮬  ⢨⥫쭮   롮 ஢
ꥪ 墠.
     ⭮,  祬 㯭 ꥪ ᨭ஭樮 墠-
 (,   த  ꥪ - ᪨  䨧-
᪨), ⥬  ᨭ஭樮 墠⮢ 㤥 ন-
  ⥬,    ,  ᮮ⢥⢥,   
訥  室.  ⮣, ᫨   ⢥
஢ ꥪ⮢  墠⮢ 䠩  ⭮襭,   㤥 -
襭  ஡ 䠭⮬ (᫨   ᭮ ࠧ, ᬮ-
  ࠧ  㫨஢  ஡  䠭⮬    ।
䠧  ⮪ 墠⮢).
         ⮬,     ᯮ짮    墠⮢
㯭  ꥪ⮢ ⠥ ⭮ 䫨⮢ ࠭権
 ⥬ ᠬ 㬥蠥 ᪠ ⥯    ࠫ쭮
믮. ᪨,  㯭 ꥪ ᨭ஭樮-
 墠  諥 㡫塞    䫨
  ,   ᠬ  䫨⮢ .
     ࠡ稪  ⥬ 稭  ᯮ짮 -
 墠⮢,        ஬ᮬ  
६ﬨ ᮪  室  ࠭ -
 ᮪ ஢ ࠫ쭮 ࠭権.     祭
訩 롮.    㤥 ⠭  ⠫,  -
⨬,  ᯮ짮 ࠭ 墠⮢  䠧 -
⮪   뢠  祭     ᨭ஭樮
஡, ᫮騥  ࣠ .   設⢥ ᮢ-
 ⥬ ᯮ ⥦ ᨭ஭樮  -
.
       ⮬   ।  .  ᫨  楩
墠    ⥦,    ᨭ஭樮 墠
ॡ  믮 ⠪ 権  㭨⮦  -
襭? 뫮   쭮  । 믮 ⠪ -
樨 ॡ 墠    ⥦  ⭮-
. ஬  ⮣,     ।⨫   ࠫ-
쭮 ⠢  㣮 ࠭樨  ⥦  㭨⮦-
 ⭮襭.

     10.1.1 ࠭஢ ᨭ஭樮 墠

      㦤 ਢ  ࠧࠡ⪨  ࠭-
஢ ᨭ஭樮  墠⮢.    ਬ ⮣
室 ᨭ஭樮 墠  訢  ⭮-
襭  ꥪ⠬ ࠧ ஢:  䠩,  ⭮襭  -
. ॡ㥬 ஢ ꥪ । ⥬,   -
 믮 (ਬ,  믮 樨 㭨⮦
⭮襭 ꥪ⮬ ᨭ஭樮 墠    
⭮襭,     믮 樨 㤠 ⥦ - 
⥦). ꥪ  ஢   墠祭   ०  S
 X.
        ⫨稥,   ஬,  ᮡ⢥,
ন ᮮ⢥⢨ 墠⮢ ࠧ ஢.  ᯥ-
 ⮪ ࠭㫨஢ 墠⮢    ⨯  墠-
⮢:  ।  墠⮬ ꥪ  ० S  X ᮮ⢥騩
ꥪ  孥 ஢   墠祭  ० IS,
IX  SIX.    ᥡ ।⠢  ० 墠⮢?
     IS (Intented for Shared lock)  ⭮襭    ஬
⠢ ꥪ  O  砥  ७ 墠 
室騩  O ꥪ  ᮢ⭮ ०. ਬ,  -
   ⥦    ⭮襭 R  ⭮襭  
墠祭  ० IS (  ⮣   ⠪    ०  
 墠祭 䠩).
     IX (Intented for eXclusive lock)  ⭮襭  -
 ⠢ ꥪ O 砥 ७ 墠 
室騩  O ꥪ  쭮 ०.  ਬ,  -
७ 㤠 ⥦  ⭮襭 R  ⭮襭  
墠祭  ० IX (  ⮣   ⠪    ०  
 墠祭 䠩).
     SIX (Shared,  Intented for eXclusive lock)  ⭮襭 
஬ ⠢  ꥪ  O  砥  ᮢ 墠
ᥣ ⮣ ꥪ  ७ ᫥⢨ 墠뢠  -
- 室騥   ꥪ  쭮 ०.  -
, ᫨ 믮   ᬮ  ⭮襭  
 㤠   ᬠਢ ⥦,  
筥 ᥣ 墠  ⭮襭  ० SIX  (  
⮣ 墠 䠩  ० IS).
     쭮 㤭  ᫮     樨.
 ࠭稬  ਢ  ⠡ ᮢ⨬ 墠-
⮢,      砨:
           Ŀ
             X    S   IX   IS   SIX 
     Ĵ
       -                 
     Ĵ
       X            
     Ĵ
       S              
     Ĵ
      IX              
     Ĵ
      IS                
     Ĵ
      SIX            
     

     10.1.2 । ᨭ஭樮 墠

     ᬮ    ਢ⥫쭮   ⮤  ࠭㫨஢
ᨭ஭樮 墠⮢,  ᫥ ⬥    蠥
஡ 䠭⮬ (᫨,  筮,  ࠭ ᯮ짮-
 墠⮢ ⭮襭  ० S  X).   ⭮, 
 襭 ⮩ ஡ 室 ३  墠⮢ -
㠫 ꥪ⮢  ,   墠 ᫮  (।-
⮢),  㤮⢮  ꥪ.  ஡ 䠭⮬ 
  ᯮ짮  ᨭ஭樨  ஢  ⭮-
    ⮬,     ⭮襭    ᪨  ꥪ
।⠢ ᮡ  ᫮  室    -
. 墠 ⭮襭 -  ⮩   砩 ।-
 墠.
     ᪮    ५樮   -
  ᫮ (..    㪠뢠  -
   ꥪ⮢  ,   묨 㦭 믮
,  ᫮,  ஬    㤮⢮  ꥪ
⮣ ),  롮஬ 뫮  ॡ ᨭ஭-
樮 墠  ० S  X  ⮣ ᫮.   ᫨
ᬮ  騩  ᫮, ᪠, ਬ,  -
 SQL,  ⠭ ᮫⭮ ⭮,  । ᮢ-
⨬    ।  墠⮢.  ᭮,    ⮣
ᯮ짮 । 墠  ᨭ஭樨  ࠭権
,   饩 ଥ ஡ ࠧ訬.
      ,   ஡ ࠢ⥫쭮  蠥  
  ᫮ 蠥.  㤥 뢠  ᫮-
   ।⮢,  
     -ਡ { = > < } 祭.
      ⨯ , ন ஢ ࣠
(몮 ஢  ஢ ࠢ 譥 ),   -
䥩 ⥬ ࠢ  ( 筮 
 ਠ樥  ࠭権)  ᪠ ⮫쪮  ᫮-
. ⥬ 몮 ஢ ந  室
  ᫮ ᫮  ᫥⥫쭮 饭 
 ,     ᮤঠ ⮫쪮  ᫮-
. ⥫쭮,    砥 ⨯ ࣠樨 ५樮
  ᫮  ᯮ짮  ᭮ ।
墠⮢.
       ᫮  ᮢ⨬  ।  墠⮢
 ।   ᭮ ᫥饩 ᪮ -
樨.  R ⭮襭  ਡ⠬ a1, a2, ..., an,  m1,
m2, ...,  mn - ⢠ ⨬ 祭 a1,  a2,  ..., an
ᮮ⢥⢥ (  ⢠ - ).   -
⠢ R  筮 n-୮ ࠭⢮  祭
⥦ R.   ⮥ ᫮ "१" m- אַ-
쭨  ⮬ ࠭⢥ (m <= n).
      S-X,  X-S,  X-X । 墠  ࠧ ࠭-
権 ᮢ⨬,  ᫨ ᮮ⢥騥 אַ㣮쭨  -
ᥪ.
       ᫥騬 ਬ஬,  뢠騬, 
   ०  ॡ ࠭ 1  墠  ᫮
(1<=a<=4) &  (b=5),    ࠭  2  -  ᫮  (1<=a<=5) &
(1<=b<=3),  墠 ᥣ ᮢ⨬.

     ਬ: (n = 2)

         b 
                 (1<=a<=4) & (b=5)
          5     Ĵ
           
          4
           
          3     Ŀ
                  (1<=a<=5) &          
          2       (1<=b<=3)            
                                       
          1     
           
           
                 1     2     3     4     5  a

     ⨬,  । 墠  ᫮ 뢠-
 ⠡栬,   ⫨騬  ⠡ ࠤ樮
ᨭ஭஢.

     10.1.3 㯨, ᯮ  ࠧ襭

        ⢨⥫ ⪮ ⮤ -
樨 ࠭権  ᭮ ᨭ஭樮 墠⮢ -
   㯨 (deadlocks)  ࠭-
ﬨ. 㯨   ਬ   ᬮ७-
  ਠ⮢.
      ⮩ ਬ  㯨  ࠭-
 T1  T2:
     - ࠭樨 T1  T2 ⠭  墠  -
⮢ r1  r2 ᮮ⢥⢥;
     - ᫥ ⮣ T1 ॡ ᮢ 墠 r2,   T2  -
ᮢ 墠 r1;
     -    ࠭権    த,  ᫥-
⥫쭮,   墠   ,  ᮢ - 
 㤮⢮७.
     ᪮ 㯨 ,   ⢥ -
  㯨 樨  ,    樨 -
室 㦨  ⢥ ࠭.
     ᭮ 㦥 㯨 権   ஥-
 (  ﭭ  ঠ)    ࠭権.
   ࠭権  -    ਥ஢  㤮
,   ஬    ⨯ 設 - 設,  ᮮ-
騥 ࠭,   設,  ᮮ⢥騥 ꥪ⠬
墠.   ⮬      㣠,     -
-࠭樨  設-ꥪ,  ᫨  ⮩ ࠭樨 -
  㤮⢮७  墠 ꥪ.    
㣠  設-ꥪ  設-࠭樨,  ᫨ ࠭
 㤮⢮७ 墠 ꥪ.
      ,   ⥬   㯨,
᫨    ࠭権     横.
      ᯮ 㯨 ਮ᪨ ந  -
஥    ࠭権 ( 㦥 ⬥砫,  
  ন ﭭ),   ⮬  
横. ࠤ樮 孨 ( ன  ⢮
ࠧ⥩) 宦 横  ਥ஢   -
 । .
        ⠫,  । ⮨  ⮬,  ०
ᥣ    㤠  㣨,  室騥  -
設-࠭権,     室 㣨   設-ꥪ⮢.
(     ᮮ⢥ ⮩ 樨,   ࠭樨,  
騥 㤮⢮७ 墠⮢, ᯥ譮 訫  ᢮-
 墠).   設-ꥪ⮢,    -
 室 ,   室騥, ਥ 室-
    ⨢ (  㤮-
७ 墠⮢).  ᫥ ⮣ ᭮ ࠡ뢠  蠣 
⠪     ,    ࢮ 蠣  ४ 㤠
.  ᫨   ⠫ 㣨,    易⥫쭮 ࠧ
横.
     ।,   㤠  横    
࠭権.   ⥯?  㦭 - ࠧ ᯥ-
  த ࠡ     ࠭-
権,   㯨. 襭 㯨 稭  롮 
横 ࠭権 ⠪ 뢠 ࠭樨-,  .. ࠭-
樨, ன 襭 ⢮,  ⮡ ᯥ -
 த ࠡ 㣨 ࠭権.
     㡮 ,  ਥ  롮  ⮨ ࠭-
樨; ⢮ 롨ࠥ ᠬ 襢 ࠭. ⮨
࠭樨 ।  ᭮ 䠪ୠ 業,  -
  ࠧ묨 ᠬ 室 ६ 믮,  ᫮  -
 墠⮢, ਮ.
     ᫥ 롮  ࠭樨-  믮  ⪠  ⮩
࠭樨,         ࠪ-
.  ⮬, ⢥, ᢮ 墠   
த 믮 㣨 ࠭権.
     ⢥, ⠪  ᨫ⢥  ࠭  㯨
権   襭 ਭ樯 ஢ 짮-
⥫, ண  .
     ⨬,    業ࠫ ⥬ ⮨ -
஥   ࠢ⥫쭮 ,   ⠭
᫨誮 让  -饬 । ,  
࠭樨  믮  ࠧ 㧫  .  ⮬  
⠪ ⥬  筮 ᯮ 㣨 ⮤ ਠ樨
࠭権.
       砭. ⮡ ஢ ᫮ 䫨⮢
 ࠭ﬨ,       (ਬ,    Oracle)
ᯮ ᫥饥  ࠧ⨥  室.   墠
ꥪ  ⮫쪮 騥 ࠭樨. ᫥ 믮-
  樨  䨪樨  ।  ꥪ ⠥
㯭  ⥭    㣨  ࠭.  ⪮६
஢ ⥭ ॡ ⮫쪮  ਮ 䨪樨 -
饩 ࠭樨,   ꥪ ⠭ ⥪騬.

     10.2 ⮤ ६ ⮪

     ୠ⨢ ⮤ ਠ樨 ࠭権,   -
騩   ᫮ । 䫨⮢ ࠭権   ॡ-
騩 ஥   ࠭権. ᭮  ᯮ짮-
 ६ ⮪.
     ᭮  ⮤  (  ண    ⢮
ࠧ⥩) ⮨  ᫥饬:  ᫨ ࠭ T1 -
 ࠭ ࠭樨 T2,  ⥬ ᯥ稢 ⠪ ०
믮,   ᫨    T1 뫠 楫 믮  砫
T2.
      ⮣    ࠭樨  T ।뢠 ६
⪠ t, ᮮ⢥ ६ 砫 T.  믮 -
樨  ꥪ⮬ r ࠭ T 砥  ᢮ ६
⪮  ⨯ 樨 (⥭  ).
     । 믮  樨   ꥪ⮬ r ࠭ T1
믮 ᫥騥 ⢨:
     - ஢,   稫  ࠭ T,  ⨢
 ꥪ. ᫨ T 稫, T1 砥 ꥪ r  믮-
 ᢮ .
     - ᫨ ࠭ T  訫,  T1 ஢ -
⭮ 権.  ᫨ 樨 䫨,  ꥪ r
⠥  ⠢ ६ ⪠  訬  祭-
,  ࠭ T1 믮 ᢮ .
     - ᫨ 樨 T1  T 䫨,   ᫨ t(T) > t(T1)
(..  ࠭ T   "", 祬 T), ந-
 ⪠ T  T1 த ࠡ.
     - ᫨    t(T) < t(T1) (T "" T1),   T1 砥
 ६   稭 .
      ⪠  ⮤  ६ ⮪ ⭮ ⥭-
쭮   ⪠ ࠭権, 祬  砥 ᯮ짮-
 ᨭ஭樮 墠⮢.   易  ⥬,   -
⭮ ࠭権 ।  㡮.  ஬  ⮣,  
। ⥬   祭  ࠡ뢠 -
 ६ ⪨  ⭮襭  浪 (  ⤥-
  㪠).
       ।  ⥬    ⪨  㯠
⥬,    㦭 ᯮ 㯨,    㦥 ⬥砫,
஥       ।  ⥬  ⮨
祭 ண.
