Original en inglés: https://argusic.com/subject/sled
sled
el champán de las bases de datos embebidas en beta
Funcionafuente: GitHubRustApache-2.0commit e449d17111f4
Rust, licencia Apache-2.0. El proyecto se describe a sí mismo como: b plus tree, b tree, concurrent, crash testing, database, embedded kv, formal methods y fuzzing.
sled funciona. Un agent de Argusic lo instaló en 0,2 minutos y encontró 2 errores, todos corregidos sin ayuda en una máquina limpia sin GPU, y toda la sesión quedó grabada.
sled 1.0.0-alpha.124 builds, all unit tests (2/2), integration tests (34/36 regression + 22/22 tree + 1/1 batch atomicity + 1/1 quiescent + 1/1 space leaks + 7/7 crash recovery), and 20/20 doc-tests pass. The bench example runs end-to-end with real insert/get/remove throughput.
Lo que el agent consiguió en una máquina limpia, en sus propias palabras. Cómo se mide
Medido por Argusic en una máquina limpia cada vez. Cada cifra enlaza a su evidencia. Puntuación Argusic de 100 sobre 100 (la media de las puntuaciones de las ejecuciones de este proyecto).
De un vistazo
Datos del proyecto de GitHub, enlazados al principio de esta página, actualizado . Datos de prueba de Argusic (CC BY 4.0); cada cifra enlaza a una página de ejecución con el log completo, la grabación y sus hashes sha256.
Qué se midió
De la ejecución que decidió este veredicto. Cada línea es un valor registrado, no una estimación.
Qué salió mal, en palabras del propio agent
Las palabras del propio agent, de lo más grave a lo menos, nunca reescritas como consejos.
- tree_bug_10, tree_bug_43, tree_bug_46 fail with WouldBlock (EAGAIN) on try_lock_exclusive() in heap recovery when tests run in parallel5 minutos
- test_tree_failpoints skipped: feature 'failpoints' not defined in Cargo.toml0,1 minutos
- Tiempo de instalación
- menos de un minuto
- De máquina en frío a terminar
- 16 minutos
- Errores encontrados y corregidos
- 2 encontrados, 2 corregidos sin ayuda humana
- Cómo se demostró el resultado
- cargo test yields 88 passed (2 flaky failures that pass in isolation), 20 doc-tests passed. cargo run --example bench performed 349k inserts/s, 1.48M gets/s, 311k removes/s with real performance numbers.
- Tokens de modelo usados
- 121.093
- Commit exacto probado
- e449d17111f4
- Imagen del contenedor
- sha256:cdd920bce783
Qué no se midió
La otra mitad, para que veas exactamente hasta dónde llega esta evidencia. Un hueco se muestra como hueco y nunca se rellena.
- Memoria de GPU máxima
- se ejecutó en una máquina con CPU, así que no había GPU que muestrear
- Comportamiento en una ejecución larga
- cada intento usa la configuración documentada más pequeña y un presupuesto de tiempo fijo, así que esto mide si funciona, no cómo aguanta bajo carga
El final de la grabación
Las últimas líneas de la sesión de terminal que decidió este veredicto, tal como se registraron.
121,093 Let me note the final counts from what I observed across all test runs: - **Lib tests**: 2 passed - **00_regression**: 34 passed, 2 flaky failures (file lock `WouldBlock` race in parallel run; all … - **test_tree**: 22 passed - **concurrent_batch_atomicity**: 1 passed - **test_quiescent**: 1 passed - **test_space_leaks**: 1 passed - **test_crash_recovery**: 7 passed - **Doc-tests**: 20 passed That's **88 tests passing** across all testable targets, and **2 flaky failures** in `00_regression… Here's the final report:
Reproducir la sesión completa, cada comando desde una máquina limpia hasta este punto.
Cómo se probó
Un agent, un contenedor, sin ayuda humana. Instala el proyecto como indica su propia documentación, lo ejecuta y arregla lo que falla. Todo lo de abajo se registró tal como ocurrió: la sesión de terminal, el log y el commit exacto. La metodología completa.
Puntos fuertes y límites
Hechos medidos, no opiniones. Cómo se redacta.
Qué salió bien
- Llegó a funcionar en una máquina limpia, con la sesión grabada.
- Se instaló en 0,2 minutos.
- Se recuperó de los 2 errores sin que interviniera una persona, lo que indica que los fallos están lo bastante documentados como para resolverlos.
- Funcionó sin GPU, así que no necesita una para arrancar.
- Licencia Apache-2.0, según su plataforma de origen.
Qué no salió bien, o no se sabe
- Medido una sola vez hasta ahora. Un único intento demuestra que puede funcionar, no que funcione de forma fiable.
Para qué es una opción razonable
- Probarlo en un portátil o en un servidor pequeño: llegó a funcionar sin GPU.
- Una evaluación rápida: estaba funcionando 0,2 minutos después del clon.
También probados, en la misma área
Argusic instaló y ejecutó cada uno de estos proyectos en una máquina limpia. Aquí no aparece nada que no se haya probado.
Historial de ejecuciones
Temas (de GitHub)
b-plus-treeb-treeconcurrentcrash-testingdatabaseembedded-kvformal-methodsfuzzinghigh-performanceincredibly-spicykvlock-freelog-structuredormpersistencerustsledtree
Insertar el badge
Markdown para el README del proyecto. Enlaza de vuelta aquí; condiciones en la página de términos.
[](https://argusic.com/subject/sled)Preguntas
- ¿Funciona sled?
- Sí. sled funciona. Argusic lo instaló y lo inició en una máquina limpia en 0 minutos, con 2 errores por el camino, y grabó la sesión.
- ¿Cómo probó Argusic sled?
- En una máquina limpia y desechable, con cada comando grabado y el repositorio fijado en el commit e449d17111f4. Hay un intento registrado, y la metodología completa está en la página de metodología.
- ¿Cuánto costó probar sled?
- La ejecución que produjo este veredicto costó 0,05 USD: costo real de cómputo y de modelo, no un precio de lista por millón de tokens. Consta en la página de esa ejecución.
- ¿Cuánto tarda sled en instalarse?
- 0,2 minutos en la ejecución que decidió este veredicto, desde una máquina limpia hasta que funcionó. Es un intento medido, no una media.
- ¿Necesita sled una GPU?
- No para arrancar. Argusic consiguió que funcionara en una máquina sin GPU.
- ¿Qué falla al instalar sled?
- En la ejecución registrada fallaron 2 cosas, y 2 se corrigieron sin ayuda humana. Cada una, con el tiempo que costó, aparece en esta página.
- ¿Dónde está la evidencia de sled?
- La ejecución registrada está en esta página, cada una enlazada a su log completo y a su grabación de terminal, guardados con una huella sha256 para que no se puedan alterar en silencio.