microsoft / microsoft/litebox

No cross-core TLB shootdown (IPI)

Open
#671 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

enhancement layer-platform
Dominant language
Rust
Stars
2.7k
Forks
144
Avg merge
12h 21m
Merged PRs (30d)
146

Description

Currently, LiteBox kernel platforms do not support cross-core TLB shootdown. This can suffer from stale TLB entry issues when different cores share the same page table (e.g., pthreads, sessions of the same TA instance), resulting in use-after-free or stale permission violations. OP-TEE TAs are mostly safe because they don't call munmap/mprotect at runtime, but pthreads are not safe.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

The issue names no files, tests, or entry points. Begin by locating the platform code that manages page tables and cross-core interrupts, then determine how shared address spaces should trigger TLB invalidation. Done means stale TLB entries cannot persist across cores after relevant mapping or permission changes, with coverage for pthreads or shared page tables.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
operating-systems
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.