docs: amend 0031 and 0049, the MariaDB timeout and the fence at the doubt of the lease #98

Merged

navigator merged 1 commit from docs/amend-0031-0049-mariadb-fence into main

2026-10-16 12:01:17 -03:00

navigator commented

2026-10-16 10:05:33 -03:00

Owner

Amendments of 0031 and 0049, from the cross-site release test of LNMP 19.0-3 and its rehearsals on BR1 and BR2.

0031: rpl_semi_sync_master_timeout is 30 s, not the 10 s of the maintainer's answer of 2026-10-03 (this changes a maintainer answer, under the delegation of design calls), and a MariaDB holder that loses the confirmation of its lease for 6 s acknowledges no write. Reason: a cut MariaDB primary acknowledged writes that the new primary did not get (keel#186, keel#195); rehearsal 1 lost 12 of 1906 acknowledged ids.
0049: the controller marks the doubt of its lease for the database.

Implemented by Keel-Linux/keel#190 and Keel-Linux/keel#197. The evidence file of the release test (docs/evidence/2026-10-16-lnmp-lnpp-19.0-3-cross-site.md) comes in its own PR.

Amendments of 0031 and 0049, from the cross-site release test of LNMP 19.0-3 and its rehearsals on BR1 and BR2. - 0031: `rpl_semi_sync_master_timeout` is 30 s, not the 10 s of the maintainer's answer of 2026-10-03 (this changes a maintainer answer, under the delegation of design calls), and a MariaDB holder that loses the confirmation of its lease for 6 s acknowledges no write. Reason: a cut MariaDB primary acknowledged writes that the new primary did not get (keel#186, keel#195); rehearsal 1 lost 12 of 1906 acknowledged ids. - 0049: the controller marks the doubt of its lease for the database. Implemented by Keel-Linux/keel#190 and Keel-Linux/keel#197. The evidence file of the release test (`docs/evidence/2026-10-16-lnmp-lnpp-19.0-3-cross-site.md`) comes in its own PR.

navigator added 1 commit

2026-10-16 10:05:33 -03:00

docs: amend 0031 and 0049, the MariaDB timeout and the fence at the doubt of the lease

security / security (pull_request) Successful in 1m27s

Details

fffdf687a1

The cross-site release test of LNMP 19.0-3 found that a cut MariaDB
primary acknowledged writes the new primary did not get (keel#186,
keel#195). 0031: rpl_semi_sync_master_timeout is 30 s, not the 10 s of
the maintainer's answer of 2026-10-03, and a holder that loses the
confirmation of its lease for 6 s acknowledges no write. 0049: the
controller marks that doubt for the database.