Embedded 版 (精华区)

发信人: vmlinuz (生活将因为你而美丽), 信区: Embedded_system
标  题: LynxOS - RELIABLE PROCESSING ENVIRONMENT
发信站: 哈工大紫丁香 (2001年06月01日08:31:30 星期五), 转信


RELIABLE PROCESSING ENVIRONMENT
LynxOS provides a high reliability foundation for complex
multi-thread and multi-process applications with:
1.POSIX protected process model
2.Virtual addressing and memory space protection through hardware MMU
3.Optional demand-paged virtual memory
4.Inherent software fault detection through parent-child creation
  hierarchy
5.System recovery at process termination
Virtual Address Spaces
-------------------------------------------------------------------------------
The POSIX.1 Process Model supports execution of mono- and
multi-threaded programs with virtual "ownership of the complete
machine address space: programs execute protected and isolated
from one another, unimpeded by concern for memory layout or
interaction with other programs. Errant programs cannot corrupt
the code and data of other programs, nor of the OS itself.
LynxOS supports this highly reliable addressing scheme through
integrated use of microprocessor MMUs (Memory Management Units),
mapping logical program-local addresses onto physical memory
addresses in 4 Kbytes blocks. Multiple threads executing within
a LynxOS process space share local data within the space or can
access shared memory and memory-addressed devices outside their
space via system calls, without added overhead.
Virtual Addressing benefits include:
1.High memory utilization and deterministic memory allocation
2.Superior reliability through hardware MMU-based code, data,
  and OS kernel protection
3.Intrinsic address reference debugging capability and optional
  core file generation
Demand-Paged Virtual Memory
-------------------------------------------------------------------------------
LynxOS also provides the optional ability to extend available memory
onto various media (disk, NFS, etc). Programs whose resource
requirements exceed available memory can take advantage of secondary
storage, with lower-priority or non-real-time programs being swapped
out and physical memory made available as needed. Optional Demand
Paging does not degrade real-time performance: by prioritizing
swapping behind real-time tasks, performance-critical programs are
effectively "locked" into memory.
--

--
※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: mtlab4.hit.edu.cn]