İzolasyon (veritabanı sistemleri) - Isolation (database systems)

İçinde veri tabanı sistemler izolasyon nasıl olduğunu belirler işlem bütünlük diğer kullanıcılar ve sistemler tarafından görülebilir. Örneğin, bir kullanıcı bir satınalma siparişi oluşturduğunda ve başlığı oluşturduğunda, ancak satın alma siparişi satırlarını oluşturmadığında, başlık diğer sistemler veya kullanıcılar için kullanılabilir durumdadır ( eşzamanlı satın alma siparişleri hakkında bir rapor gibi işlemler) görmek için?

Daha düşük bir izolasyon düzeyi, birçok kullanıcının aynı verilere aynı anda erişme yeteneğini artırır, ancak kullanıcıların karşılaşabileceği eşzamanlılık etkilerinin (kirli okumalar veya kayıp güncellemeler gibi) sayısını artırır. Tersine, daha yüksek bir izolasyon seviyesi, kullanıcıların karşılaşabileceği eşzamanlılık etkisi türlerini azaltır, ancak daha fazla sistem kaynağı gerektirir ve bir işlemin diğerini engelleme olasılığını artırır.[1]

İzolasyon, genellikle bir işlem tarafından yapılan değişikliklerin diğerlerine nasıl / ne zaman görünür hale geleceğini tanımlayan bir özellik olarak veritabanı düzeyinde tanımlanır. Daha eski sistemlerde, örneğin geçici tablolar kullanılarak sistematik olarak uygulanabilir. İki katmanlı sistemlerde, yalıtımı sürdürmek için bir işlem işleme (TP) yöneticisi gerekir. Çok katmanlı sistemlerde (bir uçuşta son koltuğu rezerve etmeye çalışan birden çok web sitesi gibi), rezervasyonu yapmak ve müşteriye onay göndermek için depolanan prosedürler ve işlem yönetiminin bir kombinasyonu gerekir.[2]

İzolasyon, dört ASİT özellikleri ile birlikte atomiklik, tutarlılık ve dayanıklılık.

Eşzamanlılık kontrolü

Eşzamanlılık kontrolü temelde yatan mekanizmaları içerir DBMS İzolasyonu işleyen ve ilgili doğruluğu garanti eden. Veritabanı ve depolama motorları tarafından hem eşzamanlı işlemlerin doğru yürütülmesini hem de (farklı mekanizmalar aracılığıyla) diğer DBMS işlemlerinin doğruluğunu garanti etmek için yoğun bir şekilde kullanılır. İşlemle ilgili mekanizmalar tipik olarak veritabanı veri erişim işlemlerinin zamanlamasını kısıtlar (işlem programları ) olarak tanımlanan belirli siparişlere serileştirilebilirlik ve kurtarılabilirlik zamanlama özellikleri. Veritabanı erişim işleminin yürütülmesini kısıtlamak tipik olarak düşük performans anlamına gelir (yürütme hızlarıyla ölçülür) ve bu nedenle eşzamanlılık kontrol mekanizmaları tipik olarak kısıtlamalar altında mümkün olan en iyi performansı sağlayacak şekilde tasarlanmıştır. Çoğunlukla, mümkün olduğunda doğruluğa zarar vermeden, serileştirilebilirlik özelliği daha iyi performans için tehlikeye atılır. Bununla birlikte, kurtarılabilirlikten ödün verilemez, çünkü bu tür tipik olarak hızlı bir veritabanı bütünlüğü ihlali.

İki fazlı kilitleme Doğruluk için hem serileştirilebilirlik hem de kurtarılabilirlik sağlamak için kullanılan, DBMS'lerdeki en yaygın işlem eşzamanlılık kontrol yöntemidir. Bir veritabanı nesnesine erişmek için bir işlemin önce bir kilit bu nesne için. Erişim işleminin türüne (örneğin, bir nesneyi okumak veya yazmak) ve kilit türüne bağlı olarak, başka bir işlem o nesne için bir kilit tutuyorsa, kilidin edinilmesi engellenebilir ve ertelenebilir.

Olayları okuyun

ANSI / ISO standardı SQL 92, üç farklı fenomeni oku İşlem 1, İşlem 2'nin değişmiş olabileceği verileri okuduğunda.

Aşağıdaki örneklerde iki işlem yer almaktadır. İlkinde Sorgu 1 gerçekleştirilir. Ardından ikinci işlemde Sorgu 2 gerçekleştirilir ve taahhüt edilir. Son olarak ilk işlemde Sorgu 1 tekrar yapılır.

