An accurate and practical buffer allocation model for the buffer cache based on marginal gains

A new dynamic buffer allocation strategy based on the notion of marginal gains is presented for the buffer cache that is used by the operating system to store frequently accessed disk blocks in main memory, and the performance of the proposed strategy is compared with those of previous allocation strategies. In the proposed strategy, marginal gain values are predicted by exploiting functions that approximate the expected number of buffer hits per unit time. Experimental results from both trace-driven simulation and an actual implementation in the FreeBSD operating system show that the proposed strategy accurately predicts the marginal gain values for various workloads resulting in significantly improved buffer hit ratios.     

Does whom you work with matter? Effects of referent group gender and age composition on managers' compensation.

Much research has examined gender and age effects on compensation, concluding that a wage gap exists favoring men and negative stereotypes against older workers persist. Although the effect of an employee's gender or age has been widely studied, little work has examined the impact of the demographic characteristics of a focal employee's immediate referent groups (e.g., subordinates, peers, or supervisors) on pay. The effect of the gender and age composition of a focal manager's subordinates, peers, and supervisor on the manager's compensation levels was investigated in a sample of 2,178 managers across a wide range of organizations and functional areas. After controlling for a number of human capital variables, results indicated that not only does a wage gap favoring men exist, but also managerial pay is lower when managers' referent groups are largely female, when subordinates are outside the prime age group, and when peers and supervisors are younger. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

疏浚吹填工程推行项目经理责任承包制管理模式的探讨

阐述了传统管理模式的生存条件及其弊端,对疏浚吹填工程推行项目经理责任承包制管理模式进行了探讨.     

Efficient Management of Persistent Knowledge

Although computer speed has steadily increased and memory is getting cheaper, the need for storage managers to deal efficiently with applications that cannot be held into main memory is vital. Dealing with large quantities of clauses implies the use of persistent knowledge and thus, indexing methods are essential to access efficiently the subset of clauses relevant to answering a query. We introduce PerKMan, a storage manager that uses G-trees, and aims at efficient manipulation of large amounts of persistent knowledge. PerKMan may be connected to Prolog systems that offer an external C language interface. As well as the fact that the storage manager allows different arguments of a predicate to share a common index dimension in a novel manner, it indexes rules and facts in the same manner. PerKMan handles compound terms efficiently and its data structures adapt their shape to large dynamic volumes of clauses, no matter what the distribution. The storage manager achieves fast clause retrieval and reasonable use of disk space.     

谈如何建设高素质施工管理人员队伍

阐述了以“三个代表”要求建设高素质施工管理人员队伍的必要性 ,指出只要尊重知识、尊重人才 ,建立和完善激励机制 ,就能激发广大管理人员的积极性、主动性和创造性     

安全保障义务补充责任辨析——以第三人侵犯人身权为限

对经营者因违反安全保障义务所担当的补充责任这一制度的设定的合理性提出质疑，以公平性原则为切入点，对此问题提出了自己的一些看法。     

Index-Based Cache Coherence Protocol

A multiprocessor envirorLment may encounter many problems such as deadlock, load balancing and cache coherence. However, the latter is considered the most dangerous if not properly designed, the system works naturally but generates inaccurate results. This occurs if obsolete versions of a memory block are used. Users may not be aware of the presence of such problem. Two main approaches are known to maintain data consistency： namely, snoopy and directory-based protocols. Each approach has its advantages and limitations. This paper proposes a new technique that considers both previously mentioned approaches. The network architecture is slightly updated by adding an index table to each processor. The proposed protocol is expected to reduce the access time, decrease the number of accesses to main memory, maintain data consistency, and assure the usage of the most recent value of a shared variable.     

移动环境下一种缓存管理策略

移动计算环境中带宽具有非对称性,并且移动设备资源有限,传统的缓存管理策略需要占用大量的设备计算资源和网络带宽,有效的缓存管理技术能够极大提高移动计算的性能。对此提出一系列的针对移动计算的缓存管理策略。首先根据用户访问频率建立对应的具有生命周期的数据项缓存,然后使用自适应一致性维护策略维护缓存的一致性。通过实验分析,提出的管理策略能够很好地降低带宽占用,并且有效地减少对移动客户端的资源需求。     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。