diff --git a/drivers/storage/memory/imgrd.o b/drivers/storage/memory/imgrd.o index b7d4f39..69413d9 100644 Binary files a/drivers/storage/memory/imgrd.o and b/drivers/storage/memory/imgrd.o differ diff --git a/drivers/storage/memory/memory b/drivers/storage/memory/memory index 2c4ef0e..071397f 100755 Binary files a/drivers/storage/memory/memory and b/drivers/storage/memory/memory differ diff --git a/drivers/storage/ramdisk/image b/drivers/storage/ramdisk/image index b44b4a8..08ceb2a 100644 Binary files a/drivers/storage/ramdisk/image and b/drivers/storage/ramdisk/image differ diff --git a/servers/sched/sched b/servers/sched/sched index 6ae41be..b2c5666 100755 Binary files a/servers/sched/sched and b/servers/sched/sched differ diff --git a/servers/sched/schedule.c b/servers/sched/schedule.c index 8e922c4..e659d22 100644 --- a/servers/sched/schedule.c +++ b/servers/sched/schedule.c @@ -100,7 +100,7 @@ int do_noquantum(message *m_ptr) rmp = &schedproc[proc_nr_n]; if (rmp->priority < MIN_USER_Q) { - rmp->priority += 1; /* lower priority */ + rmp->priority -= 1; } if ((rv = schedule_process_local(rmp)) != OK) { @@ -322,7 +322,7 @@ static int schedule_process(struct schedproc * rmp, unsigned flags) //processors are swapped here if (rmp->priority >= 7 && rmp->max_priority == 7) { - printf("MINIX: PID %d swapped in\n", _ENDPOINT_P(rmp->endpoint)); + printf("Minix: PID %d swapped in\n", _ENDPOINT_P(rmp->endpoint)); } @@ -365,7 +365,7 @@ static void balance_queues(minix_timer_t *tp) for (proc_nr=0, rmp=schedproc; proc_nr < NR_PROCS; proc_nr++, rmp++) { if (rmp->flags & IN_USE) { if (rmp->priority > rmp->max_priority) { - rmp->priority -= 1; /* increase priority */ + schedule_process_local(rmp); } } diff --git a/servers/sched/schedule.o b/servers/sched/schedule.o index 1a675d0..4941eb2 100644 Binary files a/servers/sched/schedule.o and b/servers/sched/schedule.o differ