Elysia Tools

Просматривайте инструменты, примеры, визуальные объяснения и тематические руководства в одном понятном пространстве.

Популярные категории

Темы

Язык
ZHESPTRUFRDEEN

Elysia Tools

Навигация

Converter

Линейка двоичных кодировок KV-хранилищ: RDB, SSTable, LevelDB, RocksDB, Memcached

· Последнее обновление:2026-09-22

Побайтовое криминалистическое декодирование артефактов key-value хранилищ: RDB-снапшоты Redis, WAL-записи LevelDB/RocksDB, футеры SSTable, бинарные пакеты Memcached, заголовки страниц BoltDB и LMDB — с hex-diff ключевого пространства и матрицей TTL-экспирации.

Детали

С чем помогает этот инструмент

Криминалистический декодер двоичных кодировок семейства KV-хранилищ.

Поддерживаемые артефакты и что раскрывается:

· Redis RDB — магия "REDIS" + ASCII-версия, поля AUX (опкод 0xFA), SELECTDB (0xFE), RESIZEDB (0xFB), опкоды экспирации FD/FC, все типы значений от простых строк (int8/16/32 и сжатые LZF) до list, set, zset (ASCII- и бинарные double-оценки), hash, zipmap, ziplist, intset, quicklist v1/v2, listpack hash/zset/set (типы 16/17/18/20) с проверкой трейлера CRC-64 Jones.
· WAL LevelDB / RocksDB — блоки по 32 КиБ, 7-байтовые заголовки записей (маскированный CRC32C, длина u16, типы FULL/FIRST/MIDDLE/LAST), нулевые трейлеры.
· SSTable LevelDB / RocksDB — 48-байтовый легаси-футер (varint64 BlockHandles metaindex/index с паддингом до 40 байт + little-endian магия 0xdb4775248b80fb57 / 0x88e241b785f4cff7), префиксное сжатие блоков данных с точками перезапуска.
· Бинарный протокол Memcached — 24-байтовый заголовок (магия 0x80/0x81, опкод, разбивка key/extras/value, vbucket или статус, opaque, CAS), экстрас по опкодам вроде flags + expiry.
· BoltDB — 16-байтовый заголовок страницы и магия мета-страницы 0xed0cdaed; LMDB — флаги заголовка MDB_page (формат знаменит отсутствием магического числа).

Вставьте второй RDB-снапшот, чтобы получить diff ключевого пространства (добавленные/удалённые/изменённые ключи и сдвиг TTL) и матрицу экспирации относительно выбранного опорного времени.

RDB-путь проверен на реальных дампах redis-server 7.2.4; типы значений модулей и потоков (6/7/15/19/21) сообщаются, но не раскрываются.

Запуск

Запустить этот инструмент

Заполните форму, запустите инструмент и посмотрите результат на этой же странице.

Примеры

Примеры для этого инструмента

Связано

Продолжить с похожими инструментами и темами

Подготовлено командой Elysia Tools

Руководство по использованию инструмента

Узнайте, когда использовать этот инструмент, что он поддерживает и как его применяют пользователи.

Ключевые факты

Категория
Converter
Типы ввода
textarea, select, number
Тип вывода
html
Покрытие примерами
4
API доступен
Да

Обзор

Инструмент выполняет побайтовый криминалистический анализ и декодирование двоичных дампов key-value хранилищ: дампов Redis RDB, записей журналов WAL и футеров SSTable для LevelDB/RocksDB, бинарных сетевых пакетов Memcached, а также страниц BoltDB и LMDB с генерацией отчёта, матрицы TTL и diff-анализа ключевого пространства.

Когда использовать

  • При аудите целостности или повреждения файлов RDB, SSTable или WAL с проверкой контрольных сумм CRC64 и CRC32C.
  • При отладке сетевого трафика бинарного протокола Memcached с разбором опкодов, флагов, CAS и статусов.
  • При сравнении двух снапшотов Redis для выявления добавленных, удалённых, изменённых ключей и дрейфа TTL.

Как это работает

  1. 1Пользователь передаёт hex-представление двоичных данных и при необходимости выбирает формат вручную или оставляет автоопределение.
  2. 2Парсер разбирает внутренние структуры: магические числа, опкоды, AUX-поля, типы контейнеров (quicklist, listpack, intset, ziplist) и бинарные заголовки страниц.
  3. 3При указании второго снапшота и метки времени формируется матрица экспирации TTL и выполняется побайтовое сопоставление ключевых пространств.

Сценарии использования

  • Анализ дампов dump.rdb после аварийного завершения Redis для извлечения метаданных и ключей.
  • Верификация сетевых запросов и ответов клиентов Memcached при разработке низкоуровневых драйверов.
  • Исследование бинарных страниц хранилищ BoltDB и заголовков LMDB при низкоуровневой диагностике встраиваемых баз данных.

Примеры

1. Сравнение двух RDB-снапшотов Redis 7.2.4

Инженер баз данных

Контекст

После плановой записи SAVE необходимо проверить, какие именно ключи изменились и корректно ли рассчитан TTL для сессионных записей.

Проблема

Требуется быстро просмотреть содержимое контейнеров listpack, проверить контрольную сумму CRC-64 и выявить расхождения между двумя дампами.

Как использовать

Вставьте hex первого дампа в поле снапшота A, hex второго дампа в поле снапшота B, укажите опорное Unix-время и выберите формат RDB.

format: redis-rdb, referenceUnixSec: 1790000000

Результат

Сформирован отчёт с разобранными структурами quicklist/listpack, зелёным бейджем валидного CRC-64 и списком добавленных/удалённых ключей с дрейфом TTL.

