Scheduler.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583
  1. /*
  2. * Copyright (c) 2018-2022, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/BuiltinWrappers.h>
  7. #include <AK/ScopeGuard.h>
  8. #include <AK/Singleton.h>
  9. #include <AK/Time.h>
  10. #include <Kernel/Arch/InterruptDisabler.h>
  11. #include <Kernel/Arch/x86/TrapFrame.h>
  12. #include <Kernel/Debug.h>
  13. #include <Kernel/Panic.h>
  14. #include <Kernel/PerformanceManager.h>
  15. #include <Kernel/Process.h>
  16. #include <Kernel/RTC.h>
  17. #include <Kernel/Scheduler.h>
  18. #include <Kernel/Sections.h>
  19. #include <Kernel/Time/TimeManagement.h>
  20. #include <Kernel/kstdio.h>
  21. namespace Kernel {
  22. RecursiveSpinlock g_scheduler_lock { LockRank::None };
  23. static u32 time_slice_for(Thread const& thread)
  24. {
  25. // One time slice unit == 4ms (assuming 250 ticks/second)
  26. if (thread.is_idle_thread())
  27. return 1;
  28. return 2;
  29. }
  30. READONLY_AFTER_INIT Thread* g_finalizer;
  31. READONLY_AFTER_INIT WaitQueue* g_finalizer_wait_queue;
  32. Atomic<bool> g_finalizer_has_work { false };
  33. READONLY_AFTER_INIT static Process* s_colonel_process;
  34. struct ThreadReadyQueue {
  35. IntrusiveList<&Thread::m_ready_queue_node> thread_list;
  36. };
  37. struct ThreadReadyQueues {
  38. u32 mask {};
  39. static constexpr size_t count = sizeof(mask) * 8;
  40. Array<ThreadReadyQueue, count> queues;
  41. };
  42. static Singleton<SpinlockProtected<ThreadReadyQueues>> g_ready_queues;
  43. static SpinlockProtected<TotalTimeScheduled> g_total_time_scheduled { LockRank::None };
  44. // The Scheduler::current_time function provides a current time for scheduling purposes,
  45. // which may not necessarily relate to wall time
  46. u64 (*Scheduler::current_time)();
  47. static void dump_thread_list(bool = false);
  48. static inline u32 thread_priority_to_priority_index(u32 thread_priority)
  49. {
  50. // Converts the priority in the range of THREAD_PRIORITY_MIN...THREAD_PRIORITY_MAX
  51. // to a index into g_ready_queues where 0 is the highest priority bucket
  52. VERIFY(thread_priority >= THREAD_PRIORITY_MIN && thread_priority <= THREAD_PRIORITY_MAX);
  53. constexpr u32 thread_priority_count = THREAD_PRIORITY_MAX - THREAD_PRIORITY_MIN + 1;
  54. static_assert(thread_priority_count > 0);
  55. auto priority_bucket = ((thread_priority_count - (thread_priority - THREAD_PRIORITY_MIN)) / thread_priority_count) * (ThreadReadyQueues::count - 1);
  56. VERIFY(priority_bucket < ThreadReadyQueues::count);
  57. return priority_bucket;
  58. }
  59. Thread& Scheduler::pull_next_runnable_thread()
  60. {
  61. auto affinity_mask = 1u << Processor::current_id();
  62. return g_ready_queues->with([&](auto& ready_queues) -> Thread& {
  63. auto priority_mask = ready_queues.mask;
  64. while (priority_mask != 0) {
  65. auto priority = bit_scan_forward(priority_mask);
  66. VERIFY(priority > 0);
  67. auto& ready_queue = ready_queues.queues[--priority];
  68. for (auto& thread : ready_queue.thread_list) {
  69. VERIFY(thread.m_runnable_priority == (int)priority);
  70. if (thread.is_active())
  71. continue;
  72. if (!(thread.affinity() & affinity_mask))
  73. continue;
  74. thread.m_runnable_priority = -1;
  75. ready_queue.thread_list.remove(thread);
  76. if (ready_queue.thread_list.is_empty())
  77. ready_queues.mask &= ~(1u << priority);
  78. // Mark it as active because we are using this thread. This is similar
  79. // to comparing it with Processor::current_thread, but when there are
  80. // multiple processors there's no easy way to check whether the thread
  81. // is actually still needed. This prevents accidental finalization when
  82. // a thread is no longer in Running state, but running on another core.
  83. // We need to mark it active here so that this thread won't be
  84. // scheduled on another core if it were to be queued before actually
  85. // switching to it.
  86. // FIXME: Figure out a better way maybe?
  87. thread.set_active(true);
  88. return thread;
  89. }
  90. priority_mask &= ~(1u << priority);
  91. }
  92. return *Processor::idle_thread();
  93. });
  94. }
  95. Thread* Scheduler::peek_next_runnable_thread()
  96. {
  97. auto affinity_mask = 1u << Processor::current_id();
  98. return g_ready_queues->with([&](auto& ready_queues) -> Thread* {
  99. auto priority_mask = ready_queues.mask;
  100. while (priority_mask != 0) {
  101. auto priority = bit_scan_forward(priority_mask);
  102. VERIFY(priority > 0);
  103. auto& ready_queue = ready_queues.queues[--priority];
  104. for (auto& thread : ready_queue.thread_list) {
  105. VERIFY(thread.m_runnable_priority == (int)priority);
  106. if (thread.is_active())
  107. continue;
  108. if (!(thread.affinity() & affinity_mask))
  109. continue;
  110. return &thread;
  111. }
  112. priority_mask &= ~(1u << priority);
  113. }
  114. // Unlike in pull_next_runnable_thread() we don't want to fall back to
  115. // the idle thread. We just want to see if we have any other thread ready
  116. // to be scheduled.
  117. return nullptr;
  118. });
  119. }
  120. bool Scheduler::dequeue_runnable_thread(Thread& thread, bool check_affinity)
  121. {
  122. if (thread.is_idle_thread())
  123. return true;
  124. return g_ready_queues->with([&](auto& ready_queues) {
  125. auto priority = thread.m_runnable_priority;
  126. if (priority < 0) {
  127. VERIFY(!thread.m_ready_queue_node.is_in_list());
  128. return false;
  129. }
  130. if (check_affinity && !(thread.affinity() & (1 << Processor::current_id())))
  131. return false;
  132. VERIFY(ready_queues.mask & (1u << priority));
  133. auto& ready_queue = ready_queues.queues[priority];
  134. thread.m_runnable_priority = -1;
  135. ready_queue.thread_list.remove(thread);
  136. if (ready_queue.thread_list.is_empty())
  137. ready_queues.mask &= ~(1u << priority);
  138. return true;
  139. });
  140. }
  141. void Scheduler::enqueue_runnable_thread(Thread& thread)
  142. {
  143. VERIFY(g_scheduler_lock.is_locked_by_current_processor());
  144. if (thread.is_idle_thread())
  145. return;
  146. auto priority = thread_priority_to_priority_index(thread.priority());
  147. g_ready_queues->with([&](auto& ready_queues) {
  148. VERIFY(thread.m_runnable_priority < 0);
  149. thread.m_runnable_priority = (int)priority;
  150. VERIFY(!thread.m_ready_queue_node.is_in_list());
  151. auto& ready_queue = ready_queues.queues[priority];
  152. bool was_empty = ready_queue.thread_list.is_empty();
  153. ready_queue.thread_list.append(thread);
  154. if (was_empty)
  155. ready_queues.mask |= (1u << priority);
  156. });
  157. }
  158. UNMAP_AFTER_INIT void Scheduler::start()
  159. {
  160. VERIFY_INTERRUPTS_DISABLED();
  161. // We need to acquire our scheduler lock, which will be released
  162. // by the idle thread once control transferred there
  163. g_scheduler_lock.lock();
  164. auto& processor = Processor::current();
  165. VERIFY(processor.is_initialized());
  166. auto& idle_thread = *Processor::idle_thread();
  167. VERIFY(processor.current_thread() == &idle_thread);
  168. idle_thread.set_ticks_left(time_slice_for(idle_thread));
  169. idle_thread.did_schedule();
  170. idle_thread.set_initialized(true);
  171. processor.init_context(idle_thread, false);
  172. idle_thread.set_state(Thread::State::Running);
  173. VERIFY(idle_thread.affinity() == (1u << processor.id()));
  174. processor.initialize_context_switching(idle_thread);
  175. VERIFY_NOT_REACHED();
  176. }
  177. void Scheduler::pick_next()
  178. {
  179. VERIFY_INTERRUPTS_DISABLED();
  180. // Set the in_scheduler flag before acquiring the spinlock. This
  181. // prevents a recursive call into Scheduler::invoke_async upon
  182. // leaving the scheduler lock.
  183. ScopedCritical critical;
  184. Processor::set_current_in_scheduler(true);
  185. ScopeGuard guard(
  186. []() {
  187. // We may be on a different processor after we got switched
  188. // back to this thread!
  189. VERIFY(Processor::current_in_scheduler());
  190. Processor::set_current_in_scheduler(false);
  191. });
  192. SpinlockLocker lock(g_scheduler_lock);
  193. if constexpr (SCHEDULER_RUNNABLE_DEBUG) {
  194. dump_thread_list();
  195. }
  196. auto& thread_to_schedule = pull_next_runnable_thread();
  197. if constexpr (SCHEDULER_DEBUG) {
  198. dbgln("Scheduler[{}]: Switch to {} @ {:#04x}:{:p}",
  199. Processor::current_id(),
  200. thread_to_schedule,
  201. thread_to_schedule.regs().cs, thread_to_schedule.regs().ip());
  202. }
  203. // We need to leave our first critical section before switching context,
  204. // but since we're still holding the scheduler lock we're still in a critical section
  205. critical.leave();
  206. thread_to_schedule.set_ticks_left(time_slice_for(thread_to_schedule));
  207. context_switch(&thread_to_schedule);
  208. }
  209. void Scheduler::yield()
  210. {
  211. InterruptDisabler disabler;
  212. auto const* current_thread = Thread::current();
  213. dbgln_if(SCHEDULER_DEBUG, "Scheduler[{}]: yielding thread {} in_irq={}", Processor::current_id(), *current_thread, Processor::current_in_irq());
  214. VERIFY(current_thread != nullptr);
  215. if (Processor::current_in_irq() || Processor::in_critical()) {
  216. // If we're handling an IRQ we can't switch context, or we're in
  217. // a critical section where we don't want to switch contexts, then
  218. // delay until exiting the trap or critical section
  219. Processor::current().invoke_scheduler_async();
  220. return;
  221. }
  222. Scheduler::pick_next();
  223. }
  224. void Scheduler::context_switch(Thread* thread)
  225. {
  226. if (Memory::s_mm_lock.is_locked_by_current_processor()) {
  227. PANIC("In context switch while holding Memory::s_mm_lock");
  228. }
  229. thread->did_schedule();
  230. auto* from_thread = Thread::current();
  231. VERIFY(from_thread);
  232. if (from_thread == thread)
  233. return;
  234. // If the last process hasn't blocked (still marked as running),
  235. // mark it as runnable for the next round.
  236. if (from_thread->state() == Thread::State::Running)
  237. from_thread->set_state(Thread::State::Runnable);
  238. #ifdef LOG_EVERY_CONTEXT_SWITCH
  239. auto const msg = "Scheduler[{}]: {} -> {} [prio={}] {:#04x}:{:p}";
  240. dbgln(msg,
  241. Processor::current_id(), from_thread->tid().value(),
  242. thread->tid().value(), thread->priority(), thread->regs().cs, thread->regs().ip());
  243. #endif
  244. auto& proc = Processor::current();
  245. if (!thread->is_initialized()) {
  246. proc.init_context(*thread, false);
  247. thread->set_initialized(true);
  248. }
  249. thread->set_state(Thread::State::Running);
  250. PerformanceManager::add_context_switch_perf_event(*from_thread, *thread);
  251. proc.switch_context(from_thread, thread);
  252. // NOTE: from_thread at this point reflects the thread we were
  253. // switched from, and thread reflects Thread::current()
  254. enter_current(*from_thread);
  255. VERIFY(thread == Thread::current());
  256. {
  257. SpinlockLocker lock(thread->get_lock());
  258. thread->dispatch_one_pending_signal();
  259. }
  260. }
  261. void Scheduler::enter_current(Thread& prev_thread)
  262. {
  263. VERIFY(g_scheduler_lock.is_locked_by_current_processor());
  264. // We already recorded the scheduled time when entering the trap, so this merely accounts for the kernel time since then
  265. auto scheduler_time = Scheduler::current_time();
  266. prev_thread.update_time_scheduled(scheduler_time, true, true);
  267. auto* current_thread = Thread::current();
  268. current_thread->update_time_scheduled(scheduler_time, true, false);
  269. // NOTE: When doing an exec(), we will context switch from and to the same thread!
  270. // In that case, we must not mark the previous thread as inactive.
  271. if (&prev_thread != current_thread)
  272. prev_thread.set_active(false);
  273. if (prev_thread.state() == Thread::State::Dying) {
  274. // If the thread we switched from is marked as dying, then notify
  275. // the finalizer. Note that as soon as we leave the scheduler lock
  276. // the finalizer may free from_thread!
  277. notify_finalizer();
  278. }
  279. }
  280. void Scheduler::leave_on_first_switch(u32 flags)
  281. {
  282. // This is called when a thread is switched into for the first time.
  283. // At this point, enter_current has already be called, but because
  284. // Scheduler::context_switch is not in the call stack we need to
  285. // clean up and release locks manually here
  286. g_scheduler_lock.unlock(flags);
  287. VERIFY(Processor::current_in_scheduler());
  288. Processor::set_current_in_scheduler(false);
  289. }
  290. void Scheduler::prepare_after_exec()
  291. {
  292. // This is called after exec() when doing a context "switch" into
  293. // the new process. This is called from Processor::assume_context
  294. VERIFY(g_scheduler_lock.is_locked_by_current_processor());
  295. VERIFY(!Processor::current_in_scheduler());
  296. Processor::set_current_in_scheduler(true);
  297. }
  298. void Scheduler::prepare_for_idle_loop()
  299. {
  300. // This is called when the CPU finished setting up the idle loop
  301. // and is about to run it. We need to acquire the scheduler lock
  302. VERIFY(!g_scheduler_lock.is_locked_by_current_processor());
  303. g_scheduler_lock.lock();
  304. VERIFY(!Processor::current_in_scheduler());
  305. Processor::set_current_in_scheduler(true);
  306. }
  307. Process* Scheduler::colonel()
  308. {
  309. VERIFY(s_colonel_process);
  310. return s_colonel_process;
  311. }
  312. static u64 current_time_tsc()
  313. {
  314. return read_tsc();
  315. }
  316. static u64 current_time_monotonic()
  317. {
  318. // We always need a precise timestamp here, we cannot rely on a coarse timestamp
  319. return (u64)TimeManagement::the().monotonic_time(TimePrecision::Precise).to_nanoseconds();
  320. }
  321. UNMAP_AFTER_INIT void Scheduler::initialize()
  322. {
  323. VERIFY(Processor::is_initialized()); // sanity check
  324. // Figure out a good scheduling time source
  325. if (Processor::current().has_feature(CPUFeature::TSC)) {
  326. // TODO: only use if TSC is running at a constant frequency?
  327. current_time = current_time_tsc;
  328. } else {
  329. // TODO: Using HPET is rather slow, can we use any other time source that may be faster?
  330. current_time = current_time_monotonic;
  331. }
  332. RefPtr<Thread> idle_thread;
  333. g_finalizer_wait_queue = new WaitQueue;
  334. g_finalizer_has_work.store(false, AK::MemoryOrder::memory_order_release);
  335. s_colonel_process = Process::create_kernel_process(idle_thread, KString::must_create("colonel"sv), idle_loop, nullptr, 1, Process::RegisterProcess::No).leak_ref();
  336. VERIFY(s_colonel_process);
  337. VERIFY(idle_thread);
  338. idle_thread->set_priority(THREAD_PRIORITY_MIN);
  339. idle_thread->set_name(KString::must_create("Idle Task #0"sv));
  340. set_idle_thread(idle_thread);
  341. }
  342. UNMAP_AFTER_INIT void Scheduler::set_idle_thread(Thread* idle_thread)
  343. {
  344. idle_thread->set_idle_thread();
  345. Processor::current().set_idle_thread(*idle_thread);
  346. Processor::set_current_thread(*idle_thread);
  347. }
  348. UNMAP_AFTER_INIT Thread* Scheduler::create_ap_idle_thread(u32 cpu)
  349. {
  350. VERIFY(cpu != 0);
  351. // This function is called on the bsp, but creates an idle thread for another AP
  352. VERIFY(Processor::is_bootstrap_processor());
  353. VERIFY(s_colonel_process);
  354. Thread* idle_thread = s_colonel_process->create_kernel_thread(idle_loop, nullptr, THREAD_PRIORITY_MIN, MUST(KString::formatted("idle thread #{}", cpu)), 1 << cpu, false);
  355. VERIFY(idle_thread);
  356. return idle_thread;
  357. }
  358. void Scheduler::add_time_scheduled(u64 time_to_add, bool is_kernel)
  359. {
  360. g_total_time_scheduled.with([&](auto& total_time_scheduled) {
  361. total_time_scheduled.total += time_to_add;
  362. if (is_kernel)
  363. total_time_scheduled.total_kernel += time_to_add;
  364. });
  365. }
  366. void Scheduler::timer_tick(RegisterState const& regs)
  367. {
  368. VERIFY_INTERRUPTS_DISABLED();
  369. VERIFY(Processor::current_in_irq());
  370. auto* current_thread = Processor::current_thread();
  371. if (!current_thread)
  372. return;
  373. // Sanity checks
  374. VERIFY(current_thread->current_trap());
  375. VERIFY(current_thread->current_trap()->regs == &regs);
  376. if (current_thread->process().is_kernel_process()) {
  377. // Because the previous mode when entering/exiting kernel threads never changes
  378. // we never update the time scheduled. So we need to update it manually on the
  379. // timer interrupt
  380. current_thread->update_time_scheduled(current_time(), true, false);
  381. }
  382. if (current_thread->previous_mode() == Thread::PreviousMode::UserMode && current_thread->should_die() && !current_thread->is_blocked()) {
  383. SpinlockLocker scheduler_lock(g_scheduler_lock);
  384. dbgln_if(SCHEDULER_DEBUG, "Scheduler[{}]: Terminating user mode thread {}", Processor::current_id(), *current_thread);
  385. current_thread->set_state(Thread::State::Dying);
  386. Processor::current().invoke_scheduler_async();
  387. return;
  388. }
  389. if (current_thread->tick())
  390. return;
  391. if (!current_thread->is_idle_thread() && !peek_next_runnable_thread()) {
  392. // If no other thread is ready to be scheduled we don't need to
  393. // switch to the idle thread. Just give the current thread another
  394. // time slice and let it run!
  395. current_thread->set_ticks_left(time_slice_for(*current_thread));
  396. current_thread->did_schedule();
  397. dbgln_if(SCHEDULER_DEBUG, "Scheduler[{}]: No other threads ready, give {} another timeslice", Processor::current_id(), *current_thread);
  398. return;
  399. }
  400. VERIFY_INTERRUPTS_DISABLED();
  401. VERIFY(Processor::current_in_irq());
  402. Processor::current().invoke_scheduler_async();
  403. }
  404. void Scheduler::invoke_async()
  405. {
  406. VERIFY_INTERRUPTS_DISABLED();
  407. VERIFY(!Processor::current_in_irq());
  408. // Since this function is called when leaving critical sections (such
  409. // as a Spinlock), we need to check if we're not already doing this
  410. // to prevent recursion
  411. if (!Processor::current_in_scheduler())
  412. pick_next();
  413. }
  414. void Scheduler::notify_finalizer()
  415. {
  416. if (!g_finalizer_has_work.exchange(true, AK::MemoryOrder::memory_order_acq_rel))
  417. g_finalizer_wait_queue->wake_all();
  418. }
  419. void Scheduler::idle_loop(void*)
  420. {
  421. auto& proc = Processor::current();
  422. dbgln("Scheduler[{}]: idle loop running", proc.id());
  423. VERIFY(are_interrupts_enabled());
  424. for (;;) {
  425. proc.idle_begin();
  426. asm("hlt");
  427. proc.idle_end();
  428. VERIFY_INTERRUPTS_ENABLED();
  429. yield();
  430. }
  431. }
  432. void Scheduler::dump_scheduler_state(bool with_stack_traces)
  433. {
  434. dump_thread_list(with_stack_traces);
  435. }
  436. bool Scheduler::is_initialized()
  437. {
  438. // The scheduler is initialized iff the idle thread exists
  439. return Processor::idle_thread() != nullptr;
  440. }
  441. TotalTimeScheduled Scheduler::get_total_time_scheduled()
  442. {
  443. return g_total_time_scheduled.with([&](auto& total_time_scheduled) { return total_time_scheduled; });
  444. }
  445. void dump_thread_list(bool with_stack_traces)
  446. {
  447. dbgln("Scheduler thread list for processor {}:", Processor::current_id());
  448. auto get_cs = [](Thread& thread) -> u16 {
  449. if (!thread.current_trap())
  450. return thread.regs().cs;
  451. return thread.get_register_dump_from_stack().cs;
  452. };
  453. auto get_eip = [](Thread& thread) -> u32 {
  454. if (!thread.current_trap())
  455. return thread.regs().ip();
  456. return thread.get_register_dump_from_stack().ip();
  457. };
  458. Thread::for_each([&](Thread& thread) {
  459. switch (thread.state()) {
  460. case Thread::State::Dying:
  461. dmesgln(" {:14} {:30} @ {:04x}:{:08x} Finalizable: {}, (nsched: {})",
  462. thread.state_string(),
  463. thread,
  464. get_cs(thread),
  465. get_eip(thread),
  466. thread.is_finalizable(),
  467. thread.times_scheduled());
  468. break;
  469. default:
  470. dmesgln(" {:14} Pr:{:2} {:30} @ {:04x}:{:08x} (nsched: {})",
  471. thread.state_string(),
  472. thread.priority(),
  473. thread,
  474. get_cs(thread),
  475. get_eip(thread),
  476. thread.times_scheduled());
  477. break;
  478. }
  479. if (with_stack_traces) {
  480. auto trace_or_error = thread.backtrace();
  481. if (!trace_or_error.is_error()) {
  482. auto trace = trace_or_error.release_value();
  483. dbgln("Backtrace:");
  484. kernelputstr(trace->characters(), trace->length());
  485. }
  486. }
  487. return IterationDecision::Continue;
  488. });
  489. }
  490. }