• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.1709-1712
• /
• 2005

최근 사용자의 요구가 다양해지는 반면, 기존 운영체제는 정적인 구조를 갖기 때문에 이러한 요구를 효율적으로 반영하기 어렵다. 따라서 운영체제를 동적으로 재구성하여 사용자의 요구를 만족시키는 매커니즘에 관한 연구들이 진행되어 왔다. 그러나 기존의 커널을 재구성하는 기법들은 하드웨어 의존적인 문제점을 가지고 있다. 본 논문에서는 기존 연구들의 문제점을 해결할 수 있는 트랩 기반의 커널 재구성 기법을 제안하고 리눅스 커널에 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.187-189
• /
• 2004

하드웨어와 응용 프로그램의 다양한 요구를 만족시키기 위한 운영체제의 재구성 능력이나 기능 확장에 대한 필요성은 최근 들어 급증하고 있다. 운영체제의 재구성을 지원하기 위해서 개선되어야 할 부분 가운데 가장 정적이라고 할 수 있는 부분은 인터럽트 처리와 같은 저수준 입출력 부분이다. 이러한 인터럽트 처리는 하드웨어와 밀접한 부분으로써 운영체제의 설계목적에 따라서 설러 가지 방식으로 구성되어왔으나 각 운영체제에 의존적이며 처리방식이 고정적이라는 한계를 가진다. 본 논문에서는 다양한 형태의 인터럽트 처리 방식을 지원할 수 있는 동적 재구성이 가능한 인터럽트 처리 방식과 그 구조를 제안한다. 제안하는 방식은 커널 컴포넌트들의 동적인 확장과 재구성을 지원하는 커널 컴포넌트 스와핑과 인터포지션 기법을 사용하여 M3K 커널에 구현되었다.

• 한국정보처리학회논문지
• /
• 제7권2호
• /
• pp.507-519
• /
• 2000

본 논문에서는 실시간 스케줄링이 가능하도록 Mach 커널을 재구성하기 위해 확장된 스케줄 가능성 검사를 수행하는 실시간 스케줄러를 구현한다. 첫째, 실시간 운영체제의 요구사항이 따른 구성요소들을 제시하고 기존의 실시간 스케줄링 알고리즘에 대하여 분석한다. 둘째, Mach 커널 재구성을 위하여 Mach 커널의 실행 환경과 스케줄링 부분에 대한 분석을 통해 수정된 자료구조를 제시한다. 셋째, 기존 실시간 스케줄링 정책에서의 스케줄 가능성 검사에서 확장된 스케줄가능성 검사 방법을 제시한다. 넷째, 확장된 스케줄가능성 검사를 거쳐 마감시간이 보장된 쓰레드들을 마감시간 우선 스케줄링 방식과 비율 단조 스케줄링 방식으로 스케줄하는 스케줄러를 구현한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.166-168
• /
• 2006

센서 네트워크 운영체제는 다양한 실험과 작업을 위해 다양한 기능을 수행해야한다. 이를 위해 센서 운영체제는 필요에 따라 응용프로그램을 설치하여 사용하고 이를 필요에 따라 수정하는 것을 지원한다. 이에 따라 센서 운영체제는 다양한 응용프로그램을 사용할 수 있도록 범용화 되고 고정된다. 또한 운영 체제 와 응용프로그램의 분리에 따라 오버헤드가 발생하게 된다. 따라서 센서 운영체제가 설치된 운영체제에 따라 커널의 구조를 최적화하고 응용프로그램수행에 따른 오버헤드를 최적화하는 작업이 필요하다. 본 논문에서는 커널을 모듈화하고 필요에 따라 선택적으로 커널을 재구성 할 수 있는 프레임워크를 제안한다. 제안하는 시스템은 모듈화 된 커널 자원을 효율적으로 관리하며, 수행하는 응용 프로그램의 요구 기능에 따라 커널의 구성을 바꿀 수 있어 최적화된 커널을 유지할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.920-923
• /
• 2009

기존의 동적 커널 업데이트 시스템에서 주로 사용되는 함수 단위의 재구성 기법으로는 트랩과 점프가 있다. 이러한 기법들을 사용하면 커널 서비스의 중단 없이 함수 단위로 커널을 업데이트할 수 있는 이점이 있다. 하지만 커널 업데이트 후, 프로세서가 분기 명령어를 처리하는 과정에 두 가지 문제점이 존재한다. 업데이트 함수에 업데이트가 필요한 함수 내의 분기 명령어 오퍼랜드 값을 그대로 복사하면 의미 없는 메모리 주소로 분기하게 된다. 또한 분기 명령어로 short jump를 사용하면, 현재 위치에서 8 비트 범위를 벗어난 주소공간에 존재하는 분기 함수에는 접근을 할 수 없는 문제를 안고 있다. 본 논문에서는 이러한 문제점들을 해결하기 위해 short jump 대신 long jump를 사용하는 방식을 제안하였다. 이를 위해 업데이트가 필요한 함수의 분기 명령어가 갖고 있는 오퍼랜드 값을 추출하여, 업데이트 함수의 분기 명령어가 정상적으로 동작할 수 있도록 오퍼랜드 값을 수정해주는 동적 커널 업데이트 시스템을 설계하고 구현하였다.

• 한국콘텐츠학회논문지
• /
• 제17권4호
• /
• pp.307-319
• /
• 2017

