- [°ÀÇ]DB ¸¶Áö¸· ¹®Á¦ Áú¹®µå¸³´Ï´Ù.
- 2022-09-25
ŸÀÓ½ºÅÆÇÁ ¼ø¼ ±Ô¾à µî ±âº»¼ ³»¿ëÀº ÀÌÇØÇßÀ¸³ª, ¹®Á¦¿¡ Àû¿ëÇÏ·Á´Ï »ì¦ Çò°¥·Á¼ µÎ °¡Áö Áú¹®µå¸³´Ï´Ù.
1)
NUM 6¿¡¼ T5°¡ write(Y)¸¦ ÇßÀ¸¹Ç·Î ÇöÀç Write_TS(Y)´Â Æ®·£Àè¼Ç T5ÀÇ Å¸ÀÓ½ºÅÆÇÁ °ªÀÌ°í,
NUM 7¿¡¼ T2°¡ Read(Y)¸¦ ¼öÇàÇÏ·Á°í ÇÏ´Ùº¸´Ï, ' TS(T2) < write_TS(Y) ¶ó¼ ' T2°¡ Ãë¼ÒµÇ°í º¹±ÍµÇ´Â °ÍÀ̶ó°í »ý°¢ÀÌ µé¾ú½À´Ï´Ù.
±×·¡¼ º¹±Í°¡ ¹ß»ýÇÏ´Â ½ÃÁ¡ÀÌ 7À̶ó°í ÀÌÇØÇß½À´Ï´Ù. µû¶ó¼ NUM 8¿¡ ÀÖ´Â write(Y) ¹®Àå¿¡ ÀÌÇؼ ¿À·ù°¡ ¹ß»ýÇÏÁö ¾Ê°í NUM 7¿¡ ÀÖ´Â read(Y)¿¡ ÀÇÇؼ ¿À·ù°¡ ¹ß»ýÇÑ´Ù°í ÀÌÇØÇß½À´Ï´Ù. T4µµ 11¹ø ¹®ÀåÀÇ read(Y)¿¡ ÀÇÇؼ Æ®·£Àè¼ÇÀÌ Ãë¼ÒµÇ°í º¹±ÍµÇ´Â °É·Î ÀÌÇØÇß½À´Ï´Ù. Á¦°¡ ÀÌÇØÇÑ °ÍÀÌ ¸ÂÀ»±î¿ä? Á¦°¡ ¿À°³³äÀ» °¡Áö°í ÀÖ´Ù¸é Ãß°¡ ¼³¸íÀ» ºÎŹµå¸®°í ½Í½À´Ï´Ù ¤Ð¤Ð
2)
T4´Â Ãë¼ÒµÇ°í º¹±ÍµÇ±â ¶§¹®¿¡ NUM 13, 14¿¡ ÀÖ´Â ¹®ÀåÀ» ¼öÇàÇÏÁö ¾Ê½À´Ï´Ù.
µû¶ó¼ read_TS(Z)¿Í write_TS(Z)ÀÇ °ªÀº T4ÀÇ Å¸ÀÓ½ºÅÆÇÁ °ªÀÌ ¾Æ´Ï°í,
NUM 3¹ø ¹®Àå¿¡ ÀÇÇØ read_TS(Z) == TS(T1),
NUM 9¹ø ¹®Àå¿¡ ÀÇÇØ write_TS(Z) == TS(T3)ÀÌ ¸ÂÀ»±î¿ä?
1)
NUM 6¿¡¼ T5°¡ write(Y)¸¦ ÇßÀ¸¹Ç·Î ÇöÀç Write_TS(Y)´Â Æ®·£Àè¼Ç T5ÀÇ Å¸ÀÓ½ºÅÆÇÁ °ªÀÌ°í,
NUM 7¿¡¼ T2°¡ Read(Y)¸¦ ¼öÇàÇÏ·Á°í ÇÏ´Ùº¸´Ï, ' TS(T2) < write_TS(Y) ¶ó¼ ' T2°¡ Ãë¼ÒµÇ°í º¹±ÍµÇ´Â °ÍÀ̶ó°í »ý°¢ÀÌ µé¾ú½À´Ï´Ù.
±×·¡¼ º¹±Í°¡ ¹ß»ýÇÏ´Â ½ÃÁ¡ÀÌ 7À̶ó°í ÀÌÇØÇß½À´Ï´Ù. µû¶ó¼ NUM 8¿¡ ÀÖ´Â write(Y) ¹®Àå¿¡ ÀÌÇؼ ¿À·ù°¡ ¹ß»ýÇÏÁö ¾Ê°í NUM 7¿¡ ÀÖ´Â read(Y)¿¡ ÀÇÇؼ ¿À·ù°¡ ¹ß»ýÇÑ´Ù°í ÀÌÇØÇß½À´Ï´Ù. T4µµ 11¹ø ¹®ÀåÀÇ read(Y)¿¡ ÀÇÇؼ Æ®·£Àè¼ÇÀÌ Ãë¼ÒµÇ°í º¹±ÍµÇ´Â °É·Î ÀÌÇØÇß½À´Ï´Ù. Á¦°¡ ÀÌÇØÇÑ °ÍÀÌ ¸ÂÀ»±î¿ä? Á¦°¡ ¿À°³³äÀ» °¡Áö°í ÀÖ´Ù¸é Ãß°¡ ¼³¸íÀ» ºÎŹµå¸®°í ½Í½À´Ï´Ù ¤Ð¤Ð
2)
T4´Â Ãë¼ÒµÇ°í º¹±ÍµÇ±â ¶§¹®¿¡ NUM 13, 14¿¡ ÀÖ´Â ¹®ÀåÀ» ¼öÇàÇÏÁö ¾Ê½À´Ï´Ù.
µû¶ó¼ read_TS(Z)¿Í write_TS(Z)ÀÇ °ªÀº T4ÀÇ Å¸ÀÓ½ºÅÆÇÁ °ªÀÌ ¾Æ´Ï°í,
NUM 3¹ø ¹®Àå¿¡ ÀÇÇØ read_TS(Z) == TS(T1),
NUM 9¹ø ¹®Àå¿¡ ÀÇÇØ write_TS(Z) == TS(T3)ÀÌ ¸ÂÀ»±î¿ä?
- ¿î¿µÀÚ
- 2022-09-26
¾È³çÇϼ¼¿ä.
1. NUM 8¹ø 12¹ø Á÷Àü¿¡ °áÁ¤µÇ´Ï 7¹ø 11¹ø¿¡¼ À§¹è »óȲÀÌÁÒ. ¼³¸í°ú Ç¥±â°¡ ºÒºÐ¸íÇ߳׿ä. ³×. ÀÌÇØ ÇϽŴë·Î ÇØ°áÇÏ½Ã¸é µÇ°Ú½À´Ï´Ù.
2. ¸Â°Ô º¸¼Ì½À´Ï´Ù.
°¨»çÇÕ´Ï´Ù.