Skip to content

Remove unconditional Send implementation for Service#232

Merged
robin-nitrokey merged 1 commit into
mainfrom
send
Jun 11, 2026
Merged

Remove unconditional Send implementation for Service#232
robin-nitrokey merged 1 commit into
mainfrom
send

Conversation

@robin-nitrokey

Copy link
Copy Markdown
Member

The unconditional Send implementation for Service is unsound because we don’t know anything about the platform and dispatch implementations. Instead, runners should add a manual Send implementation for the required structs if necessary. For example, we have to add a manual Send implementation for virt::Store. This is technically not correct but currently the only way to make it work and still better than the implementation for Service.

Fixes: #211

The unconditional Send implementation for Service is unsound because
we don’t know anything about the platform and dispatch implementations.
Instead, runners should add a manual Send implementation for the
required structs if necessary. For example, we have to add a manual
Send implementation for virt::Store. This is technically not correct
but currently the only way to make it work and still better than the
implementation for Service.

Fixes: #211
@robin-nitrokey robin-nitrokey merged commit 8538cf1 into main Jun 11, 2026
3 checks passed
@robin-nitrokey robin-nitrokey deleted the send branch June 11, 2026 15:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unsoundness in the Sync implementation of Service

2 participants