Блог*
رفتن به کانال در Telegram
Блог со звёздочкой. Много репостов, немножко программирования. Небольшое прикольное комьюнити: @decltype_chat_ptr_t Автор: @insert_reference_here
نمایش بیشتر1 920
مشترکین
اطلاعاتی وجود ندارد24 ساعت
-17 روز
-1130 روز
آرشیو پست ها
1 921
Repost from N/a
mega-corps are ridiculous
yesterday I emailed Yandex support with a minor bug report about broken layout in their mobile app for Android. And they asked me for a telephone number four(!) times, before straight out admitting that they refuse to fix their own bug unless I give in moar personal data. oof… what kind of Bugzilla template do they use? 🤡
1 921
#prog #article
Making Badger Crash Resilient with ALICE
Правильно манипулировать файлами — довольно нетривиальная задача. Из-за кеширования операций записи порядок, в котором операции над файлом физически применяются к данным на диске, не обязательно совпадает с порядком, в котором они записаны в исходном коде. Обычно это не является проблемой, потому что в конечном счёте все эти операции когда-то проходят.
Тем не менее, если в промежутке между их применениями происходит крах операционной системы, файлы могут оказаться в не консистентном состоянии и привести к потере данных или, ещё хуже, к невозможности запустить программу без ошибок. По настоящему надёжный софт должен быть устойчив к подобного рода проблемам. В особенности это ожидается от баз данных — если программа манипулирует твоими данными в больших количествах, то лучше бы эту информацию не терять.
Для обнаружения подобных ситуаций есть инструмент ALICE, представленный в папире All File Systems Are Not Created Equal. Этот инструмент при запуске программы пользователя записывает системные вызовы, трогающие файловую систему, а затем анализирует их, находит переупорядочивания, которые могут привести к проблемам при крашах, и проверяет при помощи предоставленного пользователем чекера, что состояния файлов, вызванные этими переупорядочиваниями, не влияют на работоспособность программы.
Автор статьи рассказал об этих проблемах, об ALICE и об опыте применения ALICE к Badger, key-value хранилища, используемого как основание для базы данных Dgraph. Инструмент помог выявить две ранее не обнаруженные проблемы, связанные с устойчивостью к крашам, которые были устранены [1] [2].
اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
