창고

ARINC 653 HYPERVISORSteven H. VanderLeest, DornerWorks, Ltd. AbstractIn this paper we share lessons learned from adding to our prototype both an ARINC 653 CPU scheduler and a simple ARINC 653 serial I/O driver. The paper covers three topics. First, we start with an overview of the ARINC 653 standard, which is important because it reduces development costs, reduces system weight, and lowers certi..

http://www.lug.or.kr/docs/LINUX/others/01-05-5.htm

RTOS의 정의리얼타임은 한마디로 “빠르다”라고 표현할 수 있다.리얼타임에 대해서는 많은 부분이 오해로 남아있다. 일반적으로는 어떤 사상이 발생한 것을 받아 즉시 응답하는 것을 리얼타임이라고 말하기도 한다.이것은 즉시 응답이라는 것과 우리가 오해하고 있는 등시성(우리는 리얼타임이라 하면 동일시간에 발생하는 것으로 오해하는 경우가 비일비재하다.)과는 약간은 다른 표현이 된다. 쉽게 말하자면, 리얼타임은 등시성보다 완만한 의미를 가진 단어이다."진정한 의미의 리얼타임이란 허용시간내에 응답하는 것을 의미한다." 리얼타임이라 하면 소프트 리얼타임과 하드 리얼타임의 두 종류로 분류할 수 있다.(굳이 나누자면)소프트 리얼타임 시스템에서는 각 태스크는 시스템에 의해 가능한 빨리 실행되지만, 어떤 정해진 시간내에 종료..

http://www.rtems.org/wiki/index.php/ARINC653API 2014/01/02 rtems 에서 arinc 653API를 지원하고 있지는 않다 다만 AIR라는 연구에서 RTEMS에 arinc 653의 파티션간의 통신 인터페이스를 추가한 사례가 있다. ?(ARINC 653 1단계 적용) RTEMS의 가상화 레이어를 지원하는 virt-POK라는 프로젝트가 있었음 여기에 arink 653 적용 2013 2013년 8월 아직 rtems arinc 653 프로젝트가 진행되고 있지 않았음 POK에 가상화 레이어를 추가하고 거기에 RTEMS를 올리는 프로젝트를 막 끝냈고 다음 목표가 여기에 ARINC-653 API를 추가 하는 것이라고 함 관련된 사항중에 POK에 ARINC-653이 적용되었..

그림 Xen hypervisor 완변가이드 94페이지그냥 일반적인 메모리 모델을 사용해도 되는데 가상화된 환경에서 의사-물리 메모리 모델이 필요한이유 case1" 많은 운영체제들이 연속되 주소 공간을 가지고 있다. 의사 물리 메모리 모델을 사용하지 않으면 흩어져서 게스트 커널의 성능이 떨어 지게 된다. 연속적인 주소공간이 필요 ? (이게 의사-물리 메모리 모델이랑 무슨상관이지?)" case2"가상머산의 생명주기때문이다. 일시중지 되었다가 일정 시간 후에 재개 될때 재개 후 실제 메모리의 같은 메모리의 같은 페이지가 사용될것이라고 확신 할 수 없기 때문에 다시 매핑되어야 하기 때문이다. (이말은 이해가 됨)"

QoS Policies and Architecture for Cache/Memory in CMP PlatformsRavi Iyer, Li Zhao, Ramesh, Fei Guo, Illikkal, Steve ReinhardtIntel Corporation, North Carolina State University, University of Michigan, Ann Arbor ABSTRACTCMP에 다양한 workload들이 동시에 실행되어야 하는 경우가 증가할것으로 예상되고있다. (급격하게 발전하고 있는 가상화 기술이 예이다,.)각각의 workload의 Qos는 플랫폼으로 부터 얻게되고 그 Qos는 공시에 실행되는 워크로드의 동작에 따라 변할 수 있다. (같은 플랫폼을 공유하는 가상화 환경에서는 각VM의..

A Resource Allocation Model for QoS ManagementRagunathan Rajkumar. Chen Lee, John Lehoczky , Dan SiewiorekDepartment of Computer Science Carnegie Jlellon University1997 IEEE Abstract응용프로그램은 satisfy timing할 수 있는 Qos를 만족해야한다.Qos를 만족하기 위해서는 응용 프로그램에게 정당한 자원을 할당해야한다. 본 논문은 응용프로그램의 timeline요구사항을 만족할 수 있는 Qos management를 분석한다. 신뢰성은 있는 배달계획(실행시간?), 암호?와 데이터를 보장 하는 모델을 이들은 Q-Ram이라고 명명한다.다음과 같은 가정을 한다. 하..

Lightweight Memory Tracing Mathias Payer, Enrico Kravina, Thomas R. GrossETH Zurich Abstractmemory tracing은 많은 응용프로그램들과 같이 사용할수 있는 강력한 기술이다. debugging, taint checking, or tracking dataflow현재 방법의 한계는 소프트웨어 방법 만으로 측정하는것은 높은 t실행 오버헤드를 가진다. 왜냐면 하나하나 모든 메모리 접근을 추가적인 코드로 확인해야 하기 때문이다. 즉 원래의 응용 프로그램의 일부가 아닌 코드 가 실행되어야 한다. 그리고 하드웨어로 감시 하는 부분은 작은 구역으로 한계가 있다.( 메모리 폴트가 일어나야 확인이 가능하다.)이 논문은 memTrace를 소개한다...