Sorgular aşağıdaki veri tablosunu kullanır:

kullanıcılar
İDisimyaş
1Joe20
2Jill25

Kirli okumalar

Bir kirli okuma (diğer adıyla taahhüt edilmeyen bağımlılık), bir işlemin başka bir çalışan işlem tarafından değiştirilmiş ve henüz taahhüt edilmemiş bir satırdan veri okumasına izin verildiğinde oluşur.

Kirli okumalar benzer şekilde çalışır tekrarlanamayan okumalar; ancak, birinci sorgunun farklı bir sonuç döndürmesi için ikinci işlemin gerçekleştirilmesi gerekmeyecektir. READ UNCOMMITTED izolasyon seviyesinde engellenebilecek tek şey, sonuçlarda sıra dışı görünen güncellemelerdir; yani, önceki güncellemeler her zaman sonraki güncellemelerden önce bir sonuç kümesinde görünecektir.

Örneğimizde İşlem 2 bir satırı değiştirir, ancak değişiklikleri taahhüt etmez. İşlem 1 daha sonra taahhüt edilmeyen verileri okur. Şimdi İşlem 2 değişikliklerini geri alırsa (İşlem 1 tarafından zaten okundu) veya veritabanında farklı değişiklikleri güncellerse, İşlem 1'in kayıtlarında verilerin görünümü yanlış olabilir.

İşlem 1İşlem 2
/ * Sorgu 1 * /SEÇ yaş FROM kullanıcılar NEREDE İD = 1;/ * 20 okuyacak * /
/ * Sorgu 2 * /GÜNCELLEME kullanıcılar AYARLAMAK yaş = 21 NEREDE İD = 1;/ * Burada taahhüt yok * /
/ * Sorgu 1 * /SEÇ yaş FROM kullanıcılar NEREDE İD = 1;/ * 21 okuyacak * /
GERİ DÖNÜŞ; / * kilit tabanlı DIRTY READ * /

Ancak bu durumda kimliği 1 ve yaşı 21 olan satır yoktur.

Tekrarlanamayan okumalar

Bir tekrarlanamayan okuma bir işlem sırasında bir satır iki kez alındığında ve satır içindeki değerler okumalar arasında farklılık gösterdiğinde oluşur.

Tekrarlanamayan okumalar Bu fenomen, kilit tabanlı eşzamanlılık kontrol yönteminde, bir işlem gerçekleştirilirken okuma kilitleri elde edilmediğinde meydana gelebilir. SEÇ veya SEÇME işlemi gerçekleştirilir gerçekleştirilmez etkilenen satırlarda alınan kilitler serbest bırakıldığında. Altında multiversion eşzamanlılık kontrolü yöntem, tekrarlanamayan okumalar bir işlemin bir işlemden etkilenmesi gerekliliği çatışma yapmak gevşemelidir.

İşlem 1İşlem 2
/ * Sorgu 1 * /SEÇ * FROM kullanıcılar NEREDE İD = 1;
/ * Sorgu 2 * /GÜNCELLEME kullanıcılar AYARLAMAK yaş = 21 NEREDE İD = 1;KOMİTE; / * çok yönlü eşzamanlılıkta   kontrol veya kilit tabanlı OKUMA TAMAMLANDI * /
/ * Sorgu 1 * /SEÇ * FROM kullanıcılar NEREDE İD = 1;KOMİTE; / * kilit tabanlı TEKRARLANABİLİR OKUMA * /

Bu örnekte, İşlem 2 başarıyla tamamlanıyor, bu da 1 numaralı satırdaki değişikliklerinin görünür hale gelmesi gerektiği anlamına geliyor. Bununla birlikte, İşlem 1 için zaten farklı bir değer gördü yaş o sırada. SERIALIZABLE ve REPEATABLE READ izolasyon seviyelerinde, DBMS ikinci SELECT için eski değeri döndürmelidir. READ COMMITTED ve READ UNCOMMITTED'de, DBMS güncellenmiş değeri döndürebilir; bu tekrarlanamayan bir okumadır.

Tekrarlanamayan okumaları önlemek için kullanılan iki temel strateji vardır. Birincisi, İşlem 1 taahhüt edene veya geri alınana kadar İşlem 2'nin yürütülmesini geciktirmektir. Bu yöntem, kilitleme kullanıldığında kullanılır ve seri program T1, T2. Seri program sergiler tekrarlanabilir okumalar davranış.

