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

Implement compartment and library API for monitor #205

Merged
merged 14 commits into from
Sep 20, 2024
Merged

Conversation

dbittman
Copy link
Contributor

@dbittman dbittman commented Sep 5, 2024

This PR implements an API for accessing libraries and compartments, namely via LibraryHandle and CompartmentHandle. These types provide easy ways of opening (e.g.) the current compartment and then iterating over libraries, and then getting information about them. There are also functions for loading and managing libraries and compartments that will be implemented in the next PR.

This also updates the debug API for twizzler-runtime-api and updates gimli in rust std/backtrace to match accordingly.

@dbittman dbittman added the enhancement New feature or request label Sep 5, 2024
@dbittman dbittman requested a review from PandaZ3D September 5, 2024 19:48
@dbittman dbittman self-assigned this Sep 5, 2024
@dbittman dbittman requested a review from gvnn3 as a code owner September 5, 2024 19:48
Copy link
Contributor

@PandaZ3D PandaZ3D left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

}

impl super::Monitor {
/// Get CompartmentInfo for this caller. Note that this will write to the compartment-thread's
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why does this, and similar read-only operations, need to write into the compartment buffer?

@dbittman dbittman merged commit ba59381 into main Sep 20, 2024
1 check passed
@dbittman dbittman deleted the dbittman-monitor4 branch September 20, 2024 22:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants