Hi there,
I'm currently doing tests of IPC on different microkernels using Genode framework.
I'm wondering whether there're any long IPC implementation inside the framework that I can make use of.
Thank you very much!
Yelly
Hello,
On 27.03.2018 16:10, yu000013 wrote:
I'm currently doing tests of IPC on different microkernels using Genode framework.
I'm wondering whether there're any long IPC implementation inside the framework that I can make use of.
the concept of long IPC was abandoned by all modern L4-like microkernels many years ago. The paper "From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?" [1] presents the line of thoughts behind this decision.
Regarding inter-process communication on Genode, there is much more to it than synchronous IPC. Please refer to Section 3.6. "Inter-component communication" of the Genode Foundations book [2] to get a more complete picture.
[1] http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf [2] http://genode.org/documentation/genode-foundations-17-05.pdf
Cheers Norman
Thank you for your reply!
I looked through the references and got a general idea of IPC in Genode.
I guess my previous understanding of "long IPC" already includes the "shared-memory" method used in the up-to-date Genode framework.
Now I'm looking for the shared memory invocation in Genode source codes and hoping to understand this mechanism in the code level.
Thank you very much!
Yelly
At 2018-03-30 02:00:14, "Norman Feske" <norman.feske@...1...> wrote:
Hello,
On 27.03.2018 16:10, yu000013 wrote:
I'm currently doing tests of IPC on different microkernels using Genode framework.
I'm wondering whether there're any long IPC implementation inside the framework that I can make use of.
the concept of long IPC was abandoned by all modern L4-like microkernels many years ago. The paper "From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?" [1] presents the line of thoughts behind this decision.
Regarding inter-process communication on Genode, there is much more to it than synchronous IPC. Please refer to Section 3.6. "Inter-component communication" of the Genode Foundations book [2] to get a more complete picture.
[1] http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf [2] http://genode.org/documentation/genode-foundations-17-05.pdf
Cheers Norman
-- Dr.-Ing. Norman Feske Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Norman Feske -
yu000013