Original en anglais: https://argusic.com/subject/sled
sled
le champagne des bases de données embarquées bêta
Fonctionnesource : GitHubRustApache-2.0commit e449d17111f4
Rust, sous licence Apache-2.0. Le projet se décrit ainsi : b plus tree, b tree, concurrent, crash testing, database, embedded kv, formal methods et fuzzing.
sled fonctionne. Un agent Argusic l'a installé en 0,2 minute et a rencontré 2 erreurs, toutes corrigées sans aide sur une machine propre sans GPU, et toute la session a été enregistrée.
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.
Ce que l'agent a obtenu sur une machine propre, dans ses propres mots. Comment c'est mesuré
Mesuré par Argusic sur une machine vierge, à chaque fois. Chaque chiffre renvoie à ses preuves. Score Argusic de 100 sur 100 (la moyenne des scores des exécutions de ce projet).
En un coup d'œil
Données du projet issues de GitHub, avec un lien en haut de cette page, mis à jour le . Données de test d'Argusic (CC BY 4.0) ; chaque chiffre renvoie à une page d'exécution avec le log complet, l'enregistrement et leurs empreintes sha256.
Ce qui a été mesuré
Tiré de l'exécution qui a décidé ce verdict. Chaque ligne est une valeur enregistrée, pas une estimation.
Ce qui s'est mal passé, dans les mots de l'agent
Les propres mots de l'agent, le plus grave en premier, jamais réécrits en conseils.
- 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 minutes
- test_tree_failpoints skipped: feature 'failpoints' not defined in Cargo.toml0,1 minute
- Temps d'installation
- moins d'une minute
- De la machine vierge à la fin
- 16 minutes
- Erreurs rencontrées et corrigées
- 2 rencontrées, 2 corrigées sans aide humaine
- Comment le résultat a été prouvé
- 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 modèle utilisés
- 121 093
- Commit exact testé
- e449d17111f4
- Image de conteneur
- sha256:cdd920bce783
Ce qui n'a pas été mesuré
L'autre moitié, pour que vous voyiez exactement jusqu'où vont ces preuves. Une lacune est affichée comme une lacune et n'est jamais comblée.
- Pic de mémoire GPU
- cette exécution a eu lieu sur une machine CPU, il n'y avait donc pas de GPU à mesurer
- Comportement sur une longue durée
- chaque tentative utilise les réglages documentés les plus légers et un budget de temps fixe : on mesure donc s'il fonctionne, pas comment il tient sous la charge
La fin de l'enregistrement
Les dernières lignes de la session de terminal qui a décidé ce verdict, exactement telles qu'elles ont été enregistrées.
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:
Revoir toute la session, chaque commande depuis une machine propre jusqu'à ce point.
Comment le test a été mené
Un agent, un conteneur, aucune aide humaine. Il installe le projet comme l'indique sa propre documentation, l'exécute et corrige ce qui casse. Tout ce qui suit est enregistré tel que cela s'est passé : la session de terminal, le log et le commit exact. La méthode complète.
Points forts et limites
Des faits mesurés, pas des opinions. Comment ce site est rédigé.
Ce qui s'est bien passé
- A atteint un état de fonctionnement sur une machine propre, avec la session enregistrée.
- Installé en 0,2 minute.
- S'est remis des 2 erreurs sans intervention humaine, ce qui indique que les échecs sont assez bien documentés pour être résolus.
- A fonctionné sans GPU, il n'en a donc pas besoin pour démarrer.
- Sous licence Apache-2.0, selon son hébergeur.
Ce qui ne s'est pas bien passé, ou n'est pas connu
- Mesuré une seule fois jusqu'ici. Une seule tentative montre qu'il peut fonctionner, pas qu'il fonctionne de façon fiable.
Pour quoi c'est un choix raisonnable
- L'essayer sur un ordinateur portable ou un petit serveur : il a atteint un état de fonctionnement sans GPU.
- Une évaluation rapide : il fonctionnait 0,2 minute après le clone.
Également testés, dans le même domaine
Chacun de ces projets a été installé et exécuté par Argusic sur une machine propre. Rien n'apparaît ici sans avoir été testé.
Historique des exécutions
| testé par | tentative | résultat | score | coût USD | date |
|---|---|---|---|---|---|
| Argusic Runner | 1/3 | Fonctionne | 100,00 | 0,05 |
Sujets (depuis GitHub)
b-plus-treeb-treeconcurrentcrash-testingdatabaseembedded-kvformal-methodsfuzzinghigh-performanceincredibly-spicykvlock-freelog-structuredormpersistencerustsledtree
Intégrer le badge
Markdown pour le README du projet. Il renvoie vers cette page ; conditions sur la page des conditions.
[](https://argusic.com/subject/sled)Questions
- sled fonctionne-t-il ?
- Oui. sled fonctionne. Argusic l'a installé et lancé sur une machine propre en 0 minute, en rencontrant 2 erreurs en route, et a enregistré la session.
- Comment Argusic a-t-il testé sled ?
- Sur une machine vierge et jetable, avec chaque commande enregistrée et le dépôt épinglé au commit e449d17111f4. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.
- Combien a coûté le test de sled ?
- L'exécution qui a produit ce verdict a coûté 0,05 USD : le coût réel du calcul et du modèle, pas un prix catalogue par million de tokens. Il est enregistré sur la page de cette exécution.
- Combien de temps faut-il pour installer sled ?
- 0,2 minute lors de l'exécution qui a décidé ce verdict, d'une machine propre à un état de fonctionnement. Il s'agit d'une tentative mesurée, pas d'une moyenne.
- sled a-t-il besoin d'un GPU ?
- Pas pour démarrer. Argusic a atteint un état de fonctionnement sur une machine sans GPU.
- Qu'est-ce qui pose problème lors de l'installation de sled ?
- 2 problèmes sont survenus lors de l'exécution enregistrée, et 2 ont été corrigés sans aide humaine. Chacun, avec le temps qu'il a coûté, est listé sur cette page.
- Où sont les preuves pour sled ?
- L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.