private/kernel/kscheduler.h

25 /*!	Enqueues the thread in the ready-to-run queue.
26 	The caller must hold the enqueued thread \c scheduler_lock.
28 void scheduler_enqueue_in_run_queue(Thread* thread);
32 /*!	Selects a thread from the ready-to-run queue and, if that's not the
33 	calling thread, switches the current CPU's context to run the selected
34 	thread.
35 	If it's the same thread, the thread will just continue to run.
36 	In either case, unless the thread is dead or is sleeping/waiting
38 	The caller must hold the current thread \c scheduler_lock.
42 /*!	Sets the given thread's priority.
43 	The thread may be running or may be in the ready-to-run queue.
45 int32 scheduler_set_thread_priority(Thread* thread, int32 priority);
48 	Per-thread housekeeping resources can be allocated.
51 status_t scheduler_on_thread_create(Thread* thread, bool idleThread);
55 	The per-thread housekeeping data structures are reset, if needed.
57 void scheduler_on_thread_init(Thread* thread);
60 	Frees up any per-thread resources allocated on the scheduler's part. The
64 void scheduler_on_thread_destroy(Thread* thread);
66 /*!	Called in the early boot process to start thread scheduling on the
76 /*! Dumps scheduler specific thread information.
78 void scheduler_dump_thread_data(Thread* thread);
80 void scheduler_new_thread_entry(Thread* thread);
91 bigtime_t _user_estimate_max_scheduling_latency(thread_id thread);
123 		Thread* thread = get_cpu_struct()->running_thread;
124 		acquire_spinlock(&thread->scheduler_lock);
128 		release_spinlock(&thread->scheduler_lock);