mirror of
https://github.com/bugsink/bugsink.git
synced 2026-02-08 06:49:37 -06:00
adda019cef
Unscientifically (n=1, changing circumstances), this improved times like so when the max was 10k: * 573.56ms EVICT; down to 8813, max irr. from 15 to 13 in 171ms+402ms and 5+4 queries (pre-index) * 229.34ms EVICT; down to 7643, max irr. from 15 to 12 in 7ms+222ms and 5+7 queries (post-index) The order of the index was chosen because we have 3 types of queries in our algo: * on Project -> irrelevance <= amount of work * on Project, timestamp -> irrelevance <= observed irrelevances * on Project, timestamp, irrelevance -> deletion
TODO