You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
yorickpeterse opened this issue
Dec 16, 2024
· 1 comment
Labels
featureNew things to add to Inko, such as a new standard library moduleruntimeChanges related to the Rust-based runtime librarystdChanges related to the standard library
#783 introduces the ability to define inline types capable of storing inline, copy and heap types.
Sockets are still heap allocated however. This is because internally the runtime mutates the registered flag atomically, and such changes need to be visible across borrows.
We need to find a way such that we can either get rid of the mutations of this field, while still being able to (de/re)register the socket whenever necessary.
The text was updated successfully, but these errors were encountered:
yorickpeterse
added
feature
New things to add to Inko, such as a new standard library module
runtime
Changes related to the Rust-based runtime library
std
Changes related to the standard library
labels
Dec 16, 2024
This also requires changes to the deadline API: we rely on setting a deadline field on the socket, which won't work if we define it as inline. I'm not a fan of this API to begin with, so perhaps there's a better alternative worth looking into.
featureNew things to add to Inko, such as a new standard library moduleruntimeChanges related to the Rust-based runtime librarystdChanges related to the standard library
Description
#783 introduces the ability to define
inline
types capable of storinginline
,copy
and heap types.Sockets are still heap allocated however. This is because internally the runtime mutates the
registered
flag atomically, and such changes need to be visible across borrows.We need to find a way such that we can either get rid of the mutations of this field, while still being able to (de/re)register the socket whenever necessary.
Related work
The text was updated successfully, but these errors were encountered: