Wenhan Ji

Results 3 issues of Wenhan Ji

[LibOS] `execve`: eliminate race on `clear_child_tid` before VMAs deallocation

7 comment

## Description of the changes Fixes #2148 This PR makes `execve()` wait until every sibling thread’s `*clear_child_tid` is zeroed before deallocating their VMAs. Implementation details: 1. Grab the `g_thread_list` as...

[LibOS] Race condition triggers ASan use‑after‑poison in `execve` path (` release_clear_child_tid `)

### Description of the problem `exec_same` fails on the [Jenkins-SGX-24.04-Sanitizers](https://leeroy.cs.unc.edu/job/graphene-sgx-24.04-sanitizers/239/console) job for PR #1795 with an ASan use‑after‑poison inside `release_clear_child_tid()`. Reproduces on main, so this is not PR‑specific. ``` [2025-05-07T09:06:11.907Z]...

[LibOS] Child process fails during `libos_init` when all TCS are in use

### Description of the problem While investigating the `Jenkins-SGX-22.04-Sanitizers` build failure on PR #2131, I traced the issue to `libos_init`, not to the PR itself. A child process occasionally aborts...