for (i=0; i<lunch_amount; i++) {
pickup(id,i);
- gras_os_sleep(id / 10.0); /* each philosopher sleeps and eat a time related to its ID */
+ gras_os_sleep(id / 100.0); /* each philosopher sleeps and eat a time related to its ID */
putdown(id);
- gras_os_sleep(id / 10.0);
+ gras_os_sleep(id / 100.0);
}
xbt_mutex_lock(mut_end);
INFO0("Enough waiting, spawn the threads");
/* spawn threads */
- for (i=0; i<philosopher_amount; i++)
- philosophers[i] = xbt_thread_create(philo_thread,&id[i]);
+ for (i=0; i<philosopher_amount; i++) {
+ char *name = bprintf("thread %d",i);
+ philosophers[i] = xbt_thread_create(name,philo_thread,&id[i]);
+ free(name);
+ }
/* wait for them */
xbt_mutex_lock(mut_end);
INFO0("Cancel all childs");
/* nuke them threads */
- for (i=0; i<philosopher_amount; i++)
- xbt_thread_cancel(philosophers[i]);
+ for (i=0; i<philosopher_amount; i++) {
+ xbt_thread_cancel(philosophers[i]);
+ }
xbt_mutex_unlock(dead_end);
gras_exit();