英語の原文: https://argusic.com/subject/sled

sled

ベータ版組み込みデータベースのシャンパン

動作するソース: GitHubRustApache-2.0コミット e449d17111f4

Rust、Apache-2.0 ライセンス. プロジェクト自身の表記: b plus tree、b tree、concurrent、crash testing、database、embedded kv、formal methods、fuzzing.

sled は動作します。Argusic のエージェントが GPU のないクリーンなマシンで 0.2 分でインストールし、2 件のエラーに遭遇してすべてを自力で修正し、セッション全体が記録されました。

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.

クリーンなマシンでエージェントが最終的に得た結果 (エージェント自身の言葉)。 計測方法

Argusic が毎回新しいマシンで計測しています。 すべての数値はその証拠にリンクしています。 Argusic スコア 100 点中 100 点 (このプロジェクトの実行スコアの平均)。

概要

判定
動作する
Argusic スコア
100 / 100
検証した実行のコスト
0.05 USD (実測)
記録された実行
1
最終テスト
スター
9,103
フォーク
429
未解決の Issue
172
ウォッチャー
123
サイズ
9 MB
作成日
最終プッシュ

プロジェクトのデータは GitHub から取得 (このページの冒頭にリンクあり)、更新日 。テストデータは Argusic によるもので (CC BY 4.0)、すべての数値は、完全なログ、録画、それらの sha256 ハッシュを含む実行ページにリンクしています。

計測した内容

この判定を決めた実行から取得しています。 各行は記録された値であり、推定値ではありません。

sled のテスト中に各失敗で失われた時間 (記録された実行から作成)
各バーはエージェントが記録した失敗と、それにかかった時間です。この実行のデータのみから描いています。

うまくいかなかった点 (エージェント自身の言葉)

エージェント自身の言葉を、深刻なものから順に掲載しています。助言に書き換えることはありません。

  • 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 分
  • test_tree_failpoints skipped: feature 'failpoints' not defined in Cargo.toml0.1 分
インストール時間
1 分未満
クリーンなマシンから完了まで
16 分
遭遇したエラーと修正したエラー
2 件に遭遇、2 件を人の手を借りずに修正
結果の証明方法
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.
使用したモデルのトークン
121,093
テストした正確なコミット
e449d17111f4
コンテナイメージ
sha256:cdd920bce783

計測していない内容

残りの半分です。この証拠がどこまでを示すのかを正確に確認できます。欠けている部分は欠けているものとして表示し、埋めることはありません。

GPU メモリのピーク
CPU マシンで実行したため、サンプリングする GPU がありませんでした
長時間の実行での振る舞い
各試行はドキュメントにある最小の設定と決まった時間予算を使うため、計測しているのは動作するかどうかであり、負荷のもとでどう持ちこたえるかではありません

録画の最後

この判定を決めたターミナルセッションの最後の行を、記録されたとおりに表示しています。

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:

セッション全体を再生 (クリーンなマシンからこの時点までのすべてのコマンド)。

テスト方法

1 つのエージェント、1 つのコンテナで、人の手は借りません。エージェントはプロジェクト自身のドキュメントに書かれた方法でインストールし、実行し、壊れた部分を修正します。以下はすべて、実際に起きたとおりに記録されています: ターミナルセッション、ログ、そして正確なコミットです。 評価方法の全文.

強みと限界

意見ではなく、計測された事実です。コンテンツの作成方法.

うまくいった点

  • クリーンなマシンで実行状態に達し、セッションが記録されました。
  • 0.2 分でインストールできました。
  • 2 件のエラーすべてから、人の介入なしに回復しました。失敗が解決できる程度にはドキュメント化されていることを示しています。
  • GPU なしで動作したため、起動に GPU は必要ありません。
  • ホストの報告によると、ライセンスは Apache-2.0 です。

うまくいかなかった点、または不明な点

  • これまでの計測は 1 回です。1 回の試行は動作し得ることを示すだけで、安定して動作することは示しません。

適している用途

  • ノートパソコンや小さなサーバーで試す場合: GPU なしで実行状態に達しました。
  • 手早く評価したい場合: クローンから 0.2 分後には動作していました。

同じ分野でテストしたプロジェクト

ここに挙げたものはすべて、Argusic がクリーンなマシンにインストールして実行しました。テストしていないものは表示されません。

実行履歴

テスト担当試行結果スコアコスト (USD)日時
Argusic Runner1/3動作した100.000.05

トピック (出典: GitHub)

b-plus-treeb-treeconcurrentcrash-testingdatabaseembedded-kvformal-methodsfuzzinghigh-performanceincredibly-spicykvlock-freelog-structuredormpersistencerustsledtree

バッジを埋め込む

プロジェクトの README に貼る Markdown です。バッジはこのページにリンクします。利用条件: 利用規約ページ.

[![Tested by Argusic](https://argusic.com/badge/sled.svg)](https://argusic.com/subject/sled)

質問

sled は動作しますか?
はい。sled は動作します. Argusic はクリーンなマシンで 0 分でインストールして起動し、途中で 2 件のエラーに遭遇し、セッションを記録しました。
Argusic は sled をどのようにテストしましたか?
新しい使い捨てのマシンで、すべてのコマンドを記録しながらテストしました (リポジトリはコミット e449d17111f4 に固定)。記録された試行は 1 回で、手順の全体は評価方法のページに掲載しています。
sled のテストにはいくらかかりましたか?
この判定を出した実行のコストは 0.05 USD です: 100 万トークンあたりの定価ではなく、実際の計算資源とモデルのコストです。その実行のページに記録されています。
sled のインストールにはどのくらい時間がかかりますか?
この判定を決めた実行では、クリーンなマシンから実行状態まで 0.2 分でした。これは 1 回の計測された試行であり、平均ではありません。
sled には GPU が必要ですか?
起動には必要ありません。Argusic は GPU のないマシンで実行状態に達しました。
sled のインストールでは何がうまくいきませんか?
記録された実行では 2 件の問題が発生しました。そのうち 2 件は人の手を借りずに修正されました。それぞれの問題と、かかった時間をこのページに掲載しています。
sled の証拠はどこにありますか?
記録された実行をこのページに掲載しており、それぞれが完全なログとターミナル録画にリンクしています。録画は sha256 フィンガープリントとともに保存されているため、こっそり改変することはできません。

Discussion