您现在的位置是:首页 > 科技网站首页科技

OCaml致力于4.10版本中的整体性能

  • 科技
  • 2020-02-25 17:07:21
  • 来源:

通用编程语言OCaml已进入4.10版,在Microsoft,IBM,CEA和其他公司使用的项目中提高了内存使用率,垃圾回收(GC)成本,并提高了成本。

OCaml于1996年由法国国家数字科学研究所Inria开发,用于涉及符号计算的应用程序,例如编译器或程序分析器。它最突出的功能包括功能强大的类型系统,自动内存管理以及用户可定义的代数数据类型和模式匹配。

在当前版本中,其创建者为OCaml配备了扩展索引运算符的多索引变体,例如,帮助进行通用多维数组的索引。新版本还包含忽略模块表达式的函数,并强制执行安全的不可变字符串。

OCaml的运行时系统已得到改进,可以更好地处理具有大堆的程序。这是通过仍处于试验阶段的最佳拟合分配器实现的,该分配器有望降低GC成本和内存使用量,可以通过将OCAMLRUNPARAM =“ a = 2”设置来进行设置。运行时还看到添加了C函数,以执行长时间运行的C函数中的所有未决操作,并修复了其堆栈溢出检测和字节码回溯生成。

可以在标准库中找到进一步的优化,例如,它们旨在改善数组的构造和填充以及散列表的清除。该库现在还包含“ Filename.quote_command以产生正确引用的命令以供Sys.command执行”,“ printf中的''%#F'修饰符,以十六进制输出OCaml浮点常量”,并尝试更好地避免对列表进行排序时的重复工作。

4.10版具有许多重大更改,因此建议您快速浏览发行说明。一旦您使跳转范围从主要垃圾回收钩不再与OCaml堆进行交互,到从C调用时不触发OCaml回调的分配函数到新的全局变量表中,旧代码可能无法按预期工作的原因运行时。

Top