Diğer stratejide, kullanıldığı gibi multiversion eşzamanlılık kontrolü, İşlem 2'nin önce taahhütte bulunmasına izin verilir, bu da daha iyi eşzamanlılık sağlar. Ancak İşlem 2'den önce başlayan İşlem 1, veritabanının geçmiş bir sürümü üzerinde çalışmaya devam etmelidir - bu, başlatıldığı anın anlık görüntüsüdür. İşlem 1 sonunda taahhüt etmeye çalıştığında, DBMS İşlem 1'in gerçekleştirilmesinin sonucunun programa eşdeğer olup olmadığını kontrol eder. T1, T2. Eğer öyleyse, İşlem 1 devam edebilir. Bununla birlikte, eşdeğer olarak görülemiyorsa İşlem 1, serileştirme hatasıyla geri alınmalıdır.

Kilit tabanlı bir eşzamanlılık kontrol yöntemi kullanılarak, TEKRARLANABİLİR OKUMA izolasyon modunda, kimliği = 1 olan satır kilitlenir, böylece ilk işlem tamamlanana veya geri alınana kadar Sorgu 2 engellenir. READ COMMITTED modunda, Sorgu 1 ikinci kez yürütüldüğünde yaş değişecekti.

Çok yönlü eşzamanlılık kontrolü altında, SERIALIZABLE izolasyon seviyesinde, her iki SELECT sorgusu İşlem 1'in başlangıcında alınan veritabanının anlık görüntüsünü görür. Bu nedenle, aynı verileri döndürürler. Ancak, İşlem 2 daha sonra bu satırı da GÜNCELLEME girişiminde bulunursa, bir serileştirme hatası oluşur ve İşlem 1 geri almak zorunda kalır.

READ COMMITTED izolasyon seviyesinde, her sorgu, her sorgunun başlangıcında alınan veritabanının anlık görüntüsünü görür. Bu nedenle, güncellenen satır için her biri farklı veriler görür. Bu modda hiçbir serileştirme hatası mümkün değildir (çünkü hiçbir serileştirilebilirlik vaadi verilmemiştir) ve İşlem 1'in yeniden denenmesi gerekmeyecektir.

Phantom okur

Bir hayalet okuma bir işlem sırasında, okunan kayıtlara başka bir işlem tarafından yeni satırlar eklendiğinde veya kaldırıldığında oluşur.

Bu ne zaman ortaya çıkabilir menzil kilitleri bir SEÇ ... NEREDE operasyon. hayalet okur anormallik özel bir durumdur Tekrarlanamayan okumalar İşlem 1 bir aralığı tekrarladığında SEÇ ... NEREDE sorgu ve her iki işlem arasında İşlem 2 oluşturur (ör. INSERT ) bunu yerine getiren yeni satırlar (hedef tabloda) NEREDE fıkra.

İşlem 1İşlem 2
/ * Sorgu 1 * /SEÇ * FROM kullanıcılarNEREDE yaş ARASINDA 10 VE 30;
/ * Sorgu 2 * /INSERT INTO kullanıcılar(İD, isim, yaş) DEĞERLER (3, "Bob", 27);KOMİTE;
/ * Sorgu 1 * /SEÇ * FROM kullanıcılarNEREDE yaş ARASINDA 10 VE 30;KOMİTE;

İşlem 1'in aynı sorguyu iki kez yürüttüğünü unutmayın. En yüksek izolasyon seviyesi korunursa, aynı satır kümesi her iki seferde de döndürülmelidir ve gerçekten de SQL SERIALIZABLE izolasyon seviyesinde çalışan bir veritabanında olması zorunludur. Bununla birlikte, daha düşük izolasyon seviyelerinde, ikinci seferde farklı bir satır kümesi döndürülebilir.

SERİLEŞTİRİLEBİLİR izolasyon modunda, Sorgu 1, yaşı 10 ile 30 arasında olan tüm kayıtların kilitlenmesine neden olur, bu nedenle Sorgu 2, ilk işlem tamamlanana kadar bloke olur. TEKRARLANABİLİR OKUMA modunda, aralık kilitlenmeyerek kaydın eklenmesine ve Sorgu 1'in ikinci yürütülmesinin yeni satırı sonuçlarına dahil etmesine izin verir.

İzolasyon seviyeleri

Dört ASİT özellikleri DBMS (Veritabanı Yönetim Sistemi), izolasyon özelliği en çok gevşetilen özelliktir. En yüksek seviyede izolasyonu korumaya çalışırken, bir DBMS genellikle kilitler kayıpla sonuçlanabilecek veriler üzerinde eşzamanlılık veya uygular multiversion eşzamanlılık kontrolü. Bu, için mantık eklemeyi gerektirir. uygulama doğru çalışması için.

