Pierre Krieger
Pierre Krieger
Example situation: - Process A send a TcpOpen request. - Process B handles the message, allocates the TCP connection, returns the id. - Process A in the meanwhile cancels the...
It turns out that the SHA2 hash of modules is quite expensive to compute. It is useless to know the hash of a module except when we load it, and...
At the moment, emitting hardware messages is quite expensive. We most notably memcpy all the data at least three times in total. We can remove two of these copies by...
Because of linking issues with `emit_message`, `cancel_message`, etc. The problem is that the core depends on a bunch of crates which in turn depend on `syscalls-interface`, which has these functions...
Right now interface messages are dispatched in a "first come first serve" manner. In other words, if a process sends out a message, it is simply added to a FIFO...
At the moment, it is not possible to clone the `Record` struct. Cloning the `Record` would be very useful in order to write a `Drain` that for example sends the...
Once https://github.com/rust-lang/cargo/pull/2630 lands
The current API is pretty crappy, so here is my proposition to have a clean API and release some kind of non-work-in-progress version of the gl_generator. - Hide the `registry`...
The `cargo build` command has some flags that `cargo fuzz build` doesn't have. Two of them are `--locked` and `--frozen`, which would be very useful on CI to make sure...