창고

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를..

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은 전체 컴퓨터 시스템의 하드웨어를 에뮬레이션하는 소프트웨어 레이어..

Advanced Size Optimization of the Linux Kernel Tim Bird Sony Mobile Communications Outline - 커널 사이즈문제 bloat의 특성과 그것을 dealing하는 전략- Automatic reductions제한을 기반으로 하는 최적화- 추가적인 커널 사이즈 연구 - 작은 시스템작업을 위한 자원 커널 사이즈문제시스템이 더많은 기능을 가질수록 버그수정의 시간이 더 필요해진다.추상화, 레이어링, 일반화 개념들이 소프트웨어에 추가가 된다.그런결과 시스템의 많은 소프트웨어들이 실행이 안된다. (사용하지도 않는 기느잉 많다.)오픈소스의 BloatGeneralization - 리눅스는 작은 센서부터 대형 서버까지 지원한다.(너무 많은 기능들은 설정가능하..

이논문을 읽은 이유는 가상화 기술은 서버에서 더 일찍 활용되어 왔기 때문에 서버에서의 가상화 발전 흐름을 보고 동일하게 임베디드 시스템에서 적용 가능한 아이디어 있을지도 모른다고 VEE 2013A Lightweight VMM on Many Core for High Performance Computing Xi’an Jiaotong University, Chinaadstract전통적인 VMM 디바이스나 instruction을 가상화한다. 이는 게스트 운영체제의 오버해드를 유도한다. 게다가 가상화 VMM은 많은 양의 코드를 야기한다. 이는 VMM의 버그나 취약점을 유발한다. // VMM의 많은양의 코드로 인한문제 발생 다른 한편으로는 클라우드 컴퓨터에서 클라우드 서비스 제공업체는 사전에 고객 지정 요구 사항에..