Skip to content

Remove unconditional Send implementation for Service#232

Open
robin-nitrokey wants to merge 1 commit into
mainfrom
send
Open

Remove unconditional Send implementation for Service#232
robin-nitrokey wants to merge 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
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