Kevin Tran comments

Repositories
Issues
Comments

Results 3 comments of


                                            Kevin Tran

Reads and writes to the IPC buffer are not marked as volatile

why is there a `&mut IpcBuffer` in the first place? having means you assert no aliasing, but it seems like you are sharing the ipc buffer. also, i think part...

Reads and writes to the IPC buffer are not marked as volatile

it seems like there is unsoundness in some safe interface, since we can alias the ipc_buffer argument of `with_ipc_buffer` by calling the endpoint, which is declared safe.

Reads and writes to the IPC buffer are not marked as volatile

> Awesome, that looks good. > > So to conclude this issue, the fix is basically to always put marshalling and unmarshalling code in seperate `with_ipc_buffer` blocks seperated by the...