Архитектура распределенных систем программного обеспечения Tarqalgan dasturiy ta'minot tizimlari arxitekturasi

2.3. Transaktsion o'zaro ta'sir
2.3.1. Transaktsion o'zaro ta'sir xususiyatlari
Tranzaksiya - bu butun tizim tomonidan bajariladigan operatsiyalar ketma-ketligi. Tranzaksiyalar bir nechta ma'lumotlar elementlariga kirish va o'zgartirish jarayonini bitta atom operatsiyasiga aylantiradi. Agar tranzaktsiya davomida uni keyingi amalga oshirish mumkin emasligi aniqlansa (har qanday sababga ko'ra), barcha ma'lumotlar bir xil qiymatlar bilan va tranzaksiya boshlanishidan oldin qanday holatda bo'lgan bo'lsa, tiklanadi. Bu xususiyat "hammasi yoki hech narsa" deb ataladi.
Tranzaksiyalar bitta operatsiyadan ham iborat bo'lishi mumkin, ammo texnik jihatdan mustaqil, ammo amaliy dastur nuqtai nazaridan ajralmas bo'lgan bir nechta operatsiyalarni ketma-ket bajarish zarur bo'lgan hollarda "yoki hammasi yoki hech narsa" yondashuvidan foydalanish ayniqsa muhimdir. (masalan, pul mablag'larini yechib olish va boshqa chekga investitsiya qilish bilan bank o'tkazmasi). Aynan shu operatsiyalar operatsiyalarga birlashtirilishi kerak, shunda operatsiyalar birgalikda bajariladi yoki ularning hech biri bajarilmaydi.
Asosiysi, agar operatsiyani bajarishning iloji bo'lmasa, vaziyatni asl holatiga qaytarish qobiliyati. Tranzaktsiyalarni dasturlash uchun maxsus texnikalar yaratiladi va tizim primitivlari ishlab chiqiladi, ular ham asosiy operatsion tizim, ham qo'shimcha dasturiy ta'minot tizimlari (tranzaksiya monitorlari) tomonidan qo'llab-quvvatlanishi mumkin. Primitivlar ro'yxati tranzaktsiyalarda ishlatiladigan ob'ektlarga bog'liq va bu primitivlar turli tizimlarda har xil. Biroq, deyarli barcha tizimlarda tranzaksiya qavslari (tranzaksiyani boshlash va tugatish), tranzaksiyani to'xtatish operatsiyasi (masalan, ma'lumotlardagi xatolikni bartaraf etishda), tranzaksiyani o'qish va tranzaksiya ma'lumotlarini yozish operatsiyalari bo'lishi kerak. ma'lumotlar bazasi jadvali va boshqalar.
Tranzaktsiyalar o'z rolini chinakam bajarishi uchun ular:
• atomik bo'lish (Atom). Atomlik tranzaksiyaning to'liq bajarilishini yoki to'liq bajarilmasligini ta'minlaydi, ya'ni atrofdagi tizimlar nuqtai nazaridan tranzaksiya bitta bo'linmas operatsiya sifatida bajarilishini ta'minlaydi. Tranzaksiya davom etayotganda, boshqa tizimlar uning oraliq holatini kuzata olmaydi;
• izchil bo‘lmoq (Consistent). Konsistentlik - bu tizim invariantlariga rioya qilish. Har bir tizim uchun bunday invariantlar har xil, masalan, bank tizimlarida invariant investitsiya qilingan mablag'larning umumiy miqdori hisoblanadi. Hech qanday ichki operatsiya (kassirga ta'sir qilmaydi) bankdagi mablag'larning umumiy miqdorini o'zgartirmaydi;
• izolyatsiya qilingan (Isolated). Izolyatsiya yoki ketma-ketlik - bu bir vaqtning o'zida bajariladigan tranzaktsiyalarga ta'sir qilmaslik. Har qanday tranzaktsiyalar parallel ravishda amalga oshirilsa, natija barcha operatsiyalar qandaydir (tizim tomonidan belgilangan) tartibda ketma-ket bajarilgandek bo'ladi;
• bardoshli bo'lish (Durable). Operatsiya tugagandan so'ng hech qanday nosozliklar bitim natijalarini bekor qilishga olib kelishi mumkin emas.
Tranzaksiyalarning Atomic (atomic bo’lishi), Consistent (izchil bo’lishi), Isolated (izolyatsiya qilingan) va Durable (bardoshli bo’lish) xususiyatlari birgalikda ACID atamasi bilan birlashtirilgan. Tranzaktsiyalarning eng muhim turlariga tekis, kompozit va taqsimlangan tranzaksiyalar kiradi.