Блог*

#prog #article

Making Badger Crash Resilient with ALICE

Правильно манипулировать файлами — довольно нетривиальная задача. Из-за кеширования операций записи порядок, в котором операции над файлом физически применяются к данным на диске, не обязательно совпадает с порядком, в котором они записаны в исходном коде. Обычно это не является проблемой, потому что в конечном счёте все эти операции когда-то проходят.

Тем не менее, если в промежутке между их применениями происходит крах операционной системы, файлы могут оказаться в не консистентном состоянии и привести к потере данных или, ещё хуже, к невозможности запустить программу без ошибок. По настоящему надёжный софт должен быть устойчив к подобного рода проблемам. В особенности это ожидается от баз данных — если программа манипулирует твоими данными в больших количествах, то лучше бы эту информацию не терять.

Для обнаружения подобных ситуаций есть инструмент ALICE, представленный в папире All File Systems Are Not Created Equal. Этот инструмент при запуске программы пользователя записывает системные вызовы, трогающие файловую систему, а затем анализирует их, находит переупорядочивания, которые могут привести к проблемам при крашах, и проверяет при помощи предоставленного пользователем чекера, что состояния файлов, вызванные этими переупорядочиваниями, не влияют на работоспособность программы.

Автор статьи рассказал об этих проблемах, об ALICE и об опыте применения ALICE к Badger, key-value хранилища, используемого как фундамент базы данных Dgraph. Инструмент помог выявить две ранее не обнаруженные проблемы, связанные с устойчивостью к крашам, которые были устранены [1] [2].

(thanks @lazerate)

dgraph.io

Making Badger Crash Resilient with ALICE

Crashes can occur for many different reasons and can manifest themselves in many different forms. A program can experience a segfault or uncaught exception.

👍7❤2

672 viewsedited 13:19