1f2bbffb5SAndreas Gohr<?php 2f2bbffb5SAndreas Gohr 3f2bbffb5SAndreas Gohrnamespace dokuwiki\Search\Collection; 4f2bbffb5SAndreas Gohr 5f2bbffb5SAndreas Gohruse dokuwiki\Search\Exception\IndexAccessException; 6f2bbffb5SAndreas Gohruse dokuwiki\Search\Exception\IndexLockException; 7f2bbffb5SAndreas Gohruse dokuwiki\Search\Exception\IndexWriteException; 8f2bbffb5SAndreas Gohruse dokuwiki\Search\Index\FileIndex; 9f2bbffb5SAndreas Gohruse dokuwiki\Search\Index\TupleOps; 10f2bbffb5SAndreas Gohruse dokuwiki\Search\Tokenizer; 11f2bbffb5SAndreas Gohruse dokuwiki\Search\Index\Lock; 12f2bbffb5SAndreas Gohruse dokuwiki\Search\Index\MemoryIndex; 13f2bbffb5SAndreas Gohr 14f2bbffb5SAndreas Gohr/** 15f2bbffb5SAndreas Gohr * Abstract base class for index collections 16f2bbffb5SAndreas Gohr * 17f2bbffb5SAndreas Gohr * A collection manages a group of related indexes that together provide a specific search use case. 18f2bbffb5SAndreas Gohr * Every collection works with four index types: entity, token, frequency, and reverse. 19f2bbffb5SAndreas Gohr * 20f2bbffb5SAndreas Gohr * entity - the list of the main entities (eg. pages) 21f2bbffb5SAndreas Gohr * token - the list of tokens (eg. words) assigned to entities (can be split into multiple files) 22f2bbffb5SAndreas Gohr * frequency - how often a token appears on a entity (can be split into multiple files) 23f2bbffb5SAndreas Gohr * reverse - the list of tokens assigned to each entity 24f2bbffb5SAndreas Gohr * 25f2bbffb5SAndreas Gohr * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 26f2bbffb5SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org> 27f2bbffb5SAndreas Gohr * @author Tom N Harris <tnharris@whoopdedo.org> 28f2bbffb5SAndreas Gohr */ 29f2bbffb5SAndreas Gohrabstract class AbstractCollection 30f2bbffb5SAndreas Gohr{ 31f2bbffb5SAndreas Gohr /** @var bool Has a lock been acquired for all used indexes? */ 32f2bbffb5SAndreas Gohr protected bool $isWritable = false; 33f2bbffb5SAndreas Gohr 34f2bbffb5SAndreas Gohr /** 35f2bbffb5SAndreas Gohr * Initialize the collection with the names of the indexes it manages 36f2bbffb5SAndreas Gohr * 37f2bbffb5SAndreas Gohr * @param string $idxEntity Name of the primary entity index, eg. 'page' 38f2bbffb5SAndreas Gohr * @param string $idxToken Base name of the secondary entity index, eg. 'w' for words 39f2bbffb5SAndreas Gohr * @param string $idxFrequency Base name of the frequency index, eg. 'i' for word frequencies 40f2bbffb5SAndreas Gohr * @param string $idxReverse Name of the reverse index, eg. 'pageword' 41f2bbffb5SAndreas Gohr * @param bool $splitByLength Whether to split token/frequency indexes by token length 42f2bbffb5SAndreas Gohr */ 43f2bbffb5SAndreas Gohr public function __construct( 44f2bbffb5SAndreas Gohr protected string $idxEntity, 45f2bbffb5SAndreas Gohr protected string $idxToken, 46*d92c078cSAndreas Gohr protected string $idxFrequency = '', 47*d92c078cSAndreas Gohr protected string $idxReverse = '', 48f2bbffb5SAndreas Gohr protected bool $splitByLength = false 49f2bbffb5SAndreas Gohr ) { 50f2bbffb5SAndreas Gohr } 51f2bbffb5SAndreas Gohr 52f2bbffb5SAndreas Gohr /** 53f2bbffb5SAndreas Gohr * Destructor 54f2bbffb5SAndreas Gohr * 55f2bbffb5SAndreas Gohr * Ensures locks are released when the class is destroyed 56f2bbffb5SAndreas Gohr */ 57f2bbffb5SAndreas Gohr public function __destruct() 58f2bbffb5SAndreas Gohr { 59f2bbffb5SAndreas Gohr if ($this->isWritable) { 60f2bbffb5SAndreas Gohr $this->unlock(); 61f2bbffb5SAndreas Gohr } 62f2bbffb5SAndreas Gohr } 63f2bbffb5SAndreas Gohr 64f2bbffb5SAndreas Gohr /** 65f2bbffb5SAndreas Gohr * Lock all indexes for writing 66f2bbffb5SAndreas Gohr * 67f2bbffb5SAndreas Gohr * @return $this can be used for chaining 68f2bbffb5SAndreas Gohr * @throws IndexLockException 69f2bbffb5SAndreas Gohr */ 70f2bbffb5SAndreas Gohr public function lock(): static 71f2bbffb5SAndreas Gohr { 72*d92c078cSAndreas Gohr foreach (array_filter([$this->idxEntity, $this->idxToken, $this->idxFrequency, $this->idxReverse]) as $idxName) { 73f2bbffb5SAndreas Gohr if (!(new Lock($idxName))->acquire()) { 74f2bbffb5SAndreas Gohr $this->unlock(); // release any already acquired locks 75f2bbffb5SAndreas Gohr throw new IndexLockException('Could not lock ' . $idxName . ' for writing'); 76f2bbffb5SAndreas Gohr } 77f2bbffb5SAndreas Gohr } 78f2bbffb5SAndreas Gohr // locking succeeded 79f2bbffb5SAndreas Gohr $this->isWritable = true; 80f2bbffb5SAndreas Gohr return $this; 81f2bbffb5SAndreas Gohr } 82f2bbffb5SAndreas Gohr 83f2bbffb5SAndreas Gohr /** 84f2bbffb5SAndreas Gohr * Unlock all indexes 85f2bbffb5SAndreas Gohr * 86f2bbffb5SAndreas Gohr * @return void 87f2bbffb5SAndreas Gohr */ 88f2bbffb5SAndreas Gohr public function unlock(): void 89f2bbffb5SAndreas Gohr { 90*d92c078cSAndreas Gohr foreach (array_filter([$this->idxEntity, $this->idxToken, $this->idxFrequency, $this->idxReverse]) as $idxName) { 91f2bbffb5SAndreas Gohr (new Lock($idxName))->release(); 92f2bbffb5SAndreas Gohr } 93f2bbffb5SAndreas Gohr $this->isWritable = false; 94f2bbffb5SAndreas Gohr } 95f2bbffb5SAndreas Gohr 96f2bbffb5SAndreas Gohr /** 97f2bbffb5SAndreas Gohr * @return FileIndex 98f2bbffb5SAndreas Gohr */ 99f2bbffb5SAndreas Gohr public function getEntityIndex(): FileIndex 100f2bbffb5SAndreas Gohr { 101f2bbffb5SAndreas Gohr return new FileIndex($this->idxEntity, '', $this->isWritable); 102f2bbffb5SAndreas Gohr } 103f2bbffb5SAndreas Gohr 104f2bbffb5SAndreas Gohr /** 105f2bbffb5SAndreas Gohr * @param int|string $suffix 106f2bbffb5SAndreas Gohr * @return MemoryIndex 107f2bbffb5SAndreas Gohr */ 108f2bbffb5SAndreas Gohr public function getTokenIndex(int|string $suffix): MemoryIndex 109f2bbffb5SAndreas Gohr { 110f2bbffb5SAndreas Gohr return new MemoryIndex($this->idxToken, $suffix, $this->isWritable); 111f2bbffb5SAndreas Gohr } 112f2bbffb5SAndreas Gohr 113f2bbffb5SAndreas Gohr /** 114f2bbffb5SAndreas Gohr * @param int|string $suffix 115f2bbffb5SAndreas Gohr * @return MemoryIndex 116f2bbffb5SAndreas Gohr */ 117f2bbffb5SAndreas Gohr public function getFrequencyIndex(int|string $suffix): MemoryIndex 118f2bbffb5SAndreas Gohr { 119f2bbffb5SAndreas Gohr return new MemoryIndex($this->idxFrequency, $suffix, $this->isWritable); 120f2bbffb5SAndreas Gohr } 121f2bbffb5SAndreas Gohr 122f2bbffb5SAndreas Gohr /** 123f2bbffb5SAndreas Gohr * @return FileIndex 124f2bbffb5SAndreas Gohr */ 125f2bbffb5SAndreas Gohr public function getReverseIndex(): FileIndex 126f2bbffb5SAndreas Gohr { 127f2bbffb5SAndreas Gohr return new FileIndex($this->idxReverse, '', $this->isWritable); 128f2bbffb5SAndreas Gohr } 129f2bbffb5SAndreas Gohr 130f2bbffb5SAndreas Gohr /** 131f2bbffb5SAndreas Gohr * Maximum suffix for the token indexes (eg. max word length currently stored) 132f2bbffb5SAndreas Gohr * 133f2bbffb5SAndreas Gohr * @return int 134f2bbffb5SAndreas Gohr */ 135f2bbffb5SAndreas Gohr public function getTokenIndexMaximum(): int 136f2bbffb5SAndreas Gohr { 137f2bbffb5SAndreas Gohr return $this->getTokenIndex('')->max(); // no suffix needed to access the maximum 138f2bbffb5SAndreas Gohr } 139f2bbffb5SAndreas Gohr 140f2bbffb5SAndreas Gohr /** 141f2bbffb5SAndreas Gohr * Add or update the tokens for a given entity 142f2bbffb5SAndreas Gohr * 143f2bbffb5SAndreas Gohr * The given list of tokens replaces the previously stored list for that entity. An empty list removes the 144f2bbffb5SAndreas Gohr * entity from the index. 145f2bbffb5SAndreas Gohr * 146f2bbffb5SAndreas Gohr * The update merges old and new token data. getReverseAssignments() returns all previously stored token IDs 147f2bbffb5SAndreas Gohr * with a value of 0 (see parseReverseRecord). resolveTokens() returns the new token IDs with their values. 148f2bbffb5SAndreas Gohr * After array_replace_recursive, tokens only in the old map keep value 0 — causing updateIndexes to delete 149f2bbffb5SAndreas Gohr * them from the frequency index via TupleOps::updateTuple. Tokens in the new map overwrite with their value. 150f2bbffb5SAndreas Gohr * 151f2bbffb5SAndreas Gohr * @param string $entity The name of the entity 152f2bbffb5SAndreas Gohr * @param string[] $tokens The list of tokens for this entity 153f2bbffb5SAndreas Gohr * @throws IndexAccessException 154f2bbffb5SAndreas Gohr * @throws IndexWriteException 155f2bbffb5SAndreas Gohr * @throws IndexLockException 156f2bbffb5SAndreas Gohr */ 157f2bbffb5SAndreas Gohr public function addEntity(string $entity, array $tokens): void 158f2bbffb5SAndreas Gohr { 159f2bbffb5SAndreas Gohr if (!$this->isWritable) { 160f2bbffb5SAndreas Gohr throw new IndexLockException('Indexes not locked. Forgot to call lock()?'); 161f2bbffb5SAndreas Gohr } 162f2bbffb5SAndreas Gohr 163f2bbffb5SAndreas Gohr $entityIndex = $this->getEntityIndex(); 164f2bbffb5SAndreas Gohr $entityId = $entityIndex->accessCachedValue($entity); 165f2bbffb5SAndreas Gohr 166f2bbffb5SAndreas Gohr $old = $this->getReverseAssignments($entity); 167f2bbffb5SAndreas Gohr $new = $this->resolveTokens($tokens); 168f2bbffb5SAndreas Gohr 169f2bbffb5SAndreas Gohr $merged = array_replace_recursive($old, $new); 170f2bbffb5SAndreas Gohr 171f2bbffb5SAndreas Gohr $this->updateIndexes($merged, $entityId); 172f2bbffb5SAndreas Gohr $this->saveReverseAssignments($entity, $merged); 173f2bbffb5SAndreas Gohr } 174f2bbffb5SAndreas Gohr 175f2bbffb5SAndreas Gohr /** 176f2bbffb5SAndreas Gohr * Resolve raw tokens into the two-level structure [group => [tokenId => frequency]] 177f2bbffb5SAndreas Gohr * 178f2bbffb5SAndreas Gohr * Calls countTokens() to get token frequencies (subclass responsibility), then groups 179f2bbffb5SAndreas Gohr * by token length if splitByLength is enabled, or under '' if not. Finally resolves 180f2bbffb5SAndreas Gohr * token strings to IDs via the appropriate token index. 181f2bbffb5SAndreas Gohr * 182f2bbffb5SAndreas Gohr * @param string[] $tokens The raw token list 183f2bbffb5SAndreas Gohr * @return array [group => [tokenId => frequency, ...], ...] 184f2bbffb5SAndreas Gohr * @throws IndexLockException 185f2bbffb5SAndreas Gohr * @throws IndexWriteException 186f2bbffb5SAndreas Gohr */ 187f2bbffb5SAndreas Gohr protected function resolveTokens(array $tokens): array 188f2bbffb5SAndreas Gohr { 189f2bbffb5SAndreas Gohr $counted = $this->countTokens($tokens); 190f2bbffb5SAndreas Gohr 191f2bbffb5SAndreas Gohr // group tokens by their index suffix 192f2bbffb5SAndreas Gohr $groups = []; 193f2bbffb5SAndreas Gohr foreach ($counted as $token => $freq) { 194f2bbffb5SAndreas Gohr $group = $this->splitByLength ? (string)Tokenizer::tokenLength($token) : ''; 195f2bbffb5SAndreas Gohr $groups[$group][$token] = $freq; 196f2bbffb5SAndreas Gohr } 197f2bbffb5SAndreas Gohr 198f2bbffb5SAndreas Gohr // resolve token strings to IDs 199f2bbffb5SAndreas Gohr $result = []; 200f2bbffb5SAndreas Gohr foreach ($groups as $group => $tokenFreqs) { 201f2bbffb5SAndreas Gohr $tokenIndex = $this->getTokenIndex($group); 202f2bbffb5SAndreas Gohr $result[$group] = []; 203f2bbffb5SAndreas Gohr foreach ($tokenFreqs as $token => $freq) { 204f2bbffb5SAndreas Gohr $tokenId = $tokenIndex->getRowID((string)$token); 205f2bbffb5SAndreas Gohr $result[$group][$tokenId] = $freq; 206f2bbffb5SAndreas Gohr } 207f2bbffb5SAndreas Gohr $tokenIndex->save(); 208f2bbffb5SAndreas Gohr } 209f2bbffb5SAndreas Gohr 210f2bbffb5SAndreas Gohr return $result; 211f2bbffb5SAndreas Gohr } 212f2bbffb5SAndreas Gohr 213f2bbffb5SAndreas Gohr /** 214f2bbffb5SAndreas Gohr * Count or deduplicate tokens and return their frequencies 215f2bbffb5SAndreas Gohr * 216f2bbffb5SAndreas Gohr * FrequencyCollections return actual occurrence counts. 217f2bbffb5SAndreas Gohr * LookupCollections deduplicate and return 1 for each token. 218f2bbffb5SAndreas Gohr * 219f2bbffb5SAndreas Gohr * @param string[] $tokens The raw token list 220f2bbffb5SAndreas Gohr * @return array [token => frequency, ...] 221f2bbffb5SAndreas Gohr */ 222f2bbffb5SAndreas Gohr abstract protected function countTokens(array $tokens): array; 223f2bbffb5SAndreas Gohr 224f2bbffb5SAndreas Gohr /** 225f2bbffb5SAndreas Gohr * Get the token assignments for a given entity from the reverse index 226f2bbffb5SAndreas Gohr * 227f2bbffb5SAndreas Gohr * Returns the parsed reverse index record. The exact structure depends on the collection type. 228f2bbffb5SAndreas Gohr * 229f2bbffb5SAndreas Gohr * @param string $entity 230f2bbffb5SAndreas Gohr * @return array 231f2bbffb5SAndreas Gohr * @throws IndexAccessException 232f2bbffb5SAndreas Gohr * @throws IndexWriteException 233f2bbffb5SAndreas Gohr */ 234f2bbffb5SAndreas Gohr public function getReverseAssignments(string $entity): array 235f2bbffb5SAndreas Gohr { 236f2bbffb5SAndreas Gohr $entityIndex = $this->getEntityIndex(); 237f2bbffb5SAndreas Gohr $entityId = $entityIndex->accessCachedValue($entity); 238f2bbffb5SAndreas Gohr 239f2bbffb5SAndreas Gohr $reverseIndex = $this->getReverseIndex(); 240f2bbffb5SAndreas Gohr $record = $reverseIndex->retrieveRow($entityId); 241f2bbffb5SAndreas Gohr 242f2bbffb5SAndreas Gohr if ($record === '') { 243f2bbffb5SAndreas Gohr return []; 244f2bbffb5SAndreas Gohr } 245f2bbffb5SAndreas Gohr 246f2bbffb5SAndreas Gohr return $this->parseReverseRecord($record); 247f2bbffb5SAndreas Gohr } 248f2bbffb5SAndreas Gohr 249f2bbffb5SAndreas Gohr /** 250f2bbffb5SAndreas Gohr * Store the reverse index info about what tokens are assigned to the entity 251f2bbffb5SAndreas Gohr * 252f2bbffb5SAndreas Gohr * @param string $entity 253f2bbffb5SAndreas Gohr * @param array $data The assignment data to store 254f2bbffb5SAndreas Gohr * @return void 255f2bbffb5SAndreas Gohr * @throws IndexAccessException 256f2bbffb5SAndreas Gohr * @throws IndexWriteException 257f2bbffb5SAndreas Gohr * @throws IndexLockException 258f2bbffb5SAndreas Gohr */ 259f2bbffb5SAndreas Gohr protected function saveReverseAssignments(string $entity, array $data): void 260f2bbffb5SAndreas Gohr { 261f2bbffb5SAndreas Gohr // remove tokens with frequency 0 (no longer assigned), then remove empty groups 262f2bbffb5SAndreas Gohr $data = array_map('array_filter', $data); 263f2bbffb5SAndreas Gohr $data = array_filter($data); 264f2bbffb5SAndreas Gohr 265f2bbffb5SAndreas Gohr $record = $this->formatReverseRecord($data); 266f2bbffb5SAndreas Gohr 267f2bbffb5SAndreas Gohr $entityIndex = $this->getEntityIndex(); 268f2bbffb5SAndreas Gohr $entityId = $entityIndex->accessCachedValue($entity); 269f2bbffb5SAndreas Gohr 270f2bbffb5SAndreas Gohr $reverseIndex = $this->getReverseIndex(); 271f2bbffb5SAndreas Gohr $reverseIndex->changeRow($entityId, $record); 272f2bbffb5SAndreas Gohr } 273f2bbffb5SAndreas Gohr 274f2bbffb5SAndreas Gohr /** 275f2bbffb5SAndreas Gohr * Parse a reverse index record into a two-level array 276f2bbffb5SAndreas Gohr * 277f2bbffb5SAndreas Gohr * The reverse index only stores which token IDs belong to an entity, not their frequencies. All values 278f2bbffb5SAndreas Gohr * in the returned array are set to 0. This is intentional: when merged with new data in addEntity(), 279f2bbffb5SAndreas Gohr * tokens absent from the new data retain 0, signaling deletion from the frequency index. 280f2bbffb5SAndreas Gohr * 281f2bbffb5SAndreas Gohr * For split collections the format is "group*tokenId:group*tokenId:..." where group is the token length. 282f2bbffb5SAndreas Gohr * For non-split collections the group prefix is omitted: "tokenId:tokenId:..." 283f2bbffb5SAndreas Gohr * This mirrors how TupleOps omits *1 for frequency 1. 284f2bbffb5SAndreas Gohr * 285f2bbffb5SAndreas Gohr * @param string $record The raw reverse index record 286f2bbffb5SAndreas Gohr * @return array [group => [tokenId => 0, ...], ...] 287f2bbffb5SAndreas Gohr */ 288f2bbffb5SAndreas Gohr protected function parseReverseRecord(string $record): array 289f2bbffb5SAndreas Gohr { 290f2bbffb5SAndreas Gohr $result = []; 291f2bbffb5SAndreas Gohr foreach (explode(':', $record) as $entry) { 292f2bbffb5SAndreas Gohr $parts = explode('*', $entry, 2); 293f2bbffb5SAndreas Gohr $tokenId = array_pop($parts); 294f2bbffb5SAndreas Gohr $group = array_pop($parts) ?? ''; 295f2bbffb5SAndreas Gohr $result[$group][$tokenId] = 0; 296f2bbffb5SAndreas Gohr } 297f2bbffb5SAndreas Gohr return $result; 298f2bbffb5SAndreas Gohr } 299f2bbffb5SAndreas Gohr 300f2bbffb5SAndreas Gohr /** 301f2bbffb5SAndreas Gohr * Format a two-level array into a reverse index record string 302f2bbffb5SAndreas Gohr * 303f2bbffb5SAndreas Gohr * @param array $data [group => [tokenId => freq, ...], ...] 304f2bbffb5SAndreas Gohr * @return string The formatted record 305f2bbffb5SAndreas Gohr */ 306f2bbffb5SAndreas Gohr protected function formatReverseRecord(array $data): string 307f2bbffb5SAndreas Gohr { 308f2bbffb5SAndreas Gohr $parts = []; 309f2bbffb5SAndreas Gohr foreach ($data as $group => $tokens) { 310f2bbffb5SAndreas Gohr $prefix = $group === '' ? '' : "$group*"; 311f2bbffb5SAndreas Gohr foreach (array_keys($tokens) as $tokenId) { 312f2bbffb5SAndreas Gohr $parts[] = $prefix . $tokenId; 313f2bbffb5SAndreas Gohr } 314f2bbffb5SAndreas Gohr } 315f2bbffb5SAndreas Gohr return implode(':', $parts); 316f2bbffb5SAndreas Gohr } 317f2bbffb5SAndreas Gohr 318f2bbffb5SAndreas Gohr /** 319f2bbffb5SAndreas Gohr * Update frequency indexes with the given data 320f2bbffb5SAndreas Gohr * 321f2bbffb5SAndreas Gohr * Iterates over the two-level structure [group => [tokenId => freq]] and updates the 322f2bbffb5SAndreas Gohr * corresponding frequency index for each group. A frequency of 0 removes the entity 323f2bbffb5SAndreas Gohr * from that token's frequency record. 324f2bbffb5SAndreas Gohr * 325f2bbffb5SAndreas Gohr * @param array $data [group => [tokenId => frequency, ...], ...] 326f2bbffb5SAndreas Gohr * @param int $entityId The entity ID 327f2bbffb5SAndreas Gohr * @throws IndexLockException 328f2bbffb5SAndreas Gohr * @throws IndexWriteException 329f2bbffb5SAndreas Gohr */ 330f2bbffb5SAndreas Gohr protected function updateIndexes(array $data, int $entityId): void 331f2bbffb5SAndreas Gohr { 332f2bbffb5SAndreas Gohr foreach ($data as $group => $tokens) { 333f2bbffb5SAndreas Gohr $freqIndex = $this->getFrequencyIndex($group); 334f2bbffb5SAndreas Gohr foreach ($tokens as $tokenId => $freq) { 335f2bbffb5SAndreas Gohr $record = $freqIndex->retrieveRow($tokenId); 336f2bbffb5SAndreas Gohr $record = TupleOps::updateTuple($record, $entityId, $freq); 337f2bbffb5SAndreas Gohr $freqIndex->changeRow($tokenId, $record); 338f2bbffb5SAndreas Gohr } 339f2bbffb5SAndreas Gohr $freqIndex->save(); 340f2bbffb5SAndreas Gohr } 341f2bbffb5SAndreas Gohr } 342f2bbffb5SAndreas Gohr} 343