- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
基于 my previous question我想问一下是否有任何方法可以杀死 GHCi session 中所有用户创建的线程?
这样做的原因是当一个函数在 GHCi 中退出时,它产生的线程不会自动终止,即使重新加载代码也会持续存在。重新启动 GHCi 解决了这个问题,但由于我的应用程序需要一段时间才能加载,如果有可能(甚至是 hacky)的解决方法,那就太好了。
最佳答案
不,实际上与 How can I build a ThreadId given that I know the actual number? 中的原因几乎相同: 图书馆根本不给你任何东西来获得 ThreadId
s 所有(仍在运行的)线程或任何其他工具来处理不属于您的任何线程。
此外,您无法可靠地猜测 forkIO
产生了哪些线程。属于您的 GHCi session (所有评估通常在 forkIO
中进行沙盒处理)、底层 yesod 应用程序或线程 RTS(至少有一次调用 forkIO
- 这基本上确保所有事件管理器都被关闭) .目前,这还不错,因为 GHCi 在 main
中运行。如果无论如何关闭,线程和 IO 管理器会重新启动,但这可能会在 future 的版本中改变。
那么为什么线程甚至在终止时被收集呢? hs_exit()
.本质上,它调用 ioManagerDie()
(杀死所有 event managers )和 exitScheduler(..)
(见 scheduler ,基本上是 kills all threads 。这些函数都没有适当的 FFI 包装器。
当时hs_exit()
被称为 main
来自 Haskell 世界的已经完成了。因为这些函数在 GHC.*
中都没有适当的等价物。模块,你不能直接在 Haskell 和 GHCi 中调用它们,因为没有合适的 :#
命令。
所以总而言之,你不能。如果在 GHCi 中添加一个重新启动调度程序的命令,那将很容易。但是鉴于调度程序在 hs_init()
中启动并停在 hs_exit()
在 RTS model ,我怀疑这将是一个简单的扩展。
但是,根据您想做什么,您可以作弊。你可以自己写forkIOMem
,其中存储 ThreadId
在全局MVar
, 并替换所有 forkIO
在来源中。这可能非常麻烦,尤其是在您使用库时,因为您需要确保 forkIO
到处被替换。
当然,您可以干预 base
包,但这可能很疯狂(尽管仍有可能),更改forkIO
在那里并添加killAllforkIOs
至Control.Concurrent
. (我已经说过这可能是疯了,对吧?)
关于multithreading - 有没有办法杀死 GHCi session 中的所有 fork 线程而不重新启动它?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24999636/
我将 Bootstrap 与 css 和 java 脚本结合使用。在不影响前端代码的情况下,我真的很难在css中绘制这个背景。在许多问题中,人们将宽度和高度设置为 0%。但是由于我的导航栏,我不能使用
我正在用 c 编写一个程序来读取文件的内容。代码如下: #include void main() { char line[90]; while(scanf("%79[^\
我想使用 javascript 获取矩阵数组的所有对 Angular 线。假设输入输出如下: input = [ [1,2,3], [4,5,6], [7,8,9], ] output =
可以用pdfmake绘制lines,circles和other shapes吗?如果是,是否有documentation或样本?我想用jsPDF替换pdfmake。 最佳答案 是的,有可能。 pdfm
我有一个小svg小部件,其目的是显示角度列表(参见图片)。 现在,角度是线元素,仅具有笔触,没有填充。但是现在我想使用一种“内部填充”颜色和一种“笔触/边框”颜色。我猜想line元素不能解决这个问题,
我正在为带有三角对象的 3D 场景编写一个非常基本的光线转换器,一切都工作正常,直到我决定尝试从场景原点 (0/0/0) 以外的点转换光线。 但是,当我将光线原点更改为 (0/1/0) 时,相交测试突
这个问题已经有答案了: Why do people write "#!/usr/bin/env python" on the first line of a Python script? (22 个回
如何使用大约 50 个星号 * 并使用 for 循环绘制一条水平线?当我尝试这样做时,结果是垂直(而不是水平)列出 50 个星号。 public void drawAstline() { f
这是一个让球以对角线方式下降的 UI,但球保持静止;线程似乎无法正常工作。你能告诉我如何让球移动吗? 请下载一个球并更改目录,以便程序可以找到您的球的分配位置。没有必要下载足球场,但如果您愿意,也可以
我在我的一个项目中使用 Jmeter 和 Ant,当我们生成报告时,它会在报告中显示 URL、#Samples、失败、成功率、平均时间、最短时间、最长时间。 我也想在报告中包含 90% 的时间线。 现
我有一个不寻常的问题,希望有人能帮助我。我想用 Canvas (android) 画一条 Swing 或波浪线,但我不知道该怎么做。它将成为蝌蚪的尾部,所以理想情况下我希望它的形状更像三角形,一端更大
这个问题已经有答案了: Checking Collision of Shapes with JavaFX (1 个回答) 已关闭 8 年前。 我正在使用 JavaFx 8 库。 我的任务很简单:我想检
如何按编号的百分比拆分文件。行数? 假设我想将我的文件分成 3 个部分(60%/20%/20% 部分),我可以手动执行此操作,-_-: $ wc -l brown.txt 57339 brown.tx
我正在努力实现这样的目标: 但这就是我设法做到的。 你能帮我实现预期的结果吗? 更新: 如果我删除 bootstrap.css 依赖项,问题就会消失。我怎样才能让它与 Bootstrap 一起工作?
我目前正在构建一个网站,但遇到了 transform: scale 的问题。我有一个按钮,当用户将鼠标悬停在它上面时,会发生两件事: 背景以对 Angular 线“扫过” 按钮标签颜色改变 按钮稍微变
我需要使用直线和仿射变换绘制大量数据点的图形(缩放图形以适合 View )。 目前,我正在使用 NSBezierPath,但我认为它效率很低(因为点在绘制之前被复制到贝塞尔路径)。通过将我的数据切割成
我正在使用基于 SVM 分类的 HOG 特征检测器。我可以成功提取车牌,但提取的车牌除了车牌号外还有一些不必要的像素/线。我的图像处理流程如下: 在灰度图像上应用 HOG 检测器 裁剪检测到的区域 调
我有以下图片: 我想填充它的轮廓(即我想在这张图片中填充线条)。 我尝试了形态学闭合,但使用大小为 3x3 的矩形内核和 10 迭代并没有填满整个边界。我还尝试了一个 21x21 内核和 1 迭代,但
我必须找到一种算法,可以找到两组数组之间的交集总数,而其中一个数组已排序。 举个例子,我们有这两个数组,我们向相应的数字画直线。 这两个数组为我们提供了总共 7 个交集。 有什么样的算法可以帮助我解决
简单地说 - 我想使用透视投影从近裁剪平面绘制一条射线/线到远裁剪平面。我有我认为是使用各种 OpenGL/图形编程指南中描述的方法通过单击鼠标生成的正确标准化的世界坐标。 我遇到的问题是我的光线似乎
我是一名优秀的程序员,十分优秀!