保存此搜索
ARMv8-a、RISC-v和CHERI-MIPS的ISA语义 阿拉斯代尔·阿姆斯特朗 , 托马斯·鲍里斯 , 布赖恩坎贝尔 , 阿拉斯泰尔·里德 , 凯瑟琳·格雷 , 罗伯特·M·诺顿 , Prashanth Mundkur公司 , 马克·沃塞尔 , 强·弗兰奇 , 克里斯托弗·普尔特 , 颤抖的长笛 , 伊恩·斯塔克 , 尼尔·克里希纳斯瓦米 , 彼得·苏厄尔
架构(Architecture)规范在概念上定义了硬件和软件之间的基本接口:处理器实现允许行为的包络,以及软件开发和验证的基本假设。 但实际上。。。 研究文章 2017年1月 混合大小的并发:ARM、POWER、C/C++11和SC 以前关于放松共享内存并发语义的工作只考虑了每个加载只读取一个存储的数据的情况。 然而,在实践中,多处理器支持混合大小的访问,这些访问由系统使用。。。 另发布于: ACM SIGPLAN通知:第52卷2017年1月1日发行 研究文章 2016年1月 ARMv8体系结构建模,操作:并发和ISA 在本文中,我们为ARMv8多处理器体系结构的关键方面开发了语义:并发模型和大部分64位应用程序级指令集(ISA)。 我们的目标是澄清建筑允许的范围。。。 另发布于: ACM SIGPLAN通知:第51卷2016年1月1日发行 研究文章 2015年12月 针对IBM POWER多处理器的集成并发和core-ISA体系结构信封定义和测试oracle 弱一致性多处理器(如ARM和IBM POWER)已经出现了几十年,但它们微妙的程序可见并发行为仍然具有挑战性,无论是实现还是使用; 传统的体系结构文档,及其。。。 研究文章 2014年8月 莱姆 :真实世界语义的可重用工程 近年来,在 严格的工程学 :使用真实世界处理器、编程语言、协议和安全机制的数学上严格的语义模型(不仅仅是理想化的计算),用于测试、证明。。。 另发布于: ACM SIGPLAN通知:第49卷2014年9月9日发布 -
第条 2005年10月 通过镜像和契约实现细粒度互操作性 OOPSLA’05:第20届ACM SIGPLAN面向对象编程、系统、语言和应用年度会议记录 2005年10月, 第231-245页 https://doi.org/10.1145/1094811.1094830 当一个值跨越互操作语言之间的边界时,必须对其进行检查和转换,以适合目标语言的类型和表示。 对于简单形式的数据,可以立即进行检查和强制; 对于更高阶。。。 另发布于: ACM SIGPLAN通知:第40卷2005年10月10日发行 第条 2003年10月 J教授 :通过语言水平逐步引入Java OOPSLA’03:关于面向对象编程、系统、语言和应用程序的第18届ACM SIGPLAN年会之友 2003年10月, 第170-177页 https://doi.org/10.1145/9493444.949394 在犹他大学第二学期的编程课程中,我们发现我们的学生不必要地受到课程内容和编程环境不匹配的影响。 这门课很典型,因为它暴露了学生。。。