Hi!
My goal is to create, using l4env pkgs, some simple servers that would run on top of microkernel and compare their performance when running on native Linux and on L4 ukernel.
They should run single and more paraller "processes" that would do some simple numerical algorithms (sorting, Monter Carlo, ...) So, I would like to ask for help with creation of such servers. Better said, it can be few single servers without any clients. (integer/float data types? forks? mallocs? time measurement? ...)
Is there available l4env "programming tutorial", some notes from lectures provided at TU-Dresden, or some more advanced "example" server code that could be modified without much knowledge of l4env specifics?
I've found the BID tutorial, but for me it would be more helpful to know what basic functions, libraries, data types can be used, and how. (e.g. the hello world example could be modified) Could someone please show me the right way to go?
I'm running out of time, so I would really appreciate all help :) Right now I'm working on benchmarking L4Linux and native Linux to get idea of the overhead. And It would be interesting to get idea of the performance when apps/servers are running on L4 kernel without the L4Linux overhead.
Thank you, Eduard Benes