关键词: UCard 底层调度模块 存储分配 有限状态机

Abstract:

UCard is a new concept of SmartcaM that can realize the functions of muhi-COS. This paper firstly introduces its architecture and basic characteristics. Then the method of space-sensitive storage allocation is proposed to solve the problem of resource waste in fixed storage allocation , and this method can also carry out the physical separation between COSes by restricting high addresses. After the introduction of a dynamic address controller,   of implementing the UCard scheduling module based on space-sensitive storage allocation is presented. Finally, the finite state module is used for forma  lly describing COS loading,COS scheduline and COS uninstalling.

Key words: （UCard, UCard scheduling module, storage allocation, finite state machine）