File 0288-Fix-demonitor-of-an-alias.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0288-Fix-demonitor-of-an-alias.patch of Package erlang (Revision d6f8466d853c6588350f443c4053ce24)

Currently displaying revision d6f8466d853c6588350f443c4053ce24 , Show latest

From 85c521be53fdde05e7984498f741b1d849f964ff Mon Sep 17 00:00:00 2001
From: Rickard Green <rickard@erlang.org>
Date: Wed, 22 Sep 2021 17:49:53 +0200
Subject: [PATCH] Fix demonitor of an alias

---
 erts/emulator/beam/bif.c             |  3 +++
 erts/emulator/test/monitor_SUITE.erl | 25 ++++++++++++++++++++++---
 2 files changed, 25 insertions(+), 3 deletions(-)

diff --git a/erts/emulator/beam/bif.c b/erts/emulator/beam/bif.c
index 024d8f8436..c81b2a9f48 100644
--- a/erts/emulator/beam/bif.c
+++ b/erts/emulator/beam/bif.c
@@ -350,6 +350,9 @@ demonitor(Process *c_p, Eterm ref, Eterm *multip)
    if (!erts_monitor_is_origin(mon))
        return am_badarg;
 
+   if (mon->type == ERTS_MON_TYPE_ALIAS)
+       return am_false; /* Not a monitor (may have been...) */
+
    switch (mon->flags & ERTS_ML_STATE_ALIAS_MASK) {
    case ERTS_ML_STATE_ALIAS_ONCE:
    case ERTS_ML_STATE_ALIAS_UNALIAS: {
diff --git a/erts/emulator/test/monitor_SUITE.erl b/erts/emulator/test/monitor_SUITE.erl
index 27351dc5c1..64e5d94e86 100644
--- a/erts/emulator/test/monitor_SUITE.erl
+++ b/erts/emulator/test/monitor_SUITE.erl
@@ -25,7 +25,7 @@
 
 -export([all/0, suite/0, groups/0,
          case_1/1, case_1a/1, case_2/1, case_2a/1, mon_e_1/1, demon_e_1/1, demon_1/1,
-         demon_2/1, demon_3/1, demonitor_flush/1,
+         demon_2/1, demon_3/1, demonitor_flush/1, gh_5225_demonitor_alias/1,
          local_remove_monitor/1, remote_remove_monitor/1, mon_1/1, mon_2/1,
          large_exit/1, list_cleanup/1, mixer/1, named_down/1, otp_5827/1,
          monitor_time_offset/1, monitor_tag_storage/1]).
@@ -38,8 +38,8 @@ suite() ->
 
 all() -> 
     [case_1, case_1a, case_2, case_2a, mon_e_1, demon_e_1,
-     demon_1, mon_1, mon_2, demon_2, demon_3,
-     demonitor_flush, {group, remove_monitor}, large_exit,
+     demon_1, mon_1, mon_2, demon_2, demon_3, demonitor_flush,
+     gh_5225_demonitor_alias, {group, remove_monitor}, large_exit,
      list_cleanup, mixer, named_down, otp_5827,
      monitor_time_offset, monitor_tag_storage].
 
@@ -293,6 +293,25 @@ demonitor_flush_test(Node) ->
               ok
     end.
 
+gh_5225_demonitor_alias(Config) when is_list(Config) ->
+    %% Demonitor using a reference that was an active alias, but not an
+    %% active monitor, used to crash the runtime system.
+    Alias = alias(),
+    erlang:demonitor(Alias),
+    erlang:demonitor(Alias, [flush]),
+    {Pid, MonAlias1} = spawn_opt(fun () ->
+                                         ok
+                                 end,
+                                 [{monitor, [{alias, explicit_unalias}]}]),
+    receive {'DOWN', MonAlias1, process, Pid, normal} -> ok end,
+    erlang:demonitor(MonAlias1),
+    erlang:demonitor(MonAlias1, [flush]),
+    MonAlias2 = erlang:monitor(process, Pid, [{alias, explicit_unalias}]),
+    receive {'DOWN', MonAlias2, process, Pid, noproc} -> ok end,
+    erlang:demonitor(MonAlias2),
+    erlang:demonitor(MonAlias2, [flush]),
+    ok.
+
 -define(RM_MON_GROUPS, 100).
 -define(RM_MON_GPROCS, 100).
 
-- 
2.31.1

Places

File 0288-Fix-demonitor-of-an-alias.patch of Package erlang (Revision d6f8466d853c6588350f443c4053ce24)

Places