基于线性时序逻辑的对象文件系统形式化描述

基于线性时序逻辑,给出了对象文件系统特性的形式化描述.对象文件系统时序逻辑(OFSTL)是线性时序逻辑在描述对象文件系统应用中的一个推广.用OFSTL描述对象文件系统的性质,用模型化的状态迁移系统表示对象文件系统的访问行为.试图解决目前对象文件系统研究存在的问题: ①关注提升对象文件系统性能和功能,但是以增加对象文件系统复杂性为代价; ②很少针对对象文件系统精确描述,缺乏形式化的辅助,妨碍从细节上考查对象文件系统的正确性.     

Solaris10虚拟文件系统分析

介绍了Solaris 10操作系统的文件系统框架,对实现多文件系统共存机制、文件系统注册和安装过程进行分析,并介绍"路径管理"这个Solaris系统中重要的概念.Solaris 10采用虚拟文件系统机制,允许多种文件系统共存,具体文件系统的实现细节被虚拟文件系统层隐藏,用户可以使用一套统一的接口访问不同的文件系统.     

基于镜像的在线文件系统检查工具的研究与实现

设计和实现了一种全新的在线文件系统检查工具-OnlineFSCK(On-Line File System Checker)。 OnlineFSCK可以对在线的文件系统进行一致性检查。利用OnlineFSCK对文件系统进行检查时,文件系统可以继续正常提供服务。提出和实现了一种对在线文件系统生成镜像的算法,并将这个算法与现有的文件系统检查工具相结合,最终达到对在线文件系统进行检查的目的。针对ext3文件系统实现了OnlineFSCK的原型,实验结果表明, OnlineFSCK 在满足对性能的要求的前提下,能够达到与传统文件系统检查工具相同的检查能力。 OnlineFSCK的实现中没有修改文件系统的内核源码,可以扩展支持多种文件系统。     

基于Linux的BLOB文件系统的实现

给出了在Ｌinux平台上的特殊文件系统－ＢＬＯＢ（Ｂinary Large Objects)文件系统的实现细节,阐述了虚拟文件系统（VFS）的运行机制,并对BLOB文件系统和EXT2文件系统作了比较。     

Linux文件系统内核机制分析与研究

从Linux的内核文件管理机制--虚拟文件系统(VFS)出发,对Linux系统如何支持多种不同的物理文件系统进行了研究,并详细分析了整个过程中采用的数据结构,剖析了Linux文件系统中一个物理文件系统的注册与注销、安装和卸载过程,以及通过VFS访问Ext2物理文件系统的内核工作机制.     

Linux虚拟文件系统对物理文件的管理

随着嵌入式技术的发展,越来越多的嵌入式设备采用Linux作为其操作系统。Linux支持各种物理文件系统,而不同物理文件系统具有不同的组织结构和不同的处理方式。为了兼容支持不同的文件系统,Linux设计了在系统启动时由系统在内存创建的文件系统,即虚拟文件系统（VirtualFileSystem,VFS）。该文件系统对不同...     

JFFS2文件系统在嵌入式Linux根文件系统中的应用研究

Linux操作系统作为嵌入式系统近几年应用越来越广泛。根文件系统是嵌入式Linux的重要组件之一。本文探讨了JFFS2文件系统及嵌入式Linux根文件系统,并在具体的实验平台上实现了JFFS2格式根文件系统。最后对JFFS2文件系统在嵌入式Linux根文件系统应用中的优缺点进行了分析,并对不足之处提出了解决和改进思路。     

Linux下位图文件系统的设计与实现

随着Linux操作系统的日趋完善,用户可以基于虚拟文件系统实现自己的文件系统.本文介绍了Linux文件系统的概况,随后在虚拟文件系统之上给出了一种高效的位图文件系统的详细实现.     

嵌入式Linux文件系统的构建和移植

在S3C6410处理器上构建嵌入式Linux系统的重要组成部分根文件系统。分析了根文件系统的组成部分,并对文件类型进行了介绍。利用Busybox工具集构建一个基本的文件系统,并介绍了快速移植文件系统的方法,为其他处理器上文件系统的移植提供参考。     

基于FAT的机顶盒PVR文件系统的研究

简要介绍了机顶盒PVR功能,分析了机顶盒PVR功能对文件系统提出的要求,具体阐述了FAT文件系统的原理,在此基础上重点讨论了FAT文件系统在用于多媒体大文件时所应进行的改进,并提出了一种基于FAT文件系统框架设计,利用位图来管理空闲区的机顶盒PVR文件系统.