Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
make xbt_mutex reentrant (the standard way) and kill xbt_rmutex
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 6 Mar 2016 01:01:38 +0000 (02:01 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 6 Mar 2016 01:34:22 +0000 (02:34 +0100)
commit39713cc1fba008481093955f535fe26eaeae4906
treeb575aeec0dbb8235373599b0a4b4801b92a4d1f6
parenta1e5dedb10f6023f6061ad6e757794a673b585b0
make xbt_mutex reentrant (the standard way) and kill xbt_rmutex
include/xbt/xbt_os_thread.h
src/xbt/log.c
src/xbt/xbt_os_thread.c