File 0667-erts-Clarify-erlang-system_monitor-2-seman... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0667-erts-Clarify-erlang-system_monitor-2-semantics.patch of Package erlang (Revision 865d2e25c8b9e0a1b23f89d693ffd991)

Currently displaying revision 865d2e25c8b9e0a1b23f89d693ffd991 , Show latest

From f8d2dfc06b599b8e3335a2afef89c763b01d6f55 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Mon, 20 May 2019 17:35:06 +0200
Subject: [PATCH 1/2] erts: Clarify erlang:system_monitor/2 semantics

---
 erts/doc/src/erlang.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml
index a879cce840..998c9b6272 100644
--- a/erts/doc/src/erlang.xml
+++ b/erts/doc/src/erlang.xml
@@ -9412,6 +9412,18 @@ Metadata = #{ pid => pid(),
 Returns the previous system monitor settings just like
 <seealso marker="#system_monitor/0">
 <c>erlang:system_monitor/0</c></seealso>.
+	The arguments to <c>system_monitor/2</c> specifies how all
+	 system monitoring on the node should be done, not how it should be
+	 changed. This means only one process at a time
+	 (<c><anno>MonitorPid</anno></c>) can be the receiver of system monitor
+	 messages. Also, the way to clear a specific monitor option
+	 is to not include it in the list <c><anno>Options</anno></c>. All
+	 system monitoring will, however, be cleared if the process identified by
+	 <c><anno>MonitorPid</anno></c> terminates.
+	There are no special option values (like zero) to clear an option.
+	 Some of the options have a unspecified minimum value. Lower values
+	 will be adjusted to the minimum value. For example, it is currently not
+	 possible to monitor all garbage collections with <c>{long_gc, 0}</c>.
 <note>
 If a monitoring process gets so large that it itself
 starts to cause system monitor messages when garbage
-- 
2.16.4

Places

File 0667-erts-Clarify-erlang-system_monitor-2-semantics.patch of Package erlang (Revision 865d2e25c8b9e0a1b23f89d693ffd991)

Places