FSM Labs 2001에서 2001년에 공개한 구조는 위와 같다. 기존 리눅스의 구조에 RT리눅스를 추가한다. 그러면 두개의 스케줄러가 동작하게 된다. http://blog.naver.com/ahtz?Redirect=Log&logNo=20124311485 http://www.docstoc.com/docs/19697402/%EC%8B%A4%EC%8B%9C%EA%B0%84-%EC%9A%B4%EC%98%81%EC%B2%B4%EC%A0%9C-(Hard-Real-Time-Operating-System)-%E3%80%8CRTLinux%E3%80%8D
Partitioned Embedded Architecture based on Hypervisor: the XtratuM approach Authors: S. Peiro, A. Crespo, I. Ripoll, M. MasmanoAffiliation: Instituto de Informatica Industrial, Universidad Polit ´ ecnica de Valencia, Spain Abstract파티션 소프트웨어 구조는 예측이 매우 중요한 경우의 보안 및 항공 전자 공학 요수 사항을 충족하기 위해 고안되었다.이 파티션 소프트웨어의 구조는 새로운 프로세서와 보안성의 향상요구에 대한 새로운 가능성을 열었다. 항공 전자 산업은 소프트웨어의 기능과 효율성을 관리 할 수 있는 솔루션은로 모듈형 항공전..
XtratuM for LEON3: an Open Source Hypervisor for High Integrity System Miguel Masmano, Ismael Ripoll, Alfons Crespo and Salvador PeiroInstituto de Inform´ atica Industrial. Universidad Polit ´ecnica de Valencia. abstract 우주 온보드 컴퓨터의 사양이 높아 지고 있다. 그렇기 때문에 가상화, 마이크로 커널, 분활 커널 솔류션의 사용이 가능하다. XtratuM은 높은 리얼 타임 시스템 오픈소스 하이퍼 바이저 목표로 하고 있다. LEON3를 Securely Partitioning pacecraftComputing Resources proj..
Xtratum : a Hypervisor for Safety Critical Embedded Systems M. Masmano, I. Ripoll, and A. Crespo Instituto de Informatica Industrial, Universidad Politecnica de Valencia (Spain) Abstract Xtratum은 극도의 안정성 요구사항을 만족하도록 디자인되었다. 기본적으로 x86아키텍쳐 디자인되었다(버젼 2.0) 그리고 Xtratum은 SPARC v8을 아키텍쳐의 LEON2 프로세서에 특화하여 재디자인 되었다. 2.2 버젼에는 ARINC 653와 AUTOSTAR 표준 기반의 안정성을 구축하기 위한 모든 기능이 포함되었다. 하지만 Xtratum은 표준에 준수하는 API를..
Summarized fromDavid C, The Definitive Guide to the Xen Hypervisor, Prentice Hall, 2007Part 1. The Xen Virtual Machine CH1. The State of Virtualization 1.1 What Is Virtualization?Virtualization is similar conceptually to emulation which a system pretends to be two or more of the same system.Simplified system of virtualization in modern OSes (i.e., multi-process)CPU scheduling (i.e., process sche..
Operating System Support for Virtual Machines USENIX 2003 University of Michigan AbstractVMM기술은 OS와 APP를 추가 하기 좋은 기술이다. Type2 VMM(Hosted)는 제공하는 추상화를 기반으로 한다. Type2 VMM는 우아하고 편리하지만 그 성능은 native한 성능보다 느리다. 본 논문은 Type2 VMM의 오버해드의 이유를 확인하다. 호스트 운영체제의 몇가지 간단한 확장으로 VMM를 빠르게 동작할수 있는 플랫폼을 만들 수 있다는 것을 발견하였는 이러한 확장을 활용하여 Type2 VMM의 성능을 14 ~38%향상하였다. 1. Introduction VVM은 전체 컴퓨터 시스템의 하드웨어를 에뮬레이션하는 소프트웨어 레이어..
Tuning Embedded Linux When Less is More Darren HartIntel CorporationELCE 2011 Agenda - 목적, 동기, 목표- 전체 이미지에 대한 종합 보고서 - 필요한 컨셉과 도구 - 한 구성이 반복되는 구조이다.이마자에 대한 사이즈 분석후tunning 하고 분석하고 다음 단계로 진행하는 구성이다 총 5 step으로 되어 있다. Objectives- raw image size 을 줄인다.- 정적 메모리 사용량을 줄인다. ( 적제되는 리눅스의 사이즈를 줄인다. )- 다이나믹 메모리 사용량을 줄인다. ( 쓸모없는 에플리케이션 줄인다. ) - boot시간을 줄인다. Motivation결국은 메모리를 아끼는것이 돈을 버는것이고 성능( I/O 오버해드나 부팅시간..