diff options
author | Rob Austein <sra@hactrn.net> | 2014-08-26 01:31:48 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2014-08-26 01:31:48 +0000 |
commit | 005a8b3b6575eca08abfdf2569564b1e8895de97 (patch) | |
tree | b4c79b8f9d5398cfe1859da1220561932ee3081a /rpki/config.py | |
parent | 63c933922c2a89f7612fabc7fc96a3c5ae359556 (diff) |
Use named indexes to make it possible to add and remove them later.
May have finally gotten the right balance of indexes for basic use.
Use various optimizations to let us load large data sets before the
heat death of the universe. Some of these optimizations are
dangerous, in the sense that if this script crashes while constructing
the database, you'll have to rebuild the database from scratch.
Probably ought to offer both this and the slow-but-safe approach as
command line options, but:
- The speed improvements look to be worth at least an order of
magnitude in the runtime,
- The speed improvements also prevent all the fsync() calls in the
safe approach from turning the underlying filesystem into cream
cheese while the script is running, and
- This script is just a research anlysis tool to begin with.
So I think the risk is justified in this case.
svn path=/trunk/; revision=5934
Diffstat (limited to 'rpki/config.py')
0 files changed, 0 insertions, 0 deletions