[Python-Dev] Hotshot

[Skip Montanaro]

    >> The biggest problem I had with hotshot is the filesize.

    Tim> In my coverage tool (which I *still* haven't managed to get
    Tim> permission to release!!!) I was storing arrays of file numbers
    Tim> (indexes into a list), line numbers (into the file) and type (line,
    Tim> exception, etc). Every thousand or so entries, I would take the
    Tim> arrays, to a `tostring()` then compress the string. Then the 3 sets
    Tim> of data was written to file as a binary pickle.

It seems to me it might be simpler to just write the profile file through
the gzip module and teach the hotshot.stats.load() function to recognize
such files and uncompress accordingly.

Skip