diff options
author | Dániel Szoboszlay <[email protected]> | 2019-01-04 15:26:26 +0100 |
---|---|---|
committer | Dániel Szoboszlay <[email protected]> | 2019-01-22 12:27:38 +0100 |
commit | 69bff908293f00e242a8f0776efff0c3765ce235 (patch) | |
tree | 0239ca2339464629608d5b678f0f9b20b6fb29bf /scripts/pre-push | |
parent | bd1131fba3525599156ee685cdb8621b8e8d84a9 (diff) | |
download | otp-69bff908293f00e242a8f0776efff0c3765ce235.tar.gz otp-69bff908293f00e242a8f0776efff0c3765ce235.tar.bz2 otp-69bff908293f00e242a8f0776efff0c3765ce235.zip |
Optimise ext table dumping
The original algorithm first grouped ops in a commit by ext engine
type via folding over the list with orddict:append/3, that resulted in
an O(n^2) algorithm.
However, grouping the ops is not needed, the ops can be dispatched to
insert_op/6 one-by-one, after looking up the storage semantics of
their respective engine. This is a much cheaper algorithm, assuming
looking up the storage semantics is cheap (which should be).
Diffstat (limited to 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions