Уақыт белгісіне негізделген параллельді бақылау - Timestamp-based concurrency control - Wikipedia

Жылы есептеу техникасы, а уақыт белгісіне негізделген параллельді басқару алгоритмі а параллельді бақылау емес әдіс. Ол кейбіреулерінде қолданылады мәліметтер базасы пайдалану арқылы транзакцияларды қауіпсіз жүргізу уақыт белгілері.

Пайдалану

Болжамдар

  • Кез келген уақыт белгісі ерекше және уақытты дәл көрсетеді.
  • Екі бірдей уақыт белгілері бірдей бола алмайды.
  • Жоғары мәнге ие уақыт белгісі төменірек уақыт белгісіне қарағанда кейінірек пайда болады.

Уақыт белгісін жасау

Уақыт таңбасын жасау үшін бірнеше түрлі әдістер қолданылды

  • Уақыт белгісі ретінде транзакция басталған кезде жүйе сағатының мәнін қолданыңыз.
  • Уақыт белгісі ретінде транзакция басталғанда көбейтілетін жіпке қауіпсіз ортақ есептегішті қолданыңыз.
  • Жоғарыда аталған екі әдістің жиынтығы.

Ресми

Әрбір транзакция () бұл іс-әрекеттердің реттелген тізімі (). Транзакция өзінің алғашқы әрекетін жасамас бұрын (), ол токпен белгіленеді уақыт белгісі, немесе басқа қатаң түрде тапсырыс берілген жүйелі: . Әрбір транзакцияға бастапқыда оған тәуелді болатын транзакциялардың бос жиынтығы беріледі, және ол жаңартылған ескі нысандардың бастапқыда бос жиынтығы, .

Әрқайсысы объект мәліметтер базасында параллельді басқарудан басқа пайдаланылмайтын екі уақыт белгісі берілген: - бұл объектінің мәні транзакциямен соңғы рет пайдаланылған уақыт, - бұл объектінің мәні транзакциямен соңғы рет жаңартылған уақыт.

Барлығына :

Әр әрекет үшін :
Егер мәнін қолдануды қалайды :
Егер содан кейін тоқтату (жақындағы ағын мәнді қайта жазды),
Әйтпесе тәуелділіктер жиынтығын жаңартыңыз және орнатыңыз ;
Егер мәнін жаңартуды қалайды :
Егер содан кейін тоқтату (жақындағы ағын ескі мәнге сүйенеді),
Егер содан кейін өткізіп жіберу ( Томас жазу ережесі ),
Әйтпесе алдыңғы мәндерді сақтаңыз, , орнатылған , және мәнін жаңартыңыз .
Транзакция болған кезде аяқталмаған: күте тұрыңыз
Егер транзакция болса сол кезде үзілді тоқтату
Әйтпесе: міндеттеме.

Кімге тоқтату:

Әрқайсысы үшін жылы
Егер тең содан кейін қалпына келтіріңіз және

Ресми емес

Транзакция басталған сайын, ол уақыт белгісін алады. Бұл уақыт белгісі транзакцияның басқа транзакцияларға қатысты жасалу ретін көрсетеді. Сонымен, бір объектіге әсер ететін екі транзакцияны ескере отырып, ертерек уақыт белгісімен транзакция операциясы кейінірек уақыт белгісімен транзакция жұмыс жасамас бұрын орындалуы керек. Алайда, егер алдымен дұрыс емес транзакцияның жұмысы ұсынылса, онда ол тоқтатылады және транзакцияны қайта бастау керек.

Дерекқордағы барлық нысандарда а уақыт белгісін оқу, объектінің деректері оқылған сайын жаңартылады және а уақыт белгісін жазу, ол объектінің деректері өзгерген сайын жаңартылады.

Егер транзакция оқуды қаласа,

  • бірақ транзакция басталды бұрын нысанның уақыт белгісін жазу бұл бір нәрсе транзакция басталғаннан кейін объектінің деректерін өзгерткенін білдіреді. Бұл жағдайда транзакция жойылады және оны қайта бастау керек.
  • және транзакция басталды кейін нысанның уақыт белгісін жазу, бұл дегеніміз қауіпсіз нысанды оқу. Бұл жағдайда, егер транзакцияның уақыт белгісі объектіден кейін болса уақыт белгісін оқу, оқылған уақыт белгісі транзакцияға арналған.

Егер транзакция объектіге жазғысы келсе,

  • бірақ транзакция басталды бұрын нысанның уақыт белгісін оқу бұл объектіге бір нәрсе қарады дегенді білдіреді және біз оны объектінің көшірмесін алды деп болжаймыз. Сондықтан біз объектіге кез-келген көшірілген деректерді жарамсыз етіп жаза алмаймыз, сондықтан транзакция тоқтатылады және оны қайта бастау керек.
  • және транзакция басталды бұрын нысанның уақыт белгісін жазу бұл біздің транзакцияны бастағаннан бері бір нәрсе нысанды өзгерткенін білдіреді. Бұл жағдайда біз Томас ережені жазады және жазу әрекетін өткізіп жіберіп, әдеттегідей жалғастырыңыз; транзакцияны тоқтату немесе қайта бастау қажет емес
  • әйтпесе, мәміле объектіге, ал объектіге жазылады уақыт белгісін жазу транзакцияның уақыт белгісіне орнатылады.

Қалпына келтіру

Уақыт белгісін ретке келтіру оның негізгі түрінде қалпына келтірілетін тарихты жасамайтындығына назар аударыңыз. Мысалы, транзакциялармен келесі тарихты қарастырыңыз және :

Мұны TO жоспарлаушысы жасауы мүмкін, бірақ қалпына келтірілмейді жасалмаған транзакциядан оқыса да, жасайды. Ол қалпына келтірілетін тарихты шығаратынына көз жеткізу үшін жоспарлаушы әр транзакциядағы басқа транзакциялар тізімін сақтай алады оқыдыжәне бұл тізім тек жасалған транзакциялардан тұрмай жасалғанға дейін мәміле жасауға жол бермейді. Жоспарлаушыдан бас тартуды болдырмау үшін жоспарлаушы жасалмаған транзакциялармен жазылған деректерді келесідей белгілей алады лас, және мұндай деректер элементінде таңбалаусыз оқудың ешқашан басталуына жол бермеңіз. Қатаң тарихты алу үшін жоспарлаушы лас заттармен операция жасауға жол бермеуі керек.

Іске асыру мәселелері

Уақыт белгісінің ажыратымдылығы

Бұл екі іргелес уақыт белгілері арасында өткен минималды уақыт. Егер уақыт белгісінің рұқсаты тым үлкен болса (өрескел) болса, онда екі немесе одан да көп уақыт белгілерінің тең болу мүмкіндігі артады және осылайша кейбір транзакцияларды дұрыс емес тәртіпте жасауға мүмкіндік береді. Мысалы, бізде секундына жүз ерекше уақыт белгілерін жасай алатын жүйе бар деп есептеп, бір-бірінен 2 миллисекундта болатын екі оқиғаны ескере отырып, олар әр түрлі уақытта болғанымен, оларға бірдей уақыт белгісі берілуі мүмкін.

Уақыт белгісін құлыптау

Бұл әдіс құлыптаушы емес болғанымен, объект транзакция уақытында бір уақытта қол жеткізуден құлыпталмаған болса да, әрбір уақыт белгісін объектіге қарсы жазу үшін объектіде немесе оның ішінде өте қысқа уақытты құлыптау қажет. сенімхат.

Сондай-ақ қараңыз