mfp

Support for 64-bit integers

2

This PR adds support for 64-bit integer fields and param binding. I was able to test signed integers (full range from -9223372036854775808 to 9223372036854775807), but not unsigned integers yet --...

TCP flow deadlock: receive window closes and never opens again

8

I have observed the following situation which results in a flow deadlock: * on the receiver, the user buffer fills and the TCP window progressively closes until it reaches small...

Huge GC pressure when serving files with `Cohttp_lwt_unix.Server.respond_file`

16

[`respond_file`](https://github.com/mirage/ocaml-cohttp/blob/master/lwt/cohttp_lwt_unix.ml#L66) reads the file in 16 KB chunks using `Lwt_io.read`. This allocates lots of 16 KB strings that go directly to the major heap and become garbage right away, and...

Shared reactive nodes don't update when started as pcdata server-side

1

If you have a reactive node like the following that is initially rendered as a PCDATA server-side, the node doesn't update correctly afterwards (observed in both 6.1 and 6.2). ```ocaml...

... instead of returning `None` as expected. (tested on 6.1)

Issues with nested [%shared ...] expressions

1

I'm told nested expressions are meant to work, but ran into these: ```ocaml let borken_maybe (x : int) s = S.map [%shared S.map [%shared ((+) ~%x)]] s ``` ``` File...

Use buffer pool to avoid large buffer allocation for connections and responses

3

A trivial buffer pool is used to get rid of these buffer allocations: - per connection/receiver buffers (`Ocsigen_http_com`) - internal buffer in `Ocsigen_senders.File_content` - internal buffer in deflatemod Moreover, some...

Large buffers allocated on each request

1

There are a few places where ocsigenserver allocates 1KB-, 4KB- and 8KB buffers. You can get them (along with some context) with ``` git grep -P -10 "(Lwt_io.make|Lwt_io.of_|Lwt_bytes.create|Bytes.create)" ``` There's...

Currently `sqlgg` performs purely textual substitution in cases like this: ``` SELECT * FROM foo WHERE a AND @bar { Some { bar OR baz } | None { TRUE...

RList's merge operation is O(n)

3

The choice of `'a list` as the exposed data type imposes slow O(n) patch application. It'd be nice to have another module using another list-like data type (something similar to...