1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-02-20 23:20:36 -08:00
emacs/test/data
Philipp Stephani cdc632fbe6 Fix incorrect handling of module runtime and environment pointers.
We used to store module runtime and environment pointers in the static
lists Vmodule_runtimes and Vmodule_environments.  However, this is
incorrect because these objects have to be kept per-thread.  With this
naive approach, interleaving module function calls in separate threads
leads to environments being removed in the wrong order, which in turn
can cause local module values to be incorrectly garbage-collected.

Instead, turn Vmodule_runtimes and Vmodule_environments into
hashtables keyed by the thread objects.  The fix is relatively
localized and should therefore be safe enough for the release branch.

Module assertions now have to walk the pointer list for the current
thread, which is more correct since they now only find environments
for the current thread.

Also add a unit test that exemplifies the problem.  It interleaves two
module calls in two threads so that the first call ends while the
second one is still active.  Without this change, this test triggers
an assertion failure.

* src/emacs-module.c (Fmodule_load, initialize_environment)
(finalize_environment, finalize_runtime_unwind): Store runtime and
environment pointers in per-thread lists.
(syms_of_module): Initialize runtimes and environments hashtables.
(module_assert_runtime, module_assert_env, value_to_lisp): Consider
only objects for the current thread.
(module_gc_hash_table_size, module_hash_push, module_hash_pop): New
generic hashtable helper functions.
(module_objects, module_push_pointer, module_pop_pointer): New helper
functions to main thread-specific lists of runtime and environment
pointers.
(mark_modules): Mark all environments in all threads.

* test/data/emacs-module/mod-test.c (Fmod_test_funcall): New test
function.
(emacs_module_init): Bind it.

* test/src/emacs-module-tests.el (emacs-module-tests--variable): New
helper type to guard access to state in a thread-safe way.
(emacs-module-tests--wait-for-variable)
(emacs-module-tests--change-variable): New helper functions.
(emacs-module-tests/interleaved-threads): New unit test.
2020-11-27 21:44:05 +01:00
..
decompress * lisp/tar-mode.el (tar-extract): Call tar--try-jka-compr (bug#34251) 2019-02-03 23:00:29 +02:00
emacs-module Fix incorrect handling of module runtime and environment pointers. 2020-11-27 21:44:05 +01:00
epg
image Don't have exif bugging out on short strings 2020-03-19 16:17:48 +01:00
mailcap
net
shr Handle HTML 'ol' start attribute in shr.el 2019-02-22 09:52:57 +02:00
themes Update copyright year to 2020 2020-01-01 00:59:52 +00:00
vc/diff-mode * test/lisp/vc/diff-mode-tests.el (diff-mode-test-font-lock): New test. 2019-02-02 23:23:16 +02:00
xdg
xref
files-bug18141.el.gz
minibuffer-test-cttq$tion * test/lisp/minibuffer-tests.el (completion-table-test-quoting): New test 2019-11-26 13:18:18 -05:00
somelib.el
somelib2.el