From 8904022415e47b515acd30a21b9a68ee5efca0b4 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Thu, 24 Oct 2024 14:33:16 +0200 Subject: [PATCH] Scenario with blinktree getting interference from antagonist. --- repos/mml/run/blinktree_with_antagonist.run | 136 ++++++++++++++++++++ 1 file changed, 136 insertions(+) create mode 100644 repos/mml/run/blinktree_with_antagonist.run diff --git a/repos/mml/run/blinktree_with_antagonist.run b/repos/mml/run/blinktree_with_antagonist.run new file mode 100644 index 0000000000..867d285940 --- /dev/null +++ b/repos/mml/run/blinktree_with_antagonist.run @@ -0,0 +1,136 @@ +set build_components { + core init timer app/blinktree app/antagonist hoitaja +} + +source ${genode_dir}/repos/base/run/platform_drv.inc +append_platform_drv_build_components +build $build_components + +create_boot_directory + + +set config { + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +append config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 2022-07-20 14:30 + + + + + + + + + + + + + + + + + + + + 2022-07-20 14:30 + + + + + + + + + + + + + +} + +install_config $config + +set boot_modules { + core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so hoitaja blinktree stress_genode fill_randint_workloada mixed_randint_workloada +} + +append_platform_drv_boot_modules + +build_boot_image $boot_modules +append qemu_args "-nographic" + +run_genode_until forever + +set rounds 100 +set succeeded 0 + +for {set r 0} {$r < $rounds} {incr r} { + run_genode_until {\[init -> hoitaja -> blinktree1\] Finished\.} 300 + kill_spawned [output_spawn_id] + incr succeeded +} + +puts "$succeeded of $rounds rounds succeeded." +