diff options
| author | Pierre-Marie Pédrot | 2020-11-17 12:40:22 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-24 17:58:20 +0100 |
| commit | 82a7e669c7e9735560b1a46658372c0eb2f811c9 (patch) | |
| tree | 1a8a7698bec5ad2f3b51b77a635558a2f7409448 /plugins/syntax/number_string_notation_plugin.mlpack | |
| parent | 24da187ffe81b2509ef0307cb3360a3f7b92b80a (diff) | |
Alternative implementation of the Micromega persistent cache.
Instead of loading the whole file in memory, we simply load an index table
associating a file position to a key hash. Cache access is then performed
on the fly by unmarshalling the data whose hash corresponds and checking
key equality.
Diffstat (limited to 'plugins/syntax/number_string_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions