123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351 |
- #include "Scheduler.h"
- #include "Process.h"
- #include "system.h"
- //#define LOG_EVERY_CONTEXT_SWITCH
- //#define SCHEDULER_DEBUG
- static const dword time_slice = 5; // *10 = 50ms
- Process* current;
- static Process* s_colonel_process;
- static bool s_in_yield;
- struct TaskRedirectionData {
- word selector;
- TSS32 tss;
- };
- static TaskRedirectionData s_redirection;
- bool Scheduler::pick_next()
- {
- ASSERT_INTERRUPTS_DISABLED();
- if (!current) {
- // XXX: The first ever context_switch() goes to the idle process.
- // This to setup a reliable place we can return to.
- return context_switch(*s_colonel_process);
- }
- // Check and unblock processes whose wait conditions have been met.
- Process::for_each([] (auto& process) {
- if (process.state() == Process::BlockedSleep) {
- if (process.wakeupTime() <= system.uptime)
- process.unblock();
- return true;
- }
- if (process.state() == Process::BlockedWait) {
- process.for_each_child([&process] (Process& child) {
- if (child.state() != Process::Dead)
- return true;
- if (process.waitee_pid() == -1 || process.waitee_pid() == child.pid()) {
- process.m_waitee_pid = child.pid();
- process.unblock();
- return false;
- }
- return true;
- });
- return true;
- }
- if (process.state() == Process::BlockedRead) {
- ASSERT(process.m_blocked_fd != -1);
- // FIXME: Block until the amount of data wanted is available.
- if (process.m_fds[process.m_blocked_fd].descriptor->can_read(process))
- process.unblock();
- return true;
- }
- if (process.state() == Process::BlockedWrite) {
- ASSERT(process.m_blocked_fd != -1);
- if (process.m_fds[process.m_blocked_fd].descriptor->can_write(process))
- process.unblock();
- return true;
- }
- if (process.state() == Process::BlockedSelect) {
- if (process.wakeup_requested()) {
- process.m_wakeup_requested = false;
- process.unblock();
- return true;
- }
- for (int fd : process.m_select_read_fds) {
- if (process.m_fds[fd].descriptor->can_read(process)) {
- process.unblock();
- return true;
- }
- }
- for (int fd : process.m_select_write_fds) {
- if (process.m_fds[fd].descriptor->can_write(process)) {
- process.unblock();
- return true;
- }
- }
- return true;
- }
- if (process.state() == Process::Skip1SchedulerPass) {
- process.set_state(Process::Skip0SchedulerPasses);
- return true;
- }
- if (process.state() == Process::Skip0SchedulerPasses) {
- process.set_state(Process::Runnable);
- return true;
- }
- if (process.state() == Process::Dead) {
- if (current != &process && !Process::from_pid(process.ppid())) {
- auto name = process.name();
- auto pid = process.pid();
- auto exit_status = Process::reap(process);
- dbgprintf("reaped unparented process %s(%u), exit status: %u\n", name.characters(), pid, exit_status);
- }
- return true;
- }
- return true;
- });
- // Dispatch any pending signals.
- // FIXME: Do we really need this to be a separate pass over the process list?
- Process::for_each_not_in_state(Process::Dead, [] (auto& process) {
- if (!process.has_unmasked_pending_signals())
- return true;
- // We know how to interrupt blocked processes, but if they are just executing
- // at some random point in the kernel, let them continue. They'll be in userspace
- // sooner or later and we can deliver the signal then.
- // FIXME: Maybe we could check when returning from a syscall if there's a pending
- // signal and dispatch it then and there? Would that be doable without the
- // syscall effectively being "interrupted" despite having completed?
- if (process.in_kernel() && !process.is_blocked())
- return true;
- // NOTE: dispatch_one_pending_signal() may unblock the process.
- bool was_blocked = process.is_blocked();
- if (!process.dispatch_one_pending_signal())
- return true;
- if (was_blocked) {
- dbgprintf("Unblock %s(%u) due to signal\n", process.name().characters(), process.pid());
- process.m_was_interrupted_while_blocked = true;
- process.unblock();
- }
- return true;
- });
- #ifdef SCHEDULER_DEBUG
- dbgprintf("Scheduler choices:\n");
- for (auto* process = g_processes->head(); process; process = process->next()) {
- //if (process->state() == Process::BlockedWait || process->state() == Process::BlockedSleep)
- // continue;
- dbgprintf("[K%x] % 12s %s(%u) @ %w:%x\n", process, toString(process->state()), process->name().characters(), process->pid(), process->tss().cs, process->tss().eip);
- }
- #endif
- auto* prevHead = g_processes->head();
- for (;;) {
- // Move head to tail.
- g_processes->append(g_processes->remove_head());
- auto* process = g_processes->head();
- if (process->state() == Process::Runnable || process->state() == Process::Running) {
- #ifdef SCHEDULER_DEBUG
- dbgprintf("switch to %s(%u) @ %w:%x\n", process->name().characters(), process->pid(), process->tss().cs, process->tss().eip);
- #endif
- return context_switch(*process);
- }
- if (process == prevHead) {
- // Back at process_head, nothing wants to run. Send in the colonel!
- return context_switch(*s_colonel_process);
- }
- }
- }
- bool Scheduler::yield()
- {
- ASSERT(!s_in_yield);
- s_in_yield = true;
- if (!current) {
- kprintf("PANIC: sched_yield() with !current");
- HANG;
- }
- //dbgprintf("%s<%u> yield()\n", current->name().characters(), current->pid());
- InterruptDisabler disabler;
- if (!pick_next()) {
- s_in_yield = false;
- return 1;
- }
- s_in_yield = false;
- //dbgprintf("yield() jumping to new process: %x (%s)\n", current->farPtr().selector, current->name().characters());
- switch_now();
- return 0;
- }
- void Scheduler::pick_next_and_switch_now()
- {
- bool someone_wants_to_run = pick_next();
- ASSERT(someone_wants_to_run);
- switch_now();
- }
- void Scheduler::switch_now()
- {
- Descriptor& descriptor = get_gdt_entry(current->selector());
- descriptor.type = 9;
- flush_gdt();
- asm("sti\n"
- "ljmp *(%%eax)\n"
- ::"a"(¤t->farPtr())
- );
- }
- bool Scheduler::context_switch(Process& process)
- {
- process.set_ticks_left(time_slice);
- process.did_schedule();
- if (process.tss().cs & 3) {
- ++process.m_ticks_in_user;
- } else {
- ++process.m_ticks_in_kernel;
- }
- if (current == &process)
- return false;
- if (current) {
- // If the last process hasn't blocked (still marked as running),
- // mark it as runnable for the next round.
- if (current->state() == Process::Running)
- current->set_state(Process::Runnable);
- #ifdef LOG_EVERY_CONTEXT_SWITCH
- dbgprintf("Scheduler: %s(%u) -> %s(%u)\n", current->name().characters(), current->pid(), process.name().characters(), process.pid());
- #endif
- }
- current = &process;
- process.set_state(Process::Running);
- #ifdef COOL_GLOBALS
- g_cool_globals->current_pid = process.pid();
- #endif
- if (!process.selector()) {
- process.setSelector(gdt_alloc_entry());
- auto& descriptor = get_gdt_entry(process.selector());
- descriptor.setBase(&process.tss());
- descriptor.setLimit(0xffff);
- descriptor.dpl = 0;
- descriptor.segment_present = 1;
- descriptor.granularity = 1;
- descriptor.zero = 0;
- descriptor.operation_size = 1;
- descriptor.descriptor_type = 0;
- }
- auto& descriptor = get_gdt_entry(process.selector());
- descriptor.type = 11; // Busy TSS
- flush_gdt();
- return true;
- }
- int sched_yield()
- {
- return Scheduler::yield();
- }
- static void initialize_redirection()
- {
- auto& descriptor = get_gdt_entry(s_redirection.selector);
- descriptor.setBase(&s_redirection.tss);
- descriptor.setLimit(0xffff);
- descriptor.dpl = 0;
- descriptor.segment_present = 1;
- descriptor.granularity = 1;
- descriptor.zero = 0;
- descriptor.operation_size = 1;
- descriptor.descriptor_type = 0;
- descriptor.type = 9;
- flush_gdt();
- }
- void Scheduler::prepare_for_iret_to_new_process()
- {
- auto& descriptor = get_gdt_entry(s_redirection.selector);
- descriptor.type = 9;
- s_redirection.tss.backlink = current->selector();
- load_task_register(s_redirection.selector);
- }
- void Scheduler::prepare_to_modify_tss(Process& process)
- {
- // This ensures that a currently running process modifying its own TSS
- // in order to yield() and end up somewhere else doesn't just end up
- // right after the yield().
- if (current == &process)
- load_task_register(s_redirection.selector);
- }
- void Scheduler::initialize()
- {
- memset(&s_redirection, 0, sizeof(s_redirection));
- s_redirection.selector = gdt_alloc_entry();
- initialize_redirection();
- s_colonel_process = Process::create_kernel_process("colonel", nullptr);
- current = nullptr;
- s_in_yield = false;
- load_task_register(s_redirection.selector);
- }
- void Scheduler::timer_tick(RegisterDump& regs)
- {
- if (!current)
- return;
- system.uptime++;
- if (current->tick())
- return;
- current->tss().gs = regs.gs;
- current->tss().fs = regs.fs;
- current->tss().es = regs.es;
- current->tss().ds = regs.ds;
- current->tss().edi = regs.edi;
- current->tss().esi = regs.esi;
- current->tss().ebp = regs.ebp;
- current->tss().ebx = regs.ebx;
- current->tss().edx = regs.edx;
- current->tss().ecx = regs.ecx;
- current->tss().eax = regs.eax;
- current->tss().eip = regs.eip;
- current->tss().cs = regs.cs;
- current->tss().eflags = regs.eflags;
- // Compute process stack pointer.
- // Add 12 for CS, EIP, EFLAGS (interrupt mechanic)
- current->tss().esp = regs.esp + 12;
- current->tss().ss = regs.ss;
- if ((current->tss().cs & 3) != 0) {
- current->tss().ss = regs.ss_if_crossRing;
- current->tss().esp = regs.esp_if_crossRing;
- }
- if (!pick_next())
- return;
- prepare_for_iret_to_new_process();
- // Set the NT (nested task) flag.
- asm(
- "pushf\n"
- "orl $0x00004000, (%esp)\n"
- "popf\n"
- );
- }
|