denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

gpu/intel: abort client on accounting mismatch

Browse Source 
Issue #4525.
This commit is contained in:
Josef Söntgen
2022-06-09 10:54:30 +02:00
committed by Christian Helmuth
parent 1010267dee
commit b77f59286f
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
repos/os/src/drivers/gpu/intel/main.cc
View File

@@ -1524,8 +1524,17 @@ class Gpu::Session_component : public Genode::Session_object<Gpu::Session>
void withdraw(size_t caps, size_t ram)
{
_cap_quota_guard.withdraw(Cap_quota { caps });
_ram_quota_guard.withdraw(Ram_quota { ram });
try {
_cap_quota_guard.withdraw(Cap_quota { caps });
_ram_quota_guard.withdraw(Ram_quota { ram });
} catch (... /* intentional catch-all */) {
/*
* At this point something in the accounting went wrong
* and as quick-fix let the client abort rather than the
* multiplexer.
*/
throw Service_denied();
}
}
void replenish(size_t caps, size_t ram)