第条

免费访问

高效且独立于语言的移动程序

作者:

阿里·雷扎 Adl-Tabatabai公司,

杰夫朗代尔,

史蒂文卢科,

罗伯特瓦赫贝作者信息和声明

PLDI’96:ACM SIGPLAN 1996编程语言设计与实现会议记录

页127-136

https://doi.org/10.1145/23179.231402

出版:1996年5月1日出版历史

PDF格式电子阅读器

摘要

本文评估了Omniware的设计和实现：一个用于执行移动程序模块的安全、高效和独立于语言的系统。以前实现移动代码的方法依赖于语言语义或抽象机器解释来加强安全性。在前一种情况下，移动代码系统通过指定特定的源语言或类型系统来牺牲通用性以获得安全性。在后一种情况下，移动代码系统通过抽象机器解释牺牲性能以获得安全性。Omniware使用软件故障隔离（一种为数据库和操作系统提供安全扩展代码的技术）来实现独立于语言和卓越性能的独特组合。软件故障隔离仅使用底层处理器的语义来确定移动代码模块是否会破坏其执行环境。编程语言实现与程序模块安全性的分离使我们的移动代码系统能够使用一个大大简化的虚拟机作为其可移植性的基础。我们在奔腾、PowerPC、Mips和Sparc处理器体系结构上使用一组四个SPEC92程序测量了Omniware的性能。包括在所有四个处理器上实施安全的开销，OmniVM执行基准程序的速度比供应商提供的编译器生成的优化的、不安全的代码快21%。

工具书类

[1]

K.Andrews和D.Sand。通过目标代码翻译将CISC计算机系列迁移到RISC。第五届编程语言和操作系统体系结构支持国际会议论文集，第213-222页，1992年10月。

数字图书馆

[2]

D.培根、S.格雷厄姆和O.夏普。针对高性能计算的编译器转换。CM计算。调查。，26（4）：345-4201994年12月。

数字图书馆

[3]

H.Bal、A.Tanenbaum和M.Kaashoek。ORCA：一种分布式编程语言。SIGPLANNotes，25（5）：17-241990年5月。

数字图书馆

[4]

J.Bennerjee、W.Kim、H.Kim和H.Korth。面向对象数据库中方案演化的语义和实现。程序中。CM-SIGMOD会议，第311-322页，1987年12月。

数字图书馆

[5]

T.Bemers-Lee、R.Fielding和H.Nielsen。HTI'P/1.0互联网草案04，1995年10月。Internet草稿（正在进行中）。

[6]

D.Bemstein和M.Rodeh。超标量机器的全局指令调度。1991年6月，第241-255页，SIGPLAN’91编程语言设计与实现会议记录。

数字图书馆

[7]

N.伯恩斯坦。有自己想法的电子邮件：用于启用邮件的Safe-Tcl语言。1994年5月，在IFIP第6.5工作组会议上。

数字图书馆

[8]

M.Burke和L.Torczon。过程间优化：消除不必要的重新编译。编程语言和系统的CM汇刊，15（3）：367-3991993年7月。

数字图书馆

[9]

L.Cardelli、J.Donahue、L.Glassman、M.Jordan、B.Kalsow和G.Nelson。Modula-3语言定义。SIGPLAN通知，27（8），1992年8月。

数字图书馆

[10]

B.案例。英特尔公布了奔腾实现的详细信息。《微处理器报告》，第9-17页，1993年3月。

[11]

F.Chow、S.Correll、M.Himelstein、E.Killian和L.Weber。多少寻址模式就足够了？《第二届编程语言和操作系统体系结构支持国际会议论文集》，第117-121页，1987年10月。

[12]

钟国雄和袁国雄。一个小小的Pascal编译器。字节，39（9）：58-641978年9月。

[13]

康普顿互动百科全书，1995年。

[14]

J.Strong等人。与不断变化的机器进行编程通信的问题。ACM通信，1（8）：12-182958年8月。

数字图书馆

[15]

M.Franz先生。即时代码生成：便携式软件的关键。1994年，苏黎世瑞士联邦理工学院博士论文。异议。ETH编号10497。

[16]

C.弗雷泽和D.汉森。ANSI C.SIGPLAN通知的可重定向编译器，26（10）：29-431991年10月。

数字图书馆

[17]

Gcc，1994年。自由软件基金会。

[18]

J.戈斯林。Java中间字节码。1995年1月，ACM SIGPLAN中级代表研讨会（iR’95），第111-118页。

数字图书馆

[19]

J.Gosling和H.McGilton。Java语言环境：白皮书，1995年。Sun Microsystems公司。

[20]

L.Gwennap（格温纳普）。英特尔的P6采用解耦超标量设计。《微处理器报告》，第9-15页，1995年2月。

[21]

L.Gwennap（格温纳普）。Nx686与奔腾Pro完美结合。《微处理器报告》，第1-10页，1995年10月。

[22]

