发布在即!企业 AIGC 应用程度测评,3 步定制专属评估报告。抢首批测评权益>>> 了解详情
写点什么

Harlan 对富数据结构、树、多维数组以及高阶过程提供支持

  • 2013-07-28
  • 本文字数:1838 字

    阅读完需:约 6 分钟

Harlan 是一种全新的、GPU 计算领域的专用开发编程语言,它对富数据结构、树以及多维数组提供了原生支持。Harlan 可以在 Mac OS X 10.6、Mac OS X 10.7、Mac OS X 10.8 和其他版本的 Linux 上运行。

Harlan 需要一个 OpenCL 的实现,如 Intel 的 OpenCL SDK NVIDIA 的 CUDA 工具包 AMD 加速并行处理(APP)SDK 以及 Petite Chez Scheme 。此外,它还对高阶过程提供了支持。

为了进一步了解编程语言 Harlan,InfoQ 对美国印第安纳大学的博士生 Eric Holk 进行了采访。

InfoQ:使用 Harlan 构建应用的基本要求是什么?

Harlan 致力于在各种硬件上工作。使用 Harlan 编写的应用程序可以在任何设备上运行,只要该设备上有某种 OpenCL 实现。因为编译器本身是用 Chez Scheme 写的,所以用户需要安装 Chez Scheme 或 Petite Chez Scheme。为了让大家在进行 Harlan 语言实验时更加方便,我们一直在最小化 Harlan 运行需求方面努力。

InfoQ:您能向读者介绍一些使用 Harlan 开发的软件应用程序吗?

从设计方面而言,Harlan 是一种通用的数据并行计算语言,因此它可以应用在多种程序中。Harlan 提供了大量的高阶编程功能,如自定义数据类型以及高阶过程,这在现有面向 GPU 的编程语言中是很少见的。

作为编译器的编写者,我对使用 Harlan 来加速某些程序分析任务的方面非常感兴趣,我一直在探索其可能性。我们曾经进行的一些基准测试显示,Harlan 在传统科学的应用程序上运行得非常好。Harlan 语言自身的特性还使其支持非传统的 GPU 应用,如图表分析或者光线追踪。

InfoQ:Harlan 兼容 Windows 7 和 Windows 8 吗?

很遗憾,目前不兼容。也就是说,Harlan 现在不太可能在 Windows 上运行。但是,大部分代码是可移植的,只是需要根据运行时系统进行一些小小的修改。

InfoQ 的:Harlan 对图形渲染有帮助吗?

其实,Harlan 真正关注的重点是通用计算,而不是具体的图形渲染。也就是说,程序将实际运行在 GPU 上,并且可以使用 Harlan 编写很多图形处理任务。

InfoQ:您能使用 Harlan 向读者们演示一个简单的 Hello World 应用吗?

Hello World 的代码如下所示:

复制代码
(module
(define (main)
(println "Hello, World!")
(return 0))) >

上面的示例其实并没有体现 Harlan 并行的特性,所以没有什么意思。下面是另一个程序,展示了如何计算两个矢量之间的点积:

复制代码
(module
(define (main)
(let ((X (vector 1 2 3 4))
(Y (vector 4 3 2 1)))
(let ((dot (reduce + (kernel ((x X) (y Y))
(* x y)))))
(println dot)
(return 0)))))

读者可以使用不同的表达式来创建更长的矢量,从而对 (vector 1 2 3 4) 和 (vector 4 3 2 1) 进行替换。

Harlan 使用的是类 Scheme 的 S- 表达式语法,因此示例中才会有这么多的括号。部分原因是因为编译器是用 Schema 写的,所以自然选择和 S- 表达式一起使用。当然,S- 表达式也支持特定的语言特性——比如 Harlan 的宏系统,很难使用包含更多传统语法的语言来实现。

InfoQ:Harlan 的主要功能同时支持 NVIDIA 和 ATI 的 GPU 吗?

Harlan 被编译为 OpenCL,这是一个生成运算层(Generate Computing Layer),支持大多数 GPU、CPU 以及其他加速器。它也因此不支持最新的功能。比如,Harlan 目前不支持 CUDA 中新的动态并行(Dynamic Parallelism)功能。我想可能这种情况过段时间会有所改观。Harlan 目前还无法大量使用 GPU 上的不同的内存,但这是未来我关注的研究领域之一。

