oze: 未初期化 ScanRange union を修正 + -Werror=maybe-uninitialized を有効化

[thawk105]

#43 Phase 1 のサブタスク。-Wmaybe-uninitialized (1 件) を潰し、同 PR で ccbench_add_protocol() に -Werror=maybe-uninitialized を追加する。

修正内容

cc/oze/include/transaction.hh:228 で uint64_t updated; が未初期化のまま宣言され、その下の if/else で 上位 32 bit または下位 32 bit だけに |= していた。残り 32 bit はスタックのガベージのまま compare_exchange で書き戻されていた。

-uint64_t updated;
+// Must start at 0: the |= branches below only write half the
+// word each (upper 32b in one, lower 32b in the other), so
+// any uninitialized garbage would leak into the result.
+uint64_t updated = 0;
 if (max < right) {
   updated |= static_cast<uint64_t>(right) & 0xffffffff;
 } else {
   updated |= static_cast<uint64_t>(max) & 0xffffffff;
 }
 if (left < min) {
   updated |= static_cast<uint64_t>(left) << 32;
 } else {
   updated |= static_cast<uint64_t>(min) << 32;
 }

なぜ単なる hygiene warning ではなく実バグなのか

ScanRange は cc/oze/transaction.cc:851 の insert-validation で 挿入キーが scan された bounding box に入るか をチェックする fast-path として使われている (upper-32 = min, lower-32 = max)。これが monotonically growing であることが前提：

new_min = min(current_min, left)
new_max = max(current_max, right)
scan_range = (new_min << 32) | new_max

updated がガベージのままだと：

• correctness 違反: 見かけの min が実値より小さく、max が実値より大きく見えるパターンでは fast-path は通過するが OK。だが逆に見かけの min がガベージで大きくなり、見かけの max がガベージで小さくなるパターンでは prefix < min || max < prefix の判定が誤って真になり、本来 ScanHistory チェックすべき挿入がスキップされて phantom anomaly につながる可能性
• perf 劣化のみのパターン: ガベージで範囲が広がりすぎると fast-path が一切短絡せず ScanHistory の線形走査に毎回落ちる

いずれもスタック内容依存。-Wmaybe-uninitialized がまさにこれを拾った。

論文との整合性

Oze PVLDB 論文 (Nemoto et al., PVLDB vol.18 p2321 / extended version arXiv:2210.04179) は phantom 防止を scan history (txid + predicates) を挿入側が validation phase でチェック することで実現すると記述。論文に ScanRange の記述はない — 実装側で ScanHistory の線形走査の前段に置かれた bounding-box フィルタ に相当する性能最適化。論文の正当性契約 (ScanHistory のロジック) は本修正で変更していない。

CMake 側

ccbench_add_protocol() に以下を追加：

target_compile_options(${target} PRIVATE
  -Werror=maybe-uninitialized)

これが #43 ロードマップの最初の promotion。以後の Phase で同様のパターンで一個ずつ -Werror=<flag> を足していく。

Test plan

• rm -rf build && cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug && cmake --build build -j で 34/34 ビルド成功
• cmake -S . -B build-release -DCMAKE_BUILD_TYPE=Release -DENABLE_SANITIZER=OFF && cmake --build build-release -j で 34/34 ビルド成功
• CI 緑