mirror of
https://github.com/morluto/rea
synced 2026-10-26 06:16:17 -04:00
morluto
80896a1d64
Refresh a mismatched launcher snapshot only when a new live process table proves its PID absent. Preserve uncertainty for detached descendants and continue checking ownership of surviving group members before signaling. Index retained lineage membership instead of rescanning it for each refreshed process. Adapted from #1357. Validation: 71 source tests passed, one Linux-only identity case skipped; 32 real process-boundary tests passed on macOS. Co-authored-by: You Wish <29498139+Y0UW1SH@users.noreply.github.com>
50 lines
1.9 KiB
TypeScript
50 lines
1.9 KiB
TypeScript
import type { ProcessTableEntry } from "./ProcessOwnership.js";
|
|
|
|
/** Exclude process-table entries that the operating system has already reaped. */
|
|
export const liveProcesses = (
|
|
members: readonly ProcessTableEntry[],
|
|
): readonly ProcessTableEntry[] =>
|
|
members.filter(({ state }) => !state.startsWith("Z"));
|
|
|
|
/** Return every live-table descendant of the selected roots in breadth-first order. */
|
|
export const descendantsOf = (
|
|
rootPids: readonly number[],
|
|
processes: readonly ProcessTableEntry[],
|
|
): ProcessTableEntry[] => {
|
|
const childrenByParent = new Map<number, ProcessTableEntry[]>();
|
|
for (const process of processes) {
|
|
const siblings = childrenByParent.get(process.parentPid) ?? [];
|
|
siblings.push(process);
|
|
childrenByParent.set(process.parentPid, siblings);
|
|
}
|
|
const descendants: ProcessTableEntry[] = [];
|
|
const pending = rootPids.flatMap((pid) => childrenByParent.get(pid) ?? []);
|
|
const visited = new Set<number>(rootPids);
|
|
for (const process of pending) {
|
|
if (visited.has(process.pid)) continue;
|
|
visited.add(process.pid);
|
|
descendants.push(process);
|
|
pending.push(...(childrenByParent.get(process.pid) ?? []));
|
|
}
|
|
return descendants;
|
|
};
|
|
|
|
/** Select the PTY root group and groups led by an observed captured process. */
|
|
export const selectCapturedProcessGroupIds = (
|
|
rootPid: number,
|
|
samples: readonly {
|
|
readonly pid: number;
|
|
readonly process_group_id: number | null;
|
|
}[],
|
|
): readonly number[] => {
|
|
const processGroupIds = new Set<number>([rootPid]);
|
|
for (const sample of samples) {
|
|
// A sampled member may transiently inherit an unrelated group. POSIX group
|
|
// leaders have pid === pgid, so only that observation establishes that the
|
|
// group leader itself belonged to the captured tree. Token checks below
|
|
// remain the final authority immediately before observation or signaling.
|
|
if (sample.pid === sample.process_group_id) processGroupIds.add(sample.pid);
|
|
}
|
|
return [...processGroupIds];
|
|
};
|