[Monitor] Make thread IDs unique across all schedulers in multi-struct mode#150

ngernest wants to merge 5 commits intomaincucapra/protocols:mainfrom

unique_thread_idscucapra/protocols:unique_thread_idsCopy head branch name to clipboard