Skip to content

Share cached exec-server environment info with Arc - #49798

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/3f56f4d51a4aebc0c4821c0b128a70efb23933d4
Oct 1, 2026
Merged

copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/3f56f4d51a4aebc0c4821c0b128a70efb23933d4

Conversation

@copyberry

@copyberry copyberry Bot commented Oct 1, 2026 •

Copy link
Copy Markdown

Share cached exec-server environment info with Arc

What changed

Return Arc<EnvironmentInfo> from ExecServerClient::environment_info() so repeated reads and cloned clients share cached metadata without cloning its contents. Wrap metadata from initialization and lazy RPC fetches in Arc, while preserving the owned return value in LazyRemoteExecServerClient.

Testing

Extend the cache test to assert pointer identity across cloned clients for both initialization-provided metadata and lazy fetching after connecting to a legacy server.

## What changed

Return `Arc<EnvironmentInfo>` from `ExecServerClient::environment_info()` so repeated reads and cloned clients share cached metadata without cloning its contents. Wrap metadata from initialization and lazy RPC fetches in `Arc`, while preserving the owned return value in `LazyRemoteExecServerClient`.

## Testing

Extend the cache test to assert pointer identity across cloned clients for both initialization-provided metadata and lazy fetching after connecting to a legacy server.

GitOrigin-RevId: 3f56f4d51a4aebc0c4821c0b128a70efb23933d4
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/3f56f4d51a4aebc0c4821c0b128a70efb23933d4 branch from 26cf2f4 to c538fba Compare October 1, 2026 01:22
@copyberry
copyberry Bot merged commit c538fba into main Oct 1, 2026
9 of 13 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/3f56f4d51a4aebc0c4821c0b128a70efb23933d4 branch October 1, 2026 01:22
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant