Skip to content

Commit

Permalink
Revert "fix(core_local): put scheduler into RefCell"
Browse files Browse the repository at this point in the history
This reverts commit 8cbf7f6.
  • Loading branch information
mkroening committed Sep 27, 2023
1 parent b1d8cd4 commit fd94856
Show file tree
Hide file tree
Showing 8 changed files with 42 additions and 48 deletions.
17 changes: 8 additions & 9 deletions src/arch/aarch64/kernel/core_local.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
use alloc::boxed::Box;
use alloc::vec::Vec;
use core::arch::asm;
use core::cell::{RefCell, RefMut};
use core::cell::{Cell, RefCell, RefMut};
use core::ptr;
use core::sync::atomic::Ordering;

Expand All @@ -20,7 +20,7 @@ pub(crate) struct CoreLocal {
/// ID of the current Core.
core_id: CoreId,
/// Scheduler of the current Core.
scheduler: RefCell<Option<PerCoreScheduler>>,
scheduler: Cell<*mut PerCoreScheduler>,
/// Interface to the interrupt counters
irq_statistics: &'static IrqStatistics,
/// Queue of async tasks
Expand All @@ -44,7 +44,7 @@ impl CoreLocal {
let this = Self {
this: ptr::null_mut(),
core_id,
scheduler: RefCell::new(None),
scheduler: Cell::new(ptr::null_mut()),
irq_statistics,
async_tasks: RefCell::new(Vec::new()),
#[cfg(feature = "smp")]
Expand Down Expand Up @@ -91,18 +91,17 @@ pub(crate) fn core_id() -> CoreId {
}
}

pub(crate) fn core_scheduler() -> RefMut<'static, PerCoreScheduler> {
RefMut::map(CoreLocal::get().scheduler.borrow_mut(), |scheduler| {
scheduler.as_mut().unwrap()
})
#[inline]
pub(crate) fn core_scheduler() -> &'static mut PerCoreScheduler {
unsafe { &mut *CoreLocal::get().scheduler.get() }
}

pub(crate) fn async_tasks() -> RefMut<'static, Vec<AsyncTask>> {
CoreLocal::get().async_tasks.borrow_mut()
}

