Mandelbug: шта је то, узроци нестабилности и методе претраживања

Шта је Mandelbug?

Mandelbug — је програмска грешка са нелинеарним, хаотичним понашањем. За разлику од Bohrbug, који се стабилно репродукује при истим улазним подацима, Mandelbug се може појавити у једној сесији и потпуно изостати у другој под истим спољашњим условима.

Термин су увели Џим Греј и Андреас Ројтер 1993. године као део класификације програмских грешака. Mandelbug је назван у част Беноа Манделброта — математичара који је открио фракталне скупове, где понашање система експоненцијално зависи од почетних услова.

Главна опасност Mandelbug лежи у његовој непредвидивости. Тестирач може извршити исти сценарио педесет пута, а грешка ће се појавити тек педесет први пут — или се уопште неће појавити. Ово ствара лажни осећај стабилности система.

Дефиниција према Греју и Ројтеру

Према класификацији из књиге „Transaction Processing: Concepts and Techniques”, Mandelbug је дефект који не задовољава услов детерминистичности. Његово понашање зависи од фактора које програмер не може контролисати: редоследа планирања нити, фрагментације меморије, кеширања.

Порекло назива Mandelbug

Назив Mandelbug потиче од презимена Беноа Манделброта — математичара који је увео појам фрактала и проучавао хаотичне системе. Манделбротов скуп показује запањујуће својство: бесконачно мале промене почетних услова доводе до суштински другачијих резултата.

Греј и Ројтер су направили директну аналогију: као што је Манделбротов фрактал осетљив на почетне услове, тако је Mandelbug осетљив на стање система у тренутку извршавања. Промена редоследа алокације меморије или обрт кванта времена планера нити — и грешка нестаје или се појављује.

У професионалном жаргону Mandelbug се назива и „баг-дух” или „плутајући баг”. Он је главни непријатељ QA инжењера, јер не подлеже стандардној методици „репродукуј — пријави — провери поправку”.

Карактеристике Mandelbug

Mandelbug поседује јединствен скуп својстава која га разликују од свих других типова програмских грешака. Размотримо свако од њих.

Нелинеарност

Понашање Mandelbug је нелинеарно. Може се не појављивати хиљадама пута, а затим изненада настати под, чини се, идентичним условима. Ово својство га чини практично неоткривим у фази функционалног тестирања.

Зависност од стања

Mandelbug зависи од унутрашњег стања система: величине хепа, редоследа алокације објеката, попуњености кеша процесора. Чак и додавање отклањајућег `printf` може променити тајминг и „излечити” грешку, претворивши је у Heisenbug.

Ефекат лептира

Термин „ефекат лептира” се у потпуности примењује на Mandelbug. Промена једне линије кода у потпуно другом модулу може уклонити или, напротив, изазвати Mandelbug у неповезаном делу апликације због промене обрасца алокације меморије.

Главни узроци Mandelbug

Узроци настанка Mandelbug су повезани са конкурентним извршавањем и недетерминистичким понашањем савремених рачунарских система.

Трке нити

Класична race condition — када две нити истовремено приступају заједничком ресурсу без синхронизације. Резултат зависи од тога која нит ће се прва извршити, а редослед извршавања није гарантован од стране оперативног система.

Проблеми са кеширањем

Кеш процесора и кеш прегледача могу чувати застареле податке. Ако се апликација ослања на кеширану вредност која више није актуелна, настаје Mandelbug — грешка која се манифестује само на „хладном” или „врућем” кешу.

Недефинисано понашање компајлера

Неке конструкције језика (на пример, неиницијализоване променљиве у C/C++) доводе до недефинисаног понашања. Компајлер може генерисати различит код у зависности од нивоа оптимизације, флегова компајлирања и верзије компајлера.

Како пронаћи Mandelbug у пројекту

Проналажење Mandelbug захтева систематски приступ и специјализоване алате. Уобичајене методе отклањања грешака овде не раде, јер се грешка не може репродуковати на захтев.

Евидентирање на свим нивоима

Детаљно евидентирање — једини начин да се забележи Mandelbug. Свака нит треба да бележи своје стање, временске ознаке и редослед операција. Након пада, евиденције се анализирају ради идентификације обрасца.

Стрес тестирање

Тестирање оптерећења са вишеструким понављањем операција повећава вероватноћу манифестације Mandelbug. Што је више итерација, већа је шанса да ретка комбинација услова доведе до пада.

Специјализовани алати

ThreadSanitizer, Helgrind и други анализатори трка нити могу открити потенцијалне Mandelbug без њиховог стварног репродуковања. Они анализирају код статички и проналазе места где је могућа race condition.

// Потенцијални Mandelbug: race condition на заједничком бројачу
int counter = 0;

void increment() {
    // Две нити могу истовремено читати бројач
    counter++;  // race condition овде
}

У овом примеру, Mandelbug се може појавити само под одређеним околностима — када обе нити истовремено позивају `increment()`. У 99% случајева код ради исправно, стварајући лажни осећај сигурности.

Mandelbug vs Heisenbug: у чему је разлика

Почетници програмери често мешају Mandelbug и Heisenbug. Иако оба типа припадају нестабилним грешкама, постоји фундаментална разлика између њих.

Mandelbug је хаотичан по својој природи, а Heisenbug је детерминистички, али мења понашање под надзором. Разлика је важна за избор стратегије отклањања грешака.

Пример Mandelbug у коду

Размотримо типичан Mandelbug у Android апликацији, повезан са трком нити при раду са SharedPreferences.

public class UserPreferences {
    private final SharedPreferences prefs;

    public synchronized void updateScore(int delta) {
        int current = prefs.getInt("score", 0);
        current += delta;
        prefs.edit().putInt("score", current).apply();
    }
}

На први поглед код је исправан: метод је синхронизован. Међутим, SharedPreferences је синглтон у процесу, а синхронизација не штити од паралелних позива из различитих нити које су добиле исту вредност `current` пре него што је једна од њих успела да запише нову. Као резултат, један инкремент се губи.

Овај Mandelbug се можда неће појављивати недељама, док две нити случајно не позову `updateScore` истовремено са минималним размаком. Након откривања, поправка је тривијална — користити атомску операцију или базу података са трансакцијама.