SELinux는 Linux의 대중화에 힘입어 사용자가 쉽게 접근할 수 있는 보안 운영체제로 알려져 있으며, 다양한 보안 운영체제 시스템의 참고자료나 임베디드, 서버와 같은 다양한 시스템에 적용되고 있다. 하지만 SELinux 커널 모듈 활성화에 따른 성능 오버헤드를 고려하지 않은 채 SELinux를 적용할 경우, 해당 시스템 전체의 성능저하로 이어질 수 있다. 본 논문에서는 SELinux 커널 내부에서 성능에 직접적으로 영향을 끼치는 요인에 대해 기술하였으며, SELinux 커널에 대한 변경 없이 정책을 재구성하는 것만으로도 성능을 개선시킬 수 있음을 보인다. 이는 보안 관리자나 개발자가 SELinux를 적용할 때 참고 자료로 사용될 수 있다.

• 정보과학회지
• /
• 제14권8호
• /
• pp.39-47
• /
• 1996

• 정보처리학회논문지A
• /
• 제8A권1호
• /
• pp.16-26
• /
• 2001

본 논문은 상위 단계의 태스크 스케줄러와 하위 단계의 스케줄링 Framework으로 구성된 기존의 스케줄러 모델[4,5]을 수정하여, 다양한 비주기적 태스크 서버들을 지원할 수 있는 확장된 스케줄러 모델을 제안한다. 제안 모델은 기존 스케줄링 Framework과 태스크 스케줄러를 기반으로 한다. 그러나 비주기적 태스크 스케줄링을 위해 태스크 스케줄러를 다시 주기적 태스크 제어부와 비주기적 태스크 제어부로 분리하였다. 제안 모델은 대부분의 실시간 커널에서 복잡하게 결합되어 하나의 커널 스케줄러를 구성하던 구성 요소들을 기능별로 재구성이 가능하도록 명확하게 구분함으로써, 커널 하부 메커니즘과는 독립적으로 새로운 스케줄링 알고리즘과 비주기적 태스크 서버들을 구현할 수 있게 했다. Real-Time Linux[6]에 제안된 스케줄러 모델을 구현한 후, 이를 기반으로 다양한 스케줄러와 서버들을 시험적으로 구현하여 보았다. 이를 통해 향후 새로운 알고리즘과 서버를 하부이 복잡한 커널 메커니즘 수정 없이 독립적으로 개발할 수 있음을 확인하였다. 또한 여러 성능 실험을 통해 제안 모델을 기반으로 다양한 스케줄러와 서버를 구현한다 해도 실행시의 부하는 크지 않은 반면, 시스템 재구성과 새로운 스케줄러 개발을 효과적으로 지원할 수 있다는 것을 확인할 수 있었다.

• 대한디지털의료영상학회논문지
• /
• 제9권1호
• /
• pp.21-30
• /
• 2007

영상 획득과 재구성 방법에 따라 CT 감약계수는 다양성을 보이고 관심 영역의 노이즈는 정밀도에 영향을 준다. 인체에서 간 실질조직과 위장의 물의 CT 감약계수와 노이즈를 커널에 따라 측정하였다. 다중채널 CT 스캐너를 이용하여 복부를 스캔 하였고, 커널은 B10 (very smooth), B20 (smooth), B30 (medium smooth), B40 (medium), B50 (medium sharp), B60 (sharp), B70 (very sharp), B80 (ultra sharp)으로 재구성하여 간의 실질 조직과 물이 들어 있는 위장 부위를 ROI 기능을 이용하여 평균의 CT감약계수와 표준편차인 노이즈를 측정하여 영상을 비교하였다. 간의 실질 조직에서 CT감약계수는 커널에 따라 60.4에서 69.2 HU사이에서 분포하여 차이가 없었으나, 노이즈는 커널(7.6$\sim$63.8 HU)이 높아질수록 증가하였다. 물의 CT감약계수는 -2.2 HU에서 0.8 HU사이에서 측정되었고, 노이즈는 커널(10.1$\sim$82.4 HU)이 높아질수록 증가하였다. 영상의 질을 높이기 위해서는 검사 부위에 따라 노이즈를 감소하기 위해 적절한 커널을 선택하여 CT 검사를 하여야 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.325-327
• /
• 2006

현재 사용되고 있는 운영체제들은 그들의 기능을 확장하거나 교체하기 위해서 kernel extension을 사용해 왔다. 일반적으로 이러한 kernel extension들은 커널과 같은 주소공간에서 실행하기 때문에, 그것에서 발생하는 오류(fault)로 인해 전체 시스템이 망가지는 결과를 초래할 위험이 있다. 그래서 kernel extension의 안전한 실행에 관한 연구들은 kernel extension에서 발생한 오류를 전체 시스템으로부터 고립시키는 것이 주목적이었다. 하지만 이러한 방법들은 kernel extension의 어셈블리어로 된 코드를 분석하거나 사용하고 있는 커널의 소스 코드를 수정을 필요로 한다. 본 논문은 Sentry라는 kernel extension을 감시하기 위한 인터포지션 서비스를 제안한다. Sentry를 사용하기 위해서 별도의 커널 코드를 수정할 필요도 없으며, 이미 사용하고 있는 리눅스와 호환될 수 있는 특징을 지니고 있다. 그리고 kernel extension의 소스코드 및 어셈블리 코드에 대한 분석 없이 바이너리 파일을 직접 수정하여 kernel extension을 모니터링 할 수 있도록 한다. 게다가 Sentry는 재구성이 가능하기 때문에 얼마든지 kernel extension에 대한 보호정책을 동적으로 바꿀 수 있다.