使用Java垃圾收集器

垃圾收集器(Garbage Collector，GC)是现代软件虚拟机技术的重要组成部分，其设计方案对运行于虚拟机上的应用程序性能影响极大。Java虚拟机(JVM)与．net framework都提供了这一功能。下面我们简单介绍一下Java虚拟机中的垃圾收集器原理。     

JAVA垃圾收集器算法分析及垃圾收集器的运行透视

本文分析了JVM垃圾收集器所使用的多种收集算法,讨论如何通过命令行参数和终止化方法,透视JAVA自动垃圾收集器的运行,以理解JVM垃圾自动回收机制.程序开发人员应当使用finalize方法明确释放对象资源,并通过GC请求JVM执行垃圾收集,使得JVM尽可能多地回收内存供程序使用.     

JVM垃圾收集器的性能分析及编码建议

阐述了JVM垃圾收集的机制、原理,着重分析了JVM垃圾收集机制可能对系统性能带来的负面影响,最后给出了相应的Java编码建议。     

基于即时编译器辅助的并行垃圾收集器

设计一种基于即时编译器辅助的并行垃圾收集器,在编译阶段利用即时编译器安插显式内存回收指令释放无用对象空间,结合自动和显式内存管理的优点,减轻程序员和垃圾收集器的负担,同时提高内存空间的利用率,支持显式对象回收操作,且可以有效重用这些对象空间,从而提高Java应用程序的执行效率,实验结果表明,该设计方案是可行的。     

关于JAVA语言内存泄漏问题的探讨

随着越来越多的服务器程序采用Java技术,例如电信网管系统,服务器程序往往长期运行,因此Java的内存泄漏问题不容忽视。否则即使有少量泄漏,长期运行之后,系统将会面临崩溃的危险。文章通过分析Java内存回收机制的原理和内存泄漏的原因,提出了预防和检测内存泄漏的办法。     

Java虚拟机垃圾收集器的性能分析与调节

垃圾收集器是Jaya虚拟机(JVW)的核心组成部分之一,对Java虚拟机的性能有非常重要的影响。本文将介绍GC的工作原理以及对象回收算法,重点介绍JVM的分段回收技术;剖析JVM自带的GC性能分析工具;阐述如何通过命令行参数调节GC的运行,提高GC的效率。     

Java中内存泄露问题的研究与改进

Java语言中，内存空间的回收工作由垃圾收集器(Garbage Collector，GC)完成，这种方法减少了一些应用程序中发生内存泄露的可能性．但GC的工作机制并不完善，仍然存在内存泄露问题：本文针对此问题进行研究分析，并指出了问题产生的原因和改进的方法。     

基于智能指针的垃圾收集器的研究与实现

内存泄漏是软件开发过程中最令人棘手的问题之一。通常,使用垃圾收集机制自动进行内存管理,以减轻程序员的负担。通过研究智能指针以及现有垃圾收集机制的工作原理,本文首先设计出一个基于c＋＋智能指针的垃圾收集器。实验结果表明,该垃圾收集器不仅满足了应用程序的要求,且具有良好的可扩展性。对于使用c＋＋等保守式程序设计语言进行大型软件的开发而言,该垃圾收集器具有一定的理论价值和实用价值。     

．NET垃圾收集器的过去现在和未来(上)

Patrick Dussud是．NET垃圾收集机制的创始人、微软著名架构师,跟随他进行这段技术之旅,相信会解开我们心中不少的困惑。     

一种改进的增量式JVM垃圾收集算法

非增量式Java虚拟机(JVM)垃圾回收算法的内存开销较大。为此,提出一种基于栈式分配策略的JVM增量式垃圾收集算法。对Java栈帧进行改造使其支持存储对象,改进增量式收集器中堆空间的划分、引用跟踪方式,以减少垃圾收集带来的不确定性暂停。实验结果表明,该算法能有效减少暂停的频率和时长,提高运行速度。     

Garbage Collector Verification for Proof-Carrying Code

We present the verification of the machine-level implementation of a conservative variant of the standard mark- sweep garbage collector in a Hoare-style program logic.The specification of the collector is given on a machine-level memory model using separation logic,and is strong enough to preserve the safety property of any common mutator program.Our verification is fully implemented in the Coq proof assistant and can be packed immediately as foundational proof-carrying code package.Our work makes important attempt toward building fully certified production-quality garbage collectors.     

Verification of an Incremental Garbage Collector in Hoare-Style Logic

Many of the current software systems rely on garbage collectors for automatic memory management. This is also the case for various software systems in real-time appli-cations. However, a real-time application often requires an incremental working style of the underlying garbage collection, which renders the garbage collector more complex and less trustworthy. We present a formal veriˉcation of the Yuasa incremental garbage collector in Hoare-style logic. The speciˉcation and proof of the collector are built on a concrete machine model and cover detailed behaviors of the collector which may lead to safety prob- lems but are often ignored in high-level veriˉcations. The work is fully implemented with the Coq proof assistant and can be packed as foundational proof-carrying-code packages.Our work makes an important step toward providing high-assurance garbage collection for mission-critical real-time systems.     