2. Декодирование пакетов бинарного протокола Memcached

Сетевой инженер

Контекст

В ходе анализа сетевого дампа перехвачена последовательность бинарных фреймов взаимодействия с Memcached.

Проблема

Необходимо разобрать 24-байтовые заголовки, проверить опкоды GET, ADD, VERSION и статусы ответов.

Как использовать

FAQ

Какие контейнеры Redis RDB поддерживаются декодером?

Поддерживаются строки (int8/16/32, LZF), list, set, zset, hash, zipmap, ziplist, intset, quicklist v1/v2 и listpack hash/zset/set.

Как работает автоопределение двоичного формата?

Оно проверяет сигнатуры: REDIS для RDB, магические байты 0x80/0x81 для Memcached, магии футеров SSTable, мета-страницы BoltDB и структуру WAL.

Для чего требуется второй снапшот (hexInputB)?

Он используется для построения diff-отчёта ключевого пространства: подсчёта добавленных, удалённых, изменённых ключей и дрейфа сроков жизни TTL.

Раскрываются ли типы модулей и потоков Redis Streams?

Опкоды потоков и модулей (типы 6, 7, 15, 19, 21) идентифицируются и отображаются в отчёте, но их внутреннее содержимое не разворачивается.

Проверяется ли контрольная сумма файлов?

Да, декодер валидирует контрольные суммы CRC-64 Jones для дампов Redis RDB и маскированный CRC32C для записей журнала LevelDB/RocksDB.

Главная
Инструменты3206
Примеры593
Визуализации468
Средства просмотра файлов103
Темы236
Теги333
Изображения, аудио и видео657

Инструменты для обработки, конвертации и оптимизации изображений, аудио и видео

Математика, даты и финансы645

Калькуляторы, числовые инструменты, логика дат, статистика и финансы

Дизайн и цвет298

Инструменты для цвета, макетов, графики, визуального стиля и дизайна

Текст и письмо209

Инструменты для письма, очистки, форматирования, извлечения и анализа текста

Разработка и Web193

Инструменты разработчика, сетевые утилиты, веб-отладка и автоматизация

Преобразование и кодирование175

Инструменты для преобразования форматов, файлов, архивов, единиц и кодировок

Из статьи в черновики X и LinkedIn: проверка фактов и передача
Проверка интерактивного Markdown-урока и автономная передача
Проверка расстановки мебели в маленькой комнате и план переезда
Проверка источников FLAC/WAV и передача доказательств
Проверка и передача виджета розыгрыша для собственного хостинга

© 2026 Elysia Tools. Все права защищены.

ДокументацияТарифыО насУсловия использованияПолитика конфиденциальностиCookieКонтакты
Обработка текста

Примеры Hex/Unicode Конвертера

Тестовые примеры для преобразования hex и unicode escape-последовательностей

Java

Примеры Обработки Изображений Android Java

Примеры обработки изображений Android Java включая чтение/сохранение, масштабирование и преобразование формата

Kotlin

Примеры Обработки Изображений Android Kotlin

Примеры обработки изображений Android Kotlin включая чтение/сохранение, масштабирование и преобразование формата

Python

Примеры Обработки Изображений Web Python

Примеры обработки изображений Web Python используя PIL/Pillow включая чтение, сохранение, изменение размера и преобразование формата

Development

Деобфускатор JavaScript

Деобфусцирует и анализирует запутанный код JavaScript для улучшения читаемости и понимания

Data Analysis

Оценщик обрезки Parquet по bloom-фильтрам, zone-картам, словарям и статистике колонок

Декодирует thrift-footer Parquet и количественно оценивает обрезку predicate pushdown: min/max zone-карт, split-block bloom-фильтры (XXH64), доли словарей и кодировки, с оценками экономии по группам строк для примерных предложений WHERE.

Network

Декодер LTSSM и Lane Margining PCIe

Разбор журнала обучения канала PCIe (последовательность LTSSM + упорядоченные наборы TS1/TS2): полная шкала Gen1-Gen6, согласованные скорость/ширина, биты идентификатора скорости, инверсия полярности и линий, фазы эквализации и диагностика перезапусков; оценка отчётов lane margining (CSV pcilmr) и тепловая карта глаза.

Science & Education

Оркестратор формальной верификации SMT-LIB 2.7 / AIGER / BTOR2 (CDCL + BMC + k-индукция + интерполяция Крейга + IC3)

Полный стек формальной верификации в браузере — без бинарников cvc5/Z3: парсер скриптов SMT-LIB 2.7 для ядра QF_BV + Bool с Tseitin-бит-бластингом операторов FixedSizeBitVectors, чтение AIGER (ASCII aag и двоичный aig с delta-декодированием; выходы как плохие свойства), чтение BTOR2 со словоуровневым бит-бластингом и собственный CDCL SAT-движок (двойные просматриваемые литералы, активности в стиле VSIDS, 1-UIP-обучение, перезапуски) в основании. На последовательностных моделях выполняются BMC с трассами-свидетелями, k-индукция с усилением уникальными состояниями, интерполяция Крейга в стиле Макмиллана с повторной SAT-сертификацией и цикл IC3/PDR-lite с блокировкой кубов.

Вставьте шестнадцатеричную последовательность байтов пакетов в поле снапшота A и выберите режим автоопределения или Memcached binary.

format: memcached-binary

Результат

Каждый пакет разбит на поля заголовка (magic, opcode, key/extras/value lengths, CAS, status) с выделением ошибки «Key not found».