Calascibetta Romain
Calascibetta Romain
This PR was rebased. However, it includes a test which fails (reported by @aantron and integrated by @reynir). Not sure how to deal with that when it will (again, if...
A possible fix from @reynir: ```diff diff --git a/lib/uri.ml b/lib/uri.ml index 7b5af34..a41c3f6 100644 --- a/lib/uri.ml +++ b/lib/uri.ml @@ -670,6 +670,10 @@ let to_string ?(pct_encoder=pct_encoder ()) uri = ); (match uri.path...
> What is the behaviour when a Picos function spawns a child? I've had libraries written for picos using Picos.Fiber.Spawn throw Miou.Still_has_children running under miou-with-picos. Miou has a structured concurrency...
I've just proposed a final patch in which a few tests taken from Picos (as far as `Picos_structured` is concerned) have been taken over and are working. The tests that...
The issue is in fact more subtle than that and the choices made can lead to unwanted Miou behaviour. The idea of `Miou.file_descr` remains centred on sockets (and particularly on...
> i think using an IO queue using Thread (maybe one per domain) for non-blocking IO, is probably the best solution for this. That's exactly the design I have in...
Thank you for your report, I will try to find a solution. This is mainly due to the fact that the GitHub repository is a mirror of our repository on...
I just updated links and references into the `CHANGES.md`. The GitHub interface still can refer to bad PR/issue but I can not fix GitHub 🥲 .
I've noticed quite a few allocations in the major heap with this implementation but with other observation tools, it seems that `Miou_pqueue` (the proved impl.) isn't Miou's biggest problem. There...
This is more in line with the Rust-style exclusion model you might have in mind when manipulating resources. I'll try to find a solution here. The Ownership API is still...