Исследователь Кайл Кингсбери опубликовал 31 октября отчёт Jepsen о проверке ParticleDB — базы данных компании Orkes, ориентированной на приложения с искусственным интеллектом. В выпусках от 1.1.4 до 1.1.18.11.rc-22 выявлены 96 проблем, включая потерю данных, зависания и нарушения согласованности транзакций. Работу оплатила сама Orkes
Испытания охватывали только отдельные серверы: репликацию исследователям не предоставили. Большинство ошибок проявлялось без искусственных отказов, нередко при работе единственного клиента. Среди находок — игнорирование ограничений уникальности, неверная обработка условий запросов и возвращение строк из удалённых таблиц. Это результаты лабораторных испытаний, а не сообщение о подтверждённых потерях у клиентов
К концу проверки в версии 1.1.18.11.rc-22 десять проблем оставались нерешёнными. Режим транзакций по умолчанию продолжал терять подтверждённые записи при обычной работе. Orkes утверждает, что следующий выпуск 1.1.19-rc.13 устранил все ошибки из отчёта; Jepsen эту версию не испытывала. Исследователи рекомендуют остановить дальнейшее развёртывание базы, перейти на другие решения и по возможности проверить или восстановить данные из более надёжных источников. Эти выводы нельзя автоматически переносить на прежнюю ветку 1.0.0: её краткая проверка не выявила большинства серьёзных нарушений, найденных в 1.1.4
Что именно подтверждала заявленная формальная проверка? На сайте продукта упоминалось доказательство на языке спецификаций TLA+, однако за время совместной работы соответствующую спецификацию исследователям не предоставили. Без неё нельзя установить ни доказанные свойства, ни их соответствие работающей программе. Само упоминание формального метода ещё не подтверждает сохранность записей
Первоисточник — Jepsen
Сообщите редакции. Существенные исправления мы отмечаем в материале