Describe the domain checks in the ipc_session_check docstring.

The review of the IPC domain change (E-12) found that tests/ipc_session_check.py still described only the session and
transfer-memory checks; the domain section was listed only in the header of ipc_session_check.c. The docstring now also
says that a domain frees closed objects and gives their ids out again, answers a closed id with a bad handle, never
closes its own id, and is kept while an object with its own handle lives. The check passes; no code changes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
chrg6
2026-11-13 18:00:24 -05:00
parent 66d38dc0ac
commit 2c59addd62

View File

@@ -1,6 +1,8 @@
"""Build and run tests/ipc_session_check.c: runtime/ipc.c with runtime/kernel.c linked, checking that a CloseHandle racing
a request leaves the session (and its close callback) to the request's end and that a closed transfer memory handle is
not read; with the platform layer linked and the rest of the runtime stubbed. No game files: the module layout the
a request leaves the session (and its close callback) to the request's end, that a closed transfer memory handle is not
read, and that a domain frees closed objects and gives their ids out again, answers a closed id with a bad handle, never
closes its own id, and is kept while an object with its own handle lives; with the platform layer linked and the rest of
the runtime stubbed. No game files: the module layout the
runtime includes is a stand-in written to the test's build folder.
Usage: ipc_session_check.py