{"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\/fr\/blog\/administrirovanie\/tranzaktsii-v-globalah-intersystems-iris","title":{"rendered":"Transactions dans les globales InterSystems IRIS","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"TransactionsLa base de donn\u00e9es InterSystems IRIS prend en charge des structures de donn\u00e9es int\u00e9ressantes : les globals. Il s'agit en r\u00e9alit\u00e9 de cl\u00e9s multi-niveaux avec diverses fonctionnalit\u00e9s suppl\u00e9mentaires telles que des transactions, des fonctions rapides pour naviguer dans les arbres de donn\u00e9es, des verrous et son propre langage, l'ObjectScript.<\/p>\n

Pour en savoir plus sur les globals, consultez la s\u00e9rie d'articles \u00ab Globals - des \u00e9p\u00e9es-l\u00e9viers pour le stockage des donn\u00e9es \u00bb :<\/p>\n

Arbres. Partie 1<\/a><\/noindex>
\nArbres. Partie 2<\/a><\/noindex>
\nTableaux creux. Partie 3<\/a><\/noindex><\/p>\n

Je me suis int\u00e9ress\u00e9 \u00e0 la mani\u00e8re dont les transactions sont mises en \u0153uvre dans les globals et aux sp\u00e9cificit\u00e9s associ\u00e9es. En effet, il s'agit d'une structure de stockage de donn\u00e9es compl\u00e8tement diff\u00e9rente des tables habituelles. Beaucoup plus bas niveau.
\n<\/a><\/noindex>
\nComme il est connu dans la th\u00e9orie des bases de donn\u00e9es relationnelles, une bonne mise en \u0153uvre des transactions doit satisfaire aux exigences suivantes : ACID<\/a><\/noindex>:<\/p>\n

A \u2014 Atomique.<\/b> Tous les changements effectu\u00e9s dans la transaction sont enregistr\u00e9s ou aucun.<\/p>\n

C \u2014 Coh\u00e9rence.<\/b> Apr\u00e8s la fin de la transaction, l'\u00e9tat logique de la base de donn\u00e9es doit \u00eatre intrins\u00e8quement coh\u00e9rent. Cette exigence concerne en grande partie le programmeur, mais dans le cas des bases de donn\u00e9es SQL, elle concerne \u00e9galement les cl\u00e9s \u00e9trang\u00e8res.<\/p>\n

I \u2014 Isolation.<\/b> Les transactions ex\u00e9cut\u00e9es simultan\u00e9ment ne doivent pas s'influencer mutuellement.<\/p>\n

D \u2014 Durabilit\u00e9.<\/b> Apr\u00e8s une transaction r\u00e9ussie, des probl\u00e8mes au niveau inf\u00e9rieur (comme une panne de courant, par exemple) ne doivent pas avoir d'effet sur les donn\u00e9es modifi\u00e9es par la transaction.<\/p>\n

Les globals sont des structures de donn\u00e9es non relationnelles. Elles ont \u00e9t\u00e9 con\u00e7ues pour un fonctionnement ultra-rapide sur du mat\u00e9riel tr\u00e8s limit\u00e9. Analysons la mise en \u0153uvre des transactions dans les globals \u00e0 l'aide de l'image Docker officielle d'IRIS.<\/a><\/noindex>.<\/p>\n

Pour prendre en charge les transactions dans IRIS, on utilise les commandes : TSTART<\/a><\/noindex>, TCOMMIT<\/a><\/noindex>, TROLLBACK<\/a><\/noindex>.<\/p>\n

1. Atomicit\u00e9<\/h2>\n

\nIl est le plus facile de v\u00e9rifier l'atomicit\u00e9. V\u00e9rifions depuis la console de la base de donn\u00e9es.<\/p>\n

Kill ^a\nTSTART\nSet ^a(1) = 1\nSet ^a(2) = 2\nSet ^a(3) = 3\nTCOMMIT<\/code><\/pre>\n
\nEnsuite, faisons une sortie :<\/p>\n
Write ^a(1), \" \", ^a(2), \" \", ^a(3)<\/code><\/pre>\n
\nNous obtiendrons :<\/p>\n
1 2 3<\/code><\/pre>\n
\nTout est en ordre. L'atomicit\u00e9 est respect\u00e9e : tous les changements ont \u00e9t\u00e9 enregistr\u00e9s.<\/p>\n
Compliquons un peu la t\u00e2che, introduisons une erreur et voyons comment la transaction est conserv\u00e9e, partiellement ou pas du tout.<\/p>\n
V\u00e9rifions \u00e0 nouveau l'atomicit\u00e9 :<\/p>\n
Kill ^A\nTSTART\nSet ^a(1) = 1\nSet ^a(2) = 2\nSet ^a(3) = 3<\/code><\/pre>\n
\nEnsuite, nous forcerons l'arr\u00eat du conteneur, le relancerons et regarderons. <\/p>\n
docker kill my-iris<\/code><\/pre>\n
\nCette commande est pratiquement \u00e9quivalente \u00e0 une coupure de courant brutale, car elle envoie un signal d'arr\u00eat imm\u00e9diat du processus SIGKILL.<\/p>\n
Une transaction a-t-elle pu \u00eatre enregistr\u00e9e partiellement ?<\/p>\n
WRITE ^a(1), ^a(2), ^a(3)\n^\n ^a(1)<\/code><\/pre>\n
\n \u2014 Non, cela ne s'est pas enregistr\u00e9.<\/p>\n
Testons la commande de rollback :<\/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
\nRien non plus ne s'est enregistr\u00e9.<\/p>\n
2. Coh\u00e9rence<\/h2>\n
\n\u00c9tant donn\u00e9 que dans les bases de donn\u00e9es, les cl\u00e9s sont \u00e9galement cr\u00e9\u00e9es sur des globaux (rappelons que le global est une structure de stockage de donn\u00e9es de niveau inf\u00e9rieur par rapport \u00e0 une table relationnelle), pour satisfaire \u00e0 l'exigence de coh\u00e9rence, il faut inclure la modification de la cl\u00e9 dans la m\u00eame transaction que la modification du global.<\/p>\n
Par exemple, nous avons un global ^person, o\u00f9 nous stockons des personnalit\u00e9s et utilisons comme cl\u00e9 le num\u00e9ro d'identification fiscale.<\/p>\n
^person(1234567, 'firstname') = 'Sergey'\n^person(1234567, 'lastname') = 'Kamenev'\n^person(1234567, 'phone') = '+74995555555\n...<\/code><\/pre>\n
\nPour avoir une recherche rapide par nom et pr\u00e9nom, nous avons cr\u00e9\u00e9 la cl\u00e9 ^index.<\/p>\n
^index('Kamenev', 'Sergey', 1234567) = 1<\/code><\/pre>\n
\nPour que la base de donn\u00e9es soit coh\u00e9rente, nous devons ajouter la personnalit\u00e9 comme suit :<\/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
\nPar cons\u00e9quent, lors de la suppression, nous devons \u00e9galement utiliser une transaction :<\/p>\n
TSTART\nKill ^person(1234567)\nZKill ^index('Kamenev', 'Sergey', 1234567)\nTCOMMIT<\/code><\/pre>\n
\nEn d'autres termes, le respect des exigences de coh\u00e9rence repose enti\u00e8rement sur les \u00e9paules du programmeur. Mais quand il s'agit de globaux, c'est normal en raison de leur nature de bas niveau.<\/p>\n
3. Isolation<\/h2>\n
\nIci, les choses se compliquent. Plusieurs utilisateurs travaillent simultan\u00e9ment sur la m\u00eame base, modifiant les m\u00eames donn\u00e9es.<\/p>\n
La situation est comparable \u00e0 celle o\u00f9 de nombreux utilisateurs travaillent simultan\u00e9ment sur le m\u00eame d\u00e9p\u00f4t de code et essaient de soumettre des modifications dans plusieurs fichiers en m\u00eame temps.<\/p>\n
La base de donn\u00e9es doit g\u00e9rer tout cela en temps r\u00e9el. \u00c9tant donn\u00e9 que dans des entreprises s\u00e9rieuses, il existe m\u00eame une personne sp\u00e9ciale responsable du contr\u00f4le des versions (pour le fusionnement des branches, la r\u00e9solution des conflits, etc.), tandis que la base de donn\u00e9es doit faire tout cela en temps r\u00e9el, il devient \u00e9vident que la t\u00e2che est complexe et que la conception de la base de donn\u00e9es et du code qui la maintient est cruciale.<\/p>\n
La base de donn\u00e9es ne peut pas comprendre le sens des actions effectu\u00e9es par les utilisateurs afin d'\u00e9viter des conflits lorsqu'ils travaillent sur les m\u00eames donn\u00e9es. Elle ne peut que valider une transaction qui contredit une autre ou les ex\u00e9cuter successivement.<\/p>\n
Un autre probl\u00e8me est qu'au cours de l'ex\u00e9cution d'une transaction (avant le commit), l'\u00e9tat de la base peut \u00eatre incoh\u00e9rent. Il est donc souhaitable que d'autres transactions n'aient pas acc\u00e8s \u00e0 cet \u00e9tat incoh\u00e9rent, ce qui est r\u00e9alis\u00e9 dans les bases de donn\u00e9es relationnelles de plusieurs mani\u00e8res : cr\u00e9ation de snapshots, multiversioning des lignes, etc.<\/p>\n
Lors de l'ex\u00e9cution parall\u00e8le des transactions, il est important qu'elles ne s'interf\u00e8rent pas mutuellement. C'est ce qu'on appelle la propri\u00e9t\u00e9 d'isolation.<\/p>\n
SQL d\u00e9finit 4 niveaux d'isolation :<\/p>\n