C.B.Hall和K.O'Brien。IBM RISC System/6000体系结构特征的性能特征。《第四届编程语言和操作系统体系结构支持国际会议论文集》，第303-309页，1991年4月。

数字图书馆

[23]

R.Harper和P.Lee。系统软件的高级语言：1994年的福克斯项目。技术报告，卡梅吉·梅隆大学计算机科学学院，1994年1月。技术报告CMU-CS-FOX-94-01。

数字图书馆

[24]

英特尔。针对英特尔32位处理器的优化。应用说明AP-500，英特尔公司，1994年2月。

[25]

K.约翰逊。类似RISC的设计适用于x86 CPU。微处理器报告，第26-27页，1995年11月。

[26]

S.Knaster。魔术帽概念，1995年5月。通用魔术公司。

[27]

M.Lam、E.Rothberg和M.Wolf。阻塞算法的缓存性能和优化。《第四届编程语言和操作系统体系结构支持国际会议论文集》，第63-74页，1991年4月。

数字图书馆

[28]

S.Lucco、O.Sharp和R.Wahbe。Omniware：网络编程的通用基础。第四届国际蠕虫网络会议，1995年12月。

[29]

S.Macrakis公司。《从《联合国海洋法公约》到《非洲发展论坛：标准中间语言的进展》，1993年。开放式软件基金会。

[30]

B.Noble、M.Price和M.Satyanarayanan。用于移动计算中应用程序感知适应的编程接口。1995年4月，第二届USENIX移动和位置无关计算研讨会会议记录。

数字图书馆

[31]

Windows NT Workstation 3.51产品概述，1995年。微软公司。

[32]

J.Ousterhout。TCL：一种可嵌入的命令语言。《1990年Usenix冬季会议记录》，第22-26页，1990年1月。

[33]

D.帕特森。减少指令集的计算机。ACM通讯，28（1）：8-211985年1月。

数字图书馆

[34]

D.庞丹。平行路线。字节，19（7）:53-601994年7月。

[35]

斯莱特先生。AMD的K5旨在超越奔腾。《微处理器报告》，第1-11页，1994年10月。

[36]

B.Steensgaard和E.Jul。异构计算机之间的对象和本机代码线程迁移。1995年12月，第15届ACM操作系统原理研讨会论文集。

数字图书馆

[37]

M.Stonebraker和G.Kemnitz。POSTGRES下一代数据库管理系统。ACM通信，34（10）：78-921991年10月。

数字图书馆

[38]

R.甜蜜。Mesa编程环境。1985年7月，第216-229页，SiGPLAN编程环境中语言问题研讨会论文集。

数字图书馆

[39]

D.Tarditi、G.Morrisett、P.Cheng、C.Stone、R.Harper和P.Lee。TIL：面向ML的类型定向优化编译器。《ACM SIGPLAN’96编程语言设计和实现会议论文集》。ACM，1996年5月。出现。

数字图书馆

[40]

J.乌尔曼。ML编程的要素。普伦蒂斯·霍尔，1994年。

数字图书馆

[41]

G.van Rossum。Python教程，1995年10月。在线：http://www.python.org/doc/tut/tut.html。

[42]

R.Wahbe、S.Lucco、T.Anderson和S.Graham。高效的基于软件的故障隔离。1993年6月，第14届ACM操作系统原理研讨会论文集，第203-216页。

数字图书馆

[43]

R.Wahbe、S.Lucco和S.Graham。实用数据断点：设计和实现。《SIGPLAN’93编程语言设计与实现会议记录》，第1-12页，1993年6月。

数字图书馆

[44]

D.墙壁。链接时的全局寄存器分配。1986年6月，第7届SIGPLAN编译器构造研讨会论文集，第264-275页。

数字图书馆

[45]

D.墙壁。具有软件定义机器架构的经验。《美国计算机学会编程语言与系统汇刊》，第14卷第3期，1992年7月。

数字图书馆

[46]

G.威廉姆斯。Hypercard（个人toolki0。字节，12（14）：109-1171987年12月。

数字图书馆

引用人

科洛西克M纳拉扬S约翰逊E瓦特C勒梅M加格D贾拉·R斯特凡·D(2022)无税隔离：WebAssembly和SFI的近零成本过渡美国计算机学会程序设计语言会议录10.1145/34986886：POPL(1-30)在线发布日期：2022年1月12日
https://dl.acm.org/doi/10.1145/3498688
哈德D金·W哦H(2018)REPICA：重写ARM的位置无关代码IEEE接入10.1109/通道2018.28684116(50488-50509)在线发布日期：2018年
https://doi.org/10.109/ACCESS.2018.2868411
Nägeli T公司迈尔L多马希迪A阿隆索·莫拉JHilliges O山(2017)自动多视角无人机电影摄影的实时规划ACM图形事务10.1145/3072959.307371236:4(1-10)在线发布日期：2017年7月20日
https://dl.acm.org/doi/10.1145/3072959.3073712
显示更多引用者

索引术语

高效且独立于语言的移动程序
1. 计算机系统组织
  1. 嵌入式和网络物理系统
  2. 实时系统
