Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use the extra data field of the xbt_os_thread to store the worker id.