Skip to content

LVBS: Enable safe TA page table teardown - #1351

Open
Sangho Lee (sangho2) wants to merge 1 commit into
mainfrom
sanghle/lvbs/safe_pt_teardown
Open

LVBS: Enable safe TA page table teardown#1351
Sangho Lee (sangho2) wants to merge 1 commit into
mainfrom
sanghle/lvbs/safe_pt_teardown

Conversation

@sangho2

@sangho2 Sangho Lee (sangho2) commented Sep 11, 2026

Copy link
Copy Markdown
Contributor

This PR enables safe TA page table teardown for LVBS/OP-TEE. It aligns the LVBS platform's page table teardown with the Arc-based ownership model, deferring page table destruction until the final owner drops it. Although this teardown strategy is unsafe in the general case (e.g., COW/shared mappings), it is safe for the LVBS/OP-TEE runner because it strictly controls session/instance lifecycles and does not share any TA page frames.

@sangho2
Sangho Lee (sangho2) force-pushed the sanghle/lvbs/safe_pt_teardown branch from fa3a2dc to b9f639f Compare September 11, 2026 20:48
@sangho2 Sangho Lee (sangho2) changed the title [DRAFT] LVBS: Enable safe TA page table teardown LVBS: Enable safe TA page table teardown Sep 11, 2026
@sangho2
Sangho Lee (sangho2) marked this pull request as ready for review September 11, 2026 22:26
@github-actions

Copy link
Copy Markdown

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details
--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.50.0/src/lints/inherent_method_missing.ron

Failed in:
  LinuxKernel::delete_task_page_table, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/e4cb07139d283354e0d9980cffee4790ce599f04/litebox_platform_lvbs/src/lib.rs:746
  PageTableManager::delete_task_page_table, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/e4cb07139d283354e0d9980cffee4790ce599f04/litebox_platform_lvbs/src/lib.rs:388

--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.50.0/src/lints/inherent_method_missing.ron

Failed in:
  OpteeShim::release_user_mappings, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-main/e4cb07139d283354e0d9980cffee4790ce599f04/litebox_shim_optee/src/lib.rs:381

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.

1 participant