Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove unnecassary inter_disable from non-busy sleep #19

Merged
gk1623 merged 1 commits from gleb/fix-non-busy-sleep-bug into master 2024-10-25 14:19:37 +00:00
Conversation 2 Commits 1 Files Changed 1 +4 -4

1 Commits

Author SHA1 Message Date
Gleb Koval
869571108d Remove from sleeping_threads immediately, instead of when thread is scheduled 2024-10-25 14:10:59 +01:00