程序员经验分享-hwhale

由于垃圾收集，Haskell 程序中会出现多长时间的暂停？

2024-05-27

关于我的另一个问题Haskell 集合可以保证每个操作的最坏情况范围？ https://stackoverflow.com/q/12393104/1333025， 我很好奇：垃圾收集会导致多长时间的暂停？

Haskell 是否使用某种增量垃圾收集，以便程序一次仅停止一小段时间，或者在极端情况下可以停止几秒钟？

我找到了两篇 SPJ 关于这个主题的论文：https://research.microsoft.com/en-us/um/people/simonpj/papers/non-stop/index.htm https://research.microsoft.com/en-us/um/people/simonpj/papers/non-stop/index.htm。 但我没有找到这些想法是否被 GHC（或其他 Haskell 实现）实际采用的参考。


GHC 是为计算吞吐量而不是延迟而设计的。因此，GHC 使用分代、多线程 http://community.haskell.org/%7Esimonmar/papers/parallel-gc.pdf垃圾收集器具有线程本地堆 http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/local-gc.pdf。 线程本地对象的垃圾收集不会停止其他线程。全局堆偶尔的Major GC会暂停所有线程。

通常，暂停时间只有几毫秒，但不能保证延迟。

您可以通过以下方式控制 GC 的频率几个运行时标志 http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/runtime-control.html（例如GC-I间隔）。

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

Haskell

garbagecollection

DELAY

由于垃圾收集，Haskell 程序中会出现多长时间的暂停？ 的相关文章

  • 正确使用 IDisposable 接口

    我从阅读中知道微软文档 https learn microsoft com dotnet api system idisposable的 主要 用途IDisposable接口是为了清理非托管资源 对我来说 非托管 意味着数据库连接 套接字

  • 应用交换律

    带有效果的应用程序编程 http staff city ac uk ross papers Applicative html麦克布莱德和帕特森的论文提出了互换法 u lt gt pure x pure f gt f x lt gt u 为了

  • 副作用是纯函数中找不到的一切吗？

    可以肯定地说 以下二分法成立 每个给定的函数是 要么纯粹 或有副作用 如果是这样 函数的 副作用就是纯函数中找不到的任何东西 这很大程度上取决于您选择的定义 可以公平地说 函数是pure or impure 纯函数始终返回相同的结果并且不会

  • 如何在 TH 拼接中复制 'name 的行为

    考虑这个 Haskell 文件 LANGUAGE TemplateHaskell OPTIONS GHC fplugin Test Inspection Plugin module Text main where import Test I

  • 'lens' 的阴谋集团依赖性解析失败

    我刚刚做了一个阴谋更新并尝试从 hackage 安装 lens 这给了我以下错误 cabal install j lens Resolving dependencies Configuring dlist 0 7 0 1

  • Java GC 中的压缩是什么？

    I read http www cubrid org blog tags Garbage 20Collection http www cubrid org blog tags Garbage 20Collection 文章提供了 Java

  • Perl 中如何释放内存？

    我的代码如下所示 my var my var new while 1 while my k v each var a sub v var A map var var new keys var new var new B sub a sub

  • 如何获取常量内存中的统计数据

    我有一个函数 它会创建一些随机的数值结果 我知道 结果将是 a 小 a b 约 50 范围内的整数a b 我想创建一个执行上述函数 1000000 次的函数 并计算每个结果出现的频率 该函数使用随机生成器来生成结果 问题是 我不知道如何在常

  • 计算两点之间的距离（Haskell）

    给定两个元组的输入 我希望能够使用以下公式计算两点之间的距离 距离 sqrt x1 x2 2 y1 y2 2 所以我希望函数调用和输出如下所示 gt distance 5 10 3 5 5 385 当我尝试运行下面的代码时 它告诉我输入 w

  • 列表理解：制作列表列表

    你好 我正在尝试在 haskell 中创建一个函数 该函数接受一个数字 a 使用列表 即数字 将其一部分4它会创造 1 1 1 1 1 1 2 1 3 2 2 4 我正在考虑使用列表理解来创建列表 x 然后使用 1 n 中的数字创建更多列表

  • 如何找到仅是 2、3 和 5 的幂的倍数的所有数字的列表？ [复制]

    这个问题在这里已经有答案了 I am trying to generate a list of all multiples which can be represented by the form where a b and c are w

  • Haskell 中的相互递归求值器

    Update 我已经添加一个答案 https stackoverflow com questions 3524485 mutually recursive evaluator in haskell 4504200 4504200这描述了我的

  • 如何组合过滤条件

    过滤器类函数接受一个条件 a gt Bool 并在过滤时应用它 当您有多个条件时 使用过滤器的最佳方法是什么 使用了应用函数 liftA2 而不是 liftM2 因为出于某种原因我不明白 liftM2 在纯代码中如何工作 liftM2 组合

  • 对元组列表进行排序的函数 - Haskell

    抱歉 这个简单的问题只是我对 haskell 非常陌生 我正在尝试编写一个函数 order 它将对另一个函数 Frequency 生成的元组列表进行排序 频率计算列表中不同元素的数量 a给出一个这样的结果 比如 gt 频率 aabbbccc

  • 如何在 MOS 6502 的 asm 中创建延迟

    我是 ASM 新手 我正在尝试研究如何为以下代码创建延迟 org 1000 loop inc d021 jmp loop 我想评论已经足够清楚了 每帧更改颜色的代码示例 1 50 秒 sei enable interrupts loop1

  • 有没有办法在 Emacs 中使用 Djinn 自动生成 Haskell 代码？

    标题几乎说明了一切 我正在寻找这样的东西 f Int gt Bool gt Int f body Djinn 可以使用定理证明来通过证明该类型存在来生成此类函数的代码 我想知道 是否有现有的方法可以从 Emacs 中获取此功能 因此 我不需

  • Haskell 和 Idris 之间的区别：类型宇宙中运行时/编译时的反映

    因此 在 Idris 中 编写以下内容是完全有效的 item b Bool gt if b then Nat else List Nat item True 42 item False 1 2 3 cf https www youtube

  • Haskell 排列库函数 - 请澄清一下？

    这是代码permutationsHaskell 中的函数Data List module permutations a gt a permutations xs0 xs0 perms xs0 where perms perms t ts i

  • 为什么 Haskell 中的点是从右向左排列的？

    如果我们有两个函数 f and g 然后在哈斯克尔h f g相当于h x f g x IE 这些函数从右到左应用于输入 有什么根本原因可以解释为什么它是从右到左 而不是从左到右吗 IE 他们为什么不做h f g相当于h x g f x 反而

  • Parsec 函数“parse”和类“Stream”的类型签名

    约束条件是什么 Stream s Identity t 下面的类型声明是什么意思 parse Stream s Identity t gt Parsec s a gt SourceName gt s gt Either ParseError

