a fast, high resolution timer library for recording performance metrics