-
nifou authored
* 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
3fe175da
* 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