Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Export c18n statistics to procstat(1) and file #2084

Closed
wants to merge 7 commits into from
Closed

Export c18n statistics to procstat(1) and file #2084

wants to merge 7 commits into from

Conversation

dpgao
Copy link
Contributor

@dpgao dpgao commented Apr 15, 2024

This PR modifies #2080 to export a slightly different set of statistics:

  • Number of compartments
  • Number of compartment stacks
  • Number of trampolines
  • Number of trampoline pages
  • Memory space taken up by c18n data structures

It allows exposes environment variable LD_COMPART_STATS that allows a struct containing the above statistics to be exported to a file.

@dpgao dpgao force-pushed the c18n-stats branch 3 times, most recently from fd151d1 to ac8eb25 Compare April 17, 2024 15:22
@dpgao dpgao force-pushed the c18n-ng branch 3 times, most recently from 1e18a0c to 187bfb5 Compare April 23, 2024 19:50
bsdjhb added 2 commits May 7, 2024 15:38
This matches RISC-V and parallels pmap_copy_page which doesn't
preserve tags either.
Similar to pmap_copy_pages but preserves tags.
bsdjhb and others added 4 commits May 8, 2024 11:33
This approach is more orthogonal and permits using capability copies
with uiomove_frompyhs or higher level APIs like proc_rwmem without
requiring additional *_cap wrapper routines.
Exposes LD_COMPARTMENT_STATS that exports a set of
compartmentalisation-related statistics to a user-specified file.
@dpgao dpgao changed the base branch from c18n-ng to dev May 10, 2024 12:35
Co-authored-by: Dapeng Gao <dapeng.gao@cl.cam.ac.uk>
@dpgao
Copy link
Contributor Author

dpgao commented Jun 3, 2024

Superseded by #2079.

@dpgao dpgao closed this Jun 3, 2024
@dpgao dpgao deleted the c18n-stats branch June 11, 2024 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants