Ariza Alanlari ve YA Sinirlari

Neden onemli

Mimari cizim uc bolge gosterir, bolge sag kalim iddia eder; oysa iki kopya benzellik kurulmadi diye tek dugum havuzunda tek bolgede zamanlanir, veri tek diskte yatar. Ilk bolge olayi herseyi goturur; cizim kurguydu. YA iddialari yere basmali: burada hangi alanlar var, her birinde ne calisir, provada gercekten ne olduruldu. Provasi yapilmamis YA kutu okli umuttur.

Kavramlar

Ariza alanlari ic ice gecer: surec (yeniden baslat), dugum (bosalt, yeniden baslat), bolge (guc, ag bolunmesi), bolge otesi (seyrek, toplam), saglayici (en seyrek, varolussal). Yayilma en az dugumler arasi karsi benzellik, varsa bolgeler demektir; veri cogaltma bilgi islem yayilimina eslik eder (bilgi islem uc bolgede veri tekteyse tek bolge YA kostumudur). Her yayilma karari hangi arızalarda yasadigini ve hangilerinde yasamadigini adlandirir; belge iddia, prova kanittir.

Ariza enjeksiyonu yerelde guvenle prova eder: surec oldur, dugum bosalt, lab agini bol, deneme veri yolunu boz. L54 labi denetimli enjeksiyonda kurtarmayi olcer (bulma suresi, yuk devretme suresi, veri kayip penceresi) ve sayilari yazar. Hipotezsiz kaos vandalizmdir; her enjeksiyon ne olmasi gerektigini soyler, sonra denetler. Patlama yaricapi labda kalir: paylasilan, odunc veya uretim sistemlere enjeksiyon asla, hicbir zaman.

Durustluk siniri yuk tasir ve her kayitta basilir. Yerel prova duzenegi kanitlar (bulma calisir, yuk devretme tutar, kurtarma tamamlanir); uretimde sag kalim hakkinda hicbir sey kanitlamaz: gercek bolge yok, gercek bolunme yok, saglayici olayi yok, olcekte iliskili ariza yok. Lab sayilarindan YA iddia etmek kurgudur; provali duzenek ve durust sinirlari uretim tasarima tasimak gercek beceridir.

Uygulamali ornek

Deneme cifti karsi benzellik ve cogaltilmis deneme veriyle iki yerel ariza alaninda calisir. Ogrenci bir alani oldurur, bulma ve yuk devretme ve kaybi olcer, geri getirir. Sonra ayni oldurme tek diskli veriyle yayilmanin kapsamadigi kaybi gosterir. Iki sayi alintilanir, iki sinir belirtilir; calisan otesi sag kalim iddia edilmez.

Yaygin yanlis hamle

Kopyalari erisilebilirlik saymak. Tek dugumde tek bolgede tek diskte uc kopya tek ariza alaninda fazla surectir. Yayilma sayi degil alan isidir.