Partitioned System with Xtratum on powerPC

Partitioned System with Xtratum on powerPC

Author: Rui Zhou

Advisor: Prof. Alfons Crespo i Lorente

December 2009

본 논문을 memory위주로 읽었는데 version 1.0의 구체적인 사항이 많이 있어서 도움이 되었다 x86에서 다른 아키텍쳐로 넘어갈경우 꼼곰히 읽으면 도움이 될거 같다 다시 꼼꼼히 읽을것 !!

중점적으로 읽은 부분만 차례 대로 정리함 

ARINC 653

1. APEX에 isolation을 위한 API가 존재 하고 있음 ( APEX API 리스트를 찾을것 ) 

2. Spatial Isolatiopn의 필요성과 요구사항 

     필요성:

Spatial partitioning involves the strict segregation of application memory areas (containing code and/or data) so as to prevent faults occurring in one function from propagating to other functions, i.e. fault containment. Each partition owns a unique address space to store is code and data.

요구사항:

Space partitioning means that partitions have separated address space and cannot read, write or execute data from other address spaces. This mechanism isolates partition memory and prevents any modification from other partitions.

Overview of XtratuM

1. X86 XtratuM version 1.0에서는 메모리 가상화를 Linux에 의존하고 있다.

왜 Linux를 버리지 않고 version 1.0을 만들었는가 ?:

[Linux here as the root partition(RT-Linux때문에 하나의 파티션 처럼 된다.)]

This approach helped to avoid the management of the virtual memory or the great majority of the existing devices. It just took care of interrupts and timers of the system and supplied a scheduler to schedule the partitions. 

//  리눅스가 가상 메모리를 담당하게 하고 인터럽트와 타이머 스케쥴링만 신경썼다. 그이유는 첫번째 버전은 리얼 타임에 초점이 맞춰져 있었기 때문에 temporal에만 신경을 썻다. RT-Linux는 이사항에 부합하다. [12]논문에 더 자세한 내용이 있을것이다 읽을것

2. 그렇기 때문에 Xtratum과 Linux는 같은 메모리 영역을 사용하기 때문에 Hosted Hypervisor의 형태를 가지고 있다.

3. 1.0 version에서 어떤점이 Space Isolation된다고 말할수 있는가?

the rest of the partitions were running in non-privilegedmode and in different memory maps, providing partial space isolation. 

// 하지만 완벽한 Isolation은 아니라고 말하는데 이유는 2번 때문에다. 이 말은 즉 가상 메모리이 space isolation을 만족한다는 이야기 이다. 

4. ARINC 653의 전체 를 사용하는것이 아니고 separation kernel defining API만을 사용한다. 

5. ARINC 653은 파티션 내부 프로세스의 스케줄링도 정의 하지만 Xtratum은 파티션 스케쥴링만 한다.(우리도 그럴꺼다.)

Porting Implementation 

1. X86 version에서는 가상메모리에 에 대한 권한 메모리 할당에 대한 권한을 가지고 있지않다.

In the x86 implementation, it is not XtratuM who decides the virtual map of a partition; this decision is taken by the system linker 

//system linker가 해결한다.