Schrödinbug: bu nədir, mövcudluq paradoksu və təzahürü

Schrödinbug nədir?

Schrödinbug — proqramçıların peşəkar jarqonundan bir termin, kodda illərlə mövcud olan, lakin kimsə bu kod hissəsini oxuyub orada səhv olduğunu başa düşənə qədər heç vaxt nasazlığa səbəb olmayan proqram səhvini bildirir. Bundan sonra səhv özünü göstərməyə başlayır.

Ad aŝkar şəkildə Ervin Şerödinqerin pişiklə düşüncə təcrübəsinə istinad edir — pişik müşahidəçi qutunu açana qədər eyni anda həm diri, həm də ölüdür. Səhv halında isə — o, eyni anda həm „işləyir”, həm də „pozulub”, proqramçı koda baxana qədər.

Anlamaq vacibdir ki, Schrödinbug — bu proqramın icrasının texniki xüsusiyyəti deyil, idrak fenomenidir. Kod obyektiv olaraq səhv ehtiva edir, lakin şəraitlərin və ya giriş məlumatlarının xüsusiyyətləri proqramçı kodu təhlil edənə qədər problemli icra yolunu heç vaxt aktivləşdirməyib.

Texniki şərh

Texniki baxımdan Schrödinbug — bu adi məntiqi qüsurdur, hansı ki, bütün çağırışlar „xoşbəxt” yolla keçdiyi üçün proqramın icra axınına heç vaxt düşməyib. Proqramçı kodu oxuyan kimi davranışını və ya test rejimini dəyişir — və səhv özünü göstərir.

Adın mənşəyi və fizika ilə əlaqəsi

Schrödinbug adı — fizik Ervin Şerödinqerin soyadı ilə „bug” (səhv) sözünün birləşməsidir. Şerödinqer 1935-ci ildə kvant mexanikasının Kopenhagen şərhinin problemini izah eden düşüncə təcrübəsi təklif etdi.

Pişik ilə təcrübə: qapalı qutuda radioaktiv maddə, Geiger sayəcı və zəhər kolbası var. Maddə parçalanarsa — sayəc kolbanı sındıran mexanizmi işə salır və pişik ölür. Qutu bağlı olduğu müddətdə pişik eyni anda həm diri, həm də ölüdür (vəziyyətlərin superpozisiyası).

Proqramlaşdırma ilə analogiya: kimsə səhv olan kod hissəsini oxumayana qədər proqram düzgün işləyir — səhv eyni anda həm „diri”, həm də „ölü”. Proqramçı faylı açıb kodu oxuyan kimi superpozisiya dağılır və səhv özünü göstərməyə başlayır (proqramın düzgün işləməsi „ölür”).

Schrödinbug-un psixoloji mexanizmi

Schrödinbug — bu, ilk növbədə psixoloji fenomendir, kodun icrasının texniki xüsusiyyəti deyil. Proqramçının idrak psixologiyası baxımından onun yaranma mexanizminə baxaq.

Dərketmə effekti

Proqramçı kod yazarkən „axın” vəziyyətində olur və məntiqi səhvi görməyə bilər. Kod code review-dən, testlərdən keçir, istehsalata çıxır və aylarla işləyir. Sonra proqramçı refaktorinq üçün bu koda qayıdır, diqqətlə oxuyur və birdən görür: „Bu açıq-aşkar sɕhvdir!”.

Özünü doğrulayan proqnoz

Səhvi dərk etdikdən sonra proqramçı bilərək səhvin özünü göstərəcəyi ssenariləri axtarmağa başlayır. Test məlumatlarını dəyişir, debugger işə salır, kod budaqlarından keçir — və bir anda həqiqətən də nasazlığa səbəb olur. Səhvin „aşkarlanması” məhz ona görə baş verir ki, proqramçı indi harada axtaracağını bilir.

Hipotezin təsdiqlənməsi rolu

