摘要
A.上诉。 用连续体编译。 剑桥大学出版社,剑桥,1992年。 谷歌学者 数字图书馆 J.Berthold、A.Al-Zain和H.-W.Loidl。 通用并行运行时环境中的自适应高级调度。 在2007年4月于美国纽约举行的功能编程趋势研讨会上。 谷歌学者 C.Bruggeman、O.Waddell和R.K.Dybvig。 表示存在一次性延续的控制。 第99-107页,1996年5月。 谷歌学者 数字图书馆 M.M.T.Chakravarty、R.Leshchinskiy、S.Peyton Jones、G.Keller和S.Marlow。 数据并行haskell:状态报告。 2007年DAMP:多核编程的声明性方面研讨会。 ACM出版社,2007年。 谷歌学者 数字图书馆 K.克莱森。 穷人的并发单体。 函数编程杂志,9(3):313--3231999。 谷歌学者 数字图书馆 K.Fisher和J.Reppy。 编译器支持轻量级并发。 技术备忘录,贝尔实验室,2002年3月。 谷歌学者 M.Fluet、M.Rainey和J.Reppy。 异构并行的嵌套调度程序,提交出版,2007年。 谷歌学者 M.Fluet、M.Rainey、J.Reppy、A.Shaw和Y.Xiao。 Manticore:一种异构并行语言。 《多核编程声明性方面研讨会论文集》(DAMP 2007),第37-44页,2007年1月。 谷歌学者 数字图书馆 B.福特和S.苏萨拉。 CPU继承调度。 Usenix协会第二届操作系统设计与实现研讨会(OSDI),第91-105页,1996年。 谷歌学者 数字图书馆 T.Hallgren、M.P.Jones、R.Leslie和A.Tolmach。 Haskell中操作系统构建的原则方法。 在ICFP’05:第十届ACM SIGPLAN国际功能编程会议论文集,第116-128页,美国纽约州纽约市,2005年。 ACM出版社。 谷歌学者 数字图书馆 T.Harris、S.Marlow和S.Peyton Jones。 共享内存多处理器上的Haskell。 Haskell'05:2005年ACM SIGPLAN Haskell研讨会会议记录,第49-61页。 ACM出版社,2005年9月。 谷歌学者 数字图书馆 T.Harris、S.Marlow、S.Peyton Jones和M.Herlihy。 可组合内存事务。 在2005年6月举行的ACM并行编程原理与实践研讨会(PPoPP'05)上。 谷歌学者 数字图书馆 S.Jagannathan和J.Philbin。并发语言的可定制基底。 《编程语言设计与实现会议记录》,第55-67页,纽约州纽约市,1992年。 ACM出版社。 谷歌学者 数字图书馆 S.Jagannathan和J.Philbin。高效多线程方案系统的基础。 程序中。 LISP和函数编程,第345-357页,1992年。 谷歌学者 数字图书馆 S.Marlow、S.Peyton Jones、A.Moran和J.Reppy。 Haskell中的异步异常。 2001年6月在犹他州雪鸟举行的ACM编程语言设计与实现会议(PLDI'01)上,第274-285页。 ACM出版社。 谷歌学者 数字图书馆 S.马洛、S.佩顿-琼斯和W.泰勒。 使用并发扩展Haskell外部函数接口。 2004年9月,美国犹他州雪鸟市,哈斯克尔ACM SIGPLAN研讨会论文集,第57-68页。 谷歌学者 数字图书馆 J.G.Morrisett和A.Tolmach。 进程和锁:新泽西州标准ML的便携式多处理平台。 在PPOPP’93:第四届ACM SIGPLAN并行编程原理和实践研讨会的会议记录中,第198-207页,美国纽约州纽约市,1993年。 ACM出版社。 谷歌学者 数字图书馆 M.雷尼。 Manticore运行时模型,硕士论文,芝加哥大学计算机科学系,2007年。 谷歌学者 J.雷格尔。 《使用分层调度支持通用操作系统上的软实时应用》,弗吉尼亚大学博士论文,2001年。 谷歌学者 数字图书馆 A.里德。 将脊椎放回无脊椎无标签G-Machine:可恢复黑洞的实现。 《计算机科学讲义》第1595卷,第186-199页,1999年。 谷歌学者 数字图书馆 J.Reppy公司。 《ML并行编程》,剑桥大学出版社,1999年。 谷歌学者 数字图书馆 O.希弗斯。 连续和线程:用高级语言直接表示机器并发。 1997年1月,第二届ACM SIGPLAN延续研讨会会议记录。 谷歌学者 计算机语言射击基准。 http://shootout.alioth.debian.org/。 谷歌学者 P.Trinder、K.Hammond、J.Mattson、A.Partridge和S.Peyton Jones。 GUM:haskell的可移植并行实现。 在ACM编程语言设计与实现会议(PLDI’96)上。 ACM出版社,费城,1996年5月。 谷歌学者 数字图书馆 M·旺德。 基于连续性的多处理。 《1980年LISP会议记录》,第19-28页,1980年8月。 谷歌学者 数字图书馆
索引术语
GHC的轻量级并发原语
建议
组合事件和线程以实现可伸缩的网络服务,并评估一元、应用程序级并发原语 2007年PLDI会议记录 本文提出将两种看似对立的编程模型结合起来构建大规模并发网络服务:事件驱动模型和多线程模型。 其结果是一种混合设计,提供了两个世界中最好的——轻松。。。 组合事件和线程以实现可伸缩的网络服务,并评估一元、应用程序级并发原语 PLDI’07:第28届ACM SIGPLAN编程语言设计与实现会议记录 本文提出将两种看似对立的编程模型结合起来构建大规模并发网络服务:事件驱动模型和多线程模型。 其结果是一种混合设计,提供了两个世界中最好的——轻松。。。 利用Haskell中的硬件TM PPoPP’19:第24届并行编程原理与实践研讨会论文集 事务内存(TM)在Haskell编程语言中被大量用于同步,但其性能在历史上一直很差。 我们开始在英特尔处理器上使用硬件TM(HTM)来提高这一性能。 此任务是。。。