advanced_operating_systems_2020
advanced_operating_systems_2020 copied to clipboard
Advanced Operating System Course at ETHZ
Several allocations are made for setting up the new dispatcher in the spawning module. We should free those resources after the new dispatcher was invoked.
https://github.com/Liblor/advanced_operating_systems_2020/pull/24/files/2f92c83651fb2f4eb66175803a4ef48844852c28#r394357705 We would need some data on how many pages are going to be mapped in barrelfish
We currently use a worst-fit model. If we encounter problems regarding the performance of allocation, we might want to consider switching to a buddy system. More information on how this...