ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 00:24:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run/init: test abandoned any-child routes

Browse Source 
Currently, init does not test wether a service is abandoned on a new
configuration if the service was routed via an any-child route. Trigger
this behaviour in the init test.

Ref #2483
This commit is contained in:
Martin Stein 2017-08-15 14:42:12 +02:00 committed by Christian Helmuth
parent 60ae6721db
commit 9476f3f645
1 changed files with 79 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

81
repos/os/run/init.run
View File

@ -971,9 +971,86 @@ append config {
</start>
</init_config>
<expect_log string="[init -> service_init -> server] closing session with label test"/>
<sleep ms="100"/>
<sleep ms="150"/>
<message string="test abandoned any-child routes"/>
<init_config version="abandoned any-child 1">
<report ids="yes" requested="yes" provided="yes"/>
<parent-provides>
<service name="ROM"/>
<service name="CPU"/>
<service name="PD"/>
<service name="LOG"/>
</parent-provides>
<default caps="100"/>
<start name="server">
<binary name="dummy"/>
<resource name="RAM" quantum="1M"/>
<provides> <service name="LOG"/> </provides>
<config> <log_service/> </config>
<route>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="client">
<binary name="dummy"/>
<resource name="RAM" quantum="1M"/>
<config>
<log string="client started"/>
<create_log_connections count="1"/>
</config>
<route>
<any-service> <any-child/> <parent/> </any-service>
</route>
</start>
</init_config>
<expect_log string="[init -> server] [client] client started"/>
<sleep ms="200"/>
<expect_init_state>
<node name="child">
<attribute name="name" value="server"/>
<attribute name="id" value="21"/>
</node>
<node name="child">
<attribute name="name" value="client"/>
<attribute name="id" value="22"/>
</node>
</expect_init_state>
<sleep ms="150"/>
<init_config version="abandoned any-child 2">
<report ids="yes" requested="yes" provided="yes"/>
<parent-provides>
<service name="ROM"/>
<service name="CPU"/>
<service name="PD"/>
<service name="LOG"/>
</parent-provides>
<default caps="100"/>
<start name="client">
<binary name="dummy"/>
<resource name="RAM" quantum="1M"/>
<config>
<log string="client started"/>
<create_log_connections count="1"/>
</config>
<route>
<any-service> <any-child/> <parent/> </any-service>
</route>
</start>
</init_config>
<expect_log string="[init -> client] client started"/>
<sleep ms="200"/>
<expect_init_state>
<node name="child">
<attribute name="name" value="client"/>
<attribute name="id" value="23"/>
</node>
</expect_init_state>
<sleep ms="150"/>
<message string="test complete"/>
</config>
@ -1017,5 +1094,5 @@ build_boot_image $boot_modules
append qemu_args " -nographic "
run_genode_until {.*child "test-init" exited with exit value 0.*} 120
run_genode_until {.*child "test-init" exited with exit value 0.*} 130