@mark1russell7/machines 0.3.20 → 0.3.21

package/README.md

@@ -61,8 +61,9 @@ The algebra reads these documents. It gives the closed form of each timer, the f
 | `DOCKER_PROXY_LINK` | `docker-proxy-link` | docker-proxy of Docker Engine 29.1.5: one proxied TCP connection and its close | proxy | 9 implemented |
 | `CADDY_HTTP2` | `caddy-http2` | Caddy 2.11.7 as an HTTP/2 proxy of gRPC: one connection of a client, its idle close, its replies and its stop | proxy | 12 implemented |
 | `NGINX_GRPC` | `nginx-grpc` | nginx 1.29.6 as an HTTP/2 proxy of gRPC: one connection of a client, its idle close, the read timer of a call, and a stopped worker | proxy | 12 implemented, 1 documented |
+| `TRAEFIK_HTTP2` | `traefik-http2` | Traefik 3.7.15 as an HTTP/2 proxy of gRPC: one connection of a client, its idle close, a reload of its dynamic file and its stop | proxy | 10 implemented, 1 observed |
 
-Twenty-nine documents operate on Linux TCP (`over`). Seven documents operate on no other document: Linux TCP, conntrack, the Sentinel, the replication of mongod, aten, the member of Ra and the `RetryAgent` of undici. The `RetryAgent` is one request above the sockets of a `Client`. Its timer is the delay of a retry. Each retry can go on a new socket. The `conditions` of each document give the range where it holds, for example a range of kernels.
+Thirty documents operate on Linux TCP (`over`). Seven documents operate on no other document: Linux TCP, conntrack, the Sentinel, the replication of mongod, aten, the member of Ra and the `RetryAgent` of undici. The `RetryAgent` is one request above the sockets of a `Client`. Its timer is the delay of a retry. Each retry can go on a new socket. The `conditions` of each document give the range where it holds, for example a range of kernels.
 
 The package also gives these parts:
 

package/build/index.d.ts

@@ -446,6 +446,24 @@ export declare const ENVOY_HTTP2: Machine;
  */
 export declare const NGINX_GRPC: Machine;
 //#endregion
+//#region src/proxy/traefik.d.ts
+/**
+ * This document is Traefik 3.7.15 as an HTTP/2 proxy of gRPC, for one connection of a client. Its
+ * configuration is the one of the harness. It has one entrypoint of h2c and the file provider over a
+ * folder of dynamic files, with one router to one server of h2c. Each other option is at its default.
+ *
+ * - With no stream open for 180 s (respondingTimeouts.idleTimeout), Go sends GOAWAY NO_ERROR, and it
+ *   closes the connection 1 s later. The timer counts from the close of the last stream.
+ * - A reload of the dynamic file only swaps the handler of each entrypoint. Thus a reload sends nothing
+ *   to the client: no GOAWAY, no reset and no close. A stream that runs keeps its handler, and a new
+ *   stream gets the new one. A transport whose configuration is the same is kept, with its upstream
+ *   connection.
+ * - The file provider watches the file and its folder. The first message goes at once, and a change
+ *   within the throttle of 2 s waits for its end. A rewrite with the same content changes nothing.
+ * - At SIGTERM, Traefik sends GOAWAY, and it closes each connection after graceTimeOut (10 s).
+ */
+export declare const TRAEFIK_HTTP2: Machine;
+//#endregion
 //#region src/proxy/tcp-proxies.d.ts
 /**
  * This document is one proxied connection of Toxiproxy 2.12.0, with no toxic. Toxiproxy copies TCP, and it