Ridge DB Arquitectura

Ridge es una base de datos limitada de un solo nodo diseñada para propiedad determinista, recuperación y límites explícitos. El mismo almacenamiento, esquema, transacción y contratos SQL son compartidos por el servicio integrado API y pgwire.

Para ver el proceso completo y la vista de límites de confianza, consulte Ridge arquitectura de tiempo de ejecución y su interactivo Archify mapa.

Modelos de proceso

modelo uso
Biblioteca ridge integrada Un proceso seed posee acceso a la base de datos
ridged Servicio pgwire loopback para herramientas y controladores de aplicaciones
Ridge Admin UI del navegador local cuyo backend seed posee pgwire y SSH

ridged no está diseñado para escuchar en una interfaz pública. Acceda a un servicio de loopback remoto a través de verificado SSH direct-tcpip.

Almacenamiento

recursivo persistente B+Trees almacenar datos de catálogo, tabla, encabezado de versión, versión e índice. Las filas y esquemas de generación 2 llevan identificadores estables, metadatos de tipo, límites y sumas de verificación. Los índices generales utilizan claves compuestas ordenadas; las entradas derivadas se pueden reconstruir a partir del estado comprometido autorizado.

Cada límite configurado es parte del comportamiento. Las filas, mensajes, conjuntos de resultados, claves de índice o estructuras no compatibles de gran tamaño devuelven un error explícito en lugar de crecer sin límite.

Durabilidad y recuperación

Ridge utiliza un CRC-32 lógico WAL. La confirmación persiste en la transacción antes de que se reconozca la publicación. Recuperación:

  1. valida WAL encuadre, secuencia y sumas de verificación;
  2. ignora el trabajo inédito o no comprometido;
  3. reproduce transacciones comprometidas de forma idempotente;
  4. repara una cola rota apoyada;
  5. reconstruye encabezados e índices derivados;
  6. rechaza la corrupción a mitad de camino.

Este es un contrato de recuperación lógico, no PostgreSQL fisico WAL compatibilidad.

MVCC y transacciones

Ridge mantiene identificadores de transacción y confirmación persistentes además de una marca de agua de confirmación visible. Las instantáneas de lectura repetible confirmadas y fijadas que actualizan declaraciones utilizan las mismas reglas de visibilidad para escaneos, claves, índices, SQL, respaldo y pgwire.

Los escritores separados pueden actuar al mismo tiempo. La validación de cabeza esperada y de clave única produce conflictos deterministas cuando el estado se superpone. Las transacciones atómicas de varias tablas proporcionan lectura y escritura y reversión de estados de cuenta. SELECT ... FOR UPDATE utiliza bloqueo sin bloqueo limitado y devuelve SQLSTATE 55P03 en caso de contienda.

Vacío y mantenimiento

Vacuum protege la instantánea en vivo más antigua, reconecta las cadenas de versiones retenidas y reutiliza las páginas libres delimitadas. Online/incremental El mantenimiento se limita a lo documentado. Ridge operaciones. No edite archivos de almacenamiento directamente.

Cargas de trabajo especializadas

Los paquetes v0.3 agregan canonical JSON, ventanas y análisis acotados, almacenamiento de series temporales, búsqueda de texto completo y búsqueda vectorial HNSW exacta más acotada. Estos son Ridge-implementaciones nativas limitadas, no capas de compatibilidad de extensiones.

evidencia

La arquitectura se cierra mediante puertas de bloqueo, recuperación, migración, diferencial, aislamiento, concurrencia, copia de seguridad, vacío y reapertura. Ver grove/apps/ridge/V3_CONTRACT.md, CAPABILITIES.mdy los corredores de prueba V3 para obtener detalles normativos.