2. 软件及其工程
  1. 软件符号和工具
    1. 特定于上下文的语言
      1. 专用应用程序语言

建议

高效且独立于语言的移动程序

本文评估了Omniware的设计和实现：一个用于执行移动程序模块的安全、高效和独立于语言的系统。以前实现移动代码的方法依赖于语言语义或抽象。。。
为微程序设计提供一种高效的、与机器相关的语言

提出了一种与机器无关的低级语言YALLL。这种语言为两种截然不同的机器生成微码：惠普HP 300和数字设备公司VAX 11/780。通过比较，验证了该语言的有效性。。。
为微程序设计提供一种高效的、与机器相关的语言
MICRO 12:第十二届微程序设计年度研讨会会议记录

提出了一种与机器无关的低级语言YALLL。这种语言为两种截然不同的机器生成微代码：Hewlett-Packard HP 300和Digital Equipment Corporation VAX 11/780。通过比较，验证了该语言的有效性。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

PLDI’96:ACM SIGPLAN 1996年编程语言设计和实现会议记录

1996年5月

300页

十亿英镑：0897917952

内政部：10.1145/231379

主席：
查尔斯·菲舍尔
威斯康星大学麦迪逊分校

ACM SIGPLAN通知第31卷第5期
1996年5月
300页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/249069
编辑：
理查德·韦克塞尔布拉特（Richard L.Wexelblat）
期刊目录

版权所有©1996 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

SIGPLAN：ACM编程语言特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1996年5月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

会议

PLDI96型

赞助商：

SIGPLAN（SIGPLAN）

PLDI96：编程语言设计与实现

1996年5月21日至24日

宾夕法尼亚州、费城、美国

接受率

PLDI’96论文接受率112份提交文件中的28份，25%；

2067份提交文件的总体接受率为406份，20%

贡献者

其他指标

查看文章度量

文献计量学和引文

文献计量学

文章指标

71
引文总数
查看引文
736
下载总量

下载量（最近12个月）71
下载次数（最近6周）14

反映截至2024年9月15日的下载量

其他指标

查看作者指标

引文

引用人

科洛西克M纳拉扬S约翰逊E瓦特C勒梅M加格D贾拉·R斯特凡·D(2022)无税隔离：WebAssembly和SFI的近零成本过渡美国计算机学会程序设计语言会议录10.1145/34986886：POPL(1-30)在线发布日期：2022年1月12日
https://dl.acm.org/doi/10.1145/3498688
哈德D金·W哦H(2018)REPICA：重写ARM的位置无关代码IEEE接入10.1109/通道2018.28684116(50488-50509)在线发布日期：2018年
https://doi.org/10.109/ACCESS.2018.2868411
Nägeli T公司迈尔L多马希迪A阿隆索·莫拉J希利格斯O型(2017)自动多视角无人机电影摄影的实时规划ACM图形事务10.1145/3072959.307371236:4(1-10)在线发布日期：2017年7月20日
https://dl.acm.org/doi/10.1145/3072959.3073712
崔Z王O棕褐色P王杰(2017)基于鲁棒视频对齐的时间片视频合成ACM图形事务10.1145/3072959.307361236:4(1-10)在线发布日期：2017年7月20日
https://dl.acm.org/doi/10.1145/3072959.3073612
王S王平（Wang P）吴德(2015)可重装拆卸第24届USENIX安全研讨会会议记录10.5555/2831143.2831183(627-642)在线发布日期：2015年8月12日
https://dl.acm.org/doi/10.5555/2831143.2831183
张Y杨M周B杨Z张伟藏B(2012)Swift公司ACM SIGPLAN通知10.1145/2365864.215103547:7(63-74)在线发布日期：2012年3月3日
https://dl.acm.org/doi/10.1145/2365864.2151035
张Y杨M周B杨Z张伟藏B手S达席尔瓦·D(2012)Swift公司第八届ACM SIGPLAN/SIGOPS虚拟执行环境会议记录10.1145/2151024.2151035(63-74)在线发布日期：2012年3月3日
https://dl.acm.org/doi/101145/2151024.2151035网址
阿美W冯·隆纳J阿德勒P弗兰兹·M(2009)生产者端机器无关的移动代码优化的有效性软件：实践与经验10.1002/spe.92139:10(923-946)在线发布日期：2009年4月15日
https://doi.org/10.1002/spe.921
麦卡曼特S莫里塞特G(2006)评估CISC体系结构的SFIUSENIX安全研讨会第15次会议记录-第15卷10.5555/1267336.1267351在线发布日期：2006年7月31日
https://dl.acm.org/doi/10.5555/1267336.1267351
劳查斯S罗斯曼B科尼达利斯G桑德斯一世(2006)高中语文成绩与计算机科学一年级成绩ACM SIGCSE公告10.1145/1124706.112146738:1(398-402)在线发布日期：2006年3月3日
https://dl.acm.org/doi/10.1145/124706.1121467
显示更多引用者

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子