A linux user application timer based on the minimum heap algorithm