基于环境感知的操作系统高产出率优化技术研究
|
摘要
为了解决传统的高性能计算在目前复杂多样的计算任务面前所表现出的不足,研究者提出了高产出率计算的概念,涵盖了计算系统的设计、开发、生产、使用及评估等各个方面。它强调计算系统应同时在性能(Performance,time-to-solution)、可编程性(Programmability,time-for-idea-to-first-solution)、可移植性(Portability,transparency)和鲁棒性(Robustness,reliability)等四个方面达到用户的要求,并力求降低系统的开发、运行及维护成本。针对这一发展趋势,美国国防预先研究计划局(Defense Advanced Research Projects Agency,DARPA)于2002年提出了HPCS(High Productivity Computing System)研究项目,在IBM、Sun、Cray等多家大公司及相关大学研究所、国家实验室中进行了大幅度的投入,并将其作为量子计算时代来临前的一个重要的过渡性计算体系结构。
高产出率计算研究既包括产业链、研发流程、生产部署规范等非技术领域的研究,也包括硬件体系结构、操作系统、编译器、应用程序框架等技术性因素。因为操作系统在计算系统中起到的关键作用,操作系统领域内的高产出率研究显得尤为重要。它既是底层硬件系统高产出率计算能力的反映,又深度影响着上层软件高产出率优化的运行环境和优化效果。同时,操作系统本身在整个系统的性能、可编程性、可移植性、鲁棒性,以及开发运营成本等各个方面都发挥着非常重要的作用。
线程环境、作业管理、鲁棒性维护三者是操作系统中对产出率有着重要影响的方向。本文围绕产出率优化目标,在这三个方向上进行了深入的研究,提出了多个产出率指标融合并均衡发展的思路,并将其用于指导操作系统各个环节的设计和开发。影响系统产出率的应用运行环境包括计算能力、能耗、故障率及用户特定需求等内容,本文把对这些环境因素的感知能力和处理技术作为在操作系统中实现高产出率计算的关键环节。同时,考虑到现有非产出率优化的计算系统的分布广泛和对现有应用进行高产出率优化评估的必要性和复杂度,本文将已部署到各个生产部门的现有传统结构的计算系统作为产出率优化改造的主要对象,探讨了如何在传统结构操作系统之上扩展其环境感知能力的问题,深入研究了以产出率目标作为优化指导的高产出率优化技术;在这些研究的基础上,进一步提出了基于“指导-反馈”应用模型的层次式操作系统高产出率优化结构框架。本文的主要创新包括:
1.影响高产出率效果的评估指标分析和定义
以往高产出率计算的性能、可编程性、可移植性、鲁棒性及开销等各个要素都是以指导性的概念形式提出来的。为了进行有针对性的产出率优化研究,本文围绕性能、鲁棒性、能耗和用户易用性给出了一种可计算的产出率量化方法,将包括程序执行时间、峰值速度、故障率、系统最长稳定运行时间、峰值能耗、平均能效、问题求解时间等的各个产出率要素转化为现实系统中的环境参数。在此基础上,进而探讨了各个产出率要素之间的关系,得出了产出率要素经常会存在优化矛盾的判断,并提出统一各个要素的量纲、在运行时同时考虑多个要素的启发式产出率优化思路。
2.环境感知的线程环境
线程环境是影响整个系统产出率的关键因子之一,而实现线程环境的产出率优化的关键就是使之具备环境感知和处理能力,让操作系统动态地适应多样化的应用需求。论文第三章以传统操作系统中高产出率的线程环境优化为目标,提出了一种均衡考虑影响系统产出率的线程相关的各个环境因素的模型,并以此为基础设计了一种用于环境感知的高产出率线程调度的算法。为验证和评价模型和算法,设计并实现了一种可定制的线程环境,可以根据应用需求的变化动态调整线程调度策略,从而能够与产出率指导的调度策略相协同。通过实验和测试发现,产出率指导的调度策略与可定制线程环境相结合的组合可以用极低的开销获得了相当显著的产出率优化。
3.能耗敏感的作业管理
类似星上并行计算系统这样的典型应用环境中,能耗受限是首要的环境因素,而具有能耗限制的类似的分布式异构作业系统在未来计算领域中将越来越普遍。本文以能耗-性能均衡模型为指导,以现有的分布式作业管理系统为原型,围绕能耗受限的特定工作环境,设计了一种基于高产出率优化模型的作业分配算法。算法涉及节点和作业中在性能和能耗上的环境参数,在保证所分配的作业能耗总和不会超过节点能耗上限的基础上,满足将整个系统的性能最大化的要求。
4.产出率关联的动态故障排除技术
通过分析系统失效对系统产出率的影响,确定降低故障对服务的阻断时间和压缩故障排除时间是一种重要的提高产出率的优化方法,并由此利用基于传统操作系统的动态软件更新技术,在操作系统内核模块层次提出了一种动态故障排除机制。该机制将内核功能按语义关联组织成受保护的模块,能够发现故障,并能实施模块的动态更新,从而实现故障的动态排除。理论分析和实验发现,采用动态故障排除技术很好地实现了与系统产出率优化的融合,以尽可能小的性能损失换取系统故障带来的产出率损耗,从而在一定故障率的条件下,间接提高了系统的产出率。
5.基于层次式传统操作系统的产出率优化扩展框架
通过对上述三个环节的操作系统高产出率优化方案的总结和抽象,提出了一种适用于银河麒麟层次式操作系统结构的产出率优化扩展框架,其特点是基于“指导-反馈”模型建立产出率优化部件与传统OS部件的关系,分别在应用层、内核服务层和基本内核层中实施对产出率优化的指导并进行信息收集。
To meet the shortage incurred by complicated and multiplex computing tasks facing to the legacy High Performance Computing (HPC), a NEW HPC, High Productivity Computing, is brought in, which introduces the new concepts in designation, development, employment and evaluation. High productivity computing emphasizes that the computing system should be well supplied in Performance (time-to-solution), Programmability (time-for-idea-to-first-solution), Portability (transparency), and Robustness (reliability) to fulfill users' needs. And the costs in system development, running and maintenance should be considered, too. DARPA (Defense Advanced Research Projects Agency) has issued a project named HPCS (High Productivity Computing System), which involves some big commercial companies, such as IBM, Sun, and Cray. A few related college institutes and national laboratries are also included in this project. Much finance support has been fed by DARPA to ensure HPCS becoming the essential transitional architecture for computing before the era of quantum computing comes.
HPC (that refers to High Productivity Computing as the same below) covers many research fields, which include non-technical ones like industrial chain, circuit of R&D, principles for produce and vendor etc., and the technical ones like hardware architectures, operating systems, compilers, frameworks for applications, etc. As important as an Operating System (abbriated as OS) is in the whole computing system, the research of high productivity in Operating System is quite critical. The high productivity of an OS is the profile of the capability of the lower hardware subsystem. Meanwhile, the running environment and the effectiveness of high productivity optimization in the upper software subsystem is heavily dependent on it, too. OS itself plays an important role in the whole system's performance, programmability, portability, robustness and excution cost.
This paper focuses on the optimization of productivities in the fields of Threading Environment, Job Management, and Robustness Maintenance, which are critical for productivities in OS. The idea of mixing and balancing multiple directives of productivities is proposed and applied in guiding the steps in the designation and development of OS. The abilites of sensing and processing the factors of the running environment for applications,which include computing capacity, power consumption, rate for faults and the special demands of retailed users, are considered as one of the critical parts implementing high productivity computing in OS. While the real-life computing systems are full of non-HP-optimized legacy ones that are deploied to many departments, and the evaluation to the legacy applications with HP-optimization is essiencial but difficult to do, they are specially considered with adaptation for optimization aimed to improve the productivity. The technology of how to expand the abilities of sensing environment for legacy OS is researched. High productivity is taken as the goal of OS optimization. A hierarchical framework of OS optimization for high productivity is given based on the research above, which functions according to the "Guide-Respond" model. Primary innovative work in this paper can be summarized as the following:
1. The definition and analysis of the evaluation directives for HP effectiveness
Performance, Programmability, Portability, Robustness and the Costs in HPC were all provided as the instructive concepts. In order to help research in productivity optimization with respect, an operational quantization method is given for evaluation of performance, robustness, power consumption and easy-to-use for users. It converts all factors in HPC into the environmental parameters in real-life systems, including program execute time, peak speed, rate of faults, the longest running time in stability, peak energy cost, average effectiveness of energy, time for problem solving and so on. The relationship between each productivity factor is discussed and it is concluded that the factors are often in conflict with each other when being optimized. So a universal dimension is proposed among each factor. And a heuristic method is proposed too that the multiple factors in conflict (maybe) are required to be considered contemparily during the productivity optimization.
2. Environment-sensible Threading Environment.
Threading environment is one of the influential factors to the productivity of the whole system. One of the key points of the productivity optimization in the threading environment is to enable the ability of sensing and processing the environmental changes outside. Then it can adapt to the varied application requiements dynamically. To achieve HP optimization in threading environment for legacy OS, a model is given in chapter 3, which contributes in balance among the environmental factors related to threading environment's productivity, and a HP thread scheduling algorithm based on it is provided to utilize the environmental sensibility. A customizable threading environment is designed and implemented. It can shift thread scheduling policy dynamically adjusted to the changes of application requirements. So, the threading environment can cooperate with the scheduling policy guided by productivity, which is described above. Through experiments and evaluation, it is concluded that the combination of productivity-guide scheduling policy and the customizable threading environment can help the improvement of system productivity with little overhead.
3. Job Management with power consumption sensitive.
The Paralle Computing System on Star is such a typical application that power consumption limitation is the main environmental factor. More and More distributed heterogeneous systems like that will join the future computing kingdom. Conducted by the model balancing power consumption and performance, originated from the visible distributed job management system, a HP-optimized job dispatching algorithm is given objected to a special working environment with restricted power consumption. The algorithm involves the environmental factors like performance and power consumption in the computing nodes and the jobs. It could ensure that the total power consumption of the jobs would not exceed the limit of the nodes, and then achieve maximization of performance in the whole system.
4. Dynamic Fault Elimination with productivities associated.
Through the analysis of the influence of system failure for system productivities, it's concluded that reducing the interrupt time for service by faults and the time to eliminate the faults is a very important way to improve productivity. Based on it as well as the technology of dynamic software update in legacy OS, a mechanism of dynamic fault elimination is given in OS kernel module layer. All concerned kernel functions are organized in some protected module according to semantic relationship. The protected modules could discover the faults and start dynamic update to the infected module. Then the faults are removed while the system is running and service is not stopped. The theoriotical analysis and the experiments prove that the dynamic faults removal could work well with system productivity optimization. It could keep the productivity lost by system failure in lower level with the performance cost as less as possible. In a condition of a certain rate of faults, it could increase the system productivity indirectly.
5. The expansion framework for HP-optimization based on hierarchical legacy OS.
In sum and abstract of the three HP-optimization solutions above, an expansion framework for HP-optimazation on YH-Kylin hierarchical OS is given. The main feature of the framework is the 'guide-respond' model that builds a relation betweem the components of productivity optimization and the components in legacy OS. The guide and information collection for productivity optimization is done in the Application Layer, the Server Kernel Layer and the Basic Kernel Layer.
高产出率计算研究既包括产业链、研发流程、生产部署规范等非技术领域的研究,也包括硬件体系结构、操作系统、编译器、应用程序框架等技术性因素。因为操作系统在计算系统中起到的关键作用,操作系统领域内的高产出率研究显得尤为重要。它既是底层硬件系统高产出率计算能力的反映,又深度影响着上层软件高产出率优化的运行环境和优化效果。同时,操作系统本身在整个系统的性能、可编程性、可移植性、鲁棒性,以及开发运营成本等各个方面都发挥着非常重要的作用。
线程环境、作业管理、鲁棒性维护三者是操作系统中对产出率有着重要影响的方向。本文围绕产出率优化目标,在这三个方向上进行了深入的研究,提出了多个产出率指标融合并均衡发展的思路,并将其用于指导操作系统各个环节的设计和开发。影响系统产出率的应用运行环境包括计算能力、能耗、故障率及用户特定需求等内容,本文把对这些环境因素的感知能力和处理技术作为在操作系统中实现高产出率计算的关键环节。同时,考虑到现有非产出率优化的计算系统的分布广泛和对现有应用进行高产出率优化评估的必要性和复杂度,本文将已部署到各个生产部门的现有传统结构的计算系统作为产出率优化改造的主要对象,探讨了如何在传统结构操作系统之上扩展其环境感知能力的问题,深入研究了以产出率目标作为优化指导的高产出率优化技术;在这些研究的基础上,进一步提出了基于“指导-反馈”应用模型的层次式操作系统高产出率优化结构框架。本文的主要创新包括:
1.影响高产出率效果的评估指标分析和定义
以往高产出率计算的性能、可编程性、可移植性、鲁棒性及开销等各个要素都是以指导性的概念形式提出来的。为了进行有针对性的产出率优化研究,本文围绕性能、鲁棒性、能耗和用户易用性给出了一种可计算的产出率量化方法,将包括程序执行时间、峰值速度、故障率、系统最长稳定运行时间、峰值能耗、平均能效、问题求解时间等的各个产出率要素转化为现实系统中的环境参数。在此基础上,进而探讨了各个产出率要素之间的关系,得出了产出率要素经常会存在优化矛盾的判断,并提出统一各个要素的量纲、在运行时同时考虑多个要素的启发式产出率优化思路。
2.环境感知的线程环境
线程环境是影响整个系统产出率的关键因子之一,而实现线程环境的产出率优化的关键就是使之具备环境感知和处理能力,让操作系统动态地适应多样化的应用需求。论文第三章以传统操作系统中高产出率的线程环境优化为目标,提出了一种均衡考虑影响系统产出率的线程相关的各个环境因素的模型,并以此为基础设计了一种用于环境感知的高产出率线程调度的算法。为验证和评价模型和算法,设计并实现了一种可定制的线程环境,可以根据应用需求的变化动态调整线程调度策略,从而能够与产出率指导的调度策略相协同。通过实验和测试发现,产出率指导的调度策略与可定制线程环境相结合的组合可以用极低的开销获得了相当显著的产出率优化。
3.能耗敏感的作业管理
类似星上并行计算系统这样的典型应用环境中,能耗受限是首要的环境因素,而具有能耗限制的类似的分布式异构作业系统在未来计算领域中将越来越普遍。本文以能耗-性能均衡模型为指导,以现有的分布式作业管理系统为原型,围绕能耗受限的特定工作环境,设计了一种基于高产出率优化模型的作业分配算法。算法涉及节点和作业中在性能和能耗上的环境参数,在保证所分配的作业能耗总和不会超过节点能耗上限的基础上,满足将整个系统的性能最大化的要求。
4.产出率关联的动态故障排除技术
通过分析系统失效对系统产出率的影响,确定降低故障对服务的阻断时间和压缩故障排除时间是一种重要的提高产出率的优化方法,并由此利用基于传统操作系统的动态软件更新技术,在操作系统内核模块层次提出了一种动态故障排除机制。该机制将内核功能按语义关联组织成受保护的模块,能够发现故障,并能实施模块的动态更新,从而实现故障的动态排除。理论分析和实验发现,采用动态故障排除技术很好地实现了与系统产出率优化的融合,以尽可能小的性能损失换取系统故障带来的产出率损耗,从而在一定故障率的条件下,间接提高了系统的产出率。
5.基于层次式传统操作系统的产出率优化扩展框架
通过对上述三个环节的操作系统高产出率优化方案的总结和抽象,提出了一种适用于银河麒麟层次式操作系统结构的产出率优化扩展框架,其特点是基于“指导-反馈”模型建立产出率优化部件与传统OS部件的关系,分别在应用层、内核服务层和基本内核层中实施对产出率优化的指导并进行信息收集。
To meet the shortage incurred by complicated and multiplex computing tasks facing to the legacy High Performance Computing (HPC), a NEW HPC, High Productivity Computing, is brought in, which introduces the new concepts in designation, development, employment and evaluation. High productivity computing emphasizes that the computing system should be well supplied in Performance (time-to-solution), Programmability (time-for-idea-to-first-solution), Portability (transparency), and Robustness (reliability) to fulfill users' needs. And the costs in system development, running and maintenance should be considered, too. DARPA (Defense Advanced Research Projects Agency) has issued a project named HPCS (High Productivity Computing System), which involves some big commercial companies, such as IBM, Sun, and Cray. A few related college institutes and national laboratries are also included in this project. Much finance support has been fed by DARPA to ensure HPCS becoming the essential transitional architecture for computing before the era of quantum computing comes.
HPC (that refers to High Productivity Computing as the same below) covers many research fields, which include non-technical ones like industrial chain, circuit of R&D, principles for produce and vendor etc., and the technical ones like hardware architectures, operating systems, compilers, frameworks for applications, etc. As important as an Operating System (abbriated as OS) is in the whole computing system, the research of high productivity in Operating System is quite critical. The high productivity of an OS is the profile of the capability of the lower hardware subsystem. Meanwhile, the running environment and the effectiveness of high productivity optimization in the upper software subsystem is heavily dependent on it, too. OS itself plays an important role in the whole system's performance, programmability, portability, robustness and excution cost.
This paper focuses on the optimization of productivities in the fields of Threading Environment, Job Management, and Robustness Maintenance, which are critical for productivities in OS. The idea of mixing and balancing multiple directives of productivities is proposed and applied in guiding the steps in the designation and development of OS. The abilites of sensing and processing the factors of the running environment for applications,which include computing capacity, power consumption, rate for faults and the special demands of retailed users, are considered as one of the critical parts implementing high productivity computing in OS. While the real-life computing systems are full of non-HP-optimized legacy ones that are deploied to many departments, and the evaluation to the legacy applications with HP-optimization is essiencial but difficult to do, they are specially considered with adaptation for optimization aimed to improve the productivity. The technology of how to expand the abilities of sensing environment for legacy OS is researched. High productivity is taken as the goal of OS optimization. A hierarchical framework of OS optimization for high productivity is given based on the research above, which functions according to the "Guide-Respond" model. Primary innovative work in this paper can be summarized as the following:
1. The definition and analysis of the evaluation directives for HP effectiveness
Performance, Programmability, Portability, Robustness and the Costs in HPC were all provided as the instructive concepts. In order to help research in productivity optimization with respect, an operational quantization method is given for evaluation of performance, robustness, power consumption and easy-to-use for users. It converts all factors in HPC into the environmental parameters in real-life systems, including program execute time, peak speed, rate of faults, the longest running time in stability, peak energy cost, average effectiveness of energy, time for problem solving and so on. The relationship between each productivity factor is discussed and it is concluded that the factors are often in conflict with each other when being optimized. So a universal dimension is proposed among each factor. And a heuristic method is proposed too that the multiple factors in conflict (maybe) are required to be considered contemparily during the productivity optimization.
2. Environment-sensible Threading Environment.
Threading environment is one of the influential factors to the productivity of the whole system. One of the key points of the productivity optimization in the threading environment is to enable the ability of sensing and processing the environmental changes outside. Then it can adapt to the varied application requiements dynamically. To achieve HP optimization in threading environment for legacy OS, a model is given in chapter 3, which contributes in balance among the environmental factors related to threading environment's productivity, and a HP thread scheduling algorithm based on it is provided to utilize the environmental sensibility. A customizable threading environment is designed and implemented. It can shift thread scheduling policy dynamically adjusted to the changes of application requirements. So, the threading environment can cooperate with the scheduling policy guided by productivity, which is described above. Through experiments and evaluation, it is concluded that the combination of productivity-guide scheduling policy and the customizable threading environment can help the improvement of system productivity with little overhead.
3. Job Management with power consumption sensitive.
The Paralle Computing System on Star is such a typical application that power consumption limitation is the main environmental factor. More and More distributed heterogeneous systems like that will join the future computing kingdom. Conducted by the model balancing power consumption and performance, originated from the visible distributed job management system, a HP-optimized job dispatching algorithm is given objected to a special working environment with restricted power consumption. The algorithm involves the environmental factors like performance and power consumption in the computing nodes and the jobs. It could ensure that the total power consumption of the jobs would not exceed the limit of the nodes, and then achieve maximization of performance in the whole system.
4. Dynamic Fault Elimination with productivities associated.
Through the analysis of the influence of system failure for system productivities, it's concluded that reducing the interrupt time for service by faults and the time to eliminate the faults is a very important way to improve productivity. Based on it as well as the technology of dynamic software update in legacy OS, a mechanism of dynamic fault elimination is given in OS kernel module layer. All concerned kernel functions are organized in some protected module according to semantic relationship. The protected modules could discover the faults and start dynamic update to the infected module. Then the faults are removed while the system is running and service is not stopped. The theoriotical analysis and the experiments prove that the dynamic faults removal could work well with system productivity optimization. It could keep the productivity lost by system failure in lower level with the performance cost as less as possible. In a condition of a certain rate of faults, it could increase the system productivity indirectly.
5. The expansion framework for HP-optimization based on hierarchical legacy OS.
In sum and abstract of the three HP-optimization solutions above, an expansion framework for HP-optimazation on YH-Kylin hierarchical OS is given. The main feature of the framework is the 'guide-respond' model that builds a relation betweem the components of productivity optimization and the components in legacy OS. The guide and information collection for productivity optimization is done in the Application Layer, the Server Kernel Layer and the Basic Kernel Layer.
引文
[1]孟丹,张志宏,陈明宇.高生产率计算系统.《计算机研究与发展》,42(4):563-569,2005
[2]W.A.Wulf,S.A.McKee,Hitting the memory wall:implications of the obvious,Computer Architecture News,1995.23(1):20-24,1995
[3]夏军.数据局部性及其变异优化技术研究.国防科技大学计算机学院博士论文,2004
[4]Jeremy Kepner.HPC Productivity:An Overarching View.International Journal of High Performance Computing Applications:Special Issue on HPC Productivity,Volume 18,Number 4,Winter 2004
[5]Thomas Sterling.Productivity Metrics and Models for High Performance Computing.International Journal of High Performance Computing Applications,Volume 18,Issue 4(November 2004),Pages:433 - 440.,2004
[6]Ken Kennedy,Charles Koelbel,Rob Schreiber.Defining and Measuring the Productivity of Programming Languages.International Journal of High Performance Computing Applications,Volume 18,Issue 4(November 2004),Pages:441-448,2004
[7]S.Faulk,J.Gustafson,P.Johnson,A.Porter,W.Tichy,L.Votta.Measuring HPC Productivity.International Journal of High Performance Computing Applications,Vol.18,(4),p.459-473,2004
[8]HA Forum.Providing Open Architecture High Availability Solutions,Revision 1.0.http://www.mcg.mot.com/us/products/solutions/ha_solutions.pdf,2001
[9]Lorna Smith,Mark Bull.Development of Mixed Mode MPI / OpenMP Applications.Scientific Programming,Vol.9(2-3/2001),page 83-98,2001
[10]陈勇,陈国良,李春生,何家华.SMP机群混合编程模型研究.小型微型计算机系统Vol.25(10),page 1763-1767,2004
[11]Ta quoc Viet,Tsutomu Yoshinaga,Yoshio Ogawa,Ben A.Abderazek and Masahiro Sowa.Optimization for Hybrid MPI-OpenMP Programs on a Cluster of SMP PCs.In Proceedings of the Annual Symposium on Advanced Computing Systems and Infrastructures(SACSIS'04),Hokkaido,Japan,2004
[12]Jinwoo Suh,Dong-In Kang,Stephen Crago.Dynamic Power Management of Multiprocessor Systems.In Proceedings of the 16th International Parallel and Distributed Processing Symposium,page 125,2002
[13]J.Suh,D.Kang,and S.Crago.Dynamic Power Management for Heterogeneous Systems.Workshop on Parallel and Distributed Real-Time Systems(WPDRTS),2003
[14]Xue Wu.Dynamic Power Management Technique and Its Application on A Multiprocessor Architecture http://www.cs.umd.edu/-wu/paper/DPM_Final.doc,2001
[15]Marchal P.,Jos Power Management Technique and ISDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms.In Proc.of 2003 Design,Automation and Test in Europe Conference and Exposition(DATE 2003),3-7 March 2003.Munich,Germany:IEEE CS,2003.10516-10523
[16]M.Puterman,Finite Markov Decision Processes,John Wiley and Sons,1994.
[17]Xu R.,Zhu D.,Rusu C.,et al.Energy-Efficient Policies for Embedded Clusters.In Proc.of the 2005 ACM SIGPLAN/SIGBED Conference on Languages,Compilers,and Tools for Embedded Systems(LCTES'05),June 15-17,2005.Chicago,Illinois,USA:ACM Press,2005.1-10
[18]Hewlett-packard,Intel,Microsoft,et al.Advanced Configuration and Power Interface Specification,Revision 3.0a..Tech Report.December 30,2005.
[19]Fleischmann M.LongRun Power Management:Dynamic Power Management for Crusoe Processors:Tech Report.Transmeta Corporation,January 17,2001.
[20]Paper I.W.Enhanced Intel SpeedStep Technology for the Intel Pentium M Processor:Tech Report.Order Number:301170-001.March 2004.
[21]AMD.AMD PowerNow! Technology:Tech Report.AMD Corporation,2002.
[22]AMD.Cool 'n' Quiet Technology Installation Guide for AMD Athlon 64Processor Based Systems.NA Rev.0.04:Tech Report.AMD Corporation,June 2004.
[23]胡湘华.操作系统能效优化技术研究.国防科技大学计算机学院博士开题报告,2003
[24]DARPA.High Productivity Computing Systems(HPCS).http://www.darpa.mil/ipto/programs/hpcs/index.htm,2004
[25]Mootaz Elnozahy.PERCS:IBM effort in HPCS. http://www.ncsc.org/casc/meetings/vision-public.pdf,2003
[26]Cray Inc.The Cascade Project.http://www.cray.com/cascade/,2002
[27]John L.Gustafson.SunProject.http://www.cray.corn/cascade/,2002asc/meetings/vision-public.pdf
[28]Matthew DeVuyst,Rakesh Kumar,and Dean M.Tullsen.Exploiting Unbalanced Thread Scheduling for Energy and Performance on a CMP of SMT Processors.In Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium,April 2006
[29]Michael Luck,Peter McBurney,Chris Preist.Agent Technology:Enabling Next Generation Computing.AgentLink,ISBN 0854 327886,2003.1
[30]Object Management Group.Agent Technology Green Paper.OMG Document agent/00-09-01,Version 1.0,http://www.objs.com/agent/index.html,2001
[31]颜跃进.多Agent系统开发工具的研究与实现.硕士学位论文,国防科技大学计算机学院,2000.12
[32]Elisa Baniassad and Siobh-01,Version 1.0,http://www.objs.com/agct-Oriented Analysis and Design.In Proceedings of the International Conference on Software Engineering,2004
[33]Jan Hannemann and Gregor Kiczales.Design Pattern Implementation in Java and AspectJ.OOPSLA '02,2002
[34]Yvonne Coady and Gregor Kiczales.Back to the Future:A Retroactive Study of Aspect Evolution in Operating System Code.In Proceedings of the International Conference on Aspect-oriented Software Development,pages 50-59,2003
[35]Yvonne Coady,Gregor Kiczales,Mike Feeley,and Greg Smolyn.Using AspectC to Improve the Modularity of Path-Specific Customization in Operating System Code.In Proceedings of the Joint European Software Engineering Conference(ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering(FSE-9),2001
[36]Paniti Netinant,Constantinos Constantinides,Tzilla Elrad,Mohamed Fayad.Supporting Aspectual Decomposition in the Design of Adaptable Operating Systems Using Aspect-Oriented Frameworks.In Proceedings of 3rd Workshop on Object-Orientation and Operating Systems ECOOPOOOWS,2000
[37]Luciano Porto Barreto,Remi Douence,Gilles Muller,Mario Sudholt. Programming OS Schedulers with Domain-Specific Languages and Aspects:New Approaches for OS Kernel Engineering. In Proceedings of the 1st AOSD Workshop on Aspects, Components,and Patterns for Infrastructure Software, Apr. 2002
[38] Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, John Irwin. Aspect-Oriented Programming. Published in proceedings of the European Conference on Object-Oriented Programming (ECOOP),Finland. Springer-Verlag LNCS 1241. June 1997
[39] Anders I. MVerlag LNCS 1241. University of Oslo, Norway.Aspect-Oriented Software Components. Idea Group Publishing, 2003
[40] Michael Engel, Bernd Freisleben. Supporting Autonomic Computing Functionality via Dynamic Operating System Kernel Aspects. ASOD'05,2005
[41 ] Vmware, Inc. http://www.vmware.com, 2006
[42] Microsoft, Inc. http://www.microsoft.com/windowsxp/virtualpc/, 2004
[43] Bryan Clark, Todd Deshane, Eli Dow, Stephen Evanchik. Matthew Finlayson,Jason Herne, Jeanna Neefe Matthews. Xen and the Art of Repeated Research.In the Proceedings of FREENIX 2004, Pp. 135004e, 2004.
[44] Various, http://user-mode-linux.sourceforge.net/, 2006
[45] Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. Denali: A Scalable Isolation Kernel. Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
[46] Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew. Live updating operating systems using virtualization. Proceedings of the 2nd international conference on Virtual execution environments, Ottawa, Ontario,Canada, pp 35-44, 2006
[47] Gregory Sullivan. DVM 064, 200606, 2006irtualization. Proceedings of the 2nd interns/dvm.ps, 2000
[48] Jeffrey O. Kephart and David M. Chess. The vision of autonomic computing.Computer, 36(1):41-52, 2003
[49] Gail Kaiser, Phil Gross, Gaurav Kc, Janak Parekh, Giuseppe Valetto. An Approach to Autonomizing Legacy Systems. In Proceedings of the ACM Workshop on Self-Healing, Adaptive and self-MANaged Systems (SHAMAN), held in conjunction with the 16th Annual ACM International Conference on Supercomputing,(New York City,NY),June 2002
[50]G.Valetto,G.Kaiser,and G.S.Kc.A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems.In 8th European Workshop on Software Process Technology,June 2001
[51]Shen Xiaojun.MAP:A Mobile-Agent-Based Platform for Collabrative Virtual Environments.Ph.D issue,Ottawa-Carleton Institute of Electrical and Computer Engineering School of Information Technology and Engineering,University of Ottawa.2003.1
[52]Jonathan Grudin.Computer-Supported Cooperative Work:History and Focus.IEEE Computer,27,5,pp 19-26,1994.5
[53]Jonathan Grudin.Groupware and Social Dynamics:Eight Challenges for Developers.Communications of the ACM,37,1(Jan.1994),pp 92-105,1994
[54]Rahat Iqbal,Anne James,Richard Gatward.A Framework for Interoperability of Heterogeneous Systems.Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA and Engin
[55]Li-Te Cheng,John Patterson,Steven L.Rohall,Susanne Hupfer,Steven Ross.Weaving a Social Fabric into Existing Software.AOSD'05,2005
[56]P.Dewan,University of North Carolina,A.Sharma.An experiment in Interoperating Heterogeneous Collaborative Systems.In Proc.of Sixth European Conference on Computer Supported Cooperative Work (ECSCW99),Copenhagen,Denmark 1999
[57]D.Li,R.Li.Transparent sharing and interoperation of heterogeneous single-user applications.ACM Conference on Computer Supported Cooperative Work(CSCW2002),2002,pp.246-255,2002
[58]Du Li,Richard Muntz.COCA:Collaborative Objects Coordination Architecture.In:Proc of ACM Conf on CSCW,Seattle,1998,179-188
[59]Ivan Marsic.An Architecture for Heterogeneous Groupware Applications.In Proc.23 rd IEEE/ACM International Conf.on Software Engineering(ICSE 2001),Toronto,Canada,May 2001
[60]杨沙洲,所光,王桂彬,杨学军.异构应用系统协同技术综述.第14届信息存储会议论文集,pp3-9,2006.
[61]Thomas E.Anderson,Brian N.Bershad,Edward D.Lazowska,and Henry M.Levy.Scheduler Activations:Effective Kernel Support for the User-Level Management of Parallelism.ACM Transactions on Computer Systems,10(1):53vy.Scheduler Activations:Effective Kernel Support for 13th ACMSymposium on Operating Systems Principles,October 1991
[62]Paul Barton-Davis,Dylan McNamee,Raj Vaswani,and Edward D.Lazowska.Adding scheduler activations to Mach 3.0.Technical Report 3,Department of Computer Science and Engineering,University of Washington,August 1992
[63]N.J.Williams.An implementation of scheduler activations on the NETBSD operating system.In USENIX Annual Technical Conference,2002
[64]Gregory D.Benson,Nam T.Nguyen.Advanced Linux Threads.Dept.CS,University of San Francisco.lasr.cs.ucla.edu/lasr-members/songuku/lever/nam/projects/alt/alt_final.doc,2003
[65]杨沙洲,戴华东,杨学军.多处理机环境下线程模型性能评测与分析.《计算机工程与应用》2005下27期,2005
[66]Jason Evans,Julian Elischer.Kernel-Scheduled Entities for FreeBSD.www.aims.net.au/chris/kse/,2004
[67]Bryan M.Cantrill.Runtime Performance Analysis of the M-to-N Scheduling Model.Department of Computer Science,Brown University,Tech Rep:CS-96-19,1996
[68]The FreeBSD Project.FreeBSD homepage,http://www.freebsd.org,2004.9.29
[69]Xavier.Leroy@inria.fr.The LinuxThreads Library.http://pauillac.inria,fr/-xleroy/linuxthreads/,2004.9.29
[70]Ulrich Drepper.The Native POSIX Thread Library for Linux.http://people.redhat.corn/drepper/nptl-design.pdf,2003.1
[71]杨沙洲.Linux 线程库性能测试与分析.http://www-900.ibm.com/deve loperWorks/cn/linux/l-nptl/index.shtml,2003.7.29
[72]杨沙洲.Linux2.4调度系统分析.http://www- 128.ibm.com/developerworks/cn/linux/kernel/l-k24sch/index.ht ml,2004.3.09
[73]杨沙洲.kinux2.6调度系统分析.http://www- 128.ibm.comJdeveloperworks/cn/linux/kemel/l-kn26schJindex.ht ml,2004.4.01
[74]Larry McVoy,lm@bitmover.com.LMbench - Tools for Performance Analysis. http://www.bitmover.com/lmbench/,2004.9.29
[75]Volano LLC.Volano Chat.http://www.volano.com/benchmarks.html,2004.9.29
[76]Sun Microsystems,Inc.Java Technology.http://java.sun.corn/,2004.9,29
[77]Langchao,Beijing.Langchao NF420R Server.http://www.langchaobj.com.cn/nf420.htm,2004.9.29
[78]Intel,Inc.http://www.intel.com,2006
[79]Various.http://www-unix.mcs.anl.gov/mpi/index.htm,2006
[80]Various,http://www.openmp.org/drupal/,2006
[81]杨沙洲.Linux线程库实现机制分析.http://www-900.ibm.com/developer Works/cn/linux/kemel/l-thread/index.sht ml,2003.5
[82]K.Hwang and Z.Xu.Scalable Parallel Computing:Technology,Architecture,Programming.WCB/McGraw-HilI,NY,1998
[83]Sun MicroSystem.Multithreading in the Solaris Technology,Archinment,技术白皮书.www.sun.com/software/whitepapers/solaris9/multithread.pdf,2002
[84]IBM NGPT 小组.Next Generation POSIX Threading Project 介绍.http://www-124.ibm.com/pthreads/,2003
[85]Radhika Thekkath.Design and Performance of Multithreaded Architectures.University of Washington,A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy,1995
[86]Sameer Ajmani.Automatic Software Upgrades for Distributed Systems.PhD thesis proposal,2003
[87]Jeff Kramer.Configuration Programming - A Framework for the Development of Distributable Systems.Proc.of IEEE Internatins Conference on Computer Systems and Software Engineering(COMPEURO 90),Israel,May 1990
[88]Changdrasekhar Boyapati,Barbara Liskov,Liuba Shrira,Chuang-Hue Moh,Steven Richman.Lazy Modular Upgrades in Persistent Object Stores.In ACM Conference on Object-Oriented Programming,Systems,Languages and Applications(OOPSLA),October 2003
[89]Michael Hicks.Dynamic Software Updating.Ph.D issue in Computer and Information Science of the University of Pennsylvania,2001
[90]Peyman Oreizy.Issues in Modeling and Analyzing Dynamic Software Architectures. Proceedings of the ROSATEA Workshop. June 30th - July 3,1998, Marsala, Sicily, Italy, 1998
[91] Michael Clarke, Geoff Coulson. An Architecture for Dynamically Extensible Operating Systems. Proceedings of the Fourth International Conference on Configurable Distributed Systems (ICCDS 4). IEEE Computer Society Press.May 1998
[92] Robert Bialek, Eric Jul. A Framework for Evolutionary, Dynamically Updatable, Component-based Systems. In The 24th IEEE International Conference on Distributed Computing Systems Workshops, Hachioji, Tokyo,Japan, March 23-24 2004, pp. 326b331, 2004
[93] Shigeru Chiba, Yoshiki Sato, Michiaki Tatsubori. Using HotSwap for Implementing Dynamic AOP Systems. 1st Workshop on Advancing the State-of-the-Art in Run-time Inspection, July, 2003, Darmstadt, Germany held in conjuction with ECOOP 2003
[94] 窦蕾.分布式构件系统中动态配置技术的研究.国防科大计算机学院博士论文, 2005
[95] James Plank. An Overview of Checkpointing in Uniprocessor and Distributed Systems, Focusing on Implementation and Performance. Tech.Report UT-CS-97-372, Department of Computer Science, University of Tennessee, 1997
[96] O.M.Group. The common object request broker: Architecture and specification. Version 3.0.3.http://www.omg.org/technology/documents/formal/corba_iiop.htm,Aug.,2004.
[97] Sun Microsystems, Jini Architectural Overview.http://wwws.sun.com/software/jini/whitepapers/architecture.html. January 1999.
[98] Michael M. Swift, Brian N. Bershad, and Henry M. Levy. Improving the Reliability of Commodity Operating Systems. SOSPformaOctober 19 Swift,B, Bolton Landing, New York, USA, 2003
[99] A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 73e, rmstadt, ji,
[100] Rob Short, Vice President of Windows Core Technology, Microsoft Corp.private communication, 2003
[101] Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy. Recovering device drivers. In Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation, San Francisco, CA, USA, December 2004
[102] Michael Swift, Steven Martin, Henry M. Leyand, and Susan J. Eggers.Nooks: an architecture for reliable device drivers. In Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, Sept 2002
[103] Ronald G. Minnich. A dynamic kernel modifier for Linux. In Proceedings of the LACSI Symposium, September 2002
[104] J. Jann, L. M. Browning, and R. S. Burugula, Dynamic reconfiguration:Basic building blocks for autonomic computing on IBM pSeries servers.IBM SYSTEMS JOURNAL, 2003. 42(1), 2003
[105] Sun Microsystems, Inc. Dynamic Reconfiguration with Oracle9i and the Solaris 8 Operating Environment. Whitepaper. September, 2001
[106] Sun Microsystems Inc. System Management Services (SMS) 1.2 Dynamic Reconfiguration User Guide.http://www.sun.com/products-n-solutions/hardware/docs/pdf/816-5076-10.pdf, 2002
[107] Sun Microsystem,Inc. Sunstem Management Services (SMS) 1.2 Dynamic Reconfiper. April 2003
[ 108] Kylin Team. http://www.kylin.org.cn, 2004
[109] Apple, Inc. http://developer.apple.com/opensource/index.html, 2006
[110] Linus Torvalds, http://www.kernel.org, 2006
[111] Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers, Extensibility, Safety and Performance in the SPIN Operating System. In "Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15)",Copper Mountain, CO. pp. 267-284. 1995
[112] Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: anoperating system architecture for application-level resource management. In the Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995,pages 251-266., 1995
[113] J.P.Fassino, J.B.Stefani, J.Lawall, and G.Muller. Think: A software framework for component-based operating system kernels. In Usenix Annual Technical Conference,Monterey(USA),June 2002
[114]Christophe Rippert,Jean-Bernard Stefani.Building secure embedded kernels with the THINK architecture.In Proc.of ECOOSE'02,2002
[115]程步奇,尹宝林.动态可扩展操作系统的研究.《计算机工程与应用》2001.12
[116]施笑安,周兴社,王继晖,王海鹏.可扩展操作系统设计方法比较研究.《计算机应用研究》2003.7
[117]S.Beyer,K.Mayes,and B.Warboys.Dynamic configuration of embedded operating systems.In WIP Proceedings of the 24th IEEE Rael-Time Systems Symposium,pp.23ings of the 15th A
[118]Jonathan Appavoo,Marc Auslander,Dilma DaSilva,David Edelsohn,Orran Krieger,Michal Ostrowski,Bryan Rosenburg,Robert W.Wisniewski,Jimi Xenidis.K42 Overview.www.research.ibm.com/K42/white-papers/Overview.pdf,2002
[119]Jonathan Appavoo,Marc Auslander,Dilma DaSilva,David Edelsohn,Orran Krieger,Michal Ostrowski,Bryan Rosenburg,Robert W.Wisniewski,Jimi Xenidis.Scheduling in K42.http://www.research.ibm.com/K42/white-papers/Scheduling.pdf,2002
[120]Craig A.N.Soules,Jonathan Appavoo,Kevin Hui,Robert W.Wisniewski,Dilma Da Silva,Gregory R.Ganger,Orran Krieger,Michael Stumm,Marc Auslander,Michal Ostrowski,Bryan Rosenburg,and Jimi Xenidis.System Support for Online Reconfiguration.In Proc.of the Usenix Technical Conference,2003
[121]Jonathan Appavoo,Marc Auslander,Dilma DaSilva,David Edelsohn,Orran Krieger,Michal Ostrowski,Bryan Rosenburg,Robert W.Wisniewski,Jimi Xenidis.Utilizing Linux Kernel Components in K42,http://www.research.ibm.com/K42/white-papers/LKIntern.pdf,2002
[122]Jonathan Appavoo,Kevin Hui,Craig A.N.Soules,Robert W.Wisniewski,Dilma M.Da Silva,Orran Krieger,David J.Edelsohn Marc A.Auslander,Ben Gamsa,Gregory R.Ganger,Paul McKenney,Michal Ostrowski,Bryan Rosenburg,Michael Stumm,and Jimi Xenidis.Enabling autonomic behavior in systems software with hot swapping.IBM Systems Journal,vol.42,no.1,2003
[123]Kevin Hui,Jonathan Appavoo,Robert Wisniewski,Marc Auslander,David Edelsohn,Ben Gamsa,Orran Krieger,Bryan Rosenburg,Michael Stumm. Supporting Hot Swappable Components for System Software. Eighth Workshop on Hot Topics in Operating Systems May 20 - 22, 2001,Elmau,Germany, 2001
[124] Yvonne Coady, Gregor Kiczales, Mike Feeley, Norm Hutchinson and Joon Suan Ong. Structuring Operating System Aspects. In Communications of the ACM, October 2001
[125] Mark F. Mergen, Volkmar Uhlig, Orran Krieger, Jimi Xenidis. Virtualization for High-Performance Computing. ACM SIGOPS Operating Systems Review, Vol. 40, no. 2, April 2006
[126] Andrew Baumann, Jeremy Kerr, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, and Robert W. Wisniewski. Module Hot-Swapping for Dynamic Update and Reconfiguration in K42. LCA 2005 linux.conf.au, 2005
[127] Orran Krieger, Marc Auslander, Bryan Rosenburg, Robert W. Wisniewski,Jimi Xenidis, Dilma Da Silva, Michal Ostrowski, Jonathan Appavoo, Maria Butrico, Mark Mergen, Amos Waterland, Volkmar Uhlig. K42: Building a Complete Operating System. EuroSys 2006 , Leuven Belgium April 2006
[128] Andrew Baumann, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, and Robert W. Wisniewski. Improving operating system availability with dynamic update. In Proceedings of the 1st Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure, Boston, MA,USA, October 2004
[129] Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Amos Waterland,David Tarn and Andrew Baumann. K42: An Infrastructure for Operating System Research. ACM SIGOPS Operating Systems Review , Vol. 40, no. 2,April 2006
[130] W. Wilson Ho and Ronald A. Olsson. An approach to genuine dynamic linking. Software Practice and Experience, 21(4):375-390, April 1991
[131] Hongjiu Lu. ELF: From the Programmer's Perspective.ftp://tsx-11.mit.edu/pub/linux/packages/GCC/elf.ps.gz, 2004
[132] Bryan Buck and Jeffrey K. Hollingsworth. An API for Runtime Code Patching. The International Journal of High Performance Computing Applications, 14(4):317-329, Winter 2000
[133] Steffen Heinz, Justin Zobel, and Hugh E. Williams, Burst Tries: A Fast,Efficient Data Structure for String Keys. ACM Transations on Information Systems, 20(2): 192-223,2002
[134] Sanjay Baberwal, Ben Choi. Speeding up Keyword Search for Search Engines. The 3rd IASTED International Conference on Communications,Internet, and Information Technology,2004
[2]W.A.Wulf,S.A.McKee,Hitting the memory wall:implications of the obvious,Computer Architecture News,1995.23(1):20-24,1995
[3]夏军.数据局部性及其变异优化技术研究.国防科技大学计算机学院博士论文,2004
[4]Jeremy Kepner.HPC Productivity:An Overarching View.International Journal of High Performance Computing Applications:Special Issue on HPC Productivity,Volume 18,Number 4,Winter 2004
[5]Thomas Sterling.Productivity Metrics and Models for High Performance Computing.International Journal of High Performance Computing Applications,Volume 18,Issue 4(November 2004),Pages:433 - 440.,2004
[6]Ken Kennedy,Charles Koelbel,Rob Schreiber.Defining and Measuring the Productivity of Programming Languages.International Journal of High Performance Computing Applications,Volume 18,Issue 4(November 2004),Pages:441-448,2004
[7]S.Faulk,J.Gustafson,P.Johnson,A.Porter,W.Tichy,L.Votta.Measuring HPC Productivity.International Journal of High Performance Computing Applications,Vol.18,(4),p.459-473,2004
[8]HA Forum.Providing Open Architecture High Availability Solutions,Revision 1.0.http://www.mcg.mot.com/us/products/solutions/ha_solutions.pdf,2001
[9]Lorna Smith,Mark Bull.Development of Mixed Mode MPI / OpenMP Applications.Scientific Programming,Vol.9(2-3/2001),page 83-98,2001
[10]陈勇,陈国良,李春生,何家华.SMP机群混合编程模型研究.小型微型计算机系统Vol.25(10),page 1763-1767,2004
[11]Ta quoc Viet,Tsutomu Yoshinaga,Yoshio Ogawa,Ben A.Abderazek and Masahiro Sowa.Optimization for Hybrid MPI-OpenMP Programs on a Cluster of SMP PCs.In Proceedings of the Annual Symposium on Advanced Computing Systems and Infrastructures(SACSIS'04),Hokkaido,Japan,2004
[12]Jinwoo Suh,Dong-In Kang,Stephen Crago.Dynamic Power Management of Multiprocessor Systems.In Proceedings of the 16th International Parallel and Distributed Processing Symposium,page 125,2002
[13]J.Suh,D.Kang,and S.Crago.Dynamic Power Management for Heterogeneous Systems.Workshop on Parallel and Distributed Real-Time Systems(WPDRTS),2003
[14]Xue Wu.Dynamic Power Management Technique and Its Application on A Multiprocessor Architecture http://www.cs.umd.edu/-wu/paper/DPM_Final.doc,2001
[15]Marchal P.,Jos Power Management Technique and ISDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms.In Proc.of 2003 Design,Automation and Test in Europe Conference and Exposition(DATE 2003),3-7 March 2003.Munich,Germany:IEEE CS,2003.10516-10523
[16]M.Puterman,Finite Markov Decision Processes,John Wiley and Sons,1994.
[17]Xu R.,Zhu D.,Rusu C.,et al.Energy-Efficient Policies for Embedded Clusters.In Proc.of the 2005 ACM SIGPLAN/SIGBED Conference on Languages,Compilers,and Tools for Embedded Systems(LCTES'05),June 15-17,2005.Chicago,Illinois,USA:ACM Press,2005.1-10
[18]Hewlett-packard,Intel,Microsoft,et al.Advanced Configuration and Power Interface Specification,Revision 3.0a..Tech Report.December 30,2005.
[19]Fleischmann M.LongRun Power Management:Dynamic Power Management for Crusoe Processors:Tech Report.Transmeta Corporation,January 17,2001.
[20]Paper I.W.Enhanced Intel SpeedStep Technology for the Intel Pentium M Processor:Tech Report.Order Number:301170-001.March 2004.
[21]AMD.AMD PowerNow! Technology:Tech Report.AMD Corporation,2002.
[22]AMD.Cool 'n' Quiet Technology Installation Guide for AMD Athlon 64Processor Based Systems.NA Rev.0.04:Tech Report.AMD Corporation,June 2004.
[23]胡湘华.操作系统能效优化技术研究.国防科技大学计算机学院博士开题报告,2003
[24]DARPA.High Productivity Computing Systems(HPCS).http://www.darpa.mil/ipto/programs/hpcs/index.htm,2004
[25]Mootaz Elnozahy.PERCS:IBM effort in HPCS. http://www.ncsc.org/casc/meetings/vision-public.pdf,2003
[26]Cray Inc.The Cascade Project.http://www.cray.com/cascade/,2002
[27]John L.Gustafson.SunProject.http://www.cray.corn/cascade/,2002asc/meetings/vision-public.pdf
[28]Matthew DeVuyst,Rakesh Kumar,and Dean M.Tullsen.Exploiting Unbalanced Thread Scheduling for Energy and Performance on a CMP of SMT Processors.In Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium,April 2006
[29]Michael Luck,Peter McBurney,Chris Preist.Agent Technology:Enabling Next Generation Computing.AgentLink,ISBN 0854 327886,2003.1
[30]Object Management Group.Agent Technology Green Paper.OMG Document agent/00-09-01,Version 1.0,http://www.objs.com/agent/index.html,2001
[31]颜跃进.多Agent系统开发工具的研究与实现.硕士学位论文,国防科技大学计算机学院,2000.12
[32]Elisa Baniassad and Siobh-01,Version 1.0,http://www.objs.com/agct-Oriented Analysis and Design.In Proceedings of the International Conference on Software Engineering,2004
[33]Jan Hannemann and Gregor Kiczales.Design Pattern Implementation in Java and AspectJ.OOPSLA '02,2002
[34]Yvonne Coady and Gregor Kiczales.Back to the Future:A Retroactive Study of Aspect Evolution in Operating System Code.In Proceedings of the International Conference on Aspect-oriented Software Development,pages 50-59,2003
[35]Yvonne Coady,Gregor Kiczales,Mike Feeley,and Greg Smolyn.Using AspectC to Improve the Modularity of Path-Specific Customization in Operating System Code.In Proceedings of the Joint European Software Engineering Conference(ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering(FSE-9),2001
[36]Paniti Netinant,Constantinos Constantinides,Tzilla Elrad,Mohamed Fayad.Supporting Aspectual Decomposition in the Design of Adaptable Operating Systems Using Aspect-Oriented Frameworks.In Proceedings of 3rd Workshop on Object-Orientation and Operating Systems ECOOPOOOWS,2000
[37]Luciano Porto Barreto,Remi Douence,Gilles Muller,Mario Sudholt. Programming OS Schedulers with Domain-Specific Languages and Aspects:New Approaches for OS Kernel Engineering. In Proceedings of the 1st AOSD Workshop on Aspects, Components,and Patterns for Infrastructure Software, Apr. 2002
[38] Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, John Irwin. Aspect-Oriented Programming. Published in proceedings of the European Conference on Object-Oriented Programming (ECOOP),Finland. Springer-Verlag LNCS 1241. June 1997
[39] Anders I. MVerlag LNCS 1241. University of Oslo, Norway.Aspect-Oriented Software Components. Idea Group Publishing, 2003
[40] Michael Engel, Bernd Freisleben. Supporting Autonomic Computing Functionality via Dynamic Operating System Kernel Aspects. ASOD'05,2005
[41 ] Vmware, Inc. http://www.vmware.com, 2006
[42] Microsoft, Inc. http://www.microsoft.com/windowsxp/virtualpc/, 2004
[43] Bryan Clark, Todd Deshane, Eli Dow, Stephen Evanchik. Matthew Finlayson,Jason Herne, Jeanna Neefe Matthews. Xen and the Art of Repeated Research.In the Proceedings of FREENIX 2004, Pp. 135004e, 2004.
[44] Various, http://user-mode-linux.sourceforge.net/, 2006
[45] Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. Denali: A Scalable Isolation Kernel. Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
[46] Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew. Live updating operating systems using virtualization. Proceedings of the 2nd international conference on Virtual execution environments, Ottawa, Ontario,Canada, pp 35-44, 2006
[47] Gregory Sullivan. DVM 064, 200606, 2006irtualization. Proceedings of the 2nd interns/dvm.ps, 2000
[48] Jeffrey O. Kephart and David M. Chess. The vision of autonomic computing.Computer, 36(1):41-52, 2003
[49] Gail Kaiser, Phil Gross, Gaurav Kc, Janak Parekh, Giuseppe Valetto. An Approach to Autonomizing Legacy Systems. In Proceedings of the ACM Workshop on Self-Healing, Adaptive and self-MANaged Systems (SHAMAN), held in conjunction with the 16th Annual ACM International Conference on Supercomputing,(New York City,NY),June 2002
[50]G.Valetto,G.Kaiser,and G.S.Kc.A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems.In 8th European Workshop on Software Process Technology,June 2001
[51]Shen Xiaojun.MAP:A Mobile-Agent-Based Platform for Collabrative Virtual Environments.Ph.D issue,Ottawa-Carleton Institute of Electrical and Computer Engineering School of Information Technology and Engineering,University of Ottawa.2003.1
[52]Jonathan Grudin.Computer-Supported Cooperative Work:History and Focus.IEEE Computer,27,5,pp 19-26,1994.5
[53]Jonathan Grudin.Groupware and Social Dynamics:Eight Challenges for Developers.Communications of the ACM,37,1(Jan.1994),pp 92-105,1994
[54]Rahat Iqbal,Anne James,Richard Gatward.A Framework for Interoperability of Heterogeneous Systems.Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA and Engin
[55]Li-Te Cheng,John Patterson,Steven L.Rohall,Susanne Hupfer,Steven Ross.Weaving a Social Fabric into Existing Software.AOSD'05,2005
[56]P.Dewan,University of North Carolina,A.Sharma.An experiment in Interoperating Heterogeneous Collaborative Systems.In Proc.of Sixth European Conference on Computer Supported Cooperative Work (ECSCW99),Copenhagen,Denmark 1999
[57]D.Li,R.Li.Transparent sharing and interoperation of heterogeneous single-user applications.ACM Conference on Computer Supported Cooperative Work(CSCW2002),2002,pp.246-255,2002
[58]Du Li,Richard Muntz.COCA:Collaborative Objects Coordination Architecture.In:Proc of ACM Conf on CSCW,Seattle,1998,179-188
[59]Ivan Marsic.An Architecture for Heterogeneous Groupware Applications.In Proc.23 rd IEEE/ACM International Conf.on Software Engineering(ICSE 2001),Toronto,Canada,May 2001
[60]杨沙洲,所光,王桂彬,杨学军.异构应用系统协同技术综述.第14届信息存储会议论文集,pp3-9,2006.
[61]Thomas E.Anderson,Brian N.Bershad,Edward D.Lazowska,and Henry M.Levy.Scheduler Activations:Effective Kernel Support for the User-Level Management of Parallelism.ACM Transactions on Computer Systems,10(1):53vy.Scheduler Activations:Effective Kernel Support for 13th ACMSymposium on Operating Systems Principles,October 1991
[62]Paul Barton-Davis,Dylan McNamee,Raj Vaswani,and Edward D.Lazowska.Adding scheduler activations to Mach 3.0.Technical Report 3,Department of Computer Science and Engineering,University of Washington,August 1992
[63]N.J.Williams.An implementation of scheduler activations on the NETBSD operating system.In USENIX Annual Technical Conference,2002
[64]Gregory D.Benson,Nam T.Nguyen.Advanced Linux Threads.Dept.CS,University of San Francisco.lasr.cs.ucla.edu/lasr-members/songuku/lever/nam/projects/alt/alt_final.doc,2003
[65]杨沙洲,戴华东,杨学军.多处理机环境下线程模型性能评测与分析.《计算机工程与应用》2005下27期,2005
[66]Jason Evans,Julian Elischer.Kernel-Scheduled Entities for FreeBSD.www.aims.net.au/chris/kse/,2004
[67]Bryan M.Cantrill.Runtime Performance Analysis of the M-to-N Scheduling Model.Department of Computer Science,Brown University,Tech Rep:CS-96-19,1996
[68]The FreeBSD Project.FreeBSD homepage,http://www.freebsd.org,2004.9.29
[69]Xavier.Leroy@inria.fr.The LinuxThreads Library.http://pauillac.inria,fr/-xleroy/linuxthreads/,2004.9.29
[70]Ulrich Drepper.The Native POSIX Thread Library for Linux.http://people.redhat.corn/drepper/nptl-design.pdf,2003.1
[71]杨沙洲.Linux 线程库性能测试与分析.http://www-900.ibm.com/deve loperWorks/cn/linux/l-nptl/index.shtml,2003.7.29
[72]杨沙洲.Linux2.4调度系统分析.http://www- 128.ibm.com/developerworks/cn/linux/kernel/l-k24sch/index.ht ml,2004.3.09
[73]杨沙洲.kinux2.6调度系统分析.http://www- 128.ibm.comJdeveloperworks/cn/linux/kemel/l-kn26schJindex.ht ml,2004.4.01
[74]Larry McVoy,lm@bitmover.com.LMbench - Tools for Performance Analysis. http://www.bitmover.com/lmbench/,2004.9.29
[75]Volano LLC.Volano Chat.http://www.volano.com/benchmarks.html,2004.9.29
[76]Sun Microsystems,Inc.Java Technology.http://java.sun.corn/,2004.9,29
[77]Langchao,Beijing.Langchao NF420R Server.http://www.langchaobj.com.cn/nf420.htm,2004.9.29
[78]Intel,Inc.http://www.intel.com,2006
[79]Various.http://www-unix.mcs.anl.gov/mpi/index.htm,2006
[80]Various,http://www.openmp.org/drupal/,2006
[81]杨沙洲.Linux线程库实现机制分析.http://www-900.ibm.com/developer Works/cn/linux/kemel/l-thread/index.sht ml,2003.5
[82]K.Hwang and Z.Xu.Scalable Parallel Computing:Technology,Architecture,Programming.WCB/McGraw-HilI,NY,1998
[83]Sun MicroSystem.Multithreading in the Solaris Technology,Archinment,技术白皮书.www.sun.com/software/whitepapers/solaris9/multithread.pdf,2002
[84]IBM NGPT 小组.Next Generation POSIX Threading Project 介绍.http://www-124.ibm.com/pthreads/,2003
[85]Radhika Thekkath.Design and Performance of Multithreaded Architectures.University of Washington,A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy,1995
[86]Sameer Ajmani.Automatic Software Upgrades for Distributed Systems.PhD thesis proposal,2003
[87]Jeff Kramer.Configuration Programming - A Framework for the Development of Distributable Systems.Proc.of IEEE Internatins Conference on Computer Systems and Software Engineering(COMPEURO 90),Israel,May 1990
[88]Changdrasekhar Boyapati,Barbara Liskov,Liuba Shrira,Chuang-Hue Moh,Steven Richman.Lazy Modular Upgrades in Persistent Object Stores.In ACM Conference on Object-Oriented Programming,Systems,Languages and Applications(OOPSLA),October 2003
[89]Michael Hicks.Dynamic Software Updating.Ph.D issue in Computer and Information Science of the University of Pennsylvania,2001
[90]Peyman Oreizy.Issues in Modeling and Analyzing Dynamic Software Architectures. Proceedings of the ROSATEA Workshop. June 30th - July 3,1998, Marsala, Sicily, Italy, 1998
[91] Michael Clarke, Geoff Coulson. An Architecture for Dynamically Extensible Operating Systems. Proceedings of the Fourth International Conference on Configurable Distributed Systems (ICCDS 4). IEEE Computer Society Press.May 1998
[92] Robert Bialek, Eric Jul. A Framework for Evolutionary, Dynamically Updatable, Component-based Systems. In The 24th IEEE International Conference on Distributed Computing Systems Workshops, Hachioji, Tokyo,Japan, March 23-24 2004, pp. 326b331, 2004
[93] Shigeru Chiba, Yoshiki Sato, Michiaki Tatsubori. Using HotSwap for Implementing Dynamic AOP Systems. 1st Workshop on Advancing the State-of-the-Art in Run-time Inspection, July, 2003, Darmstadt, Germany held in conjuction with ECOOP 2003
[94] 窦蕾.分布式构件系统中动态配置技术的研究.国防科大计算机学院博士论文, 2005
[95] James Plank. An Overview of Checkpointing in Uniprocessor and Distributed Systems, Focusing on Implementation and Performance. Tech.Report UT-CS-97-372, Department of Computer Science, University of Tennessee, 1997
[96] O.M.Group. The common object request broker: Architecture and specification. Version 3.0.3.http://www.omg.org/technology/documents/formal/corba_iiop.htm,Aug.,2004.
[97] Sun Microsystems, Jini Architectural Overview.http://wwws.sun.com/software/jini/whitepapers/architecture.html. January 1999.
[98] Michael M. Swift, Brian N. Bershad, and Henry M. Levy. Improving the Reliability of Commodity Operating Systems. SOSPformaOctober 19 Swift,B, Bolton Landing, New York, USA, 2003
[99] A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 73e, rmstadt, ji,
[100] Rob Short, Vice President of Windows Core Technology, Microsoft Corp.private communication, 2003
[101] Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy. Recovering device drivers. In Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation, San Francisco, CA, USA, December 2004
[102] Michael Swift, Steven Martin, Henry M. Leyand, and Susan J. Eggers.Nooks: an architecture for reliable device drivers. In Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, Sept 2002
[103] Ronald G. Minnich. A dynamic kernel modifier for Linux. In Proceedings of the LACSI Symposium, September 2002
[104] J. Jann, L. M. Browning, and R. S. Burugula, Dynamic reconfiguration:Basic building blocks for autonomic computing on IBM pSeries servers.IBM SYSTEMS JOURNAL, 2003. 42(1), 2003
[105] Sun Microsystems, Inc. Dynamic Reconfiguration with Oracle9i and the Solaris 8 Operating Environment. Whitepaper. September, 2001
[106] Sun Microsystems Inc. System Management Services (SMS) 1.2 Dynamic Reconfiguration User Guide.http://www.sun.com/products-n-solutions/hardware/docs/pdf/816-5076-10.pdf, 2002
[107] Sun Microsystem,Inc. Sunstem Management Services (SMS) 1.2 Dynamic Reconfiper. April 2003
[ 108] Kylin Team. http://www.kylin.org.cn, 2004
[109] Apple, Inc. http://developer.apple.com/opensource/index.html, 2006
[110] Linus Torvalds, http://www.kernel.org, 2006
[111] Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers, Extensibility, Safety and Performance in the SPIN Operating System. In "Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15)",Copper Mountain, CO. pp. 267-284. 1995
[112] Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: anoperating system architecture for application-level resource management. In the Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995,pages 251-266., 1995
[113] J.P.Fassino, J.B.Stefani, J.Lawall, and G.Muller. Think: A software framework for component-based operating system kernels. In Usenix Annual Technical Conference,Monterey(USA),June 2002
[114]Christophe Rippert,Jean-Bernard Stefani.Building secure embedded kernels with the THINK architecture.In Proc.of ECOOSE'02,2002
[115]程步奇,尹宝林.动态可扩展操作系统的研究.《计算机工程与应用》2001.12
[116]施笑安,周兴社,王继晖,王海鹏.可扩展操作系统设计方法比较研究.《计算机应用研究》2003.7
[117]S.Beyer,K.Mayes,and B.Warboys.Dynamic configuration of embedded operating systems.In WIP Proceedings of the 24th IEEE Rael-Time Systems Symposium,pp.23ings of the 15th A
[118]Jonathan Appavoo,Marc Auslander,Dilma DaSilva,David Edelsohn,Orran Krieger,Michal Ostrowski,Bryan Rosenburg,Robert W.Wisniewski,Jimi Xenidis.K42 Overview.www.research.ibm.com/K42/white-papers/Overview.pdf,2002
[119]Jonathan Appavoo,Marc Auslander,Dilma DaSilva,David Edelsohn,Orran Krieger,Michal Ostrowski,Bryan Rosenburg,Robert W.Wisniewski,Jimi Xenidis.Scheduling in K42.http://www.research.ibm.com/K42/white-papers/Scheduling.pdf,2002
[120]Craig A.N.Soules,Jonathan Appavoo,Kevin Hui,Robert W.Wisniewski,Dilma Da Silva,Gregory R.Ganger,Orran Krieger,Michael Stumm,Marc Auslander,Michal Ostrowski,Bryan Rosenburg,and Jimi Xenidis.System Support for Online Reconfiguration.In Proc.of the Usenix Technical Conference,2003
[121]Jonathan Appavoo,Marc Auslander,Dilma DaSilva,David Edelsohn,Orran Krieger,Michal Ostrowski,Bryan Rosenburg,Robert W.Wisniewski,Jimi Xenidis.Utilizing Linux Kernel Components in K42,http://www.research.ibm.com/K42/white-papers/LKIntern.pdf,2002
[122]Jonathan Appavoo,Kevin Hui,Craig A.N.Soules,Robert W.Wisniewski,Dilma M.Da Silva,Orran Krieger,David J.Edelsohn Marc A.Auslander,Ben Gamsa,Gregory R.Ganger,Paul McKenney,Michal Ostrowski,Bryan Rosenburg,Michael Stumm,and Jimi Xenidis.Enabling autonomic behavior in systems software with hot swapping.IBM Systems Journal,vol.42,no.1,2003
[123]Kevin Hui,Jonathan Appavoo,Robert Wisniewski,Marc Auslander,David Edelsohn,Ben Gamsa,Orran Krieger,Bryan Rosenburg,Michael Stumm. Supporting Hot Swappable Components for System Software. Eighth Workshop on Hot Topics in Operating Systems May 20 - 22, 2001,Elmau,Germany, 2001
[124] Yvonne Coady, Gregor Kiczales, Mike Feeley, Norm Hutchinson and Joon Suan Ong. Structuring Operating System Aspects. In Communications of the ACM, October 2001
[125] Mark F. Mergen, Volkmar Uhlig, Orran Krieger, Jimi Xenidis. Virtualization for High-Performance Computing. ACM SIGOPS Operating Systems Review, Vol. 40, no. 2, April 2006
[126] Andrew Baumann, Jeremy Kerr, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, and Robert W. Wisniewski. Module Hot-Swapping for Dynamic Update and Reconfiguration in K42. LCA 2005 linux.conf.au, 2005
[127] Orran Krieger, Marc Auslander, Bryan Rosenburg, Robert W. Wisniewski,Jimi Xenidis, Dilma Da Silva, Michal Ostrowski, Jonathan Appavoo, Maria Butrico, Mark Mergen, Amos Waterland, Volkmar Uhlig. K42: Building a Complete Operating System. EuroSys 2006 , Leuven Belgium April 2006
[128] Andrew Baumann, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, and Robert W. Wisniewski. Improving operating system availability with dynamic update. In Proceedings of the 1st Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure, Boston, MA,USA, October 2004
[129] Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Amos Waterland,David Tarn and Andrew Baumann. K42: An Infrastructure for Operating System Research. ACM SIGOPS Operating Systems Review , Vol. 40, no. 2,April 2006
[130] W. Wilson Ho and Ronald A. Olsson. An approach to genuine dynamic linking. Software Practice and Experience, 21(4):375-390, April 1991
[131] Hongjiu Lu. ELF: From the Programmer's Perspective.ftp://tsx-11.mit.edu/pub/linux/packages/GCC/elf.ps.gz, 2004
[132] Bryan Buck and Jeffrey K. Hollingsworth. An API for Runtime Code Patching. The International Journal of High Performance Computing Applications, 14(4):317-329, Winter 2000
[133] Steffen Heinz, Justin Zobel, and Hugh E. Williams, Burst Tries: A Fast,Efficient Data Structure for String Keys. ACM Transations on Information Systems, 20(2): 192-223,2002
[134] Sanjay Baberwal, Ben Choi. Speeding up Keyword Search for Search Engines. The 3rd IASTED International Conference on Communications,Internet, and Information Technology,2004