}
int crasher(int argc, char *argv[]);
int crasher(int argc, char *argv[])
{
int i;
}
int crasher(int argc, char *argv[]);
int crasher(int argc, char *argv[])
{
int i;
xbt_init(&argc, argv);
/* initializations of the philosopher mecanisms */
id = xbt_new0(int, crasher_amount);
xbt_init(&argc, argv);
/* initializations of the philosopher mecanisms */
id = xbt_new0(int, crasher_amount);
for (i = 0; i < crasher_amount; i++) {
char *name = bprintf("thread %d", i);
crashers[i] =
for (i = 0; i < crasher_amount; i++) {
char *name = bprintf("thread %d", i);
crashers[i] =
- xbt_thread_create(name, &crasher_thread, &id[i], 1 /* joinable */ );
+ xbt_os_thread_create(name, &crasher_thread, &id[i], NULL );