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