Koqnitiv təhrif — confirmation bias — açar rol oynayır. Proqramçı kodda sɕhv görünə şüuraltı şəkildə onun proqramın davranışında təzahürünü axtarmağa başlayır. Hər hansı qeyri-adi log və ya nasazlıq dərhal tapılan səhvin nəticəsi kimi şərh olunur, hətta əsl səbəb başqa ola bilsə belə.

Real təcrübədən Schrödinbug nümunələri

Klassik Schrödinbug-u təsvir edən bir neçə real işlənmə ssenarisinə baxaq.

Səhv funksiya bayrağı

Android tətbiqində proqramçı standart olaraq `isEnabled = true` bayrağından istifadə etdi, halbuki yeni funksiyanın söndürülməli olduğu gözlənirdi. Sɕhv bayraqlı kod istehsalata üç ay işlədi — heç kim şikayət etmədi, çünki funksiya həqiqətən də açıq olmalı idi. Proqramçı növbəti buraxılış üçün kodu oxuyarkən səhvi anladı, bayrağı `false` olaraq düzəltdi — və dərhal funksiyanın itdiyi barədə sɕhv hesabatı aldı.

Sındırılmış, lakin istifadə olunmayan metod

Kitabxananın metodu sıfıra bölmə kimi açıq sɕhv ehtiva edirdi, lakin real ssenarilərdə heç vaxt çağırılmırdı. Kitabxana beş layihədə istifadə olunurdu və heç kim problemi görməmişdi. Code review zamanı yeni proqramçı sɕhvi göstərdi — və düzəlişdən sonra məlum oldu ki, layihələrdən biri bu „sɕhv” davranışdan asılı idi.

Schrödinbug-un digər səhvlərdən fərqi

Schrödinbug proqram sɕhvlərinin təsnifatında unikal yer tutur. Onu digər növlərlə müqayisə edək.

Schrödinbug — təzahürü birbaşa proqramçının sɕhvi dərk etməsi faktından asılı olan yeganı sɕhv növüdür. Onun paradoksal təbiəti bundadır.

Layihədə Schrödinbug-un qarşısını necə almaq olar

Schrödinbug daha çox psixoloji hadisə olsa da, onun layihəyə təsirini minimuma endirmək üçün praktik üsullar var.

Müntəzəm code review

Sɕhv nə qədər tez aşkarlanarsa, onun Schrödinbug kateqoriyasına düşmə ehtimalı bir o qədər az olar. Cütləşmiş proqramlaşdırma və hər kod sətirinin mütləq code review-i gizli qüsurların sayını minimuma endirir.

Avtomatik yoxlamalar

Statik kod analizatorları (ESLint, detekt, ktlint, SpotBugs) potensial sɕhvləri kompilyasiya mərhələsində aşkarlayır, insanın görməsini gözləmədən. Linterlər ölü kod budaqlarında „yatan” sɕhvləri müəyyən edə bilir.

Ölü kodun test edilməsi

Nadir istifadə olunanlar da daxil olmaqla bütün kod budaqlarının testlərlə əhatə olunması Schrödinbug-un illərlə öz vaxtını gözləməyəcəyinə zəmanət verməyin yeganə yoludur. Java üçün JaCoCo kimi alətlər əhatə olunmamış budaqları izləməyə kömək edir.

// Potensial Schrödinbug nümunəsi — nadir çağırılan budaqda sɕhv
def processOrder(Order order) {
    if (order.isRush()) {
        // Bu budaq heç vaxt istehsalatda test olunmayıb
        sendRushNotification(order)  // burada sɕhv ola bilər
    }
}

Bu nümunədə Schrödinbug illərlə mövcud ola bilər, əgər təcili sifarişlər (rush) heç vaxt sistemə daxil olmayıbsa. İlk belə sifariş görünəndə sɕhv özünü göstərəcək, lakin bu ana qədər proqramçılar kodun düzgün olduğunu düşünürlər.