profile.h File Reference

Functions
void	profile_init ()
void	profile_print_and_reset (int worker_id)
void	profile_start (const char *name)
void	profile_end (const char *name)

Detailed Description

Simple wall-clock profiling