随机推荐

  • after_or_equal 验证在 laravel 5.2 中不起作用

    我想比较 start date 和 end date 并且 end date 应等于或大于 start date 我正在使用 after or equal 验证 return Validator make data start date g

  • 如何保留每个单元格中合并单元格的值？

    我创建了一个包含合并单元格的工作表 但合并单元格的值仅存储在第一个单元格中 无论如何 为了在每个单元格中保持相同的值 我使用的公式需要它 谢谢 在 Excel 2003 中 此宏执行以下任务 Public Sub UnmergeAndFil

  • 如何在 symfony 4 注销中重定向到外部网址

    只是想知道 Symfony 4 中是否有一个简单的解决方案 通常用户会注销并返回主页 但是有一个页面会检查用户当前是否在另一个站点上进行了身份验证 如果这是不正确的 我有一个链接可以将用户从我的站点中注销并重定向到外部站点 我在基于 sil

  • 在 .NET 中解析 FIX 协议消息的最有效方法是什么？

    我碰到这个非常相似的问题 https stackoverflow com questions 2311205 the best way to parse a fix message但该问题被标记为 QuickFIX 与我的问题无关 并且大多

  • 如何让Android设备始终处于唤醒模式？

    设备root成功后 现在 我需要使设备始终处于唤醒状态 即始终可见 UI 并且没有黑屏或任何白日梦屏幕 为此 我认为我必须完成以下任务 无锁屏 已关闭 睡眠设置为 从不 白日梦设置为 关闭 我发现都是关于应用程序层的 即有一些应用程序可以完

  • 有什么简单的方法可以完全忽略带有 java url 连接的 ssl ？

    我正在构建一个应用程序 定期检查一些 RSS 提要是否有新内容 其中一些提要只能通过 https 访问 有些具有自签名或以某种方式损坏的证书 我仍然希望能够检查它们 请注意 安全性在此应用程序中不是问题 目标是以最小的努力访问内容 我使用此

  • JavaScript 单选按钮

    我正在尝试制作一些项目 其中我希望在选择专家按钮时显示一个文本框 而在单击学习者按钮时不显示文本框 我已经编写了这段代码 但无法解决问题 请帮忙

  • 为什么我不能将 this 指针显式传递给成员函数？

    c 标准 ISO c 11 中提到第 9 3 1 节 that 可以为其类的对象调用非静态成员函数 类型 或从其类派生的类的对象 第 10 条 类型 使用类成员访问语法 5 2 5 13 3 1 1 尝试使用 g 版本 4 8 2 编译此代

  • 在 azure Web 应用程序容器上部署 .net Core 3 Linux 容器，出现 IdentityServer4 认证/http 错误

    我正在尝试使用 Net Core 干净架构应用程序模板 https github com jasontaylordev CleanArchitecture并使其在容器中运行并通过 Azure CI CD 管道进行部署 我在 Linux 容器

  • Nodejs 在 Windows 上找不到已安装的模块

    我现在正在Windows上学习nodejs 使用npm cmd全局安装了几个模块 nodejs找不到已安装的模块 以玉石为例 npm install jade g Jade安装在目录中 C Program Files x86 nodejs

  • Windows 上 PE 文件 (exe) 的最小文件大小是多少？以及最小内存分配？ [复制]

    这个问题在这里已经有答案了 Windows 上 PE 文件 exe 的最小文件大小是多少 以及最小内存分配 我 使用 VS 10 附带的 MASM ml exe 和 link exe 组装了以下代码 我不能忽略 kernel32 lib 和

  • mysql 修改全文搜索的停用词列表

    我搜索了很多 据说我必须编辑 my cnf 文件来更改停用词列表 我将 my medium cnf 重命名为 my cnf 并添加了 ft query expansion limit 和 ft stopword file 条件 我已经重新启

  • 修改 GGplot2 对象

    然而 我很好奇 是否可以添加任何特定的图例或将哪个物种对应于观察到的预期绘图中 以分别知道它是哪个圆圈 我目前使用的是一个名为 finches 的假数据集 该包称为 cooccurr 它创建一个 ggplot 对象 我很好奇如何实际编辑它以

  • 无法在 PHP shell_exec() 中运行“cd”命令

    我最近在我的大学以太网连接上安装了 Apache 设置的笔记本电脑 现在 只要我有 IP 地址或主机名 我可以选择 我就可以从任何地方连接到我的计算机 现在我想创建一个基于 Web 的命令提示符 让我可以从任何设备在笔记本电脑上运行命令 一

  • 有没有办法阻止dll在reflector之类的软件中被打开？

    你好 有没有办法防止 C 中的特定 dll 在反射器中打开 我可以打开许多 dll 并且可以使用反射器获取代码 但是 当尝试打开某些 dll 时 它会显示一条错误消息 指出 特定 dll 不包含 CLI 标头 我怎样才能制作这样的dll 您

  • Django 数据库迁移与 postgres 失败

    我对模型做了一些更改 然后运行了 python 管理 py makemigrations python 管理 py 迁移 我得到了这个回溯 Operations to perform Synchronize unmigrated apps

  • 清理 tan(x) 的图

    我想形象化的根源tan xi tanh xi xi gt 0和我的情节 plot tan pi xi tanh pi xi xi 0 4 ylim 1 2 像这样出来 在那里人们看到真正的根源 xi i approx pi n 1 4 n

  • 通知中的 showInputMethodPicker 在 Android 9 中不起作用

    我的应用程序有时会显示一条通知 以简化切换到应用程序的内部输入法的过程 因此 我正在执行 InputMethodManager getSystemService INPUT METHOD SERVICE showInputMethodPic

  • 使用 jQuery 禁用超链接

    a href gohere aspx class my link Click me a I did my link attr disabled true 但没用 有没有一种简单的方法可以使用 jquery 禁用超链接 删除href 我宁愿不

  • 由于垃圾收集，Haskell 程序中会出现多长时间的暂停？

    关于我的另一个问题Haskell 集合可以保证每个操作的最坏情况范围 https stackoverflow com q 12393104 1333025 我很好奇 垃圾收集会导致多长时间的暂停 Haskell 是否使用某种增量垃圾收集 以

热门标签