基于长生命周期对象的混合垃圾收集

Java语言因其在软件工程上的优势而被广泛地用来进行服务器应用的开发.这些应用中通常存在着大量的长生命周期的对象.单一的经典的垃圾收集算法不能够有效地减少对长生命周期对象的重复处理.一种基于长生命周期对象的混合垃圾收集算法(LLH)被设计和实现.该算法结合了缩并,复制和分代收集的特点,通过这些经典算法的动态切换与协作来解决这一问题.实验结果表明,与经典的分代垃圾收集相比,LLH收集算法能够使SPECjbb 2005的Throughput分值提高3%～25%.     

一个Windows应用程序的垃圾回收器

为减少长期运行的Windows应用程序持续堆内存泄漏而造成的系统性能损失,设计并实现了一个运行时自动垃圾回收器RT-AGC。RT-AGC采用传统Mark—Sweep算法的一个变种,对回收触发条件进行改进,使其具有更大的灵活性。利用Windows下应用程序的存储结构和系统API函数,通过扫描可能存储指针变量的区域,RT—AGC可以在应用程序运行时检测并处理内存泄漏,而不需要对目标应用程序重新编译或链接。文中描述了所采用的关键算法流程和主要实现技术,并编写了测试程序对RT—AGC的回收效果进行验证。实验证明可以有效地抑制应用程序的内存泄漏。     

Selective sweeping

Traditional mark and sweep garbage collectors use time proportional to the heap size when sweeping memory, since all objects in the heap, dead or alive, must be traversed. Here we introduce a sweeping algorithm which traverses only the live objects. Since this sweeping algorithm is slower when the heap occupancy is high, we also discuss how to avoid this slowdown by using an adaptive algorithm. Copyright © 2004 John Wiley & Sons, Ltd.     

基于无模控制的深海集矿机车体姿态与集矿头高度去耦控制

在深海集矿机作业过程中,是通过液压系统驱动的集矿装置来采集多金属结核的.针对集矿机车体姿态与集矿头高度之间的耦合,研究集矿头高度在行走中受车体姿态的影响,分析集矿头高度和车体姿态之间的耦合机理.并根据耦合对象的特性,进行去耦优化,仿真结果表明该去耦优化算法能补偿液压系统滞后特性,独立进行集矿头高度最优调节,达到最佳集矿效率,提高行走稳定性.     

Nonintrusive Cloning Garbage Collection with Stock Operating System Support

It is well accepted that automatic garbage collection simplifies programming, promotes modularity, and reduces development effort. However it is commonly believed that these advantages do not counteract the perceived price: excessive overheads, possible long pause times while garbage collections occur, and the need to modify existing code. Even though there are publically available garbage collector implementations that can be used in existing programs, they do not guarantee short pauses, and some modification of the application using them is still required. In this paper we describe a snapshot-at-beginning concurrent garbage collector algorithm and its implementation. This algorithm guarantees short pauses, and can be easily implemented on stock UNIX-like operating systems. Our results show that our collector performs comparable to other garbage collection implementations on uniprocessor machines and outperforms similar collectors on multiprocessor machines. We also show our collector to be competitive in performance with explicit deallocation. Our collector has the added advantage of being non-intrusive. Using a dynamic linking technique and effective root set inferencing, we have been able to successfully run our collector even in commercial programs where only the binary executable and no source code is available. In this paper we describe our algorithm, its implementation, and provide both an algorithmic and a performance comparison between our collector and other similar garbage collectors. ©1997 by John Wiley & Sons, Ltd.     

深海集矿机集矿装置高度去耦控制研究

深海集矿机作业过程中，通过液压系统驱动的集矿装置来采集多金属结核。该文研1究了集矿装置的高度在行走中受车体姿态的影响，分析了集矿装置高度和车体姿态之间的耦合机理，根据耦合对象的特性，对集矿装置和集矿参数进行解耦优化，并采用MATLAB中的Simulink工具箱进行了仿真。仿真结果证明了该解耦优化算法与液压系统滞后性相匹配，使集矿装置达到了最佳的集矿效率和使集矿机行走稳定。     

KVM中的垃圾回收策略

Java虚拟机（JVM）的垃圾回收是由虚拟机设计者自行设计的部分。传统的垃圾收集方法往往收集时间过长，程序员对安排CPU时间进行内存回收缺乏控制。本文主要讨论的是基于嵌入式系统的JVM在垃圾回收上的策略，该策略在分代回收的基础之上采用渐进收集的思想，最终获得非破坏性垃圾收集的效果。