pub(crate) fn set_core_scheduler(scheduler: PerCoreScheduler) {
*CoreLocal::get().scheduler.borrow_mut() = Some(scheduler);
pub(crate) fn set_core_scheduler(scheduler: *mut PerCoreScheduler) {
CoreLocal::get().scheduler.set(scheduler);
}

pub(crate) fn increment_irq_counter(irq_no: u8) {
Expand Down
2 changes: 1 addition & 1 deletion src/arch/x86_64/kernel/apic.rs
Original file line number Diff line number Diff line change
Expand Up @@ -229,7 +229,7 @@ extern "x86-interrupt" fn wakeup_handler(_stack_frame: interrupts::ExceptionStac

debug!("Received Wakeup Interrupt");
increment_irq_counter(WAKEUP_INTERRUPT_NUMBER);
let mut core_scheduler = core_scheduler();
let core_scheduler = core_scheduler();
core_scheduler.check_input();
eoi();
if core_scheduler.is_scheduling() {
Expand Down
14 changes: 6 additions & 8 deletions src/arch/x86_64/kernel/core_local.rs
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ pub(crate) struct CoreLocal {
/// Sequential ID of this CPU Core.
core_id: CoreId,
/// Scheduler for this CPU Core.
scheduler: RefCell<Option<PerCoreScheduler>>,
scheduler: Cell<*mut PerCoreScheduler>,
/// Task State Segment (TSS) allocated for this CPU Core.
pub tss: Cell<*mut TaskStateSegment>,
/// start address of the kernel stack
Expand Down Expand Up @@ -54,7 +54,7 @@ impl CoreLocal {
let this = Self {
this: ptr::null_mut(),
core_id,
scheduler: RefCell::new(None),
scheduler: Cell::new(ptr::null_mut()),
tss: Cell::new(ptr::null_mut()),
kernel_stack: Cell::new(0),
irq_statistics,
Expand Down Expand Up @@ -101,18 +101,16 @@ pub(crate) fn core_id() -> CoreId {
}
}

pub(crate) fn core_scheduler() -> RefMut<'static, PerCoreScheduler> {
RefMut::map(CoreLocal::get().scheduler.borrow_mut(), |scheduler| {
scheduler.as_mut().unwrap()
})
pub(crate) fn core_scheduler() -> &'static mut PerCoreScheduler {
unsafe { &mut *CoreLocal::get().scheduler.get() }
}

pub(crate) fn async_tasks() -> RefMut<'static, Vec<AsyncTask>> {
CoreLocal::get().async_tasks.borrow_mut()
}

pub(crate) fn set_core_scheduler(scheduler: PerCoreScheduler) {
*CoreLocal::get().scheduler.borrow_mut() = Some(scheduler);
pub(crate) fn set_core_scheduler(scheduler: *mut PerCoreScheduler) {
CoreLocal::get().scheduler.set(scheduler);
}

pub(crate) fn increment_irq_counter(irq_no: u8) {
Expand Down
29 changes: 14 additions & 15 deletions src/scheduler/mod.rs
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
use alloc::boxed::Box;
use alloc::collections::{BTreeMap, VecDeque};
use alloc::rc::Rc;
#[cfg(feature = "smp")]
use alloc::vec::Vec;
use core::cell::{RefCell, RefMut};
use core::cell::RefCell;
use core::sync::atomic::{AtomicU32, Ordering};

use crossbeam_utils::Backoff;
Expand Down Expand Up @@ -87,9 +88,9 @@ pub trait PerCoreSchedulerExt {
fn exit(self, exit_code: i32) -> !;
}

impl PerCoreSchedulerExt for RefMut<'_, PerCoreScheduler> {
impl PerCoreSchedulerExt for &mut PerCoreScheduler {
#[cfg(target_arch = "x86_64")]
fn reschedule(mut self) {
fn reschedule(self) {
without_interrupts(|| {
if let Some(last_stack_pointer) = self.scheduler() {
let (new_stack_pointer, is_idle) = {
Expand All @@ -101,12 +102,10 @@ impl PerCoreSchedulerExt for RefMut<'_, PerCoreScheduler> {
};

if is_idle || Rc::ptr_eq(&self.current_task, &self.fpu_owner) {
drop(self);
unsafe {
switch_to_fpu_owner(last_stack_pointer, new_stack_pointer.as_usize());
}
} else {
drop(self);
unsafe {
switch_to_task(last_stack_pointer, new_stack_pointer.as_usize());
}
Expand All @@ -124,8 +123,6 @@ impl PerCoreSchedulerExt for RefMut<'_, PerCoreScheduler> {

use crate::interrupts::SGI_RESCHED;

drop(self);

unsafe {
asm!("dsb nsh", "isb", options(nostack, nomem, preserves_flags));
}
Expand All @@ -145,14 +142,13 @@ impl PerCoreSchedulerExt for RefMut<'_, PerCoreScheduler> {
}

#[cfg(any(feature = "tcp", feature = "udp"))]
fn add_network_timer(mut self, wakeup_time: Option<u64>) {
fn add_network_timer(self, wakeup_time: Option<u64>) {
without_interrupts(|| {
self.blocked_tasks.add_network_timer(wakeup_time);
drop(self);
})
}

fn exit(mut self, exit_code: i32) -> ! {
fn exit(self, exit_code: i32) -> ! {
without_interrupts(|| {
// Get the current task.
let mut current_task_borrowed = self.current_task.borrow_mut();
Expand Down Expand Up @@ -542,7 +538,7 @@ impl PerCoreScheduler {
let backoff = Backoff::new();

loop {
let mut core_scheduler = core_scheduler();
let core_scheduler = core_scheduler();
interrupts::disable();

// run async tasks
Expand All @@ -552,7 +548,6 @@ impl PerCoreScheduler {
core_scheduler.cleanup_tasks();

if core_scheduler.ready_queue.is_empty() {
drop(core_scheduler);
if backoff.is_completed() {
interrupts::enable_and_wait();
} else {
Expand Down Expand Up @@ -703,7 +698,7 @@ pub fn add_current_core() {
"Initializing scheduler for core {} with idle task {}",
core_id, tid
);
set_core_scheduler(PerCoreScheduler {
let boxed_scheduler = Box::new(PerCoreScheduler {
#[cfg(feature = "smp")]
core_id,
current_task: idle_task.clone(),
Expand All @@ -714,6 +709,9 @@ pub fn add_current_core() {
finished_tasks: VecDeque::new(),
blocked_tasks: BlockedTaskQueue::new(),
});

let scheduler = Box::into_raw(boxed_scheduler);
set_core_scheduler(scheduler);
#[cfg(feature = "smp")]
{
SCHEDULER_INPUTS.lock().insert(
Expand All @@ -730,17 +728,18 @@ fn get_scheduler_input(core_id: CoreId) -> &'static InterruptTicketMutex<Schedul
}

pub fn join(id: TaskId) -> Result<(), ()> {
let core_scheduler = core_scheduler();

debug!(
"Task {} is waiting for task {}",
core_scheduler().get_current_task_id(),
core_scheduler.get_current_task_id(),
id
);

loop {
let mut waiting_tasks_guard = WAITING_TASKS.lock();

if let Some(queue) = waiting_tasks_guard.get_mut(&id) {
let mut core_scheduler = core_scheduler();
queue.push_back(core_scheduler.get_current_task_handle());
core_scheduler.block_current_task(None);

Expand Down
18 changes: 8 additions & 10 deletions src/synch/futex.rs
Original file line number Diff line number Diff line change
Expand Up @@ -52,15 +52,14 @@ pub(crate) fn futex_wait(
timeout
};

let mut scheduler = core_scheduler();
let scheduler = core_scheduler();
scheduler.block_current_task(wakeup_time);
let handle = scheduler.get_current_task_handle();
parking_lot.entry(addr(address)).or_default().push(handle);
drop(parking_lot);
drop(scheduler);

loop {
core_scheduler().reschedule();
scheduler.reschedule();

let mut parking_lot = PARKING_LOT.lock();
if matches!(wakeup_time, Some(t) if t <= get_timer_ticks()) {
Expand Down Expand Up @@ -89,7 +88,7 @@ pub(crate) fn futex_wait(
} else {
// A spurious wakeup occurred, sleep again.
// Tasks do not change core, so the handle in the parking lot is still current.
core_scheduler().block_current_task(wakeup_time);
scheduler.block_current_task(wakeup_time);
}
}
drop(parking_lot);
Expand Down Expand Up @@ -122,15 +121,14 @@ pub(crate) fn futex_wait_and_set(
timeout
};

let mut scheduler = core_scheduler();
let scheduler = core_scheduler();
scheduler.block_current_task(wakeup_time);
let handle = scheduler.get_current_task_handle();
parking_lot.entry(addr(address)).or_default().push(handle);
drop(parking_lot);
drop(scheduler);

loop {
core_scheduler().reschedule();
scheduler.reschedule();

let mut parking_lot = PARKING_LOT.lock();
if matches!(wakeup_time, Some(t) if t <= get_timer_ticks()) {
Expand Down Expand Up @@ -159,7 +157,7 @@ pub(crate) fn futex_wait_and_set(
} else {
// A spurious wakeup occurred, sleep again.
// Tasks do not change core, so the handle in the parking lot is still current.
core_scheduler().block_current_task(wakeup_time);
scheduler.block_current_task(wakeup_time);
}
}
drop(parking_lot);
Expand All @@ -180,7 +178,7 @@ pub(crate) fn futex_wake(address: &AtomicU32, count: i32) -> i32 {
Entry::Vacant(_) => return 0,
};

let mut scheduler = core_scheduler();
let scheduler = core_scheduler();
let mut woken = 0;
while woken != count || count == i32::MAX {
match queue.get_mut().pop() {
Expand Down Expand Up @@ -215,7 +213,7 @@ pub(crate) fn futex_wake_or_set(address: &AtomicU32, count: i32, new_value: u32)
}
};

let mut scheduler = core_scheduler();
let scheduler = core_scheduler();
let mut woken = 0;
while woken != count || count == i32::MAX {
match queue.get_mut().pop() {
Expand Down
4 changes: 2 additions & 2 deletions src/synch/recmutex.rs
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@ impl RecursiveMutex {

pub fn acquire(&self) {
// Get information about the current task.
let tid = core_scheduler().get_current_task_id();
let core_scheduler = core_scheduler();
let tid = core_scheduler.get_current_task_id();

loop {
let mut core_scheduler = core_scheduler();
{
let mut locked_state = self.state.lock();

Expand Down
2 changes: 1 addition & 1 deletion src/synch/semaphore.rs
Original file line number Diff line number Diff line change
Expand Up @@ -68,12 +68,12 @@ impl Semaphore {
pub fn acquire(&self, time: Option<u64>) -> bool {
#[cfg(feature = "smp")]
let backoff = Backoff::new();
let core_scheduler = core_scheduler();

let wakeup_time = time.map(|ms| crate::arch::processor::get_timer_ticks() + ms * 1000);

// Loop until we have acquired the semaphore.
loop {
let mut core_scheduler = core_scheduler();
let mut locked_state = self.state.lock();

if locked_state.count > 0 {
Expand Down
4 changes: 2 additions & 2 deletions src/syscalls/tasks.rs
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ pub(crate) extern "C" fn __sys_usleep(usecs: u64) {
// Enough time to set a wakeup timer and block the current task.
debug!("sys_usleep blocking the task for {} microseconds", usecs);
let wakeup_time = arch::processor::get_timer_ticks() + usecs;
let mut core_scheduler = core_scheduler();
let core_scheduler = core_scheduler();
core_scheduler.block_current_task(Some(wakeup_time));

// Switch to the next task.
Expand Down Expand Up @@ -300,7 +300,7 @@ static BLOCKED_TASKS: InterruptTicketMutex<BTreeMap<TaskId, TaskHandle>> =

extern "C" fn __sys_block_current_task(timeout: &Option<u64>) {
let wakeup_time = timeout.map(|t| arch::processor::get_timer_ticks() + t * 1000);
let mut core_scheduler = core_scheduler();
let core_scheduler = core_scheduler();
let handle = core_scheduler.get_current_task_handle();
let tid = core_scheduler.get_current_task_id();

Expand Down

0 comments on commit fd94856

Please sign in to comment.