Çoğu DBMS, bir dizi işlem izolasyon seviyeleri, veri seçerken ortaya çıkan kilitleme derecesini kontrol eden. Birçok veritabanı uygulaması için, veritabanı işlemlerinin çoğu, yüksek izolasyon seviyeleri (örneğin SERİLEŞTİRİLEBİLİR seviye) gerektirmekten kaçınmak için yapılandırılabilir, böylece sistem için kilitleme ek yükünü azaltır. Programcı, herhangi bir izolasyon gevşemesinin bulunması zor yazılım hatalarına neden olmamasını sağlamak için veritabanı erişim kodunu dikkatlice analiz etmelidir. Tersine, daha yüksek izolasyon seviyeleri kullanılırsa, olasılık kilitlenme artırılır, bu da kaçınılması gereken dikkatli analiz ve programlama teknikleri gerektirir.

Her bir izolasyon seviyesi aşağıdakilerden daha güçlü olduğundan, daha yüksek izolasyon seviyesi daha düşük bir seviye tarafından yasaklanan bir eyleme izin vermediğinden, standart bir DBMS'nin talep edilenden daha güçlü bir izolasyon seviyesinde bir işlemi çalıştırmasına izin verir (ör. işlem aslında bir "Tekrarlanabilir okuma" izolasyon seviyesinde gerçekleştirilebilir).

Tarafından tanımlanan izolasyon seviyeleri ANSI /ISO SQL standart aşağıdaki gibi listelenmiştir.

Serileştirilebilir

Bu en yüksek izolasyon seviyesi.

Kilit tabanlı eşzamanlılık kontrolü DBMS uygulaması, serileştirilebilirlik işlemin sonunda okuma ve yazma kilitlerinin (seçilen verilerden elde edilen) serbest bırakılmasını gerektirir. Ayrıca menzil kilitleri ne zaman edinilmelidir SEÇ sorgu bir aralık kullanıyor NEREDE fıkra, özellikle kaçınmak için hayalet okur fenomen.

Kilit tabanlı olmayan eşzamanlılık denetimi kullanılırken kilit alınmaz; ancak, sistem bir çarpışma yaz birkaç eşzamanlı işlem arasında, yalnızca birinin taahhütte bulunmasına izin verilir. Görmek anlık görüntü izolasyonu bu konuyla ilgili daha fazla ayrıntı için.

Kaynak: (İkinci Gayri Resmi İnceleme Taslağı) ISO / IEC 9075: 1992, Veritabanı Dili SQL - 30 Temmuz 1992:Eşzamanlı SQL işlemlerinin SERIALIZABLE izolasyon seviyesinde yürütülmesinin serileştirilebilir olması garanti edilir. Serileştirilebilir bir yürütme, aynı SQL işlemlerinin bazı seri yürütülmesiyle aynı etkiyi üreten SQL işlemlerinin eşzamanlı olarak yürütülmesi işlemlerinin yürütülmesi olarak tanımlanır. Seri yürütme, her SQL işleminin sonraki SQL işlemi başlamadan önce tamamlanana kadar yürütüldüğü bir işlemdir.

Tekrarlanabilir okumalar

Bu izolasyon seviyesinde, kilit tabanlı eşzamanlılık kontrolü DBMS uygulaması, işlemin sonuna kadar okuma ve yazma kilitlerini (seçilen verilerden elde edilen) tutar. Ancak, menzil kilitleri yönetilmiyor, bu yüzden hayalet okur meydana gelebilir.

Bu izolasyon seviyesinde, iki farklı yazarın (güncelledikleri sütunları önceden okumuş olan) bir tablodaki aynı sütun (lar) a iki yazmasına izin verildiği bir fenomen olan yazma eğriliği mümkündür. iki işlemin bir karışımı.[3][4]

Taahhütlü oku

Bu izolasyon seviyesinde, kilit tabanlı eşzamanlılık kontrolü DBMS uygulaması, işlemin sonuna kadar yazma kilitlerini (seçilen verilerden elde edilen) tutar, ancak okuma kilitleri, işlemin sonuna kadar SEÇ işlem gerçekleştirilir (yani tekrarlanamayan okuma fenomeni bu izolasyon seviyesinde meydana gelebilir). Önceki seviyede olduğu gibi, menzil kilitleri yönetilmez.

