问题标签 [termination]

我在控制事件结构内的 while 循环时遇到了一些问题。假设我有一个迭代过程，并且我想在运行时停止迭代（比如检查结果）。

我有 3 个按钮（“开始运行，停止运行，退出程序”）。当while循环运行时，应该可以通过点击“停止运行”来停止运行，但这不起作用。

我并不是说它必须是按钮，但它可以是一个控制台应用程序，并且通过在控制台上写一些东西来完成终止。

有没有人可以实施的想法？

非常感谢和最好的问候， 穆罕默德

我的代码中的每个都会(println...)导致 REPL 中出现终止 ^M 字符。我lein swank在一个单独的窗口中运行，我已经通过M-x slime-connect

我认为这可能与Emacs 在进程缓冲区中显示 ^M 的问题相同，但我还没有尝试过该修复。

我尝试将行尾样式更改为 unix/dos/mac，并遵循我在网上找到的其他一些规定，但我认为其中大多数与实际替换文件中的 ^M 有关或者在缓冲区中，或者写一些我认为可能是矫枉过正的elisp。这真的应该是某个地方的复选框，如果不是字面上至少在概念上。

我在 Win7 x64 上使用 Emacs 24 + clojure mode + slime + swank。

我正在使用 OpenGl 和 Haskell 编写一个程序，它应该在单击鼠标的时间和位置绘制一个矩形。但是，程序在我单击并在绘制矩形之前关闭。

是否有什么东西导致程序在其中一种方法中提前终止，或者这只是计算机告诉我我不能这样做的方式？

帮助我理解这一点......看粗体。从标准 3.6.3 终止 (2)

2 如果函数包含已销毁的静态或线程存储持续时间的块范围对象，并且在具有静态或线程存储持续时间的对象的销毁期间调用该函数，则如果控制流通过，则程序具有未定义的行为先前销毁的块作用域对象的定义。同样，如果块范围对象在其销毁后被间接使用（即，通过指针），则行为未定义。

然后在别的地方...

然后在用户析构函数中......

标准是否说如果使用 odr-use 规则静态创建的本地静态 localMan 对象被破坏，然后再次调用该函数（是否创建新的静态），这是未定义的？看起来它为定义的行为留出了空间，但如果它通过了被破坏对象的定义，则不是。

有人对此有明确的见解吗？

我正在阅读一篇论文“Termination of term rewriting using dependency pairs”（Thomas Arts，Jurgen Giesl）。在示例中：

它说： ”However, the TRS above is not compatible with a simplification ordering, because the left-hand side of the last quot-rule is embedded in its right-hand side if y is instantiated with s (x). Therefore these techniques cannot prove termination of this TRS"

我不明白“ if y is instantiated with s (x)”。如果可能的话，你能帮我理解吗？PS：如果这边不是问这种问题的地方，请你帮我知道我在哪里可以问？非常感谢您的帮助

这是交易：

我正在使用 Appcelerator Titanium 构建一个移动应用程序。它将部署到 iOS 和 Android 设备。

我使用 Titanium.Database 模块来缓存应用程序显示的传入数据。当用户按下主页按钮/关闭应用程序时，我想关闭（）数据库（并可能执行一些其他操作）。在后台，一个应用程序可以在没有警告的情况下被终止（手动或系统），所以我想做一些清理以期待这个事件。

我看到 API 文档中提到的“暂停”、“恢复”和“恢复”事件，但它们仅适用于 iOS。

所以.... 我如何在 Android 上处理业务？

我创建了一个ThreadManager处理类，Threads它的任务是添加新threads的和清理死的threads。但是，threads所创建的仍处于活动状态并处于ThreadState.WaitSleepJoin状态。我已经检查过主体是否已成功完成执行。有任何想法吗？

在主线程中执行：

我试图检测何时在目录中创建具有给定名称的文件。感谢watchdog。正确检测到创建，但是一旦检测完成，我不知道如何正确终止应用程序。

我的一段代码如下：

我是 python 新手，我不知道出了什么问题。检测似乎安排在专用线程中，并且 join() 方法正在等待该线程终止。因此，我想我没有在观察者上调用正确的方法来停止等待/循环，但是看门狗文档似乎真的不清楚指出可以使用哪些方法。

有人知道我如何实现我的目标吗？

嗨，我们通过 inApp Billing 在市场上发布了这个应用程序，我们的日志显示，BillingService（可能是应用程序本身）在某些客户设备上一直被随机杀死。因此，有时我无法收到购买成功与否的通知。一些客户经常需要购买两次才能成功购买。虽然这发生在一小部分客户身上，但它非常令人不安。知道为什么会发生这种情况，或者可以做些什么来解决这个问题。

有问题的如何使线程超时，建议的解决方案适用于ExecutorService该类，其中可以提交Runnable要执行的对象。

该类ExecutorService提供了两种方法shutdown并shutdownNow停止所有任务的执行。但是 Java API 说shutdownNow：

“尝试停止所有正在执行的任务，停止等待任务的处理，并返回等待执行的任务列表。除了尽力停止处理正在执行的任务之外，没有任何保证。例如，典型的实现将通过 Thread.interrupt() 取消，因此任何无法响应中断的任务都可能永远不会终止。”

我想知道，如果没有办法执行有保证的任务终止？