a more performant approach to profiling: only totals are sent to
redis, using an atexit handler