DSM系统中存储一致性模型的一种新框架——S3C框架

存储一致性模型对共享存储系统的正确性，性能以及程序的复杂性都有重要的影响，该文立足于分布共享存储系统，提出了一种新的存储一致性模型框架－S^3C框架，该框架通过同步点的概念来描述不同模型正确的存储访问事件顺序；通过一致性维护点的概念，对同一模型的不同实现方式也能够进行区别和比较，结合S^3C框架，该文提出一种以操作系统为中心的线程一致性模型，并针对以顺序一致性模为代表的存储一致性模型的正确实现进行了论述。     

通用操作系统对比评测标准研究

摘要当前国内外研究机构以及操作系统开发商主要关注的是操作系统技术本身的技术提升和产品推广,在如何合理、客观地对比和衡量不同通用操作系统的技术水平的相关研究方面比较欠缺。而国内评测机构仍采用一般软件的通用评测标准来评测操作系统,其适用性和评测结果的针对性有所不足。深入研究了目前国际主流操作系统产品以及不同操作系统之间的典型对比方法,论述了各种方法的优势和不足。提出了一套定性和定量方法相结合的改进的操作系统技术对比评测标准,确定了操作系统技术对比的7个维度、各个维度的具体对比项以及缺省权重,给出了操作系统对比标准的实施方案和步骤,描述了对比结论的表述方式。基于该标准将RHEL 5. 5与Windows Server2008进行了对比。提出的评测标准可填补国内通用操作系统评测标准的空白。     

一种用于并行系统的非阻塞消息队列机制

并行线程之间的消息传递和同步机制与系统的并行性能密切相关。在并行系统中,人们期望不必要的同步尽可能少,以充分开发系统的并行性,提高系统的运行效率。非阻塞缓冲区机制(NBB)允许消息生产者和消费者在不使用同步机制的情况下实现消息传递。但是,NBB机制存在着消息缓冲区有限、在多生产者和/或多消费者情况下使用不便、有时甚至功能不能满足要求等问题。本文介绍的非阻塞队列机制(NBL)可看作是NBB的链表实现,但NBL可以有效地避免NBB的上述缺陷。本文描述了相关算法及其正确性证明。最后讨论了NBL机制的使用方法,并进行了有效性和性能评测。     

面向应用领域的操作系统开发模型研究

基于系统评估标准驱动系统软件开发的基本思想,提出了一种新型系统软件开发闭环模型。与传统的闭环模型不同,系统软件开发的闭环模型通过研究特定领域内应用行为的共性并指导操作系统的开发设计,从而达到提高操作系统在该应用领域内的产出率。     

基于KVM的物理资源动态分配与管理技术

针对目前虚拟环境下各种I/O设备访问模型普遍存在的性能与共享互为矛盾的问题,以虚拟化技术为基础,结合Linux设备热插拔技术,提出并实现了一种基于KVM的物理资源动态分配与管理技术。该技术基于共享内存及信号机制实现物理资源管理器与虚拟机管理进程之间的通信,利用hypercall机制实现客户操作系统与宿主操作系统之间的通信,通过向虚拟中断控制器注入虚拟中断的方式通知客户操作系统有关设备的添加与删除,最后基于PCI-Passthrough实现客户操作系统对物理设备的直接访问。测试证明这种技术在提高设备共享能力的同时,又保证了设备的访问性能。     

页迁移系统中反向页表技术的设计与实现

页迁移技术是实现CC-NUMA存储优化的一种重要策略，它动态开发了数据的局部性。页迁移策略的实现涉及到虚存系统中物理地址到虚拟地址的转换，传统做法需要遍历所有进程的虚拟地址空间,效率低、开销大。针对此问题，本文介绍了一种能够高效实现物理地址到虚拟地址转换的技术——反向页表技术，着重介绍了反向页表的设计、实现和维护方法。     

疫情冲击下的西班牙华人餐饮业现状和发展趋势

<正>西班牙华人最近15到20年的发展,华人企业已经覆盖了餐饮业整个产业链。从上游的酱料干货进口、新鲜果蔬种植农场,到食材加工、配给、物流,餐馆的点餐结算系统,到点餐外卖APP以及社交网络上的餐馆推广机制,都有专业的华人企业和团队在运作。疫情对西班牙华人餐饮从业者带来了冲击,也迫使华人餐饮从业者及时做出改变和转型。将近一年半的疫情管控期,给华人开发的外卖平台APP足够的时间来培养用户习惯。经常点外卖和偶尔堂食,成了疫情后华人餐饮消费市场的新格局。     

CC-NUMA系统中面向页迁移的反向页表技术

页迁移技术是实现CC-NUMA访存局部性优化的一种重要策略,其实现涉及到虚存系统中物理地址到虚拟地址的转换,传统做法需要遍历所有进程的虚拟地址空间,效率低、开销大.针对此问题,介绍了一种在操作系统内核中高效实现物理地址到虚拟地址转换的技术-一反向页表技术,并着重阐述了反向页表在页迁移策略中的应用.     

一种基于QoS的事务工作流并发调度算法

并发冲突引起的连锁夭折会降低系统性能,提出了一种基于QoS的事务工作流调度算法,该算法适应异构环境需求,支持基于QoS的延迟调度优化策略和SAFE集合扩充优化策略,可根据QoS参数调整相应的调度决策,在保证分布异构环境中复杂事务工作流并发正确性的同时减少连锁夭折.证明了算法不会引起循环等待和饿死现象,可保证调度的可串行性和可恢复性,性能模拟表明该算法适用于长期运行的事务工作流的并发调度,可有效减少连锁夭折,从而减少由此带来的性能损失.     

基于瞬时访问信息的动态页迁移机制

页迁移是分布共享存储系统中动态开发数据局部性的一种优化策略，但体系结构相关性及时空开锁限制了它在实际系统中的应用。本文立足于CC－NUMA系统和具有单地址空间映象的cluster系统，提出了一种通用的、无需特殊硬件支持的，基于瞬时访问信息的动态页迁移机制，并给出了基于Linux操作系统内的实现方案。