Christophe Raffalli

Add Unix.nonblock_single_write and Unix.nonblock_read

10

This function are around 30% faster when avoiding the copying which is necessary if one release the global lock. They are very useful for fast modern server doing non blocking...

Clarify @noalloc documentation

1

Section [11.2](https://v2.ocaml.org/manual/intfc.html#ss:c-direct-call) does not tell if when using `[@@noalloc]` one may omit the CAMLprim, CAMLparamXXX, CAMLreturnXXX macros. May be an example with a function using a non immediate argument would...

Many build fails

2

Those based on debian 11 can be fixed by RUN apt-get update, which I am including in my PR #30. But I could not fix rust-hyper build: ``` Step 5/6...

At last I took the time... performance seems good! On my machine with 16 cores, with 16 threads and 300000 req/s, here are average latencies and req/sec simple_httpd: 62.42ms /...

add keep_alive

6

I needed to able to send many request, and I wanted to keep the connection alive. I did this modification, and now I submit this PR. We can discuss on...

Minimal syntactic { include r1; include r2; ... } should use typing to know the field that are present. The same notation for type is just some kind of higher...

A minimal user documentation is needed

1

Currently make doc, is just for developer (ocamldoc of files)

This is needed to write subtyping proof manually (and checking termination giving exact induction hyp). Need a use case first ?

The document with the theory should be added to the git repository.