use std::collections::{HashMap, HashSet}; use grenad::{CompressionType, MergerBuilder}; use heed::types::ByteSlice; use heed::BytesDecode; use log::debug; use slice_group_by::GroupBy; use crate::update::index_documents::{ create_sorter, merge_cbo_roaring_bitmaps, sorter_into_lmdb_database, CursorClonableMmap, MergeFn, }; use crate::{Index, Result, StrStrU8Codec}; pub struct WordPrefixPairProximityDocids<'t, 'u, 'i> { wtxn: &'t mut heed::RwTxn<'i, 'u>, index: &'i Index, pub(crate) chunk_compression_type: CompressionType, pub(crate) chunk_compression_level: Option, pub(crate) max_nb_chunks: Option, pub(crate) max_memory: Option, max_proximity: u8, max_prefix_length: usize, } impl<'t, 'u, 'i> WordPrefixPairProximityDocids<'t, 'u, 'i> { pub fn new( wtxn: &'t mut heed::RwTxn<'i, 'u>, index: &'i Index, ) -> WordPrefixPairProximityDocids<'t, 'u, 'i> { WordPrefixPairProximityDocids { wtxn, index, chunk_compression_type: CompressionType::None, chunk_compression_level: None, max_nb_chunks: None, max_memory: None, max_proximity: 4, max_prefix_length: 2, } } /// Set the maximum proximity required to make a prefix be part of the words prefixes /// database. If two words are too far from the threshold the associated documents will /// not be part of the prefix database. /// /// Default value is 4. This value must be lower or equal than 7 and will be clamped /// to this bound otherwise. pub fn max_proximity(&mut self, value: u8) -> &mut Self { self.max_proximity = value.max(7); self } /// Set the maximum length the prefix of a word pair is allowed to have to be part of the words /// prefixes database. If the prefix length is higher than the threshold, the associated documents /// will not be part of the prefix database. /// /// Default value is 2. pub fn max_prefix_length(&mut self, value: usize) -> &mut Self { self.max_prefix_length = value; self } #[logging_timer::time("WordPrefixPairProximityDocids::{}")] pub fn execute( self, new_word_pair_proximity_docids: Vec>, new_prefix_fst_words: &[String], common_prefix_fst_words: &[&[String]], del_prefix_fst_words: &HashSet>, ) -> Result<()> { debug!("Computing and writing the word prefix pair proximity docids into LMDB on disk..."); let new_prefix_fst_words: Vec<_> = new_prefix_fst_words.linear_group_by_key(|x| x.chars().nth(0).unwrap()).collect(); // We retrieve and merge the created word pair proximities docids entries // for the newly added documents. let mut wppd_merger = MergerBuilder::new(merge_cbo_roaring_bitmaps); for reader in new_word_pair_proximity_docids { wppd_merger.push(reader.into_cursor()?); } let mut wppd_iter = wppd_merger.build().into_stream_merger_iter()?; let mut word_prefix_pair_proximity_docids_sorter = create_sorter( merge_cbo_roaring_bitmaps, self.chunk_compression_type, self.chunk_compression_level, self.max_nb_chunks, self.max_memory, ); // We compute the prefix docids associated with the common prefixes between // the old and new word prefix fst. let mut buffer = Vec::new(); let mut current_prefixes: Option<&&[String]> = None; let mut prefixes_cache = HashMap::new(); while let Some((key, data)) = wppd_iter.next()? { let (w1, w2, prox) = StrStrU8Codec::bytes_decode(key).ok_or(heed::Error::Decoding)?; if prox > self.max_proximity { continue; } insert_current_prefix_data_in_sorter( &mut buffer, &mut current_prefixes, &mut prefixes_cache, &mut word_prefix_pair_proximity_docids_sorter, common_prefix_fst_words, self.max_prefix_length, w1, w2, prox, data, )?; } write_prefixes_in_sorter( &mut prefixes_cache, &mut word_prefix_pair_proximity_docids_sorter, )?; // We compute the prefix docids associated with the newly added prefixes // in the new word prefix fst. let mut db_iter = self.index.word_pair_proximity_docids.remap_data_type::().iter(self.wtxn)?; let mut buffer = Vec::new(); let mut current_prefixes: Option<&&[String]> = None; let mut prefixes_cache = HashMap::new(); while let Some(((w1, w2, prox), data)) = db_iter.next().transpose()? { if prox > self.max_proximity { continue; } insert_current_prefix_data_in_sorter( &mut buffer, &mut current_prefixes, &mut prefixes_cache, &mut word_prefix_pair_proximity_docids_sorter, &new_prefix_fst_words, self.max_prefix_length, w1, w2, prox, data, )?; } write_prefixes_in_sorter( &mut prefixes_cache, &mut word_prefix_pair_proximity_docids_sorter, )?; drop(db_iter); // All of the word prefix pairs in the database that have a w2 // that is contained in the `suppr_pw` set must be removed as well. let mut iter = self .index .word_prefix_pair_proximity_docids .remap_data_type::() .iter_mut(self.wtxn)?; while let Some(((_, w2, _), _)) = iter.next().transpose()? { if del_prefix_fst_words.contains(w2.as_bytes()) { // Delete this entry as the w2 prefix is no more in the words prefix fst. unsafe { iter.del_current()? }; } } drop(iter); // We finally write and merge the new word prefix pair proximity docids // in the LMDB database. sorter_into_lmdb_database( self.wtxn, *self.index.word_prefix_pair_proximity_docids.as_polymorph(), word_prefix_pair_proximity_docids_sorter, merge_cbo_roaring_bitmaps, )?; Ok(()) } } fn write_prefixes_in_sorter( prefixes: &mut HashMap, Vec>>, sorter: &mut grenad::Sorter, ) -> Result<()> { for (key, data_slices) in prefixes.drain() { for data in data_slices { sorter.insert(&key, data)?; } } Ok(()) } /// Computes the current prefix based on the previous and the currently iterated value /// i.e. w1, w2, prox. It also makes sure to follow the `max_prefix_length` setting. /// /// Uses the current prefixes values to insert the associated data i.e. RoaringBitmap, /// into the sorter that will, later, be inserted in the LMDB database. fn insert_current_prefix_data_in_sorter<'a>( buffer: &mut Vec, current_prefixes: &mut Option<&'a &'a [String]>, prefixes_cache: &mut HashMap, Vec>>, word_prefix_pair_proximity_docids_sorter: &mut grenad::Sorter, prefix_fst_keys: &'a [&'a [std::string::String]], max_prefix_length: usize, w1: &str, w2: &str, prox: u8, data: &[u8], ) -> Result<()> { *current_prefixes = match current_prefixes.take() { Some(prefixes) if w2.starts_with(&prefixes[0]) => Some(prefixes), _otherwise => { write_prefixes_in_sorter(prefixes_cache, word_prefix_pair_proximity_docids_sorter)?; prefix_fst_keys.iter().find(|prefixes| w2.starts_with(&prefixes[0])) } }; if let Some(prefixes) = current_prefixes { buffer.clear(); buffer.extend_from_slice(w1.as_bytes()); buffer.push(0); for prefix in prefixes.iter() { if prefix.len() <= max_prefix_length && w2.starts_with(prefix) { buffer.truncate(w1.len() + 1); buffer.extend_from_slice(prefix.as_bytes()); buffer.push(prox); match prefixes_cache.get_mut(buffer.as_slice()) { Some(value) => value.push(data.to_owned()), None => { prefixes_cache.insert(buffer.clone(), vec![data.to_owned()]); } } } } } Ok(()) }