Commit 3fe175da authored by Nifou's avatar Nifou

Better thread and process IDs

*  The process IDs are allocated according to the IDs already used in the processes' list
*  The thread IDs are allocated according to the IDs already used in the scheduler
parent 3ab24add
Pipeline #174125312 passed with stages
in 8 minutes and 53 seconds