InfoQ:您能再与我们介绍下有关 Harlan 支持高阶过程方面的内容吗?

其实,大约在一个星期前,Harlan 才对高阶过程提供基本的支持。

高阶过程是函数式编程语言的主要部分。通常,在命令式语言中,除了调用函数之外,用户基本上做不了什么事。但在函数式语言中,如 Scheme、ML、Haskell 甚至是 JavaScript,用户可以将其他函数作为某个函数的参数、创建新的函数以及返回函数等。用户甚至可以把这些函数放到数据结构中。

常见的“映射”就是一种​​高阶函数,其参数是一个函数和一个列表,它会调用传入的函数对列表中的每一个元素进行处理,并将处理结果保存为一个新列表,并返回。下面是一个 Scheme 的示例:

(let ((ls (list 1 2 3 4))) (map add1 ls))这里首先创建了一个包含数字 1、2、3、4 的列表,然后通过调用 add1 这个过程,将其参数增加 1,也就是说,列表中的每个元素将增加 1。结果如下:

(2 3 4 5)

查看英文原文: Harlan with Support for Rich Data Structures, Trees, Ragged Arrays and Higher Order Procedures

2013-07-28 04:051102
用户头像

发布了 36 篇内容, 共 13.3 次阅读, 收获喜欢 2 次。

关注

评论

发布
暂无评论
发现更多内容

Android C++系列:JNI 调用时缓存字段和方法 ID

轻口味

c++ android jni 11月日更

实时数据库 架构图

Java 程序员 后端

Kubernetes 给容器化部署和管理带来的好处

后台技术汇

Kubernetes 11月日更

已开源!阿里巴巴SpringCloud微服务原理与架构项目实战,请签收

Java 程序员 后端

干掉GuavaCache:Caffeine才是本地缓存的王

Java 程序员 后端

干货第一弹-教你如何利用阿里开源工具进行排查线上CPU居高问题

Java 程序员 后端

应届生想要找到一份Java开发的工作,需要达到什么水平?

Java 程序员 后端

应用服务器集群的Session管理

Java 程序员 后端

开源爆款,阿里P7技术笔记《k8s+docker》

Java 程序员 后端

实现一个百万级推送服务,除了它,还有谁

Java 程序员 后端

开发新人有必要考虑在工作一年后跳槽

Java 程序员 后端

将CSV的数据发送到kafka(java版)

Java 程序员 后端

工作三年的Java程序员应该达到什么水平?

Java 程序员 后端

常见的SQL面试题:经典50例

Java 程序员 后端

异步编程的取消机制 竟然还有这样的效果, 要不要了解一下?

Java 程序员 后端

年前三面美团百度挂了,疫情间啃完阿里面试宝典,成功斩获offer

Java 程序员 后端

幸亏有了这本623页的微服务框架实战笔记,一举拿下腾讯美团滴滴offer

Java 程序员 后端

架构实战营 - 第三期 - 模块三作业

lucian

架构实战营

开发进阶加薪利器:美团架构师最新版的深入理解JVM底层和源码PDF

Java 程序员 后端

官方都不推荐?为什么MySQL不推荐使用uuid作为主键?究竟有什么坏处

Java 程序员 后端

宝藏图,引起的一堆问题,轻量级锁的不解(Synchronized锁的升级)

Java 程序员 后端

实战:第十一篇:StringRedisTemplate获取redis信息

Java 程序员 后端

开发十年面试过1000个人,总结出这份高薪Java 面试秘诀

Java 程序员 后端

实战spring自定义属性(schema)

Java 程序员 后端

架构实战营 - 第三期 - 模块三作业

岚哲

极客时间 架构 架构实战营

年初入职 字节跳动 的Java面试经验分享(文档)

Java 程序员 后端

开发做了一两年了,感觉遇到了瓶颈,公司已经学不到太多东西,如何成长为技术大牛

Java 程序员 后端

将项目转成MAVEN项目

Java 程序员 后端

带你了解代理模式

Java 程序员 后端

常见的社会潜规则有哪些?

Java 程序员 后端

应云而生,幽灵的威胁 - 云原生应用交付与运维的思考

Java 程序员 后端

Harlan对富数据结构、树、多维数组以及高阶过程提供支持_语言 & 开发_Anand Narayanaswamy_InfoQ精选文章