timer sous linux

Bonjour, je cherche un timer facile utilisé fonctionnant sous linux.

Va voir chez Boost, il doivent sûrement avoir ça:
http://www.boost.org/
PS: cette bibliothèque est multi-plateforme