+ - Drop the C xbt_os_sem_t; Use the C++ xbt::OsSemaphore.
+ OsSemaphore is implemented in a portable way with C++11 threads.
+ This should allow much more threads to be created at the same time,
+ allowing Mac and Java users to simulate many more actors.