Skip to main content

hermes_core/segment/builder/
mod.rs

1//! Streaming segment builder with optimized memory usage
2//!
3//! Key optimizations:
4//! - **String interning**: Terms are interned using `lasso` to avoid repeated allocations
5//! - **hashbrown HashMap**: O(1) average insertion instead of BTreeMap's O(log n)
6//! - **Streaming document store**: Documents written to disk immediately
7//! - **Incremental posting flush**: Large posting lists flushed to temp file
8//! - **Memory-mapped intermediate files**: Reduces memory pressure
9//! - **Arena allocation**: Batch allocations for reduced fragmentation
10
11mod config;
12mod posting;
13mod vectors;
14
15pub use config::{MemoryBreakdown, SegmentBuilderConfig, SegmentBuilderStats};
16
17use std::fs::{File, OpenOptions};
18use std::io::{BufWriter, Write};
19use std::mem::size_of;
20use std::path::PathBuf;
21
22use hashbrown::HashMap;
23use lasso::{Rodeo, Spur};
24use rayon::prelude::*;
25use rustc_hash::FxHashMap;
26
27use crate::compression::CompressionLevel;
28
29use super::types::{FieldStats, SegmentFiles, SegmentId, SegmentMeta};
30use crate::directories::{Directory, DirectoryWriter};
31use crate::dsl::{Document, Field, FieldType, FieldValue, Schema};
32use crate::structures::{PostingList, SSTableWriter, TermInfo};
33use crate::tokenizer::BoxedTokenizer;
34use crate::{DocId, Result};
35
36use posting::{
37    CompactPosting, PositionPostingListBuilder, PostingListBuilder, SerializedPosting, TermKey,
38};
39use vectors::{DenseVectorBuilder, SparseVectorBuilder};
40
41use super::vector_data::FlatVectorData;
42
43/// Size of the document store buffer before writing to disk
44const STORE_BUFFER_SIZE: usize = 16 * 1024 * 1024; // 16MB
45
46/// Segment builder with optimized memory usage
47///
48/// Features:
49/// - Streams documents to disk immediately (no in-memory document storage)
50/// - Uses string interning for terms (reduced allocations)
51/// - Uses hashbrown HashMap (faster than BTreeMap)
52pub struct SegmentBuilder {
53    schema: Schema,
54    config: SegmentBuilderConfig,
55    tokenizers: FxHashMap<Field, BoxedTokenizer>,
56
57    /// String interner for terms - O(1) lookup and deduplication
58    term_interner: Rodeo,
59
60    /// Inverted index: term key -> posting list
61    inverted_index: HashMap<TermKey, PostingListBuilder>,
62
63    /// Streaming document store writer
64    store_file: BufWriter<File>,
65    store_path: PathBuf,
66
67    /// Document count
68    next_doc_id: DocId,
69
70    /// Per-field statistics for BM25F
71    field_stats: FxHashMap<u32, FieldStats>,
72
73    /// Per-document field lengths stored compactly
74    /// Uses a flat Vec instead of Vec<HashMap> for better cache locality
75    /// Layout: [doc0_field0_len, doc0_field1_len, ..., doc1_field0_len, ...]
76    doc_field_lengths: Vec<u32>,
77    num_indexed_fields: usize,
78    field_to_slot: FxHashMap<u32, usize>,
79
80    /// Reusable buffer for per-document term frequency aggregation
81    /// Avoids allocating a new hashmap for each document
82    local_tf_buffer: FxHashMap<Spur, u32>,
83
84    /// Reusable buffer for tokenization to avoid per-token String allocations
85    token_buffer: String,
86
87    /// Dense vector storage per field: field -> (doc_ids, vectors)
88    /// Vectors are stored as flat f32 arrays for efficient RaBitQ indexing
89    dense_vectors: FxHashMap<u32, DenseVectorBuilder>,
90
91    /// Sparse vector storage per field: field -> SparseVectorBuilder
92    /// Uses proper BlockSparsePostingList with configurable quantization
93    sparse_vectors: FxHashMap<u32, SparseVectorBuilder>,
94
95    /// Position index for fields with positions enabled
96    /// term key -> position posting list
97    position_index: HashMap<TermKey, PositionPostingListBuilder>,
98
99    /// Fields that have position tracking enabled, with their mode
100    position_enabled_fields: FxHashMap<u32, Option<crate::dsl::PositionMode>>,
101
102    /// Current element ordinal for multi-valued fields (reset per document)
103    current_element_ordinal: FxHashMap<u32, u32>,
104
105    /// Incrementally tracked memory estimate (avoids expensive stats() calls)
106    estimated_memory: usize,
107}
108
109impl SegmentBuilder {
110    /// Create a new segment builder
111    pub fn new(schema: Schema, config: SegmentBuilderConfig) -> Result<Self> {
112        let segment_id = uuid::Uuid::new_v4();
113        let store_path = config
114            .temp_dir
115            .join(format!("hermes_store_{}.tmp", segment_id));
116
117        let store_file = BufWriter::with_capacity(
118            STORE_BUFFER_SIZE,
119            OpenOptions::new()
120                .create(true)
121                .write(true)
122                .truncate(true)
123                .open(&store_path)?,
124        );
125
126        // Count indexed fields for compact field length storage
127        // Also track which fields have position recording enabled
128        let mut num_indexed_fields = 0;
129        let mut field_to_slot = FxHashMap::default();
130        let mut position_enabled_fields = FxHashMap::default();
131        for (field, entry) in schema.fields() {
132            if entry.indexed && matches!(entry.field_type, FieldType::Text) {
133                field_to_slot.insert(field.0, num_indexed_fields);
134                num_indexed_fields += 1;
135                if entry.positions.is_some() {
136                    position_enabled_fields.insert(field.0, entry.positions);
137                }
138            }
139        }
140
141        Ok(Self {
142            schema,
143            tokenizers: FxHashMap::default(),
144            term_interner: Rodeo::new(),
145            inverted_index: HashMap::with_capacity(config.posting_map_capacity),
146            store_file,
147            store_path,
148            next_doc_id: 0,
149            field_stats: FxHashMap::default(),
150            doc_field_lengths: Vec::new(),
151            num_indexed_fields,
152            field_to_slot,
153            local_tf_buffer: FxHashMap::default(),
154            token_buffer: String::with_capacity(64),
155            config,
156            dense_vectors: FxHashMap::default(),
157            sparse_vectors: FxHashMap::default(),
158            position_index: HashMap::new(),
159            position_enabled_fields,
160            current_element_ordinal: FxHashMap::default(),
161            estimated_memory: 0,
162        })
163    }
164
165    pub fn set_tokenizer(&mut self, field: Field, tokenizer: BoxedTokenizer) {
166        self.tokenizers.insert(field, tokenizer);
167    }
168
169    pub fn num_docs(&self) -> u32 {
170        self.next_doc_id
171    }
172
173    /// Fast O(1) memory estimate - updated incrementally during indexing
174    #[inline]
175    pub fn estimated_memory_bytes(&self) -> usize {
176        self.estimated_memory
177    }
178
179    /// Recalibrate incremental memory estimate using capacity-based calculation.
180    /// More expensive than estimated_memory_bytes() — O(terms + dims) vs O(1) —
181    /// but accounts for Vec capacity growth (doubling) and HashMap table overhead.
182    /// Call periodically (e.g. every 1000 docs) to prevent drift.
183    pub fn recalibrate_memory(&mut self) {
184        self.estimated_memory = self.stats().estimated_memory_bytes;
185    }
186
187    /// Count total unique sparse dimensions across all fields
188    pub fn sparse_dim_count(&self) -> usize {
189        self.sparse_vectors.values().map(|b| b.postings.len()).sum()
190    }
191
192    /// Get current statistics for debugging performance (expensive - iterates all data)
193    pub fn stats(&self) -> SegmentBuilderStats {
194        use std::mem::size_of;
195
196        let postings_in_memory: usize =
197            self.inverted_index.values().map(|p| p.postings.len()).sum();
198
199        // Size constants computed from actual types
200        let compact_posting_size = size_of::<CompactPosting>();
201        let vec_overhead = size_of::<Vec<u8>>(); // Vec header: ptr + len + cap = 24 bytes on 64-bit
202        let term_key_size = size_of::<TermKey>();
203        let posting_builder_size = size_of::<PostingListBuilder>();
204        let spur_size = size_of::<lasso::Spur>();
205        let sparse_entry_size = size_of::<(DocId, u16, f32)>();
206
207        // hashbrown HashMap entry overhead: key + value + 1 byte control + padding
208        // Measured: ~(key_size + value_size + 8) per entry on average
209        let hashmap_entry_base_overhead = 8usize;
210
211        // FxHashMap uses same layout as hashbrown
212        let fxhashmap_entry_overhead = hashmap_entry_base_overhead;
213
214        // Postings memory
215        let postings_bytes: usize = self
216            .inverted_index
217            .values()
218            .map(|p| p.postings.capacity() * compact_posting_size + vec_overhead)
219            .sum();
220
221        // Inverted index overhead
222        let index_overhead_bytes = self.inverted_index.len()
223            * (term_key_size + posting_builder_size + hashmap_entry_base_overhead);
224
225        // Term interner: Rodeo stores strings + metadata
226        // Rodeo internal: string bytes + Spur + arena overhead (~2 pointers per string)
227        let interner_arena_overhead = 2 * size_of::<usize>();
228        let avg_term_len = 8; // Estimated average term length
229        let interner_bytes =
230            self.term_interner.len() * (avg_term_len + spur_size + interner_arena_overhead);
231
232        // Doc field lengths
233        let field_lengths_bytes =
234            self.doc_field_lengths.capacity() * size_of::<u32>() + vec_overhead;
235
236        // Dense vectors
237        let mut dense_vectors_bytes: usize = 0;
238        let mut dense_vector_count: usize = 0;
239        let doc_id_ordinal_size = size_of::<(DocId, u16)>();
240        for b in self.dense_vectors.values() {
241            dense_vectors_bytes += b.vectors.capacity() * size_of::<f32>()
242                + b.doc_ids.capacity() * doc_id_ordinal_size
243                + 2 * vec_overhead; // Two Vecs
244            dense_vector_count += b.doc_ids.len();
245        }
246
247        // Local buffers
248        let local_tf_entry_size = spur_size + size_of::<u32>() + fxhashmap_entry_overhead;
249        let local_tf_buffer_bytes = self.local_tf_buffer.capacity() * local_tf_entry_size;
250
251        // Sparse vectors
252        let mut sparse_vectors_bytes: usize = 0;
253        for builder in self.sparse_vectors.values() {
254            for postings in builder.postings.values() {
255                sparse_vectors_bytes += postings.capacity() * sparse_entry_size + vec_overhead;
256            }
257            // Inner FxHashMap overhead: u32 key + Vec value ptr + overhead
258            let inner_entry_size = size_of::<u32>() + vec_overhead + fxhashmap_entry_overhead;
259            sparse_vectors_bytes += builder.postings.len() * inner_entry_size;
260        }
261        // Outer FxHashMap overhead
262        let outer_sparse_entry_size =
263            size_of::<u32>() + size_of::<SparseVectorBuilder>() + fxhashmap_entry_overhead;
264        sparse_vectors_bytes += self.sparse_vectors.len() * outer_sparse_entry_size;
265
266        // Position index
267        let mut position_index_bytes: usize = 0;
268        for pos_builder in self.position_index.values() {
269            for (_, positions) in &pos_builder.postings {
270                position_index_bytes += positions.capacity() * size_of::<u32>() + vec_overhead;
271            }
272            // Vec<(DocId, Vec<u32>)> entry size
273            let pos_entry_size = size_of::<DocId>() + vec_overhead;
274            position_index_bytes += pos_builder.postings.capacity() * pos_entry_size;
275        }
276        // HashMap overhead for position_index
277        let pos_index_entry_size =
278            term_key_size + size_of::<PositionPostingListBuilder>() + hashmap_entry_base_overhead;
279        position_index_bytes += self.position_index.len() * pos_index_entry_size;
280
281        let estimated_memory_bytes = postings_bytes
282            + index_overhead_bytes
283            + interner_bytes
284            + field_lengths_bytes
285            + dense_vectors_bytes
286            + local_tf_buffer_bytes
287            + sparse_vectors_bytes
288            + position_index_bytes;
289
290        let memory_breakdown = MemoryBreakdown {
291            postings_bytes,
292            index_overhead_bytes,
293            interner_bytes,
294            field_lengths_bytes,
295            dense_vectors_bytes,
296            dense_vector_count,
297            sparse_vectors_bytes,
298            position_index_bytes,
299        };
300
301        SegmentBuilderStats {
302            num_docs: self.next_doc_id,
303            unique_terms: self.inverted_index.len(),
304            postings_in_memory,
305            interned_strings: self.term_interner.len(),
306            doc_field_lengths_size: self.doc_field_lengths.len(),
307            estimated_memory_bytes,
308            memory_breakdown,
309        }
310    }
311
312    /// Add a document - streams to disk immediately
313    pub fn add_document(&mut self, doc: Document) -> Result<DocId> {
314        let doc_id = self.next_doc_id;
315        self.next_doc_id += 1;
316
317        // Initialize field lengths for this document
318        let base_idx = self.doc_field_lengths.len();
319        self.doc_field_lengths
320            .resize(base_idx + self.num_indexed_fields, 0);
321        self.estimated_memory += self.num_indexed_fields * std::mem::size_of::<u32>();
322
323        // Reset element ordinals for this document (for multi-valued fields)
324        self.current_element_ordinal.clear();
325
326        for (field, value) in doc.field_values() {
327            let entry = self.schema.get_field_entry(*field);
328            if entry.is_none() {
329                continue;
330            }
331
332            let entry = entry.unwrap();
333            // Dense vectors are written to .vectors when indexed || stored
334            // Other field types require indexed
335            let dominated_by_index = matches!(&entry.field_type, FieldType::DenseVector);
336            if !dominated_by_index && !entry.indexed {
337                continue;
338            }
339
340            match (&entry.field_type, value) {
341                (FieldType::Text, FieldValue::Text(text)) => {
342                    // Get current element ordinal for multi-valued fields
343                    let element_ordinal = *self.current_element_ordinal.get(&field.0).unwrap_or(&0);
344                    let token_count =
345                        self.index_text_field(*field, doc_id, text, element_ordinal)?;
346                    // Increment element ordinal for next value of this field
347                    *self.current_element_ordinal.entry(field.0).or_insert(0) += 1;
348
349                    // Update field statistics
350                    let stats = self.field_stats.entry(field.0).or_default();
351                    stats.total_tokens += token_count as u64;
352                    // Only count each document once, even for multi-value fields
353                    if element_ordinal == 0 {
354                        stats.doc_count += 1;
355                    }
356
357                    // Store field length compactly
358                    if let Some(&slot) = self.field_to_slot.get(&field.0) {
359                        self.doc_field_lengths[base_idx + slot] = token_count;
360                    }
361                }
362                (FieldType::U64, FieldValue::U64(v)) => {
363                    self.index_numeric_field(*field, doc_id, *v)?;
364                }
365                (FieldType::I64, FieldValue::I64(v)) => {
366                    self.index_numeric_field(*field, doc_id, *v as u64)?;
367                }
368                (FieldType::F64, FieldValue::F64(v)) => {
369                    self.index_numeric_field(*field, doc_id, v.to_bits())?;
370                }
371                (FieldType::DenseVector, FieldValue::DenseVector(vec))
372                    if entry.indexed || entry.stored =>
373                {
374                    // Dense vectors written to .vectors (not .store) when indexed || stored
375                    let element_ordinal = *self.current_element_ordinal.get(&field.0).unwrap_or(&0);
376                    self.index_dense_vector_field(*field, doc_id, element_ordinal as u16, vec)?;
377                    // Increment element ordinal for next value of this field
378                    *self.current_element_ordinal.entry(field.0).or_insert(0) += 1;
379                }
380                (FieldType::SparseVector, FieldValue::SparseVector(entries)) => {
381                    // Get current element ordinal for multi-valued fields
382                    let element_ordinal = *self.current_element_ordinal.get(&field.0).unwrap_or(&0);
383                    self.index_sparse_vector_field(
384                        *field,
385                        doc_id,
386                        element_ordinal as u16,
387                        entries,
388                    )?;
389                    // Increment element ordinal for next value of this field
390                    *self.current_element_ordinal.entry(field.0).or_insert(0) += 1;
391                }
392                _ => {}
393            }
394        }
395
396        // Stream document to disk immediately
397        self.write_document_to_store(&doc)?;
398
399        Ok(doc_id)
400    }
401
402    /// Index a text field using interned terms
403    ///
404    /// Optimization: Zero-allocation inline tokenization + term frequency aggregation.
405    /// Instead of allocating a String per token, we:
406    /// 1. Iterate over whitespace-split words
407    /// 2. Build lowercase token in a reusable buffer
408    /// 3. Intern directly from the buffer
409    ///
410    /// If position recording is enabled for this field, also records token positions
411    /// encoded as (element_ordinal << 20) | token_position.
412    fn index_text_field(
413        &mut self,
414        field: Field,
415        doc_id: DocId,
416        text: &str,
417        element_ordinal: u32,
418    ) -> Result<u32> {
419        use crate::dsl::PositionMode;
420
421        let field_id = field.0;
422        let position_mode = self
423            .position_enabled_fields
424            .get(&field_id)
425            .copied()
426            .flatten();
427
428        // Phase 1: Aggregate term frequencies within this document
429        // Also collect positions if enabled
430        // Reuse buffer to avoid allocations
431        self.local_tf_buffer.clear();
432
433        // For position tracking: term -> list of positions in this text
434        let mut local_positions: FxHashMap<Spur, Vec<u32>> = FxHashMap::default();
435
436        let mut token_position = 0u32;
437
438        // Zero-allocation tokenization: iterate words, lowercase inline, intern directly
439        for word in text.split_whitespace() {
440            // Build lowercase token in reusable buffer
441            self.token_buffer.clear();
442            for c in word.chars() {
443                if c.is_alphanumeric() {
444                    for lc in c.to_lowercase() {
445                        self.token_buffer.push(lc);
446                    }
447                }
448            }
449
450            if self.token_buffer.is_empty() {
451                continue;
452            }
453
454            // Intern the term directly from buffer - O(1) amortized
455            let is_new_string = !self.term_interner.contains(&self.token_buffer);
456            let term_spur = self.term_interner.get_or_intern(&self.token_buffer);
457            if is_new_string {
458                use std::mem::size_of;
459                // string bytes + Spur + arena overhead (2 pointers)
460                self.estimated_memory +=
461                    self.token_buffer.len() + size_of::<Spur>() + 2 * size_of::<usize>();
462            }
463            *self.local_tf_buffer.entry(term_spur).or_insert(0) += 1;
464
465            // Record position based on mode
466            if let Some(mode) = position_mode {
467                let encoded_pos = match mode {
468                    // Ordinal only: just store element ordinal (token position = 0)
469                    PositionMode::Ordinal => element_ordinal << 20,
470                    // Token position only: just store token position (ordinal = 0)
471                    PositionMode::TokenPosition => token_position,
472                    // Full: encode both
473                    PositionMode::Full => (element_ordinal << 20) | token_position,
474                };
475                local_positions
476                    .entry(term_spur)
477                    .or_default()
478                    .push(encoded_pos);
479            }
480
481            token_position += 1;
482        }
483
484        // Phase 2: Insert aggregated terms into inverted index
485        // Now we only do one inverted_index lookup per unique term in doc
486        for (&term_spur, &tf) in &self.local_tf_buffer {
487            let term_key = TermKey {
488                field: field_id,
489                term: term_spur,
490            };
491
492            let is_new_term = !self.inverted_index.contains_key(&term_key);
493            let posting = self
494                .inverted_index
495                .entry(term_key)
496                .or_insert_with(PostingListBuilder::new);
497            posting.add(doc_id, tf);
498
499            // Incremental memory tracking
500            use std::mem::size_of;
501            self.estimated_memory += size_of::<CompactPosting>();
502            if is_new_term {
503                // HashMap entry overhead + PostingListBuilder + Vec header
504                self.estimated_memory +=
505                    size_of::<TermKey>() + size_of::<PostingListBuilder>() + 24;
506            }
507
508            // Add positions if enabled
509            if position_mode.is_some()
510                && let Some(positions) = local_positions.get(&term_spur)
511            {
512                let is_new_pos_term = !self.position_index.contains_key(&term_key);
513                let pos_posting = self
514                    .position_index
515                    .entry(term_key)
516                    .or_insert_with(PositionPostingListBuilder::new);
517                for &pos in positions {
518                    pos_posting.add_position(doc_id, pos);
519                }
520                // Incremental memory tracking for position index
521                self.estimated_memory += positions.len() * size_of::<u32>();
522                if is_new_pos_term {
523                    self.estimated_memory +=
524                        size_of::<TermKey>() + size_of::<PositionPostingListBuilder>() + 24;
525                }
526            }
527        }
528
529        Ok(token_position)
530    }
531
532    fn index_numeric_field(&mut self, field: Field, doc_id: DocId, value: u64) -> Result<()> {
533        use std::mem::size_of;
534
535        // For numeric fields, we use a special encoding
536        let term_str = format!("__num_{}", value);
537        let is_new_string = !self.term_interner.contains(&term_str);
538        let term_spur = self.term_interner.get_or_intern(&term_str);
539
540        let term_key = TermKey {
541            field: field.0,
542            term: term_spur,
543        };
544
545        let is_new_term = !self.inverted_index.contains_key(&term_key);
546        let posting = self
547            .inverted_index
548            .entry(term_key)
549            .or_insert_with(PostingListBuilder::new);
550        posting.add(doc_id, 1);
551
552        // Incremental memory tracking
553        self.estimated_memory += size_of::<CompactPosting>();
554        if is_new_term {
555            self.estimated_memory += size_of::<TermKey>() + size_of::<PostingListBuilder>() + 24;
556        }
557        if is_new_string {
558            self.estimated_memory += term_str.len() + size_of::<Spur>() + 2 * size_of::<usize>();
559        }
560
561        Ok(())
562    }
563
564    /// Index a dense vector field with ordinal tracking
565    fn index_dense_vector_field(
566        &mut self,
567        field: Field,
568        doc_id: DocId,
569        ordinal: u16,
570        vector: &[f32],
571    ) -> Result<()> {
572        let dim = vector.len();
573
574        let builder = self
575            .dense_vectors
576            .entry(field.0)
577            .or_insert_with(|| DenseVectorBuilder::new(dim));
578
579        // Verify dimension consistency
580        if builder.dim != dim && builder.len() > 0 {
581            return Err(crate::Error::Schema(format!(
582                "Dense vector dimension mismatch: expected {}, got {}",
583                builder.dim, dim
584            )));
585        }
586
587        builder.add(doc_id, ordinal, vector);
588
589        // Incremental memory tracking
590        use std::mem::{size_of, size_of_val};
591        self.estimated_memory += size_of_val(vector) + size_of::<(DocId, u16)>();
592
593        Ok(())
594    }
595
596    /// Index a sparse vector field using dedicated sparse posting lists
597    ///
598    /// Collects (doc_id, ordinal, weight) postings per dimension. During commit, these are
599    /// converted to BlockSparsePostingList with proper quantization from SparseVectorConfig.
600    ///
601    /// Weights below the configured `weight_threshold` are not indexed.
602    fn index_sparse_vector_field(
603        &mut self,
604        field: Field,
605        doc_id: DocId,
606        ordinal: u16,
607        entries: &[(u32, f32)],
608    ) -> Result<()> {
609        // Get weight threshold from field config (default 0.0 = no filtering)
610        let weight_threshold = self
611            .schema
612            .get_field_entry(field)
613            .and_then(|entry| entry.sparse_vector_config.as_ref())
614            .map(|config| config.weight_threshold)
615            .unwrap_or(0.0);
616
617        let builder = self
618            .sparse_vectors
619            .entry(field.0)
620            .or_insert_with(SparseVectorBuilder::new);
621
622        for &(dim_id, weight) in entries {
623            // Skip weights below threshold
624            if weight.abs() < weight_threshold {
625                continue;
626            }
627
628            // Incremental memory tracking
629            use std::mem::size_of;
630            let is_new_dim = !builder.postings.contains_key(&dim_id);
631            builder.add(dim_id, doc_id, ordinal, weight);
632            self.estimated_memory += size_of::<(DocId, u16, f32)>();
633            if is_new_dim {
634                // HashMap entry overhead + Vec header
635                self.estimated_memory += size_of::<u32>() + size_of::<Vec<(DocId, u16, f32)>>() + 8; // 8 = hashmap control byte + padding
636            }
637        }
638
639        Ok(())
640    }
641
642    /// Write document to streaming store
643    fn write_document_to_store(&mut self, doc: &Document) -> Result<()> {
644        use byteorder::{LittleEndian, WriteBytesExt};
645
646        let doc_bytes = super::store::serialize_document(doc, &self.schema)?;
647
648        self.store_file
649            .write_u32::<LittleEndian>(doc_bytes.len() as u32)?;
650        self.store_file.write_all(&doc_bytes)?;
651
652        Ok(())
653    }
654
655    /// Build the final segment
656    ///
657    /// Streams all data directly to disk via StreamingWriter to avoid buffering
658    /// entire serialized outputs in memory. Each phase consumes and drops its
659    /// source data before the next phase begins.
660    pub async fn build<D: Directory + DirectoryWriter>(
661        mut self,
662        dir: &D,
663        segment_id: SegmentId,
664    ) -> Result<SegmentMeta> {
665        // Flush any buffered data
666        self.store_file.flush()?;
667
668        let files = SegmentFiles::new(segment_id.0);
669
670        // Phase 1: Stream positions directly to disk (consumes position_index)
671        let position_index = std::mem::take(&mut self.position_index);
672        let position_offsets = if !position_index.is_empty() {
673            let mut pos_writer = dir.streaming_writer(&files.positions).await?;
674            let offsets = Self::build_positions_streaming(
675                position_index,
676                &self.term_interner,
677                &mut *pos_writer,
678            )?;
679            pos_writer.finish()?;
680            offsets
681        } else {
682            FxHashMap::default()
683        };
684
685        // Phase 2: Build postings + store — stream directly to disk
686        let inverted_index = std::mem::take(&mut self.inverted_index);
687        let term_interner = std::mem::replace(&mut self.term_interner, Rodeo::new());
688        let store_path = self.store_path.clone();
689        let schema_clone = self.schema.clone();
690        let num_compression_threads = self.config.num_compression_threads;
691        let compression_level = self.config.compression_level;
692
693        // Create streaming writers (async) before entering sync build phases
694        let mut term_dict_writer = dir.streaming_writer(&files.term_dict).await?;
695        let mut postings_writer = dir.streaming_writer(&files.postings).await?;
696        let mut store_writer = dir.streaming_writer(&files.store).await?;
697
698        let (postings_result, store_result) = rayon::join(
699            || {
700                Self::build_postings_streaming(
701                    inverted_index,
702                    term_interner,
703                    &position_offsets,
704                    &mut *term_dict_writer,
705                    &mut *postings_writer,
706                )
707            },
708            || {
709                Self::build_store_streaming(
710                    &store_path,
711                    &schema_clone,
712                    num_compression_threads,
713                    compression_level,
714                    &mut *store_writer,
715                )
716            },
717        );
718        postings_result?;
719        store_result?;
720        term_dict_writer.finish()?;
721        postings_writer.finish()?;
722        store_writer.finish()?;
723        drop(position_offsets);
724
725        // Phase 3: Dense vectors — stream directly to disk
726        let dense_vectors = std::mem::take(&mut self.dense_vectors);
727        if !dense_vectors.is_empty() {
728            let mut writer = dir.streaming_writer(&files.vectors).await?;
729            Self::build_vectors_streaming(dense_vectors, &self.schema, &mut *writer)?;
730            writer.finish()?;
731        }
732
733        // Phase 4: Sparse vectors — stream directly to disk
734        let mut sparse_vectors = std::mem::take(&mut self.sparse_vectors);
735        if !sparse_vectors.is_empty() {
736            let mut writer = dir.streaming_writer(&files.sparse).await?;
737            Self::build_sparse_streaming(&mut sparse_vectors, &self.schema, &mut *writer)?;
738            drop(sparse_vectors);
739            writer.finish()?;
740        }
741
742        let meta = SegmentMeta {
743            id: segment_id.0,
744            num_docs: self.next_doc_id,
745            field_stats: self.field_stats.clone(),
746        };
747
748        dir.write(&files.meta, &meta.serialize()?).await?;
749
750        // Cleanup temp files
751        let _ = std::fs::remove_file(&self.store_path);
752
753        Ok(meta)
754    }
755
756    /// Stream dense vectors directly to disk (zero-buffer for vector data).
757    ///
758    /// Computes sizes deterministically (no trial serialization needed), writes
759    /// a small header, then streams each field's raw f32 data directly to the writer.
760    fn build_vectors_streaming(
761        dense_vectors: FxHashMap<u32, DenseVectorBuilder>,
762        schema: &Schema,
763        writer: &mut dyn Write,
764    ) -> Result<()> {
765        use crate::dsl::DenseVectorQuantization;
766        use byteorder::{LittleEndian, WriteBytesExt};
767
768        let mut fields: Vec<(u32, DenseVectorBuilder)> = dense_vectors
769            .into_iter()
770            .filter(|(_, b)| b.len() > 0)
771            .collect();
772        fields.sort_by_key(|(id, _)| *id);
773
774        if fields.is_empty() {
775            return Ok(());
776        }
777
778        // Resolve quantization config per field from schema
779        let quants: Vec<DenseVectorQuantization> = fields
780            .iter()
781            .map(|(field_id, _)| {
782                schema
783                    .get_field_entry(Field(*field_id))
784                    .and_then(|e| e.dense_vector_config.as_ref())
785                    .map(|c| c.quantization)
786                    .unwrap_or(DenseVectorQuantization::F32)
787            })
788            .collect();
789
790        // Compute sizes using deterministic formula (no serialization needed)
791        let mut field_sizes: Vec<usize> = Vec::with_capacity(fields.len());
792        for (i, (_field_id, builder)) in fields.iter().enumerate() {
793            field_sizes.push(FlatVectorData::serialized_binary_size(
794                builder.dim,
795                builder.len(),
796                quants[i],
797            ));
798        }
799
800        /// Magic number for vectors file footer ("VEC2" in LE)
801        const VECTORS_FOOTER_MAGIC: u32 = 0x32434556;
802        const FLAT_BINARY_INDEX_TYPE: u8 = 4;
803
804        // Data-first format: stream field data, then write TOC + footer at end.
805        // Data starts at file offset 0 → mmap page-aligned, no alignment copies.
806        struct TocEntry {
807            field_id: u32,
808            offset: u64,
809            size: u64,
810        }
811        let mut toc: Vec<TocEntry> = Vec::with_capacity(fields.len());
812        let mut current_offset = 0u64;
813
814        // Stream each field's data directly (builder → disk, no intermediate buffer)
815        for (i, (_field_id, builder)) in fields.into_iter().enumerate() {
816            let data_offset = current_offset;
817            FlatVectorData::serialize_binary_from_flat_streaming(
818                builder.dim,
819                &builder.vectors,
820                &builder.doc_ids,
821                quants[i],
822                writer,
823            )
824            .map_err(crate::Error::Io)?;
825            current_offset += field_sizes[i] as u64;
826            toc.push(TocEntry {
827                field_id: _field_id,
828                offset: data_offset,
829                size: field_sizes[i] as u64,
830            });
831            // Pad to 8-byte boundary so next field's mmap slice is aligned
832            let pad = (8 - (current_offset % 8)) % 8;
833            if pad > 0 {
834                writer.write_all(&[0u8; 8][..pad as usize])?;
835                current_offset += pad;
836            }
837            // builder dropped here, freeing vector memory before next field
838        }
839
840        // Write TOC entries
841        let toc_offset = current_offset;
842        for entry in &toc {
843            writer.write_u32::<LittleEndian>(entry.field_id)?;
844            writer.write_u8(FLAT_BINARY_INDEX_TYPE)?;
845            writer.write_u64::<LittleEndian>(entry.offset)?;
846            writer.write_u64::<LittleEndian>(entry.size)?;
847        }
848
849        // Write footer: toc_offset(8) + num_fields(4) + magic(4)
850        writer.write_u64::<LittleEndian>(toc_offset)?;
851        writer.write_u32::<LittleEndian>(toc.len() as u32)?;
852        writer.write_u32::<LittleEndian>(VECTORS_FOOTER_MAGIC)?;
853
854        Ok(())
855    }
856
857    /// Stream sparse vectors directly to disk.
858    ///
859    /// Serializes per-dimension posting lists (needed for header offset computation),
860    /// writes header, then streams each dimension's data directly to the writer.
861    /// Eliminates the triple-buffered approach (dim_bytes + all_data + output).
862    fn build_sparse_streaming(
863        sparse_vectors: &mut FxHashMap<u32, SparseVectorBuilder>,
864        schema: &Schema,
865        writer: &mut dyn Write,
866    ) -> Result<()> {
867        use crate::structures::{BlockSparsePostingList, WeightQuantization};
868        use byteorder::{LittleEndian, WriteBytesExt};
869
870        if sparse_vectors.is_empty() {
871            return Ok(());
872        }
873
874        // Phase 1: Serialize all dims, keep bytes for offset computation
875        type DimEntry = (u32, Vec<u8>);
876        type FieldEntry = (u32, WeightQuantization, Vec<DimEntry>);
877        let mut field_data: Vec<FieldEntry> = Vec::new();
878
879        for (&field_id, builder) in sparse_vectors.iter_mut() {
880            if builder.is_empty() {
881                continue;
882            }
883
884            let field = crate::dsl::Field(field_id);
885            let sparse_config = schema
886                .get_field_entry(field)
887                .and_then(|e| e.sparse_vector_config.as_ref());
888
889            let quantization = sparse_config
890                .map(|c| c.weight_quantization)
891                .unwrap_or(WeightQuantization::Float32);
892
893            let block_size = sparse_config.map(|c| c.block_size).unwrap_or(128);
894            let pruning_fraction = sparse_config.and_then(|c| c.posting_list_pruning);
895
896            let mut dims: Vec<DimEntry> = Vec::new();
897
898            for (&dim_id, postings) in builder.postings.iter_mut() {
899                postings.sort_unstable_by_key(|(doc_id, ordinal, _)| (*doc_id, *ordinal));
900
901                if let Some(fraction) = pruning_fraction
902                    && postings.len() > 1
903                    && fraction < 1.0
904                {
905                    let original_len = postings.len();
906                    postings.sort_by(|a, b| {
907                        b.2.abs()
908                            .partial_cmp(&a.2.abs())
909                            .unwrap_or(std::cmp::Ordering::Equal)
910                    });
911                    let keep = ((original_len as f64 * fraction as f64).ceil() as usize).max(1);
912                    postings.truncate(keep);
913                    postings.sort_unstable_by_key(|(d, o, _)| (*d, *o));
914                }
915
916                let block_list = BlockSparsePostingList::from_postings_with_block_size(
917                    postings,
918                    quantization,
919                    block_size,
920                )
921                .map_err(crate::Error::Io)?;
922
923                let mut bytes = Vec::new();
924                block_list.serialize(&mut bytes).map_err(crate::Error::Io)?;
925                dims.push((dim_id, bytes));
926            }
927
928            dims.sort_by_key(|(id, _)| *id);
929            field_data.push((field_id, quantization, dims));
930        }
931
932        if field_data.is_empty() {
933            return Ok(());
934        }
935
936        field_data.sort_by_key(|(id, _, _)| *id);
937
938        // Phase 2: Compute header size and offsets
939        // num_fields(u32) + per-field: field_id(u32) + quantization(u8) + num_dims(u32)
940        // per-dim: dim_id(u32) + offset(u64) + length(u32)
941        let per_dim_entry = size_of::<u32>() + size_of::<u64>() + size_of::<u32>();
942        let per_field_header = size_of::<u32>() + size_of::<u8>() + size_of::<u32>();
943        let mut header_size = size_of::<u32>() as u64;
944        for (_, _, dims) in &field_data {
945            header_size += per_field_header as u64;
946            header_size += (dims.len() as u64) * per_dim_entry as u64;
947        }
948
949        let mut header = Vec::with_capacity(header_size as usize);
950        header.write_u32::<LittleEndian>(field_data.len() as u32)?;
951
952        let mut current_offset = header_size;
953        for (field_id, quantization, dims) in &field_data {
954            header.write_u32::<LittleEndian>(*field_id)?;
955            header.write_u8(*quantization as u8)?;
956            header.write_u32::<LittleEndian>(dims.len() as u32)?;
957
958            for (dim_id, bytes) in dims {
959                header.write_u32::<LittleEndian>(*dim_id)?;
960                header.write_u64::<LittleEndian>(current_offset)?;
961                header.write_u32::<LittleEndian>(bytes.len() as u32)?;
962                current_offset += bytes.len() as u64;
963            }
964        }
965
966        // Phase 3: Write header, then stream each dimension's data
967        writer.write_all(&header)?;
968
969        for (_, _, dims) in field_data {
970            for (_, bytes) in dims {
971                writer.write_all(&bytes)?;
972                // bytes dropped here — one dim at a time
973            }
974        }
975
976        Ok(())
977    }
978
979    /// Stream positions directly to disk, returning only the offset map.
980    ///
981    /// Consumes the position_index and writes each position posting list
982    /// directly to the writer, tracking offsets for the postings phase.
983    fn build_positions_streaming(
984        position_index: HashMap<TermKey, PositionPostingListBuilder>,
985        term_interner: &Rodeo,
986        writer: &mut dyn Write,
987    ) -> Result<FxHashMap<Vec<u8>, (u64, u32)>> {
988        use crate::structures::PositionPostingList;
989
990        let mut position_offsets: FxHashMap<Vec<u8>, (u64, u32)> = FxHashMap::default();
991
992        // Consume HashMap into Vec for sorting (owned, no borrowing)
993        let mut entries: Vec<(Vec<u8>, PositionPostingListBuilder)> = position_index
994            .into_iter()
995            .map(|(term_key, pos_builder)| {
996                let term_str = term_interner.resolve(&term_key.term);
997                let mut key = Vec::with_capacity(size_of::<u32>() + term_str.len());
998                key.extend_from_slice(&term_key.field.to_le_bytes());
999                key.extend_from_slice(term_str.as_bytes());
1000                (key, pos_builder)
1001            })
1002            .collect();
1003
1004        entries.sort_by(|a, b| a.0.cmp(&b.0));
1005
1006        let mut current_offset = 0u64;
1007
1008        for (key, pos_builder) in entries {
1009            let mut pos_list = PositionPostingList::with_capacity(pos_builder.postings.len());
1010            for (doc_id, positions) in pos_builder.postings {
1011                pos_list.push(doc_id, positions);
1012            }
1013
1014            // Serialize to a temp buffer to get exact length, then write
1015            let mut buf = Vec::new();
1016            pos_list.serialize(&mut buf).map_err(crate::Error::Io)?;
1017            writer.write_all(&buf)?;
1018
1019            position_offsets.insert(key, (current_offset, buf.len() as u32));
1020            current_offset += buf.len() as u64;
1021        }
1022
1023        Ok(position_offsets)
1024    }
1025
1026    /// Stream postings directly to disk.
1027    ///
1028    /// Parallel serialization of posting lists, then sequential streaming of
1029    /// term dict and postings data directly to writers (no Vec<u8> accumulation).
1030    fn build_postings_streaming(
1031        inverted_index: HashMap<TermKey, PostingListBuilder>,
1032        term_interner: Rodeo,
1033        position_offsets: &FxHashMap<Vec<u8>, (u64, u32)>,
1034        term_dict_writer: &mut dyn Write,
1035        postings_writer: &mut dyn Write,
1036    ) -> Result<()> {
1037        // Phase 1: Consume HashMap into sorted Vec (frees HashMap overhead)
1038        let mut term_entries: Vec<(Vec<u8>, PostingListBuilder)> = inverted_index
1039            .into_iter()
1040            .map(|(term_key, posting_list)| {
1041                let term_str = term_interner.resolve(&term_key.term);
1042                let mut key = Vec::with_capacity(4 + term_str.len());
1043                key.extend_from_slice(&term_key.field.to_le_bytes());
1044                key.extend_from_slice(term_str.as_bytes());
1045                (key, posting_list)
1046            })
1047            .collect();
1048
1049        drop(term_interner);
1050
1051        term_entries.par_sort_unstable_by(|a, b| a.0.cmp(&b.0));
1052
1053        // Phase 2: Parallel serialization
1054        let serialized: Vec<(Vec<u8>, SerializedPosting)> = term_entries
1055            .into_par_iter()
1056            .map(|(key, posting_builder)| {
1057                let mut full_postings = PostingList::with_capacity(posting_builder.len());
1058                for p in &posting_builder.postings {
1059                    full_postings.push(p.doc_id, p.term_freq as u32);
1060                }
1061
1062                let doc_ids: Vec<u32> = full_postings.iter().map(|p| p.doc_id).collect();
1063                let term_freqs: Vec<u32> = full_postings.iter().map(|p| p.term_freq).collect();
1064
1065                let has_positions = position_offsets.contains_key(&key);
1066                let result = if !has_positions
1067                    && let Some(inline) = TermInfo::try_inline(&doc_ids, &term_freqs)
1068                {
1069                    SerializedPosting::Inline(inline)
1070                } else {
1071                    let mut posting_bytes = Vec::new();
1072                    let block_list =
1073                        crate::structures::BlockPostingList::from_posting_list(&full_postings)?;
1074                    block_list.serialize(&mut posting_bytes)?;
1075                    SerializedPosting::External {
1076                        bytes: posting_bytes,
1077                        doc_count: full_postings.doc_count(),
1078                    }
1079                };
1080
1081                Ok((key, result))
1082            })
1083            .collect::<Result<Vec<_>>>()?;
1084
1085        // Phase 3: Stream directly to writers (no intermediate Vec<u8> accumulation)
1086        let mut postings_offset = 0u64;
1087        let mut writer = SSTableWriter::<TermInfo>::new(term_dict_writer);
1088
1089        for (key, serialized_posting) in serialized {
1090            let term_info = match serialized_posting {
1091                SerializedPosting::Inline(info) => info,
1092                SerializedPosting::External { bytes, doc_count } => {
1093                    let posting_len = bytes.len() as u32;
1094                    postings_writer.write_all(&bytes)?;
1095
1096                    let info = if let Some(&(pos_offset, pos_len)) = position_offsets.get(&key) {
1097                        TermInfo::external_with_positions(
1098                            postings_offset,
1099                            posting_len,
1100                            doc_count,
1101                            pos_offset,
1102                            pos_len,
1103                        )
1104                    } else {
1105                        TermInfo::external(postings_offset, posting_len, doc_count)
1106                    };
1107                    postings_offset += posting_len as u64;
1108                    info
1109                }
1110            };
1111
1112            writer.insert(&key, &term_info)?;
1113        }
1114
1115        writer.finish()?;
1116        Ok(())
1117    }
1118
1119    /// Stream compressed document store directly to disk.
1120    ///
1121    /// Reads documents from temp file, compresses in parallel batches,
1122    /// and writes directly to the streaming writer (no Vec<u8> accumulation).
1123    fn build_store_streaming(
1124        store_path: &PathBuf,
1125        schema: &Schema,
1126        num_compression_threads: usize,
1127        compression_level: CompressionLevel,
1128        writer: &mut dyn Write,
1129    ) -> Result<()> {
1130        use super::store::EagerParallelStoreWriter;
1131
1132        let file = File::open(store_path)?;
1133        let mmap = unsafe { memmap2::Mmap::map(&file)? };
1134
1135        let mut doc_ranges: Vec<(usize, usize)> = Vec::new();
1136        let mut offset = 0usize;
1137        while offset + 4 <= mmap.len() {
1138            let doc_len = u32::from_le_bytes([
1139                mmap[offset],
1140                mmap[offset + 1],
1141                mmap[offset + 2],
1142                mmap[offset + 3],
1143            ]) as usize;
1144            offset += 4;
1145
1146            if offset + doc_len > mmap.len() {
1147                break;
1148            }
1149
1150            doc_ranges.push((offset, doc_len));
1151            offset += doc_len;
1152        }
1153
1154        const BATCH_SIZE: usize = 10_000;
1155        let mut store_writer = EagerParallelStoreWriter::with_compression_level(
1156            writer,
1157            num_compression_threads,
1158            compression_level,
1159        );
1160
1161        for batch in doc_ranges.chunks(BATCH_SIZE) {
1162            let batch_docs: Vec<Document> = batch
1163                .par_iter()
1164                .filter_map(|&(start, len)| {
1165                    let doc_bytes = &mmap[start..start + len];
1166                    super::store::deserialize_document(doc_bytes, schema).ok()
1167                })
1168                .collect();
1169
1170            for doc in &batch_docs {
1171                store_writer.store(doc, schema)?;
1172            }
1173        }
1174
1175        store_writer.finish()?;
1176        Ok(())
1177    }
1178}
1179
1180impl Drop for SegmentBuilder {
1181    fn drop(&mut self) {
1182        // Cleanup temp files on drop
1183        let _ = std::fs::remove_file(&self.store_path);
1184    }
1185}