From b0bec448d30f198dc4817d71fc8c72654907a3a9 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Wed, 30 Sep 2026 05:37:11 +0100 Subject: Balance the snapshot register's count, and free the runtime lists in order Under AddressSanitizer with leaks counted, the module checks lost 672 KB in 10,185 allocations. Two causes, both from the snapshot rework (d1e8f38): - A snapshot's register counted its snapshots with ++ under its spin, but a snapshot's last release took one off atomically outside it. A release on a reader's thread racing the owner's next snapshot could lose either change: the register then outlived every snapshot (the leak seen), or went while one still used it. The count is atomic now. - pure_app_stop handed what its lists let go to the newest snapshot (or freed it) and only then freed the outbox and the numbers heard, whose shared nodes and texts went to that hand-over's list again, for good. They are freed with the other lists now. make check builds the module checks a second time under AddressSanitizer and UndefinedBehaviorSanitizer (build/test-module-sanitized, 25 s) and fails on a leak. Before d1e8f38 the same build stops at a heap-use-after-free in retire; now it is clean. --- core/test-module.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'core/test-module.c') diff --git a/core/test-module.c b/core/test-module.c index b318aee..0a11f1c 100644 --- a/core/test-module.c +++ b/core/test-module.c @@ -2101,7 +2101,7 @@ static void deferred_messages(void) { CHECK(load(editor_spec, &module_a) == PURE_OK); PureApp app; unsigned char buffer[64]; - char key[8]; + char key[16]; CHECK(pure_app_start(&app, &module_a, pure_tree_data(path)) == PURE_OK && pure_app_defer(&app, true)); for (int i = 0; i < 3; ++i) { snprintf(key, sizeof(key), "k%d", i); @@ -2137,7 +2137,7 @@ static void pending_keys(void) { CHECK(load(editor_spec, &module_a) == PURE_OK); PureApp app; unsigned char buffer[64]; - char key[8]; + char key[16]; CHECK(pure_app_start(&app, &module_a, pure_tree_data(path)) == PURE_OK && pure_app_defer(&app, true)); for (int i = 0; i < 200; ++i) { snprintf(key, sizeof(key), "p%d", i); -- cgit v1.2.3