保存此搜索
研究论文 2022年12月 基于过程间部分逃逸分析的嵌入式效益预测 内联是过程内部分逃逸分析(PEA)的主要促进机制,它允许在分支基础上删除对象分配 对于面向对象语言的性能至关重要。 之前 工作。。。 研究论文 2020年9月 Golang逃生分析 逃逸分析广泛用于确定变量的范围,是优化内存使用的有效方法。 然而,逃逸分析算法很难达到100%的准确率,错误会导致堆内存的浪费。 它是。。。 研究论文 2018年10月 分析C库中的内存所有权模式 用多种语言编写的程序称为 多语言程序 。部分由于新的和高效的高级编程语言的激增,这些程序在必须与现有的。。。 辅导的 2018年10月 Java的部分转义分析和标量替换 转义分析允许编译器确定在分配方法或线程之外是否可以访问对象。 这些信息用于执行优化,如标量替换、堆栈分配和锁消除,允许现代。。。 研究论文 2017年2月 生产运行的轻量级数据竞争检测 为了检测危害生产系统的数据竞争,程序分析必须以生产运行为目标。 然而,可靠而精确的数据竞争检测增加了生产系统中使用的太多运行时开销。 即使是提供……的现有方法。。。 -
辅导的 2014年2月 Java的部分转义分析和标量替换 转义分析允许编译器确定在分配方法或线程之外是否可以访问对象。 此信息用于执行优化,如标量替换、堆栈分配和锁省略,从而允许现代。。。 研究论文 2013年6月 分析C库中的内存所有权模式 用多种语言编写的程序称为 多语言程序 。部分由于新的和高效的高级编程语言的激增,这些程序在必须与现有的。。。 另发布于: ACM SIGPLAN通知:第48卷2013年11月11日发布 研究论文 2012年6月 快速逃逸滤波器的副作用分析 副作用分析是一种基本的静态分析,用于确定每个程序实体修改或使用的内存位置。 对于带有指针的程序,分析可能非常不精确。 为了提高副作用分析的准确性。。。 研究论文 2009年8月 CACAO虚拟机中对象的堆栈分配 对象的堆栈分配降低了对象分配和垃圾收集的成本,因此可以大大减少运行时。 转义分析可以通过检查转义来静态确定哪些对象符合堆栈分配条件。。。 研究论文 2008年11月 一种可伸缩的技术,用于描述框架密集型Java应用程序中临时文件的使用 SIGSOFT’08/FSE-16:第16届ACM SIGSOFT-软件工程基础国际研讨会会议记录 2008年11月, 第59-70页 https://doi.org/10.1145/1453101.1453111 框架密集型应用程序(例如Web应用程序)大量使用临时数据结构,经常会导致性能瓶颈。 本文提出了一种优化的混合逃逸分析,以近似对象的寿命,从而识别。。。 研究论文 2008年10月 焦耳 :轻量级动态分析和对象扰动消除 据观察,基于组件的应用程序表现出 对象搅动 过度创建短期对象,这通常是由模块化的性能交换引起的。 因为扭曲对象的寿命很短,所以它们似乎是很好的候选对象。。。 另发布于: ACM SIGPLAN通知:第43卷2008年9月10日发行 第条 2007年7月 混合分析用于理解基于框架的应用程序的性能 本文定义了一种新的分析范式, 混合程序分析 ,它支持对基于框架的大型Java应用程序进行实际、有效的分析,以了解性能。 混合分析结合了 动态 程序的表示。。。 第条 2007年6月 java程序的动态纯度分析 PASTE’07:第七届ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会会议记录 2007年6月, 第75–82页 https://doi.org/10.1145/1251535.1251548 程序中的纯方法是那些表现出功能性或无副作用行为的方法,这在许多情况下都是有用的属性。 然而,现有的纯度调查主要是统计结果。 我们对动态…进行了详细的检查。。。 第条 2007年6月 在STM中实施隔离和排序 事务性内存提供了一种新的并发控制机制,可以避免基于锁的同步的许多缺陷。 迄今为止,高性能软件事务内存(STM)实现提供了 弱原子性 :正在访问共享数据。。。 另发布于: ACM SIGPLAN通知:第42卷2007年6月6日发行 第条 2006年9月 并行java程序的两阶段转义分析 线程转义分析保守地确定哪些对象可以在多个线程中访问。 线程转义分析有多种用途,如在多线程程序中查找竞争、删除无用的同步、分配。。。 第条 2006年4月 同步删除的退出分析 本文介绍了我们的Java逃逸分析框架,它是一种流敏感、过程间和上下文敏感的数据流分析。 我们提出了一种有效的静态过程内算法来推断。。。 第条 2005年6月 动态编译和反优化环境中的逃逸分析 在面向对象的编程语言中,对象被称为 逃跑 在其中创建它的方法或线程,如果其他方法或线程也可以访问它的话。 知道哪些对象没有转义可以让编译器执行攻击性。。。 文章 2004年9月 利用面向对象并发程序部分降阶中的对象转义和锁定信息 显式状态模型检查工具通常包含偏序减少,以减少探索的系统状态的数量(从而减少验证所需的时间和内存)。 随着模型检查技术扩展到软件系统,它是。。。 文章 2003年11月 使用转义分析的Java堆栈分配和同步优化 本文介绍了一个 逃逸分析 Java框架,用于确定(1)对象在其创建方法返回后是否不可访问,允许在堆栈上分配对象,以及(2)对象是否只能从单个。。。