基于保护分散式抽象方法的可扩展操作系统设计

为了提供高性能和柔性，操作系统内核应该只保留最小的功能，今天的操作系统大而低效，更缺乏柔性，我们提出了保护分散式操作系统抽象方法，集成了分散式操作系统抽象和保护抽象的方法，这种新的安全方式在分散式抽象系统里共享用户级的抽象，能够使非特权，不信任的任务在运行时定义并安全的共享生成的抽象，它在对相同的抽象重复调用时，通过消除上下文切换的需求和对通常情况进行优化，可获得较好的柔性，保护分散式抽象的设计强调简单并正确性证明，易于理解和使用，文章介绍了保护分散式操作系统抽象方法，并运用该方法开发了一个基于共享库的原型操作系统－ExLinux/LibOS.     

Win32应用到Linux的跨平台移植技术研究

本文在分析异构操作系统及其应用机制差异的基础上，研究了Win32C／C 序移植到Linux平台的相关技术。论文主要分析、研究了基于OS虚拟机的应用跨平台技术，并结合Wine的设计思想提出了基于虚拟Win32 API的代码级应用移植技术。