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

Reply via email to