You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Due to a segfault in the indexer, we switched the parallel sorting algorithm in #218 at least until the root cause has been found. parallel_stable_sort uses less memory according to the documentation. However we haven't run the 2 in a benchmark. Revisit when the root cause got fixed.
The text was updated successfully, but these errors were encountered:
see #215, boostorg/sort#54, #218
Due to a segfault in the indexer, we switched the parallel sorting algorithm in #218 at least until the root cause has been found.
parallel_stable_sort
uses less memory according to the documentation. However we haven't run the 2 in a benchmark. Revisit when the root cause got fixed.The text was updated successfully, but these errors were encountered: