【正文】 全性的新型操作系統(tǒng)。 隨著網(wǎng)絡技術的迅速發(fā)展，人們對普適計算的需求越來越高。微內(nèi)核層基于 JikesRVM 實現(xiàn)了動態(tài)編譯引擎，基于分代式垃圾收集算法實現(xiàn)了系統(tǒng)垃圾收集器，并設計了中斷異常服務框架，目前可以處理 X86 中的 大多數(shù)異常 (如缺頁異常，除法異常等 )，提供了時鐘中斷和鍵盤中斷處理服務。 本文基于 X86平臺設計實現(xiàn)了 Juni 原型系統(tǒng)。本文在深入研究了經(jīng)典垃圾收集算法 (引用計數(shù)、標記清掃、半?yún)^(qū)復制和分代算法 )和新型垃圾收集算法 (火車算法， MarkCopy 算法 )原理的基礎上，基于 MarkCopy 算法，利用系統(tǒng)內(nèi)存管理機制和 Java 對象的內(nèi)存行 為規(guī)律，設計實現(xiàn)了全系統(tǒng)垃圾收集算法 FSMC(Full System MarkCopy)。應用此框架對 SPECivm98 中的測試程序進行追蹤后，通過對追蹤結果進行解析和統(tǒng)計發(fā)現(xiàn)： 1)Java 對象幾乎平均分 布在 5 個范圍之內(nèi)，每類對象中，邊界對象占絕大多數(shù)； 2)Java 對象在內(nèi)存中的組織類似一個深度很淺的大胖樹，在根下，掛了很多小的 Java 對象簇，而且對象聚集成簇的現(xiàn)象非常普遍。 Java 對象生命行為規(guī)律可以為垃圾收集算法的設計提供重要依據(jù)，但目前對 Java 運行時程序行為的分析還是基于 10多年前的統(tǒng)計數(shù)據(jù)，由于當時的軟硬件環(huán)境和現(xiàn)在差別較大，所以前人的分析數(shù)據(jù)已經(jīng)不能滿足需求。在新的體系結構下，研究了以 JTOC(Java Tableof Contents)為基礎的進程軟隔離技術，通過確定進程的“ 內(nèi)存邊界 ” 和 “ 接口邊界 ” 來實現(xiàn)進程間的隔離。 體系結構的設計是操作系統(tǒng)技術的基礎。但是 Java 操作系統(tǒng)為我們帶來優(yōu)勢的同時，也帶來了許多挑戰(zhàn)。普適計算需要既具有平臺無關性又具有高安全性的新型操作系統(tǒng)。 隨著網(wǎng)絡技術的迅速發(fā)展，人們對普適計算的需求越來越高。微內(nèi)核層基于 JikesRVM 實現(xiàn)了動態(tài)編譯引擎， 基于分代式垃圾收集算法實現(xiàn)了系統(tǒng)垃圾收集器，并設計了中斷異常服務框架，目前可以處理 X86 中的大多數(shù)異常 (如缺頁異常，除法異常等 )，提供了時鐘中斷和鍵盤中斷處理服務。 本文基于 X86平臺設計實現(xiàn)了 Juni 原型系統(tǒng)。本文在深入研究了經(jīng)典垃圾收集算法 (引用計數(shù)、標記清掃、半?yún)^(qū)復制和分代算法 )和新型垃圾收集算法 (火車算法， MarkCopy算法 )原理的基礎上，基于 MarkCopy 算法，利用系統(tǒng)內(nèi)存管理機制和 Java 對象的內(nèi)存行為規(guī)律，設計實現(xiàn)了全系統(tǒng)垃圾收集算法 FSMC(Full System MarkCopy)。應用此框架對 SPECivm98 中的測試程序進行追蹤后，通過對追蹤結果進行解析和統(tǒng)計發(fā)現(xiàn)： 1)Java 對象幾乎平均分布在 5 個范圍之內(nèi)，每類對象中，邊界對象占絕大多數(shù)； 2)Java 對象在內(nèi)存中的組織類似一個深度很淺的大胖樹，在根下，掛了很多小的 Java 對象簇，而且對象聚集成簇的現(xiàn)象非常普遍。 Java 對象生命行為規(guī)律可以為垃圾收集算法的設計提供重要依據(jù)，但目前對 Java 運行時程序行為的分析還是基于 10多年前的統(tǒng)計數(shù)據(jù)，由于當時的軟硬件環(huán)境和現(xiàn)在差別較大，所以前人的分析數(shù)據(jù)已經(jīng)不能滿足需求。在新的體系結構下，研究了以 JTOC(Java Tableof Contents)為基礎的進程軟隔離技術，通過確 定進程的“ 內(nèi)存邊界 ” 和 “ 接口邊界 ” 來實現(xiàn)進程間的隔離。 體系結構的設計是操作系統(tǒng)技術的基礎。但是 Java 操作系統(tǒng)為我們帶來優(yōu)勢的同時，也帶來了許多挑戰(zhàn)。普適計算需要既具有平臺無關性又具有高安全性的 新型操作系統(tǒng)。 隨著網(wǎng)絡技術的迅速發(fā)展，人們對普適計算的需求越來越高。微內(nèi)核層基于 JikesRVM 實現(xiàn)了動態(tài)編譯引擎，基于分代式垃圾收集算法實現(xiàn)了系統(tǒng)垃圾收集器，并設計了中斷異常服務框架，目前可以處理 X86 中的大多數(shù)異常 (如缺頁異常，除法異常等 )，提供了時鐘中斷和鍵盤中斷處理服務。 本文基于 X86平臺設計實現(xiàn)了 Juni 原型系統(tǒng)。本文在深入研究了經(jīng)典垃圾收集 算法 (引用計數(shù)、標記清掃、半?yún)^(qū)復制和分代算法 )和新型垃圾收集算法 (火車算法， MarkCopy 算法 )原理的基礎上，基于 MarkCopy 算法，利用系統(tǒng)內(nèi)存管理機制和 Java 對象的內(nèi)存行為規(guī)律，設計實現(xiàn)了全系統(tǒng)垃圾收集算法 FSMC(Full System MarkCopy)。應用此框架對 SPECivm98 中的測試程序進行追蹤后，通過對追蹤結果進行解析和統(tǒng)計發(fā)現(xiàn)： 1)Java 對象幾乎平均分布在 5 個范圍之內(nèi)，每類對象中，邊界對象占絕大多數(shù)； 2)Java 對象在內(nèi)存中的組織類似一個深度很淺的大胖樹，在根下，掛了很多小的 Java 對象簇，而且對象聚集成簇的現(xiàn)象非常普遍。 Java 對象生命行為規(guī)律可以為垃圾收集算法的設計提供重要依據(jù)，但目前對 Java 運行時程序行為的分析還是基于 10多年前的統(tǒng)計數(shù)據(jù)，由于當時的軟硬件環(huán)境和現(xiàn)在差別較大，所以前人的分析數(shù)據(jù)已經(jīng)不能滿足需求。在新的體系結構下，研究了以 JTOC(Java Tableof Contents)為基礎的進程軟隔離技術，通過確定進程的 “ 內(nèi)存邊界 ” 和 “ 接口邊界 ” 來實現(xiàn)進程間的隔離。 體系結構的設計是操作系統(tǒng)技術的基礎。但是 Java 操作系統(tǒng)為我們帶來優(yōu)勢的同時，也帶來了許多挑戰(zhàn)。普適計算需要既具有平臺無關性又具有高安全性的新型操作系統(tǒng)。 正文內(nèi)容 隨著網(wǎng)絡技術的迅速發(fā)展，人們對普適計算的需求越來越高。微內(nèi)核層基于 JikesRVM 實現(xiàn)了動態(tài)編譯引擎，基于分代式垃圾收集算法實現(xiàn)了系統(tǒng)垃圾收集器，并設計了中斷異常服務框架，目前可以處理 X86 中的大多數(shù)異常 (如缺頁異常，除法異常等 )，提供了時鐘中斷和鍵盤中斷處理服務。 本文基于 X86平臺設計實現(xiàn)了 Juni 原型系統(tǒng)。本文在深入研究了經(jīng)典垃圾收集算法 (引用計數(shù)、標記清掃、半?yún)^(qū)復制和分代算法 )和新型垃圾收集算法 (火車算法， MarkCopy 算法 )原理的基礎上，基于 MarkCopy 算法，利用系統(tǒng)內(nèi)存管理機制和 Java 對象的內(nèi)存行為規(guī)律，設計實現(xiàn)了全系統(tǒng)垃圾收集算法 FSMC(Full System MarkCopy)。應用此框架對 SPECivm98 中的測試程序進行追蹤后，通過對追蹤結果進行解析和統(tǒng)計發(fā)現(xiàn)： 1)Java 對象幾乎平均分布在 5 個范圍之內(nèi)，每類對象中，邊界對象占絕大多數(shù)； 2)Java 對象在內(nèi)存中的組織類似一個深度很淺的大胖樹，在根下，掛了很多小的 Java 對象簇，而且對象聚集成簇的現(xiàn)象非常普遍。 Java 對象生命行為規(guī)律可以為垃圾收集算法的設計提供重要依據(jù)，但目前對 Java 運行時程序行為的分析還是基于 10多年前的統(tǒng)計數(shù)據(jù)，由于當時的軟硬件環(huán)境和現(xiàn)在差別較大，所以前人 的分析數(shù)據(jù)已經(jīng)不能滿足需求。在新的體系結構下，研究了以 JTOC(Java Tableof Contents)為基礎的進程軟隔離技術，通過確定進程的 “ 內(nèi)存邊界 ” 和 “ 接口邊界 ” 來實現(xiàn)進程間的隔離。 體系結構的設計是操作系統(tǒng)技術的基礎。但是 Java 操作系統(tǒng)為我們帶來優(yōu)勢的同時，也帶來了許多挑戰(zhàn)。普適計算需要既具有平臺無關性又具有高安全性的新型操作系統(tǒng)。計算機科