@mark1russell7/machines 0.3.27 → 0.3.28

package/README.md

@@ -115,6 +115,13 @@ A change to the version of a system changes its sources too. Each fact of the do
 
 In this repository, a snapshot of the predictions of the cells (`packages/cells/src/__snapshots__/predictions.json`) shows each prediction that a change to a document moves.
 
+### 0.3.28
+
+- **The release of the pool counts from the last checkout** (`ztunnel-hbone`). Each checkout of a connection, new or used again, puts it back in the pool with a new release timer (`pool.rs` of ztunnel 1.31.3, lines 150–176 and 338–341). The end of a stream does not start a timer.
+  - The timer `release` arms at the new event `local.checkout`, through the new transition `zt.checkout`. Before, it armed at the end of the last stream, and the cell of a gap cited that wrong fact.
+  - The release only drops the reference of the pool. HTTP/2 closes the connection when no reference and no stream is left (lines 142–146), thus an open flow keeps it.
+  - The cell T15.border-off.77 reads it. A fix of a fact is a PATCH.
+
 ### 0.3.27
 
 - **The SIGKILL at the end of the grace** (`ztunnel-hbone`). The document has the grace of the ztunnel pod as a knob (`grace`, 30 s from the chart) and a timer from SIGTERM.

package/build/index.d.ts

@@ -522,8 +522,10 @@ export declare const DOCKER_PROXY_LINK: Machine;
  * 30 s later.
  *
  * At the end of a stream or of its connection, ztunnel shuts down the socket of the app. The app then
- * gets a FIN. No timer closes an idle connection or an old one. At SIGTERM, ztunnel sends GOAWAY, and
- * it ends what is left at its deadline of 25 s. A deadline longer than the grace of 30 s does not
+ * gets a FIN. The release of the pool closes a connection with no stream, 5 min after its last
+ * checkout. No timer closes a connection with an open stream, or an old one.
+ *
+ * At SIGTERM, ztunnel sends GOAWAY, and it ends what is left at its deadline of 25 s. A deadline longer than the grace of 30 s does not
  * come. The kubelet sends SIGKILL to ztunnel at the end of the grace, and the kernel closes each socket.
  */
 export declare const ZTUNNEL_HBONE: Machine;

package/build/index.js

@@ -15153,8 +15153,10 @@ const I = "istio 1.31.3";
 * 30 s later.
 *
 * At the end of a stream or of its connection, ztunnel shuts down the socket of the app. The app then
-* gets a FIN. No timer closes an idle connection or an old one. At SIGTERM, ztunnel sends GOAWAY, and
-* it ends what is left at its deadline of 25 s. A deadline longer than the grace of 30 s does not
+* gets a FIN. The release of the pool closes a connection with no stream, 5 min after its last
+* checkout. No timer closes a connection with an open stream, or an old one.
+*
+* At SIGTERM, ztunnel sends GOAWAY, and it ends what is left at its deadline of 25 s. A deadline longer than the grace of 30 s does not
 * come. The kubelet sends SIGKILL to ztunnel at the end of the grace, and the kernel closes each socket.
 */
 const ZTUNNEL_HBONE = machineSchema.parse({
@@ -15179,7 +15181,7 @@ const ZTUNNEL_HBONE = machineSchema.parse({
 			rung: "implemented"
 		},
 		{
-			ref: `${Z} src/config.rs:75, :105, :795 and src/proxy/pool.rs:142-146 POOL_UNUSED_RELEASE_TIMEOUT is 5 min. A release does not close the connection: HTTP/2 closes it when no reference and no stream is left`,
+			ref: `${Z} src/config.rs:75, :105, :795 and src/proxy/pool.rs:142-176, :338-341 POOL_UNUSED_RELEASE_TIMEOUT is 5 min. Each checkout of a connection, new or used again, puts it back in the pool with a new release timer: the timer counts from the last checkout, the start of the last flow. A release does not close the connection: HTTP/2 closes it when no reference and no stream is left`,
 			rung: "implemented"
 		},
 		{
@@ -15270,6 +15272,10 @@ const ZTUNNEL_HBONE = machineSchema.parse({
 			kind: "local",
 			note: "The connect to 15008 fails: a reset, a refusal or a failed handshake"
 		},
+		"local.checkout": {
+			kind: "local",
+			note: "A new flow of an app takes the connection from the pool: the first flow, or each later flow to the same key"
+		},
 		"local.stream-end": {
 			kind: "local",
 			note: "The last stream on the connection ends"
@@ -15312,7 +15318,7 @@ const ZTUNNEL_HBONE = machineSchema.parse({
 		},
 		"timer.release": {
 			kind: "timer",
-			note: "No stream on the connection for the unused release timeout"
+			note: "No checkout of the connection for the unused release timeout"
 		},
 		"timer.deadline": {
 			kind: "timer",
@@ -15471,10 +15477,9 @@ const ZTUNNEL_HBONE = machineSchema.parse({
 				knob: "slack",
 				unit: "s"
 			},
-			arms: ["local.stream-end"],
-			cancels: ["local.accept"],
+			arms: ["local.checkout"],
 			fires: "timer.release",
-			note: "pool.rs:142-146: from the end of the last stream"
+			note: "pool.rs:150-176, :338-341: from the last checkout. Each checkout starts a new timer, and the end of a stream does not start one"
 		},
 		deadline: {
 			duration: {
@@ -15552,6 +15557,15 @@ const ZTUNNEL_HBONE = machineSchema.parse({
 			emits: ["tx.app-close"],
 			source: "proxy.rs:645, :695"
 		},
+		{
+			id: "zt.checkout",
+			from: "ready",
+			to: "ready",
+			on: "local.checkout",
+			timer: "release",
+			note: "A new flow takes the connection as a new stream, and the pool starts a new release timer",
+			source: "pool.rs:150-176, :338-341"
+		},
 		{
 			id: "zt.ping",
 			from: "ready",
@@ -15605,7 +15619,8 @@ const ZTUNNEL_HBONE = machineSchema.parse({
 			timer: "release",
 			guard: "no stream is open and no other flow holds the connection",
 			emits: ["tx.close"],
-			source: "pool.rs:142-146"
+			note: "The pool drops its reference, and HTTP/2 closes the connection when no stream is left. Thus a flow that is open at the timer keeps the connection",
+			source: "pool.rs:142-176, :338-341"
 		},
 		{
 			id: "zt.stop",