ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 13:26:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: restart depot_rom on use/unuse

Browse Source 
Large deployments (e.g., using the Falkon browser) can significantly
inflate the RAM quota of depot_rom. When switching the Sculpt storage
target (using the "Use" buttons), depot_rom is restarted. Right now,
however, it retains its (inflated) quota. It is better to reset the
quota to its initial value to free up RAM that thereby becomes usable
for a different deployment. Otherwise, the depot_rom's resources can be
deflated only by rebooting.
This commit is contained in:
Norman Feske 2024-11-05 11:13:33 +01:00 committed by Christian Helmuth
parent 8d50d320e2
commit fdd2b4edb0
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/gems/src/app/sculpt_manager/deploy.h
View File

@ -263,6 +263,9 @@ struct Sculpt::Deploy
void restart()
{
cached_depot_rom_state .trigger_restart();
uncached_depot_rom_state.trigger_restart();
/* ignore stale query results */
_depot_query.trigger_depot_query();