contiguous physical memory allocation for seL4

PX

30 Nov 2016 30 Nov '16

8:49 a.m.

Hi, all I want to allocate a contiguous physical memory block (larger than a physical page) and map it to contiguous virtual addresses in the vspace, what's the best way to do it? Are there existing libraries allowing me to do that? thanks Peng

Attachments:

attachment.html (text/html — 334 bytes)

Show replies by date

Jeff Waugh

30 Nov 30 Nov

9:30 a.m.

On Wed, Nov 30, 2016 at 8:49 AM, PX wrote:

...

I want to allocate a contiguous physical memory block (larger than a physical page) and map it to contiguous virtual addresses in the vspace, what's the best way to do it? Are there existing libraries allowing me to do that?

Not super familiar with the library sitch, but at a fundamental level: - First you need an untyped of the correct size (and possibly at the correct position in physical memory), which may be available to you immediately, or you'll need to retype a larger one. - Then you can retype it into page objects. A single seL4_UntypedRetype call can give you many pages, so you just need to choose the appropriate page size. If you wanted a 4MB contiguous block on x86_64, you could retype a 4MB untyped into two 2MB pages. If you wanted a 1MB contiguous block, you could retype a 1MB untyped into 256 4KB pages (as it happens, 256 is the default maximum number of objects you can make in an UntypedRetype call). - Then you can seL4_$ARCH_{PageDirectory/Table/PDPT/etc}_Map and ultimately seL4_$ARCH_Page_Map them into contiguous virtual addresses. (libsimple / vka / allocman are the things to look at in the seL4 userland stack, and there's a bit of this sort of stuff in the tutorial on the wiki.) Thanks, Jeff

Adrian.Danis＠data61.csiro.au

11:23 a.m.

There is a fairly simplistic memory allocator in the form of a DMA allocator in libsel4utils that operates basically as you describe. See: https://github.com/seL4/seL4_libs/blob/master/libsel4utils/include/sel4utils... It requires you to be using various other abstractions for allocations (vka_t) and address space management (vspace_t) that are found in our libraries, but then gives you a ps_dma_man_t (https://github.com/seL4/util_libs/blob/master/libplatsupport/include/platsup...) interface that, whilst aims to be for DMA management, can give you contiguous mappings. Adrian On Wed 30-Nov-2016 9:30 AM, Jeff Waugh wrote: On Wed, Nov 30, 2016 at 8:49 AM, PX mailto:seawolf.peng@gmail.com> wrote: I want to allocate a contiguous physical memory block (larger than a physical page) and map it to contiguous virtual addresses in the vspace, what's the best way to do it? Are there existing libraries allowing me to do that? Not super familiar with the library sitch, but at a fundamental level: - First you need an untyped of the correct size (and possibly at the correct position in physical memory), which may be available to you immediately, or you'll need to retype a larger one. - Then you can retype it into page objects. A single seL4_UntypedRetype call can give you many pages, so you just need to choose the appropriate page size. If you wanted a 4MB contiguous block on x86_64, you could retype a 4MB untyped into two 2MB pages. If you wanted a 1MB contiguous block, you could retype a 1MB untyped into 256 4KB pages (as it happens, 256 is the default maximum number of objects you can make in an UntypedRetype call). - Then you can seL4_$ARCH_{PageDirectory/Table/PDPT/etc}_Map and ultimately seL4_$ARCH_Page_Map them into contiguous virtual addresses. (libsimple / vka / allocman are the things to look at in the seL4 userland stack, and there's a bit of this sort of stuff in the tutorial on the wiki.) Thanks, Jeff _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

2941

Age (days ago)

2942

Last active (days ago)

List overview

Download

2 comments

3 participants

participants (3)

Adrian.Danis＠data61.csiro.au
Jeff Waugh
PX