ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 22:47:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

init: update state report on new/killed children

Browse Source 
This patch reduces the latency of state reports when children are
removed or added, thereby, accellerating the feedback loop between a
management component and init during the staged startup or removal of
inter-dependent components.
This commit is contained in:
Norman Feske 2018-06-07 11:59:37 +02:00 committed by Christian Helmuth
parent 81613afa03
commit 6ab259d642
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/init/main.cc
View File

@ -296,6 +296,8 @@ void Init::Main::_update_children_config()
void Init::Main::_handle_config() void Init::Main::_handle_config()
{ {
bool update_state_report = false;
_config.update(); _config.update();
_config_xml = _config.xml(); _config_xml = _config.xml();
@ -331,6 +333,7 @@ void Init::Main::_handle_config()
/* make the child's services unavailable */ /* make the child's services unavailable */
child.destroy_services(); child.destroy_services();
child.close_all_sessions(); child.close_all_sessions();
update_state_report = true;
/* destroy child once all environment sessions are gone */ /* destroy child once all environment sessions are gone */
if (child.env_sessions_closed()) { if (child.env_sessions_closed()) {
@ -384,6 +387,8 @@ void Init::Main::_handle_config()
_parent_services, _child_services); _parent_services, _child_services);
_children.insert(&child); _children.insert(&child);
update_state_report = true;
/* account for the start XML node buffered in the child */ /* account for the start XML node buffered in the child */
size_t const metadata_overhead = start_node.size() size_t const metadata_overhead = start_node.size()
+ sizeof(Init::Child); + sizeof(Init::Child);
@ -445,6 +450,9 @@ void Init::Main::_handle_config()
_children.for_each_child([&] (Child &child) { child.apply_upgrade(); }); _children.for_each_child([&] (Child &child) { child.apply_upgrade(); });
_server.apply_config(_config_xml); _server.apply_config(_config_xml);
if (update_state_report)
_state_reporter.trigger_immediate_report_update();
} }