diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 16 |
1 files changed, 14 insertions, 2 deletions
@@ -29,6 +29,18 @@ cmake --build --preset windows-vs2026-debug ctest --preset windows-vs2026-debug ``` +AddressSanitizer構成は独立した`build/windows-vs2026-asan`を使用します。 + +```powershell +cmake --preset windows-vs2026-asan +cmake --build --preset windows-vs2026-asan +ctest --preset windows-vs2026-asan +``` + +単体テストにはUTF-8/UTF-16、unaligned binary codec、allocation失敗、short I/Oと +操作別I/O失敗が含まれます。自前関数とテストの対応は +[function coverage map](tests/function-coverage.md)を参照してください。 + ## 起動 保存先は必ず明示します。相対パスも使用できます。同じdata directoryを使用する @@ -57,7 +69,7 @@ stdoutはMCP JSON-RPC専用、stderrは診断専用です。 ## 永続化と復旧 `active.log` はversion付きlittle-endianレコード、payload CRC32、単調sequenceを持ちます。 -PUT/DELは `FlushFileBuffers` が成功するまで `OK` を返しません。末尾で中断したレコード +PUT/DELはsys層のdurability flushが成功するまで`OK`を返しません。末尾で中断したレコード だけは正常境界まで自動切詰めし、途中のCRC不一致はデータを保存したまま起動を拒否します。 `rebuild_index` は新しいgeneration markerを持つログを作成後、同じgenerationとログoffsetを @@ -84,7 +96,7 @@ submoduleのソースは変更しません。詳細は[src/mcp/README.md](src/mc Visual Studio同梱のclang-formatを使う場合は、PowerShellで次のように整形できます。 ```powershell -$formatter = 'C:\Program Files\Microsoft Visual Studio\18\Community\VC\Tools\Llvm\bin\clang-format.exe' +$formatter = 'C:\Program Files\Microsoft Visual Studio\18\Community\VC\Tools\Llvm\x64\bin\clang-format.exe' $files = rg --files src tests -g '*.c' -g '*.h' & $formatter -i --style=file $files ``` |