aebde78243
end up being the same, but it doesn't look like you're comparing apples and oranges. 2. Use need_resched instead of reset_priority. This isn't right either, since for example you'll round-robin against equal priority FIFO processes when lowering the priority of another process, but this works better and a real fix needs to be in kern_synch and not out here. 3. This is not a device driver: copyin/copyout the structure. |
||
|---|---|---|
| .. | ||
| aio.h | ||
| ksched.c | ||
| mqueue.h | ||
| p1003_1b.c | ||
| posix4_mib.c | ||
| posix4.h | ||
| sched.h | ||
| semaphore.h | ||