Use a prefetch for zones (!1301) · Merge requests · Arkindex / Backend

Erwan Rouchet requested to merge prefetch-zone into master Apr 08, 2021

Related to #701 (closed): This divides by half the time spent on ListCorpusElements when top_level is False.

See https://notes.vpn/k56It1gMQHWPvW14xu9wGg# for a benchmark on all corpora that shows the enhancements.

Edited Apr 09, 2021 by Erwan Rouchet

Use a prefetch for zones