?

Author: usamoi

.github/workflows/check.yml

@@ -100,8 +100,10 @@ jobs:
   psql:
     strategy:
       matrix:
-        version: ["14", "15", "16", "17", "18"]
+        version: ["18"]
         arch: ["x86_64", "aarch64"]
+        index: ["0", "1", "2", "3", "4", "5", "6", "7"]
+      fail-fast: false
     runs-on: ${{ matrix.arch == 'x86_64' && 'ubuntu-24.04' || 'ubuntu-24.04-arm' }}
 
     env:
@@ -154,6 +156,7 @@ jobs:
           psql -c 'ALTER SYSTEM SET max_worker_processes = 1024'
           psql -c 'ALTER SYSTEM SET shared_preload_libraries = pg_tokenizer, vchord_bm25'
           psql -c 'ALTER SYSTEM SET search_path = "\$user", public, tokenizer_catalog, bm25_catalog'
+          psql -c 'ALTER SYSTEM SET log_autovacuum_min_duration = 0'
           sudo systemctl stop postgresql
 
           pg_config
@@ -178,7 +181,7 @@ jobs:
       - name: Upload Artifacts
         uses: actions/upload-artifact@b7c566a772e6b6bfb58ed0dc250532a479d7789f # v6.0.0
         with:
-          name: postgresql-${{ matrix.version }}-vchord-bm25_0.0.0_${{ matrix.arch }}-linux-gnu
+          name: postgresql-${{ matrix.version }}-vchord-bm25_0.0.0_${{ matrix.arch }}-linux-gnu-${{ matrix.index }}
           path: ./build
           compression-level: 9
           retention-days: 14
@@ -196,3 +199,9 @@ jobs:
       - name: Fuzz
         run: |
           cargo run -p fuzz -- "user=$(whoami) dbname=$(whoami) host=localhost"
+
+      - name: Logging
+        if: always()
+        run: |
+          sudo systemctl stop postgresql || true
+          cat /var/log/postgresql/postgresql-${{ matrix.version }}-main.log

crates/fuzz/Cargo.toml

@@ -7,6 +7,7 @@ publish = false
 [dependencies]
 postgres = "0.19.12"
 rand.workspace = true
+sha2 = "0.10.9"
 
 [lints]
 workspace = true

crates/fuzz/src/main.rs

@@ -12,11 +12,11 @@
 //
 // Copyright (c) 2025 TensorChord Inc.
 
-use std::collections::{BTreeMap, BTreeSet};
-use std::fmt::Debug;
-
 use rand::seq::IndexedRandom;
 use rand::{RngExt, SeedableRng};
+use sha2::{Digest, Sha256};
+use std::collections::{BTreeMap, BTreeSet};
+use std::fmt::Debug;
 
 #[allow(unused)]
 #[derive(Debug, Clone, Copy)]
@@ -40,7 +40,7 @@ const FUZZ_OPERATIONS: [Operation; 3] = [
 ];
 
 fn test(client: &mut postgres::Client) {
-    let seed = rand::rng().random_range(0..u64::MAX);
+    let seed = 15418557822313552730; // rand::rng().random_range(0..u64::MAX);
     let mut rng = rand::rngs::StdRng::seed_from_u64(seed);
     println!("Seed: {}", seed); // for reproducibility
 
@@ -50,7 +50,7 @@ fn test(client: &mut postgres::Client) {
         CREATE TABLE documents (
             id SERIAL PRIMARY KEY,
             embedding bm25vector
-        );
+        ) WITH (autovacuum_enabled = off);
         "#,
             &[],
         )
@@ -222,6 +222,11 @@ fn fuzz_select(client: &mut postgres::Client, rng: &mut impl RngExt) {
     }
     seq_results.pop_last();
 
+    let result = Sha256::digest(format!(
+        "index_results = {index_results:?}, seq_results = {seq_results:?}"
+    ));
+    println!("{result:x}");
+
     let mut miss_cnt = 0;
     for (rank, seq_id) in &seq_results {
         let Some(index_id) = index_results.get(rank) else {