{"id":36650,"date":"2019-10-31T22:12:54","date_gmt":"2019-10-31T19:12:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/tranzaktsii-v-globalah-intersystems-iris\/"},"modified":"2019-10-31T22:12:54","modified_gmt":"2019-10-31T19:12:54","slug":"tranzaktsii-v-globalah-intersystems-iris","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sk\/blog\/administrirovanie\/tranzaktsii-v-globalah-intersystems-iris","title":{"rendered":"Transakcie v glob\u00e1loch InterSystems IRIS","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"TransakcieDBMS InterSystems IRIS podporuje zauj\u00edmav\u00e9 \u0161trukt\u00fary na uchov\u00e1vanie \u00fadajov \u2014 glob\u00e1ly. V podstate s\u00fa to viac\u00farov\u0148ov\u00e9 k\u013e\u00fa\u010de s r\u00f4znymi \u010fal\u0161\u00edmi funkciami ako s\u00fa transakcie, r\u00fdchle funkcie na prech\u00e1dzanie d\u00e1tov\u00fdmi stromami, z\u00e1mky a vlastn\u00fd jazyk ObjectScript.<\/p>\n

Podrobnosti o glob\u00e1loch v s\u00e9rii \u010dl\u00e1nkov \u201eGlob\u00e1ly \u2014 me\u010de-klenoty na uchov\u00e1vanie \u00fadajov\u201c:<\/p>\n

Stromy. \u010cas\u0165 1<\/a><\/noindex>
\nStromy. \u010cas\u0165 2<\/a><\/noindex>
\nRiedke polia. \u010cas\u0165 3<\/a><\/noindex><\/p>\n

Zauj\u00edmalo ma, ako s\u00fa implementovan\u00e9 transakcie v glob\u00e1loch, ak\u00e9 s\u00fa tam zvl\u00e1\u0161tnosti. Je to predsa \u00faplne in\u00e1 \u0161trukt\u00fara na uchov\u00e1vanie d\u00e1t ne\u017e v\u0161etk\u00fdm zn\u00e1me tabu\u013eky. Omnoho n\u00edzko\u00farov\u0148ovej\u0161ia.
\n<\/a><\/noindex>
\nAko je zn\u00e1me z te\u00f3rie rela\u010dn\u00fdch datab\u00e1z, dobr\u00e1 implement\u00e1cia transakci\u00ed by mala sp\u013a\u0148a\u0165 po\u017eiadavky ACID<\/a><\/noindex>:<\/p>\n

A \u2014 Atomic (atomickos\u0165).<\/b> Zaznamen\u00e1vaj\u00fa sa v\u0161etky zmeny vykonan\u00e9 v transakcii alebo sa neudr\u017eia \u017eiadne.<\/p>\n

S \u2014 Consistency (konzistentnos\u0165).<\/b> Po dokon\u010den\u00ed transakcie by malo by\u0165 logick\u00e9 stav DB interne konzistentn\u00e9. T\u00e1to po\u017eiadavka sa do ve\u013ekej miery t\u00fdka program\u00e1tora, ale v pr\u00edpade SQL datab\u00e1z sa vz\u0165ahuje aj na vonkaj\u0161ie k\u013e\u00fa\u010de.<\/p>\n

I \u2014 Isolate (izolovanos\u0165).<\/b> Paralelne vykon\u00e1van\u00e9 transakcie by nemali ovplyv\u0148ova\u0165 jedna druh\u00fa.<\/p>\n

D \u2014 Durable (trv\u00e1cnos\u0165).<\/b> Po \u00faspe\u0161nom dokon\u010den\u00ed transakcie by probl\u00e9my na ni\u017e\u0161\u00edch \u00farovniach (napr. v\u00fdpadok nap\u00e1jania) nemali ovplyvni\u0165 \u00fadaje zmenen\u00e9 transakciou.<\/p>\n

Glob\u00e1ly s\u00fa nerela\u010dn\u00e9 \u0161trukt\u00fary \u00fadajov. Boli vytvoren\u00e9 pre extr\u00e9mne r\u00fdchlu pr\u00e1cu na ve\u013emi obmedzenom hardv\u00e9ri. Po\u010fme presk\u00fama\u0165 realiz\u00e1ciu transakci\u00ed v glob\u00e1loch pomocou ofici\u00e1lneho docker obrazu IRIS<\/a><\/noindex>.<\/p>\n

Na podporu transakci\u00ed v IRIS sa pou\u017e\u00edvaj\u00fa pr\u00edkazy: TSTART<\/a><\/noindex>, TCOMMIT<\/a><\/noindex>, TROLLBACK<\/a><\/noindex>.<\/p>\n

1. Atomickos\u0165<\/h2>\n

\nNajjednoduch\u0161ie je overi\u0165 atomickos\u0165. Skontrolujeme z konzoly datab\u00e1zy.<\/p>\n

Kill ^a\nTSTART\nSet ^a(1) = 1\nSet ^a(2) = 2\nSet ^a(3) = 3\nTCOMMIT<\/code><\/pre>\n
\nPotom urob\u00edme v\u00fdstup:<\/p>\n
Write ^a(1), \u201c \u201d, ^a(2), \u201c \u201d, ^a(3)<\/code><\/pre>\n
\nDostaneme:<\/p>\n
1 2 3<\/code><\/pre>\n
\nV\u0161etko je v poriadku. Atomickos\u0165 bola dodr\u017ean\u00e1: v\u0161etky zmeny sa ulo\u017eili.<\/p>\n
Zlo\u017eme \u00falohu, zave\u010fme chybu a pozrime sa, ako sa transakcia ulo\u017e\u00ed, \u010di \u010diasto\u010dne alebo v\u00f4bec nie.<\/p>\n
E\u0161te raz skontrolujeme atomickos\u0165:<\/p>\n
Kill ^A\nTSTART\nSet ^a(1) = 1\nSet ^a(2) = 2\nSet ^a(3) = 3<\/code><\/pre>\n
\nPo \u010dom n\u00e1silne zastav\u00edme kontajner, spust\u00edme ho a pozrieme sa. <\/p>\n
docker kill my-iris<\/code><\/pre>\n
\nTento pr\u00edkaz je prakticky ekvivalentn\u00fd n\u00faten\u00e9mu vypnutiu nap\u00e1jania, preto\u017ee posiela sign\u00e1l na okam\u017eit\u00e9 zastavenie procesu SIGKILL.<\/p>\n
M\u00f4\u017ee by\u0165 transakcia ulo\u017een\u00e1 \u010diasto\u010dne?<\/p>\n
WRITE ^a(1), ^a(2), ^a(3)\n^\n ^a(1)<\/code><\/pre>\n
\n \u2014 Nie, neulo\u017eila sa.<\/p>\n
Vysk\u00fa\u0161ame pr\u00edkaz na vr\u00e1tenie:<\/p>\n
Kill ^A\nTSTART\nSet ^a(1) = 1\nSet ^a(2) = 2\nSet ^a(3) = 3\nTROLLBACK\n\nWRITE ^a(1), ^a(2), ^a(3)\n^\n ^a(1)<\/code><\/pre>\n
\nTie\u017e sa ni\u010d neulo\u017eilo.<\/p>\n
2. Konzistentnos\u0165<\/h2>\n
\nPreto\u017ee v globalizovan\u00fdch datab\u00e1zach s\u00fa k\u013e\u00fa\u010de vytvoren\u00e9 tie\u017e na glob\u00e1lnych entit\u00e1ch (pripom\u00ednam, \u017ee globaliz\u00e1cia je ni\u017e\u0161ia \u0161trukt\u00fara pre ukladanie d\u00e1t ne\u017e rela\u010dn\u00e1 tabu\u013ea), na splnenie po\u017eiadavky konzistentnosti je potrebn\u00e9 zahrn\u00fa\u0165 zmenu k\u013e\u00fa\u010da do tej istej transakcie, ako aj zmenu glob\u00e1lu.<\/p>\n
Napr\u00edklad m\u00e1me global ^person, kde uchov\u00e1vame osobn\u00ed a ako k\u013e\u00fa\u010d pou\u017e\u00edvame I\u010cO.<\/p>\n
^person(1234567, 'firstname') = 'Sergey'\n^person(1234567, 'lastname') = 'Kamenev'\n^person(1234567, 'phone') = '+74995555555\n...<\/code><\/pre>\n
\nAby sme mali r\u00fdchle vyh\u013ead\u00e1vanie pod\u013ea priezviska a mena, vytvorili sme k\u013e\u00fa\u010d ^index.<\/p>\n
^index('Kamenev', 'Sergey', 1234567) = 1<\/code><\/pre>\n
\nAby bola datab\u00e1za konzistentn\u00e1, mus\u00edme prid\u00e1va\u0165 osobu takto:<\/p>\n
TSTART\n^person(1234567, 'firstname') = 'Sergey'\n^person(1234567, 'lastname') = 'Kamenev'\n^person(1234567, 'phone') = '+74995555555\n^index('Kamenev', 'Sergey', 1234567) = 1\nTCOMMIT<\/code><\/pre>\n
\nOdpovedaj\u00faco, pri odstra\u0148ovan\u00ed mus\u00edme tie\u017e pou\u017ei\u0165 transakciu:<\/p>\n
TSTART\nKill ^person(1234567)\nZKill ^index('Kamenev', 'Sergey', 1234567)\nTCOMMIT<\/code><\/pre>\n
\nIn\u00fdmi slovami, splnenie po\u017eiadavky konzistentnosti le\u017e\u00ed \u00faplne na pleciach program\u00e1tora. Ale ke\u010f ide o glob\u00e1ly \u2014 je to v poriadku, vzh\u013eadom na ich n\u00edzku \u00farove\u0148.<\/p>\n
3. Izolovanos\u0165<\/h2>\n
\nTu za\u010d\u00ednaj\u00fa \u0165a\u017ekosti. Mnoho pou\u017e\u00edvate\u013eov pracuje s\u00fa\u010dasne s jednou a tou istou datab\u00e1zou, men\u00ed tie ist\u00e9 \u00fadaje.<\/p>\n
Situ\u00e1cia sa d\u00e1 prirovna\u0165 k tomu, ke\u010f mnoho pou\u017e\u00edvate\u013eov s\u00fa\u010dasne pracuje s jedn\u00fdm a t\u00fdm ist\u00fdm repozit\u00e1rom s k\u00f3dmi a sna\u017e\u00ed sa naraz commitn\u00fa\u0165 zmeny v mnoh\u00fdch s\u00faboroch.<\/p>\n
Datab\u00e1za to v\u0161etko mus\u00ed spracov\u00e1va\u0165 v re\u00e1lnom \u010dase. Zoh\u013ead\u0148uj\u00fac, \u017ee vo v\u00e1\u017enych spolo\u010dnostiach existuje dokonca \u0161peci\u00e1lny \u010dlovek, ktor\u00fd zodpoved\u00e1 za kontrolu verzi\u00ed (za zlu\u010dovanie vetiev, rie\u0161enie konfliktov a podobne), a DB by to v\u0161etko mala robi\u0165 v re\u00e1lnom \u010dase, je zjavn\u00e1 zlo\u017eitost \u00falohy a spr\u00e1vnos\u0165 n\u00e1vrhu datab\u00e1zy a k\u00f3du, ktor\u00fd ju obsluhuje.<\/p>\n
Datab\u00e1za nem\u00f4\u017ee pochopi\u0165 v\u00fdznam akci\u00ed vykon\u00e1van\u00fdch pou\u017e\u00edvate\u013emi, aby sa predi\u0161lo konfliktom, ak pracuj\u00fa na t\u00fdch ist\u00fdch \u00fadajoch. M\u00f4\u017ee iba zru\u0161i\u0165 jednu transakciu, ktor\u00e1 je v rozpore s inou, alebo ich vykona\u0165 postupne.<\/p>\n
\u010eal\u0161\u00ed probl\u00e9m je, \u017ee po\u010das vykon\u00e1vania transakcie (pred potvrden\u00edm) m\u00f4\u017ee by\u0165 stav datab\u00e1zy nekonzistentn\u00fd, preto je \u017eiaduce, aby ostatn\u00fdm transakci\u00e1m nebol umo\u017enen\u00fd pr\u00edstup k nekonzistentn\u00e9mu stavu datab\u00e1zy, \u010do sa dosahuje v rela\u010dn\u00fdch datab\u00e1zach mnoh\u00fdmi sp\u00f4sobmi: vytv\u00e1ran\u00edm sn\u00edmok, mnohoversn\u00fdmi verziami riadkov at\u010f.<\/p>\n
Pri paralelnom vykon\u00e1van\u00ed transakci\u00ed je d\u00f4le\u017eit\u00e9, aby si navz\u00e1jom neprek\u00e1\u017eali. To je vlastnos\u0165 izol\u00e1cie.<\/p>\n
SQL definuje 4 \u00farovne izol\u00e1cie:<\/p>\n