xref: /dokuwiki/inc/Search/Collection/AbstractCollection.php (revision d92c078c66fe0feb3beeeb1a383e15ca031fb4f8)
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