@mark1russell7/machines 0.3.12 → 0.3.13

package/README.md

@@ -95,6 +95,12 @@ 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.13
+
+- **A reload of a pooler.** `pgbouncer-client`, `pgbouncer-server` and `pgpool-session` have the event `local.reload`: SIGHUP, which reads the configuration again. No transition takes it, thus a session keeps its state, its server and each timer.
+  - PgBouncer: src/main.c:619-627, and src/loader.c:394-419 closes a server only when the connection of its database changed.
+  - Pgpool-II: src/main/pgpool_main.c:3551-3566 sends SIGHUP to each child, and a child in a session reads the configuration again in the loop of its query (src/protocol/pool_process_query.c:456-466).
+
 ### 0.3.12
 
 - **The send timeout of the client socket of Supavisor.** Supavisor 2.9.13 locks ranch 2.2.0. ranch gives each client socket a send timeout of 30 s that closes the socket (src/ranch_tcp.erl:108-109). Thus a write of a reply that waits 30 s ends the client. `supavisor-client` gives it as a source and a note, with no timer. A write waits only when the client takes no data, and on a broken path the FIN of the close waits behind the data. In run 39170773426, behind an MTU black hole, the socket closed 30.068 to 30.086 s after the fault in each of 11 runs.

package/build/index.js

@@ -7271,6 +7271,10 @@ const PGBOUNCER_CLIENT = machineSchema.parse({
 		{
 			ref: `${PB} src/admin.c:1017-1045 and src/objects.c:920-921 during PAUSE a new query gets no server, thus it waits. The janitor still runs query_wait_timeout (src/janitor.c:722-728)`,
 			rung: "implemented"
+		},
+		{
+			ref: `${PB} src/main.c:619-627 SIGHUP reads the configuration again (load_config). No client changes its state: a reload has no transition here, and each timer of a client goes on`,
+			rung: "implemented"
 		}
 	],
 	states: {
@@ -7294,6 +7298,10 @@ const PGBOUNCER_CLIENT = machineSchema.parse({
 			kind: "local",
 			note: "PgBouncer accepts the TCP connection"
 		},
+		"local.reload": {
+			kind: "local",
+			note: "SIGHUP, or RELOAD on the console: PgBouncer reads its configuration again. No transition takes it"
+		},
 		"local.logged-in": {
 			kind: "local",
 			note: "The authentication of the client ends"
@@ -7875,6 +7883,10 @@ const PGBOUNCER_SERVER = machineSchema.parse({
 		{
 			ref: `${PB} src/objects.c:2311-2424 and src/loader.c:394-419 RECONNECT, or a RELOAD that changes the connection of a database, marks each server: an idle one closes at the next pass, a linked one at its release`,
 			rung: "implemented"
+		},
+		{
+			ref: `${PB} src/main.c:619-627 and src/loader.c:394-419 SIGHUP reads the configuration again. A database whose connection is the same keeps each server: a reload with the same configuration has no transition here`,
+			rung: "implemented"
 		}
 	],
 	states: {
@@ -7900,6 +7912,10 @@ const PGBOUNCER_SERVER = machineSchema.parse({
 			kind: "local",
 			note: "The pool starts a connection to the server"
 		},
+		"local.reload": {
+			kind: "local",
+			note: "SIGHUP: PgBouncer reads its configuration again. With the same connection of the database, no transition takes it"
+		},
 		"socket.connect": {
 			kind: "local",
 			note: "The TCP connect ends"
@@ -8463,6 +8479,10 @@ const PGPOOL_SESSION = machineSchema.parse({
 		{
 			ref: `${PP} src/utils/error/elog.c:1888-2007 an error of the session goes to the client as an ErrorResponse: its severity, the SQLSTATE of Pgpool-II or XX000, and the message`,
 			rung: "implemented"
+		},
+		{
+			ref: `${PP} src/main/pgpool_main.c:3551-3566 and src/protocol/pool_process_query.c:456-466 SIGHUP: the parent reads the configuration again and sends SIGHUP to each child. A child in a session reads it again in the loop of its query and keeps the session: a reload has no transition here`,
+			rung: "implemented"
 		}
 	],
 	states: {
@@ -8485,6 +8505,10 @@ const PGPOOL_SESSION = machineSchema.parse({
 			kind: "local",
 			note: "The child accepts the TCP connection"
 		},
+		"local.reload": {
+			kind: "local",
+			note: "SIGHUP, as pgpool reload sends it: the child reads its configuration again. No transition takes it"
+		},
 		"rx.startup": {
 			kind: "rx",
 			note: "The startup packet of the client"