Change BufferedCursor to use a priority queue
Open
- Dominant language
- C++
- Stars
- 16.7k
- Forks
- 1.6k
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 126
Description
The buffered cursor is merging the mutations from a lot of different cursors. It currently is implemented by sorting results pulled from all of the cursors, but a priority_queue of cursors should be more efficient.
Contributor guide
Assessment
This issue has not been assessed yet.