Hi Christian,

> [When a dataspace is attached to the region the corresponding permissions
are shown and holes between the dataspaces are shown as ---p.]

The weird thing is that my whole region (size of 0x40000000) is marked as a 
hole.

> [Could you check if the ' _obj_space.attach()' call actually succeeded?]

Yes I think the issue is here. I tried attaching a size of 0x40000000 and 50. 
Both threw the error: "Error: Region_map_mmap::attach: dataspace does not fit 
in sub RM session".  Which doesn't make sense since I created _obj_space with a 
size of 0x40000000.

Also, is this attachment necessary? It is not used in the rm_nested code (lines 
247-259): 
https://github.com/genodelabs/genode/blob/f1e85c0db8023ce481a40f85d4cba03f3dc63b27/repos/base/src/test/rm_nested/main.cc#L4.

Thanks for the help.

Best,
Rumen

________________________________________
From: Christian Prochaska <[email protected]>
Sent: Thursday, July 24, 2025 5:29 PM
To: [email protected]
Subject: Re: Region Map's Permission Difficulties

CAUTION: This email originated from outside the organization. Do not click 
links or open attachments unless you recognize the sender and know the content 
is safe.


Hi Rumen,

here is an example output of "info proc mappings" on base-linux:

...
0x7ffbe6e00000     0x7ffbe6e01000     0x1000        0x0  rw-s   
/tmp/genode-1000/ds-752 (deleted)
0x7ffbe6e01000     0x7ffbe6e10000     0xf000        0x0  ---p
0x7ffbe6e10000     0x7ffbe6e20000    0x10000        0x0  rw-s   
/tmp/genode-1000/ds-915 (deleted)
0x7ffbe6e20000     0x7ffbe6e40000    0x20000        0x0  ---p
0x7ffbe6e40000     0x7ffbe6e80000    0x40000        0x0  rwxs   
/tmp/genode-1000/ds-938 (deleted)
0x7ffbe6e80000     0x7ffbe6f00000    0x80000        0x0  rwxs   
/tmp/genode-1000/ds-835 (deleted)
...


The managed dataspace region goes from 0x7ffbe6e00000 to 0x7fffe6dfffff.
When a dataspace is attached to the region the corresponding permissions
are shown and holes between the dataspaces are shown as ---p.

Could you check if the ' _obj_space.attach()' call actually succeeded? Or if 
the result is different when
you attach '_obj_space' to 'env.rm()' first and then the dataspace to 
'_obj_space'?

Christian
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at 
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/U2GSEQPYAFUSOYG7DCV6SGBLY6I3VTT5/
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at 
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/ZOWOP2AGUYR623RPRKR7TAAVKGZCBFDC/

Reply via email to