Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ members = [
"crates/ruvector-acorn-wasm",
"crates/ruvector-rabitq",
"crates/ruvector-rabitq-wasm",
"crates/ruvector-soar",
"crates/ruvector-rulake",
"crates/ruvector-core",
"crates/ruvector-node",
Expand Down
28 changes: 28 additions & 0 deletions crates/ruvector-soar/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
[package]
name = "ruvector-soar"
version.workspace = true
edition.workspace = true
rust-version.workspace = true
license.workspace = true
authors.workspace = true
repository.workspace = true
description = "SOAR: Spilling Orthogonal Anti-correlated Refinement for IVF-based ANN search (Sun et al., NeurIPS 2024)"

[[bin]]
name = "soar-demo"
path = "src/main.rs"

[[bench]]
name = "soar_bench"
harness = false

[dependencies]
rand = { workspace = true }
rand_distr = { workspace = true }
thiserror = { workspace = true }

[target.'cfg(not(target_arch = "wasm32"))'.dependencies]
rayon = { workspace = true }

[dev-dependencies]
criterion = { workspace = true }
69 changes: 69 additions & 0 deletions crates/ruvector-soar/benches/soar_bench.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,69 @@
//! Criterion bench — measures build time and per-query latency for the
//! three assignment strategies on a synthetic clustered dataset.

use criterion::{criterion_group, criterion_main, Criterion};
use rand::{rngs::StdRng, Rng, SeedableRng};
use ruvector_soar::{Assignment, IvfIndex};

fn synth(n: usize, dim: usize, n_clusters: usize, seed: u64) -> (Vec<Vec<f32>>, Vec<Vec<f32>>) {
let mut rng = StdRng::seed_from_u64(seed);
let anchors: Vec<Vec<f32>> = (0..n_clusters)
.map(|_| (0..dim).map(|_| rng.gen_range(-5.0..5.0_f32)).collect())
.collect();
let db: Vec<Vec<f32>> = (0..n)
.map(|i| {
let a = &anchors[i % n_clusters];
(0..dim)
.map(|d| a[d] + rng.gen_range(-0.6..0.6_f32))
.collect()
})
.collect();
let q: Vec<Vec<f32>> = (0..50)
.map(|i| {
let a = &anchors[i % n_clusters];
(0..dim)
.map(|d| a[d] + rng.gen_range(-0.8..0.8_f32))
.collect()
})
.collect();
(db, q)
}

fn bench(c: &mut Criterion) {
let (db, queries) = synth(8_000, 64, 80, 0xCAFE);

let mut g = c.benchmark_group("soar_build_8k_d64_c64");
g.sample_size(10);
for (name, asg) in [
("single", Assignment::Single),
("spillover", Assignment::Spillover),
("soar_l1.5", Assignment::Soar { lambda: 1.5 }),
] {
g.bench_function(name, |b| {
b.iter(|| {
let _ = IvfIndex::build(db.clone(), 64, asg, 1).unwrap();
})
});
}
g.finish();

let mut g = c.benchmark_group("soar_query_8k_d64_c64_p4");
for (name, asg) in [
("single", Assignment::Single),
("spillover", Assignment::Spillover),
("soar_l1.5", Assignment::Soar { lambda: 1.5 }),
] {
let idx = IvfIndex::build(db.clone(), 64, asg, 1).unwrap();
g.bench_function(name, |b| {
b.iter(|| {
for q in &queries {
let _ = idx.search(q, 10, 4);
}
})
});
}
g.finish();
}

criterion_group!(benches, bench);
criterion_main!(benches);
114 changes: 114 additions & 0 deletions crates/ruvector-soar/src/kmeans.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,114 @@
//! Minimal deterministic k-means (k-means++ init + Lloyd refinement).
//! Pure Rust, no unsafe. Suitable for IVF centroid training in this PoC.

use rand::{rngs::StdRng, Rng, SeedableRng};

#[inline]
fn sq_l2(a: &[f32], b: &[f32]) -> f32 {
let mut s = 0.0;
for (x, y) in a.iter().zip(b.iter()) {
let d = x - y;
s += d * d;
}
s
}

/// k-means++ seeding: deterministic for a given `seed`.
pub fn kmeans_pp_init(vectors: &[Vec<f32>], k: usize, seed: u64) -> Vec<Vec<f32>> {
assert!(!vectors.is_empty());
assert!(k <= vectors.len());
let mut rng = StdRng::seed_from_u64(seed);
let mut centers: Vec<Vec<f32>> = Vec::with_capacity(k);
let first = rng.gen_range(0..vectors.len());
centers.push(vectors[first].clone());

let mut min_d2 = vec![f32::INFINITY; vectors.len()];
for (i, v) in vectors.iter().enumerate() {
min_d2[i] = sq_l2(v, &centers[0]);
}

while centers.len() < k {
let total: f32 = min_d2.iter().sum();
if total <= 0.0 {
// duplicates everywhere — pad with the first vector
centers.push(vectors[0].clone());
continue;
}
let mut t = rng.gen::<f32>() * total;
let mut chosen = vectors.len() - 1;
for (i, &d2) in min_d2.iter().enumerate() {
t -= d2;
if t <= 0.0 {
chosen = i;
break;
}
}
centers.push(vectors[chosen].clone());
let new_c = centers.last().unwrap();
for (i, v) in vectors.iter().enumerate() {
let d2 = sq_l2(v, new_c);
if d2 < min_d2[i] {
min_d2[i] = d2;
}
}
}

centers
}

/// Lloyd's algorithm. Mutates `centers` in place. Stops on `max_iters` or
/// when no centroid moves more than 1e-6 squared-L2.
pub fn lloyd_refine(vectors: &[Vec<f32>], centers: &mut [Vec<f32>], max_iters: usize) {
let dim = vectors[0].len();
let k = centers.len();
let mut sums = vec![vec![0.0_f32; dim]; k];
let mut counts = vec![0usize; k];

for _iter in 0..max_iters {
for s in &mut sums {
for x in s.iter_mut() {
*x = 0.0;
}
}
for c in counts.iter_mut() {
*c = 0;
}

for v in vectors {
let mut best = 0usize;
let mut best_d = f32::INFINITY;
for (ci, c) in centers.iter().enumerate() {
let d = sq_l2(v, c);
if d < best_d {
best_d = d;
best = ci;
}
}
for (s, x) in sums[best].iter_mut().zip(v.iter()) {
*s += *x;
}
counts[best] += 1;
}

let mut max_shift = 0.0_f32;
for ci in 0..k {
if counts[ci] == 0 {
continue;
}
let inv = 1.0 / counts[ci] as f32;
let mut shift = 0.0_f32;
for d in 0..dim {
let new_v = sums[ci][d] * inv;
let diff = new_v - centers[ci][d];
shift += diff * diff;
centers[ci][d] = new_v;
}
if shift > max_shift {
max_shift = shift;
}
}
if max_shift < 1e-6 {
break;
}
}
}
Loading