Исследователи создали Limbo – переписанную на Rust версию SQLite, использующую io_uring для асинхронного ввода/вывода. Это позволяет избежать блокировки потока приложения во время дисковых операций. Архитектура Limbo перестроена на уровнях виртуальной машины и B-дерева, заменяя синхронные инструкции байт-кода на асинхронные аналоги.
При тестировании в мультиарендной бессерверной среде Limbo продемонстрировала 100-кратное снижение задержки при p999 по сравнению с оригинальной SQLite. Этот результат достигается за счет параллельного выполнения вычислительных задач и задач ввода/вывода, уменьшая конкуренцию за ресурсы.
Несмотря на значительное ускорение, есть вопросы о совместимости Limbo с SQL и SQLite. Важно отметить, что гарантия порядка записи при асинхронном I/O требует особого внимания для обеспечения целостности данных. Необходимо дальнейшее изучение баланса между асинхронностью и транзакционностью.
Следует учитывать, что большая часть выигрыша в скорости Limbo достигается при высоких перцентилях задержки (p999), тогда как при p90 и p99 производительность практически равна SQLite. Также не ясно, насколько результаты эксперимента зависят от неполной реализации транзакций в Limbo.
Изображение носит иллюстративный характер
При тестировании в мультиарендной бессерверной среде Limbo продемонстрировала 100-кратное снижение задержки при p999 по сравнению с оригинальной SQLite. Этот результат достигается за счет параллельного выполнения вычислительных задач и задач ввода/вывода, уменьшая конкуренцию за ресурсы.
Несмотря на значительное ускорение, есть вопросы о совместимости Limbo с SQL и SQLite. Важно отметить, что гарантия порядка записи при асинхронном I/O требует особого внимания для обеспечения целостности данных. Необходимо дальнейшее изучение баланса между асинхронностью и транзакционностью.
Следует учитывать, что большая часть выигрыша в скорости Limbo достигается при высоких перцентилях задержки (p999), тогда как при p90 и p99 производительность практически равна SQLite. Также не ясно, насколько результаты эксперимента зависят от неполной реализации транзакций в Limbo.