Daha basit kelimelerle ifade edildiğinde, okuma taahhütlü, okunan herhangi bir verinin okunduğu anda tamamlanmasını garanti eden bir izolasyon seviyesidir. Okuyucunun herhangi bir ara, taahhüt edilmeyen, 'kirli' okumayı görmesini kısıtlar. İşlem okumayı yeniden yayınlarsa aynı verileri bulacağına dair hiçbir söz vermez; veriler okunduktan sonra değiştirilebilir.

Taahhüt edilmeyen oku

Bu en düşük izolasyon seviyesi. Bu seviyede, kirli okumalar izin verildiğinden, bir işleme henüz taahhüt edilmemiş diğer işlemler tarafından yapılan değişiklikler.

Varsayılan izolasyon seviyesi

varsayılan izolasyon seviyesi farklı DBMS 'ler oldukça büyük farklılıklar gösterir. İşlemler içeren çoğu veritabanı, kullanıcının herhangi bir izolasyon seviyesini ayarlamasına izin verir. Bazı DBMS'ler ayrıca kilitleri almak için bir SELECT ifadesi gerçekleştirirken ek sözdizimi gerektirir (örn. GÜNCELLEME İÇİN SEÇİN ... erişilen satırlarda özel yazma kilitleri elde etmek için).

Bununla birlikte, yukarıdaki tanımlar muğlak olduğu ve birçok veri tabanının sağladığı izolasyonu tam olarak yansıtmadığı için eleştirilmiştir:

Bu makale, izolasyon seviyelerini tanımlamaya yönelik anormallik yaklaşımındaki bir takım zayıflıkları göstermektedir. Üç ANSI fenomeni belirsizdir ve en gevşek yorumlarında bile bazı anormal davranışları dışlamaz ... Bu, bazı sezgisel sonuçlara yol açar. Özellikle, kilit tabanlı izolasyon seviyeleri ANSI eşdeğerlerinden farklı özelliklere sahiptir. Bu endişe vericidir çünkü ticari veritabanı sistemleri tipik olarak kilitleme uygulamaları kullanır. Ek olarak, ANSI fenomeni, ticari sistemlerde popüler olan bir dizi izolasyon seviyesi davranışı arasında ayrım yapmaz.[5]

Uygulayıcıları "kötü şeyler" yapmaya teşvik ettiği için ANSI SQL'in izolasyon tanımıyla ilgili başka eleştiriler de vardır:

... iyimser veya çok sürümlü bir eşzamanlılık şemasının aksine, eşzamanlılık kontrolü için bir kilitleme şemasının kullanıldığı varsayımına ince şekillerde dayanır. Bu, önerilen anlambilimin kötü tanımlanmış.[6]

İzolasyon seviyeleri, fenomeni okuma ve kilitler

İzolasyon seviyeleri ve okuma fenomeni

'+' - mümkün değil
'-' - mümkün


Olayları okuyun


İzolasyon seviyesi

Kirli okumalarKayıp güncellemeler[tutarsız ]Tekrarlanamayan okumalarHayaletler
Taahhüt Edilmedi Oku----
Taahhüdü Oku+---
Tekrarlanabilir Okuma+++-
Serileştirilebilir++++

Anormallik Serileştirilebilir, Seri hale getirilebilir ile aynı değildir. Yani, Serileştirilebilir bir programın üç fenomen türünün hepsinden muaf olması gereklidir, ancak yeterli değildir.[5]

Ayrıca bakınız

Referanslar

  1. ^ "Veritabanı Motorundaki İzolasyon Düzeyleri", Technet, Microsoft, https://technet.microsoft.com/en-us/library/ms189122(v=SQL.105).aspx
  2. ^ "İşlem İşleme Sistemlerinin Mimarisi", Bölüm 23, İşleme Sistemlerinin Evrimi, Bilgisayar Bilimi Bölümü, Stony Brook Üniversitesi, 20 Mart 2014 tarihinde erişildi, http://www.cs.sunysb.edu/~liu/cse315/23.pdf
  3. ^ Vlad Mihalcea (2015-10-20). "Eğri fenomeni okuma ve yazma için yeni başlayanlar için rehber".
  4. ^ "Postgresql wiki - SSI".
  5. ^ a b "ANSI SQL İzolasyon Düzeylerinin Eleştirisi" (PDF). Alındı 29 Temmuz 2012.
  6. ^ salesforce (2010-12-06). "Müşteri referansları (SimpleGeo, CLOUDSTOCK 2010)". www.DataStax.com: DataStax. Alındı 2010-03-09. (web yayınının yaklaşık 13:30 dakikasında yukarıya bakın!)

Dış bağlantılar