ok/jj
1
0
Fork 0
forked from mirrors/jj
jj/cli/examples
Martin von Zweigbergk d989d4093d merged_tree: let backend influence whether to use new diff algo
Since the concurrent diff algorithm is significantly slower when using
the Git backend, I think we'll have to use switch between the two
algorithms depending on backend. Even if the concurrent version always
performed as well as the sequential version, exactly how concurrent it
should be probably still depends on the backend. This commit therefore
adds a function to the `Backend` trait, so each backend can say how
much concurrency they deal well with. I then use that number for
choosing between the sequential and concurrent versions in
`MergedTree::diff_stream()`, and also to decide the number of
concurrent reads to do in the concurrent version.
2023-11-06 23:12:02 -08:00
..
custom-backend merged_tree: let backend influence whether to use new diff algo 2023-11-06 23:12:02 -08:00
custom-command cli: send status messages to stderr, specify stdout/stderr explicitly 2023-10-11 19:24:01 +09:00
custom-global-flag cli: send status messages to stderr, specify stdout/stderr explicitly 2023-10-11 19:24:01 +09:00
custom-working-copy workspace: make working-copy type customizable 2023-10-16 22:33:44 -07:00