更改 General::stop 和主循环的行为

Question

在文档 页面 上 < code>General::stop 我们读到：

此消息是在 指示消息已生成 第三次在一个单一的 评价。

消息被抑制 以防止冗余或重复 长计算中的消息。

我的问题是，在处理 MathLink 时，我将每个点作为单个评估传递，因此 General::stop 永远不会出现。

例如，如果我定义：

link = LinkLaunch[First[$CommandLine] <> " -mathlink"]
f[z_?NumericQ] := (Print@LinkRead[link]; 
   LinkWrite[link, 
    Unevaluated[
     EnterExpressionPacket[NIntegrate[Sin[1/x], {x, .001, z}]]]]; 
   While[Head[packet = LinkRead[link]] =!= OutputNamePacket, 
    Print[packet]]; First@LinkRead[link]);
Plot[f[z], {z, 1, 10}, PlotPoints -> 6, MaxRecursion -> 0]

我会收到与 f[z] 的评估一样多的 Message 数据包。当然，我希望在生成相同消息 3 次后，通过 General::stop 在从属内核中停止消息生成。有办法实现这一点吗？

在 $MessageList 的文档页面上，我们读到

使用标准Mathematica main 循环时，$MessageList 重置为 {} 特定输入的处理 线路已完成。

在tutorial/Messages页面上我们读到：

在你所做的每一次计算中， Mathematica 维护一个列表 $MessageList 包含所有消息 被生产。 在标准 Mathematica 会话中， 该列表在每一行之后都会被清除 生成输出。

这可能是 General::stop 不出现的原因吗？如果这是真的，有没有办法控制主循环的这方面？有没有办法创建这样一个非标准的 Mathematica 会话？

编辑： 看来我的猜测是对的。如果我们在每条消息后清除 $MessageList ，则 General::stop 永远不会出现：

Unprotect[$MessageList]
Do[$MessageList = {}; 1/0, {10}]

所以问题仍然是：如何禁用自动清除 $MessageList > 生成输出后？

Answer 1

可能有更好的解决方案，但这里有一个似乎有效的解决方案。据我了解，重要的是在从属内核中有一些持久变量来累积消息。

link = LinkLaunch[First[$CommandLine] <> " -mathlink"]
f[z_?NumericQ] := 
(Print@LinkRead[link];
LinkWrite[link, Unevaluated[EnterExpressionPacket[
  If[! ValueQ[oldMessageList], oldMessageList = {}];
  Block[{$MessageList = oldMessageList},
   Module[{result},
    oldMessageList  = 
     Join[oldMessageList, (result = 
        NIntegrate[Sin[1/x], {x, .001, z}]; $MessageList)];
    result
    ]]]]];
While[Head[packet = LinkRead[link]] =!= OutputNamePacket, 
Print[packet]]; First@LinkRead[link]);

Plot[f[z], {z, 1, 10}, PlotPoints -> 6, MaxRecursion -> 0]

华泰

Answer 2

我已经找到了解决方案。它再次利用了Todd Gayley 的优雅黑客。就是这样（当然，它必须在从属内核中进行评估）：

$globalMessageList = {};
Unprotect[Message];
Message[args___] := 
  Block[{$inMsg = True, $MessageList = $globalMessageList},
    Message[args];
    $globalMessageList = $MessageList;
    ] /; ! TrueQ[$inMsg];
Protect[Message];

通过检查 $Line 的当前值并将其与先前的值进行比较，可以完全模拟从属内核中消息的标准行为:

If[TrueQ[$Line > lastLine], 
 LinkWrite[$kern, 
  Unevaluated[ExpressionPacket[$globalMessageList = {};]]]; 
 LinkRead[$kern]]; lastLine = $Line;

:)