Durum, Kilitleme ve Sapma

Neden onemli

Iki muhendis yerel durum dosyalariyla dizustunden ayni anda uygular. Her durum yalnizca kendi calismasini bilir; kaynaklar cogalir, evlat edinilir veya oksuz kalir; sonraki plan kullanilanlari yikmayi onerir. Temizlik gunler surer cunku hangi durumun dogru oldugunu kimse soyleyemez. Paylasilmis, kilitli, uzak durum bu hikaye baslamasin diyedir. Durumu sıradan yerel dosya sayan ekipler bunu takvimle yeniden ogrenir.

Kavramlar

Durum yapilandirmayi gercek nesnelere esler: hangi kaynak kimlikleri hangi bloklara karsilik, son uygulanan ozellikler neydi. Onsuz arac planlayamaz; cunku planlama istenen eksi gercektir ve gercek saglayiciya karsi tazelenen durumdan gelir. Durum dosyalarini surum denetimine baglamak gizli sizdirir (durum cogunlukla kimlikleri acik tasir) ve eszamanli yazma bozulmasina davet eder; durum kilitli uzak depoya aittir, surumleme ve erisim denetimli.

Kilitleme yazarlari siralar. Uygulama kilidi alir; ikinci uygulama ic ice gecmek yerine bekler veya duser. Takili kilitler calisma ortada olunce olur; kurtarma calisan yok dogrulayip kayitli kilit kimligiyle zorla acmaktir; kilidi temizlemek icin durumu silmek asla. Durumu silmek altyapiyi silmez: oksuz birakir ve sonraki plan eskiler calisip faturalandirirken herseyi yeniden kurmayi onerir.

Sapma el degisikligidir: biri arac disinda duzenler, gercek durumla eslesmez olur. Bulma beklenmedik farklari yuzeye cikaran plan veya tazelemedir; L35 labi bunu calisir. Uzlasma karar, refleks degil: degisiklik dogruysa koda al, yanlissa uygulayarak geri cevir. Var olan nesneleri duruma almak ayni durustluktedir: alma gercegi kaydeder, dogrulamaz; o yuzden alinan yapilandirmayi guvenmeden once incele.

Uygulamali ornek

Yerel deneme kaynagi arac disinda duzenlenir (dosya icerigi elle degisir). Sonraki plan beklenmedik farki gosterir; ogrenci alintilar, el duzenlemesinin yanlis olduguna karar verir, kodlanan durumu geri yuklemek icin uygular ve sonraki plan bos gelir. Sonra dogru el degisikligi koda alinir; kararin iki dali da gosterilir.

Yaygin yanlis hamle

Kariskligi duzeltmek icin durumu silip yeniden kurmak. Bu yonetilen her nesneyi oksuz birakir; tek bulanik dosyayi izlenmeyen altyapiya cevirir. Durumu kilit, alma ve hedefli tasimalarla onar; silmeyle asla.