ååŒ
ãã©ã³ã¶ã¯ã·ã§ã³ã¯ãå§ãŸããšçµãããããããŒã¿ã«å¯Ÿããäžé£ã®æäœã§ãã
ãã©ã³ã¶ã¯ã·ã§ã³ãšã¯ãèªã¿åãæäœãšæžã蟌ã¿æäœãé 次å®è¡ããããšã§ãã ãã©ã³ã¶ã¯ã·ã§ã³ã®çµäºã¯ãå€æŽãä¿åãã (ã³ããã) ããå€æŽããã£ã³ã»ã«ãã (ããŒã«ããã¯) ãã®ããããã«ãªããŸãã ããŒã¿ããŒã¹ã«é¢ããŠã¯ããã©ã³ã¶ã¯ã·ã§ã³ã¯ XNUMX ã€ã®ãªã¯ãšã¹ããšããŠæ±ãããè€æ°ã®ãªã¯ãšã¹ãã§æ§æãããŸãã
ãã©ã³ã¶ã¯ã·ã§ã³ã¯ ACID ããããã£ãæºããå¿ èŠããããŸã
ååæ§ã ãã©ã³ã¶ã¯ã·ã§ã³ã¯å®å šã«å®äºãããããŸã£ããå®äºããŸããã
äžè²«æ§ã ãã©ã³ã¶ã¯ã·ã§ã³ãå®äºãããšãã¯ãããŒã¿ã«èª²ããããå¶é (ããŒã¿ããŒã¹å ã®å¶çŽãªã©) ã«éåããŠã¯ãªããŸããã äžè²«æ§ãšã¯ãã·ã¹ãã ãããæ£ããç¶æ ããå¥ã®æ£ããç¶æ ã«ç§»è¡ããããšãæå³ããŸãã
åé¢ã 䞊è¡ããŠå®è¡ããããã©ã³ã¶ã¯ã·ã§ã³ã¯ãããšãã°ãå¥ã®ãã©ã³ã¶ã¯ã·ã§ã³ã§äœ¿çšãããããŒã¿ãå€æŽãããªã©ãçžäºã«åœ±é¿ãåãŒããŠã¯ãããŸããã 䞊åãã©ã³ã¶ã¯ã·ã§ã³ãå®è¡ããçµæã¯ããã©ã³ã¶ã¯ã·ã§ã³ãé 次å®è¡ãããå Žåãšåãã«ãªãã¯ãã§ãã
æç¶å¯èœæ§ã äžåºŠã³ããããããå€æŽã¯å€±ãããã¹ãã§ã¯ãããŸããã
ãã©ã³ã¶ã¯ã·ã§ã³ãã°
ãã°ã«ã¯ãã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠè¡ãããå€æŽãä¿åãããã·ã¹ãã é害ãçºçããå Žåã§ãããŒã¿ã®ã¢ãããã¯æ§ãšå®å®æ§ã確ä¿ãããŸãã
ãã°ã«ã¯ããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠå€æŽãããååŸã®ããŒã¿ã®å€ãå«ãŸããŸãã å è¡æžã蟌ã¿ãã°æŠç¥ã§ã¯ãéå§åã®ä»¥åã®å€ã«é¢ãããã° ãšã³ããªãšããã©ã³ã¶ã¯ã·ã§ã³å®äºåŸã®æçµå€ã«é¢ãããã° ãšã³ããªãè¿œå ããå¿ èŠããããŸãã ã·ã¹ãã ãçªç¶åæ¢ããå ŽåãããŒã¿ããŒã¹ã¯éã®é åºã§ãã°ãèªã¿åãããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠå ããããå€æŽããã£ã³ã»ã«ããŸãã äžæããããã©ã³ã¶ã¯ã·ã§ã³ãçºçãããšãããŒã¿ããŒã¹ã¯ãããå®è¡ããããã«é¢ããå€æŽããã°ã«å ããŸãã é害çºçæã®ç¶æ ã§ã¯ãããŒã¿ããŒã¹ã¯ãã°ãé æ¹åã«èªã¿åãããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠå ããããå€æŽãè¿ããŸãã ãã®ããã«ããŠããã§ã«ã³ãããããããã©ã³ã¶ã¯ã·ã§ã³ã®å®å®æ§ãšãäžæããããã©ã³ã¶ã¯ã·ã§ã³ã®ã¢ãããã¯æ§ãç¶æãããŸãã
倱æãããã©ã³ã¶ã¯ã·ã§ã³ãåå®è¡ããã ãã§ã¯å埩ã«ã¯äžååã§ãã
äŸã ãŠãŒã¶ãŒã¯èªåã®å£åº§ã« 500 ãã«ãæã£ãŠãããATM ãããããåŒãåºãããšã«ããŸããã XNUMX ã€ã®ãã©ã³ã¶ã¯ã·ã§ã³ãé²è¡äžã§ãã æåã®ãã®ã¯æ®é«å€ãèªã¿åããæ®é«ã«ååãªè³éãããå ŽåããŠãŒã¶ãŒã«ãéãçºè¡ããŸãã XNUMX çªç®ã¯æ®é«ããå¿ èŠãªéé¡ãå·®ãåŒããŸãã ã·ã¹ãã ãã¯ã©ãã·ã¥ããæåã®æäœã¯å€±æããŸããããXNUMX çªç®ã®æäœã¯å€±æãããšããŸãã ãã®å Žåãã·ã¹ãã ãå ã®æ®é«ãã©ã¹ã®ç¶æ ã«æ»ããªãéãããŠãŒã¶ãŒã«ãéãåçºè¡ããããšã¯ã§ããŸããã
æç±ã¬ãã«
ã³ããããããèªã¿åã
ããŒã㣠ãªãŒãã®åé¡ã¯ããã©ã³ã¶ã¯ã·ã§ã³ãå¥ã®ãã©ã³ã¶ã¯ã·ã§ã³ã®äžéçµæãèªã¿åãããšãã§ããããšã§ãã
äŸã åææ®é«å€ã¯ $0 ã§ãã T1 ã§ã¯æ®é«ã« $50 ãè¿œå ãããŸãã T2 ã¯æ®é«å€ ($50) ãèªã¿åããŸãã T1 ã¯å€æŽãç Žæ£ããŠçµäºããŸãã T2 ã¯ãäžæ£ãªæ®é«ããŒã¿ã䜿çšããŠå®è¡ãç¶è¡ããŸãã
解決çã¯ããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠå€æŽãããããŒã¿ã®èªã¿åããçŠæ¢ããåºå®ããŒã¿ (Read Committed) ãèªã¿åãããšã§ãã ãã©ã³ã¶ã¯ã·ã§ã³ A ãç¹å®ã®ããŒã¿ ã»ãããå€æŽããå Žåããã©ã³ã¶ã¯ã·ã§ã³ B ã¯ãã®ããŒã¿ã«ã¢ã¯ã»ã¹ãããšãã«ããã©ã³ã¶ã¯ã·ã§ã³ A ãå®äºãããŸã§åŸ æ©ããå¿ èŠããããŸãã
å埩å¯èœãªèªã¿åã
ã¢ããããŒãã倱ãããåé¡ã T1 ã¯ãT2 ã®å€æŽã«å ããŠå€æŽãä¿åããŸãã
äŸã åææ®é«å€ã¯ $0 ã§ã1 ã€ã®ãã©ã³ã¶ã¯ã·ã§ã³ã§åæã«æ®é«ãè£å ãããŸãã T2 ãš T0 ã¯æ®é« $2 ãèªã¿åããŸãã 次ã«ãT200 㯠$0 ã« $1 ãå ç®ããçµæãä¿åããŸãã T100 㯠$0 ã« $100 ãå ç®ããçµæãä¿åããŸãã æçµçµæ㯠300 ãã«ã§ã¯ãªã XNUMX ãã«ã«ãªããŸãã
åçŸäžå¯èœãªèªã¿åãã®åé¡ã åãããŒã¿ãç¹°ãè¿ãèªã¿åããšãç°ãªãå€ãè¿ãããŸãã
äŸã T1 ã¯æ®é«å€ $0 ãèªã¿åããŸãã ãã®åŸãT2 ã¯æ®é«ã« $50 ãè¿œå ããŠçµäºããŸãã T1 ã¯ããŒã¿ãå床èªã¿åããåã®çµæãšã®äžäžèŽãèŠã€ããŸãã
å埩èªã¿åãã§ã¯ãXNUMX åç®ã®èªã¿åãã§ãåãçµæãè¿ãããŸãã ãããã©ã³ã¶ã¯ã·ã§ã³ã§èªã¿åãããããŒã¿ã¯ããã©ã³ã¶ã¯ã·ã§ã³ãå®äºãããŸã§ä»ã®ãã©ã³ã¶ã¯ã·ã§ã³ã§å€æŽããããšã¯ã§ããŸããã ãã©ã³ã¶ã¯ã·ã§ã³ A ãç¹å®ã®ããŒã¿ ã»ãããèªã¿åã£ãå Žåããã©ã³ã¶ã¯ã·ã§ã³ B ã¯ãã®ããŒã¿ã«ã¢ã¯ã»ã¹ãããšãã«ããã©ã³ã¶ã¯ã·ã§ã³ A ãå®äºãããŸã§åŸ æ©ããå¿ èŠããããŸãã
é åºä»ããããèªã¿åã (ã·ãªã¢ã«åå¯èœ)
ãã¡ã³ãã èªã¿åãã®åé¡ã ç¹å®ã®æ¡ä»¶ã«åºã¥ããŠããŒã¿ãéžæãã XNUMX ã€ã®ã¯ãšãªã¯ãç°ãªãå€ãè¿ããŸãã
äŸã T1 ã¯ãæ®é«ã 0 ãã«ãã倧ãã 100 ãã«æªæºã§ãããã¹ãŠã®ãŠãŒã¶ãŒã®æ°ãèŠæ±ããŸãã T2 ã¯ãæ®é«ã 1 ãã«ã®ãŠãŒã¶ãŒãã 101 ãã«ãå·®ãåŒããŸãã T1 ã¯ãªã¯ãšã¹ããåçºè¡ããŸãã
é åºä»ããããèªã¿åã (ã·ãªã¢ã«åå¯èœ)ã ãã©ã³ã¶ã¯ã·ã§ã³ã¯å®å šã«ã·ãŒã±ã³ã·ã£ã«ã«å®è¡ãããŸãã ãªã¯ãšã¹ãã®æ¡ä»¶ã«è©²åœããèšé²ãæŽæ°ãŸãã¯è¿œå ããããšã¯çŠæ¢ãããŠããŸãã ãã©ã³ã¶ã¯ã·ã§ã³ A ãããŒãã«å šäœã®ããŒã¿ãèŠæ±ããå Žåããã©ã³ã¶ã¯ã·ã§ã³ A ãå®äºãããŸã§ãããŒãã«å šäœãä»ã®ãã©ã³ã¶ã¯ã·ã§ã³ã®ããã«åçµãããŸãã
ã¹ã±ãžã¥ãŒã©
䞊åãã©ã³ã¶ã¯ã·ã§ã³äžã«æäœãå®è¡ããé åºãèšå®ããŸãã
æå®ãããã¬ãã«ã®åé¢ãæäŸããŸãã æŒç®ã®çµæãé åºã«äŸåããªãå Žåããã®ãããªæŒç®ã¯å¯æ (Permutable) ã§ãã èªã¿åãæäœãšç°ãªãããŒã¿ã«å¯Ÿããæäœã¯å¯æã§ãã èªã¿åã-æžã蟌ã¿æäœãšæžã蟌ã¿-æžã蟌ã¿æäœã¯äº€æçã§ã¯ãããŸããã ã¹ã±ãžã¥ãŒã©ã®ã¿ã¹ã¯ã¯ãå®è¡çµæããã©ã³ã¶ã¯ã·ã§ã³ã®é 次å®è¡ãšåçã«ãªãããã«ã䞊åãã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠå®è¡ãããæäœãã€ã³ã¿ãŒãªãŒãããããšã§ãã
䞊åãžã§ããå¶åŸ¡ããä»çµã¿ïŒåæå®è¡å¶åŸ¡ïŒ
楜芳䞻矩ã¯ç«¶åã®æ€åºãšè§£æ±ºã«åºã¥ããŠãããæ²èŠ³äž»çŸ©ã¯ç«¶åã®çºçãé²ãããšã«åºã¥ããŠããŸãã
楜芳çãªã¢ãããŒãã§ã¯ãè€æ°ã®ãŠãŒã¶ãŒãããŒã¿ã®ã³ããŒãèªç±ã«äœ¿ããããã«ãªããŸãã æåã«ç·šéãå®äºãã人ãå€æŽãä¿åããä»ã®äººã¯å€æŽãããŒãžããå¿ èŠããããŸãã 楜芳çãªã¢ã«ãŽãªãºã ã§ã¯ç«¶åãçºçããå¯èœæ§ããããŸãããã·ã¹ãã ã¯ç«¶åããå埩ããå¿ èŠããããŸãã
æ²èŠ³çãªã¢ãããŒãã§ã¯ãæåã«ããŒã¿ãååŸãããŠãŒã¶ãŒããä»ã®ãŠãŒã¶ãŒãããŒã¿ãåä¿¡ã§ããªãããã«ããŸãã 競åãã»ãšãã©ãªãå Žåã¯ãããé«ãã¬ãã«ã®åæå®è¡æ§ãæäŸãããããã楜芳çãªæŠç¥ãéžæããããšãè³¢æã§ãã
ããã¯
XNUMX ã€ã®ãã©ã³ã¶ã¯ã·ã§ã³ãããŒã¿ãããã¯ããŠããå Žåãä»ã®ãã©ã³ã¶ã¯ã·ã§ã³ã¯ããŒã¿ã«ã¢ã¯ã»ã¹ãããšãã«ããã¯ã解é€ããããŸã§åŸ æ©ããå¿ èŠããããŸãã
ãããã¯ã¯ãããŒã¿ããŒã¹ãããŒãã«ãè¡ããŸãã¯å±æ§ã«ãªãŒããŒã¬ã€ã§ããŸãã å ±æããã¯ã¯ãè€æ°ã®ãã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠåãããŒã¿ã«èª²ãããšãã§ãããã¹ãŠã®ãã©ã³ã¶ã¯ã·ã§ã³ (課ãããã©ã³ã¶ã¯ã·ã§ã³ãå«ã) ã®èªã¿åããèš±å¯ããå€æŽãšæä»çãã£ããã£ãçŠæ¢ããŸãã æä»çããã¯ã¯ XNUMX ã€ã®ãã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠã®ã¿èª²ãããã課ãããããã©ã³ã¶ã¯ã·ã§ã³ã®ãã¹ãŠã®ã¢ã¯ã·ã§ã³ãèš±å¯ããä»ã®ãã©ã³ã¶ã¯ã·ã§ã³ã«ãããã¹ãŠã®ã¢ã¯ã·ã§ã³ãçŠæ¢ããŸãã
ãããããã¯ãšã¯ããã©ã³ã¶ã¯ã·ã§ã³ãç¡æéã«ç¶ãä¿çç¶æ ã«ãªãç¶æ³ã§ãã
äŸã æåã®ãã©ã³ã¶ã¯ã·ã§ã³ã¯ãXNUMX çªç®ã®ãã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠãã£ããã£ãããããŒã¿ããªãªãŒã¹ãããã®ãåŸ ã¡ãXNUMX çªç®ã®ãã©ã³ã¶ã¯ã·ã§ã³ã¯ãæåã®ãã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠãã£ããã£ãããããŒã¿ããªãªãŒã¹ãããã®ãåŸ ã¡ãŸãã
ãããããã¯åé¡ã«å¯Ÿãã楜芳çãªè§£æ±ºçã§ã¯ããããããã¯ã®çºçã¯èš±å®¹ãããŸããããããããã¯ã«é¢ä¿ãããã©ã³ã¶ã¯ã·ã§ã³ã® XNUMX ã€ãããŒã«ããã¯ããããšã§ã·ã¹ãã ãå埩ããŸãã
ãããããã¯ã¯äžå®ã®ééã§æ€çŽ¢ãããŸãã æ€åºæ¹æ³ã® XNUMX ã€ã¯æéã«ãããã®ã§ããã€ãŸãããã©ã³ã¶ã¯ã·ã§ã³ã®å®äºã«æéãããããããå Žåã«ãããããã¯ãçºçãããšã¿ãªããŸãã ãããããã¯ãèŠã€ãããšããã©ã³ã¶ã¯ã·ã§ã³ã® XNUMX ã€ãããŒã«ããã¯ããããããããã¯ã«é¢ä¿ããä»ã®ãã©ã³ã¶ã¯ã·ã§ã³ãå®äºã§ããããã«ãªããŸãã 被害è ã®éžæã¯ããã©ã³ã¶ã¯ã·ã§ã³ã®äŸ¡å€ãŸãã¯å¹Žååºå (Wait-Die ããã³ Wound-wait ã¹ããŒã ) ã«åºã¥ããŠè¡ãããšãã§ããŸãã
ãã¹ãŠã®ãã©ã³ã¶ã¯ã·ã§ã³ T ã¿ã€ã ã¹ã¿ã³ããå²ãåœãŠããã TS ãã©ã³ã¶ã¯ã·ã§ã³ã®éå§æå»ãå«ãŸããŸãã
åŸ ã£ãŠãæ»ãã
ãã TS(ãã£) < TS(Tj)ãã®åŸ Ti åŸ ã€ãããã§ãªãå Žå Ti ããŒã«ããã¯ããŠãåãã¿ã€ã ã¹ã¿ã³ãã§å床éå§ããŸãã
è¥ããã©ã³ã¶ã¯ã·ã§ã³ããªãœãŒã¹ãååŸããå€ããã©ã³ã¶ã¯ã·ã§ã³ãåããªãœãŒã¹ãèŠæ±ããå Žåãå€ããã©ã³ã¶ã¯ã·ã§ã³ã¯åŸ æ©ããããšãã§ããŸãã å€ããã©ã³ã¶ã¯ã·ã§ã³ããªãœãŒã¹ãååŸããå Žåããã®ãªãœãŒã¹ãèŠæ±ããŠããè¥ããã©ã³ã¶ã¯ã·ã§ã³ã¯ããŒã«ããã¯ãããŸãã
å·ãåŸ ã£ãŠãã ããã
ãã TS(ãã£) < TS(Tj)ãã®åŸ Tj ãã以å€ã®å Žåã¯ãããŒã«ããã¯ããŠåãã¿ã€ã ã¹ã¿ã³ãã§å床éå§ããŸãã Ti åŸ ã£ãŠããã
è¥ããã©ã³ã¶ã¯ã·ã§ã³ããªãœãŒã¹ãååŸããå€ããã©ã³ã¶ã¯ã·ã§ã³ãåããªãœãŒã¹ãèŠæ±ããå Žåãè¥ããã©ã³ã¶ã¯ã·ã§ã³ã¯ããŒã«ããã¯ãããŸãã å€ããã©ã³ã¶ã¯ã·ã§ã³ããªãœãŒã¹ãååŸããå Žåããã®ãªãœãŒã¹ãèŠæ±ããŠããæ°ãããã©ã³ã¶ã¯ã·ã§ã³ã¯åŸ æ©ããããšãã§ããŸãã åªå é äœã«åºã¥ããç ç²è ã®éžæã«ãããããããã¯ã¯é²æ¢ãããŸããããããããã¯ã«ãªã£ãŠããªããã©ã³ã¶ã¯ã·ã§ã³ã¯ããŒã«ããã¯ãããŸãã åé¡ã¯ããã©ã³ã¶ã¯ã·ã§ã³ãäœåºŠãããŒã«ããã¯ãããå¯èœæ§ãããããšã§ãã å€ããã©ã³ã¶ã¯ã·ã§ã³ã¯ãªãœãŒã¹ãé·æéä¿æããå¯èœæ§ããããŸãã
ãããããã¯åé¡ã«å¯Ÿããæ²èŠ³çãªè§£æ±ºçã§ã¯ããããããã¯ã®ãªã¹ã¯ãããå Žåããã©ã³ã¶ã¯ã·ã§ã³ã®å®è¡ãéå§ã§ããŸããã
ãããããã¯ãæ€åºããã«ã¯ããã©ã³ã¶ã¯ã·ã§ã³ãé ç¹ãšããã°ã©ã (åŸ æ©ã°ã©ããåŸ æ©ã°ã©ã) ãæ§ç¯ããã蟺ã¯ããŒã¿ã®è§£æŸãåŸ æ©ããŠãããã©ã³ã¶ã¯ã·ã§ã³ããããã®ããŒã¿ããã£ããã£ãããã©ã³ã¶ã¯ã·ã§ã³ã«åããããŸãã ã°ã©ãã«ã«ãŒããããå Žåããããããã¯ãçºçãããšèŠãªãããŸãã åŸ æ©ã°ã©ãã®æ§ç¯ã¯ãç¹ã«åæ£ããŒã¿ããŒã¹ã«ãããŠã¯ãè²»çšã®ãããæé ã§ãã
XNUMX ãã§ãŒãº ãã㯠- ãã©ã³ã¶ã¯ã·ã§ã³ã䜿çšãããã¹ãŠã®ãªãœãŒã¹ããã©ã³ã¶ã¯ã·ã§ã³ã®éå§æã«ææããçµäºæã«è§£æŸããããšã§ãããããã¯ãé²æ¢ããŸãã
ãã¹ãŠã®ãããã¯æäœã¯ãæåã®ããã¯è§£é€æäœãããåã«è¡ãå¿ èŠããããŸãã ããã«ã¯ãã°ãªãããèç©ããæé·ãã§ãŒãºãšãã°ãªããã解æŸãããçž®å°ãã§ãŒãºã® XNUMX ã€ã®ãã§ãŒãºããããŸãã ããããã®ãªãœãŒã¹ãååŸã§ããªãå Žåããã©ã³ã¶ã¯ã·ã§ã³ã¯æåããããçŽããŸãã ããšãã°ãè€æ°ã®ãã©ã³ã¶ã¯ã·ã§ã³ãåããªãœãŒã¹ãããã£ãŠç«¶åããå Žåããã©ã³ã¶ã¯ã·ã§ã³ãå¿ èŠãªãªãœãŒã¹ãååŸã§ããªãå¯èœæ§ããããŸãã
XNUMX ãã§ãŒãº ã³ãããã§ã¯ããã¹ãŠã®ããŒã¿ããŒã¹ ã¬ããªã«ã§ã³ãããã確å®ã«å®è¡ãããŸãã
åããŒã¿ããŒã¹ã¯ãå€æŽãããããŒã¿ã«é¢ããæ å ±ããã°ã«å ¥åããã³ãŒãã£ããŒã¿ãŒã« OK ãå¿çããŸã (æ祚ãã§ãŒãº)ã å šå¡ã OK ãšå¿çããåŸãã³ãŒãã£ããŒã¿ãŒã¯å šå¡ã«ã³ãããã矩åä»ããä¿¡å·ãéä¿¡ããŸãã ã³ãããåŸããµãŒããŒã¯ OK ã«å¿çããŸããå°ãªããšã XNUMX å°ã OK ã«å¿çããªãå Žåãã³ãŒãã£ããŒã¿ãŒã¯ãã¹ãŠã®ãµãŒããŒã«å€æŽããã£ã³ã»ã«ããä¿¡å·ãéä¿¡ããŸã (å®äºãã§ãŒãº)ã
ã¿ã€ã ã¹ã¿ã³ãæ¹åŒ
è¥ããã©ã³ã¶ã¯ã·ã§ã³ã«é¢ä¿ããããŒã¿ã«ã¢ã¯ã»ã¹ããããšãããšãå€ããã©ã³ã¶ã¯ã·ã§ã³ãããŒã«ããã¯ããã
åãã©ã³ã¶ã¯ã·ã§ã³ã«ã¯ã¿ã€ã ã¹ã¿ã³ããå²ãåœãŠãããŸã TS å®è¡ã®éå§æå»ã«å¯Ÿå¿ããŸãã ãã Ti å¹Žäž Tjãã®åŸ TS(ãã£) < TS(Tj).
ãã©ã³ã¶ã¯ã·ã§ã³ãããŒã«ããã¯ããããšãæ°ããã¿ã€ã ã¹ã¿ã³ããå²ãåœãŠãããŸãã åããŒã¿ãªããžã§ã¯ã Q ãã©ã³ã¶ã¯ã·ã§ã³ã«é¢ä¿ãããã®ã«ã¯ XNUMX ã€ã®ã©ãã«ãä»ããããŸãã W-TS(Q) â ã¬ã³ãŒããæ£åžžã«å®äºããæãè¥ããã©ã³ã¶ã¯ã·ã§ã³ã®ã¿ã€ã ã¹ã¿ã³ã Q. R-TS(Q) â ã¬ã³ãŒãã®èªã¿åããå®è¡ããæãæ°ãããã©ã³ã¶ã¯ã·ã§ã³ã®ã¿ã€ã ã¹ã¿ã³ã Q.
ååŒæ T ããŒã¿ã®èªã¿åããªã¯ãšã¹ã Q éžæè¢ã¯ XNUMX ã€ãããŸãã
ãã TS(T) < W-TS(Q)ã€ãŸããããŒã¿ã¯ããè¥ããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠæŽæ°ããããã®åŸãã©ã³ã¶ã¯ã·ã§ã³ãæŽæ°ãããŸããã T ããŒã«ããã¯ããŸãã
ãã TS(T) >= W-TS(Q)ããã®åŸãèªã¿åããå®è¡ããã R-TS(Q) ãããŠãã MAX(R-TS(Q)ãTS(T)).
ååŒæ T ããŒã¿å€æŽãèŠæ±ãã Q éžæè¢ã¯ XNUMX ã€ãããŸãã
ãã TS(T) < R-TS(Q)ã€ãŸããããŒã¿ã¯ãã§ã«è¥ããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠèªã¿åãããŠãããå€æŽãå ãããããšç«¶åãçºçããŸãã ååŒ T ããŒã«ããã¯ããŸãã
ãã TS(T) < W-TS(Q)ã€ãŸãããã©ã³ã¶ã¯ã·ã§ã³ãæ°ããå€ãäžæžãããããšãããšããã©ã³ã¶ã¯ã·ã§ã³ T ã¯ããŒã«ããã¯ãããŸãã ãã以å€ã®å Žåã¯å€æŽãè¡ããã W-TS(Q) çãããªã TS(T).
é«äŸ¡ãªåŸ æ©ã°ã©ãã®æ§ç¯ã¯å¿ èŠãããŸããã å€ããã©ã³ã¶ã¯ã·ã§ã³ã¯æ°ãããã©ã³ã¶ã¯ã·ã§ã³ã«äŸåããŠãããããåŸ æ©ã°ã©ãã«ã¯ãµã€ã¯ã«ããããŸããã ãã©ã³ã¶ã¯ã·ã§ã³ã¯åŸ æ©ãããããã«ããŒã«ããã¯ãããããããããããã¯ã¯çºçããŸããã ã«ã¹ã±ãŒãããŒã«ããã¯ãå¯èœã§ãã ãã Ti 転ããèœã¡ãŠ Tj å€æŽããããŒã¿ãèªã¿ãŸãã Tiãã®åŸ Tj ãããŒã«ããã¯ããå¿ èŠããããŸãã åæã«ãªã Tj ãã§ã«ã³ããããããŠããå Žåãå®å®æ§ã®ååã«éåããããšã«ãªããŸãã
ã«ã¹ã±ãŒã ããŒã«ããã¯ã«å¯Ÿãããœãªã¥ãŒã·ã§ã³ã® XNUMX ã€ã ãã©ã³ã¶ã¯ã·ã§ã³ã¯æåŸã«ãã¹ãŠã®æžã蟌ã¿æäœãå®äºããŸãããä»ã®ãã©ã³ã¶ã¯ã·ã§ã³ã¯ãã®æäœãå®äºãããŸã§åŸ ã€å¿ èŠããããŸãã ãã©ã³ã¶ã¯ã·ã§ã³ã¯ã³ãããããããŸã§åŸ æ©ããŠããèªã¿åãããŸãã
Thomas write ã«ãŒã« - ã¿ã€ã ã¹ã¿ã³ãæ¹åŒã®ããªãšãŒã·ã§ã³ã§ãæ°ãããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠæŽæ°ãããããŒã¿ãå€ããã©ã³ã¶ã¯ã·ã§ã³ã«ãã£ãŠäžæžããããããšãçŠæ¢ããŸãã
ãã©ã³ã¶ã¯ã·ã§ã³ T ããŒã¿å€æŽãèŠæ±ãã Qã ãã TS(T) < W-TS(Q)ã€ãŸãããã©ã³ã¶ã¯ã·ã§ã³ãæ°ããå€ãäžæžãããããšãããšããã©ã³ã¶ã¯ã·ã§ã³ T ã¯ã¿ã€ã ã¹ã¿ã³ãæ¹åŒã®ããã«ããŒã«ããã¯ãããŸããã
åºæïŒ habr.com