• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.11
• /
• pp.461-470
• /
• 2013

This paper proposes high speed kernel data collection method for analysis of memory workload, using technique of direct access to process's memory management structure. The conventional analysis tools have a slower data collection speed and they are lack of scalability due to collection only formalized memory information. The proposed method collects kernel data much faster than the conventional methods using technique of direct collect to process's memory information, page table, page structure in the memory management structure, and it can collect data which user wanted. We collect memory management data of the running process, and analyze its memory workload.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.787-789
• /
• 2005

기존의 운영체제에서는 시스템이 프로세스의 종류를 알지 못하므로, 사용자가 명시하지 않은 서로 다른 종류의 프로세스에 모두 동일한 스케줄링 정책을 적용해 왔다. 따라서 한번 결정된 스케줄링 정책은 변화하는 환경에 적응하지 못한다는 단점이 있다. 본 논문에서는 리눅스 환경에서 프로세스들의 자원사용량을 근거로 각 프로세스를 일괄처리 프로세스, 대화식 프로세스, 실시간 프로세스로 분류하고, 각 분류에 대한 사용자 우선순위를 모델링하여 사용자의 성향에 맞게 프로세스에 우선순위를 부여하는 사용자 적응적 프로세스 스케줄링 기법을 제안한다. 이 방법은 사용자의 성향에 따라서 스케줄링 정책을 결정할 수 있으며, 여러 사용자에게 서로 다른 스케줄링 정책을 적용할 수 있다. 실험 결과 제안하는 방법의 유용성을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.301-303
• /
• 2003

사용자 쓰레드와 시스템 쓰레드간의 1:1 맵핑 모델은 병렬성을 지원하는 장점이 있고, M: N 맵핑은 병렬성 지원과 빠른 문맥교환의 장점이 있다. 리눅스 자바 가상 머신에서는 1:1 맵핑 모델만을 지원한다. 연성 실시간을 보장하기 위해서는 쓰레드간의 문맥교환을 최소화하여 성능 향상시킬 필요가 있다. 이 논문에서는 자바 어플리케이션 레벨에서 경량 프로세스(Light Weight Process, LWP) 개념을 도입하여 리눅스 자바 가상 머신에서 M: N 맵핑을 지원하는 자바 쓰레드 모델을 제안한다. 제안한 모델은 그린 쓰레드 (Green Thread)의 빠른 문맥교환과 네이티브 쓰레드(Native Thread)의 병렬성 지원 장점을 혼합한 것으로 빠른 처리속도와 자바 플랫폼의 독립성을 그대로 유지할 수 있다. 또한, MTR-LS 알고리즘을 경량 프로세스 스케줄링에 채택함으로서, 자바 응용프로그램의 연성 실시간을 보장한다. 1:l 및 M:1 맵핑 모델과의 성능 비교를 통해 제안한 모델이 좋은 성능과 연성 실시간을 보장한다는 것을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.463-465
• /
• 2004

베디드 시스템의 발전으로 인하여 고성능화, 소형화, 편의성 등이 강조되어 지는 시점에서 의료장비 또한 임베디드 시스템 기술 도입이 빠르게 진행되어 지고 있다. 본 논문에서는 초음파 영상진단 단말기 (Magic-Probe)를 구현하기 위해 SA-1100 마이크로 프로세스 레퍼런스 보드에 리눅스 커널을 포팅하고 포팅된 플랫폼을 기반으로 초음파 영상진단을 처리하기 위한 응용프로그램의 설계 및 구현에 관하여 논하도록 하겠다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.460-462
• /
• 2003

본 연구에서는 리눅스 클러스터에서 효과적으로 병렬 MPI 프로그램을 실행시키기 위해, 메시지 전달 이벤트를 토대로 통신에 창설하는 프로세스들이 동시에 스케줄링되는 기법을 설계 구현하였다. 실제 병렬프로그램의 실행을 통해 측정한 결과에 따르면, 통신량이 높은 프로그램에서 33-56%의 실행 시간 감소효과를 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.73-75
• /
• 2002

컴퓨터 시스템의 성능이 발전하면서 동시에 실행되는 프로그램의 수도 증가하게 되었다. 이로 인해 자원을 두고 경쟁하는 프로세스들의 우선순위에 따라 분배되는 자원의 양을 세밀하게 조절하는 기능이 필요하게 된다. 우선순위에 따른 자원의 비례배분 알고리즘에 대한 연구가 많이 있었고, 이를 바탕으로 대부분의 자일을 관리하는 운영체계들도 개발되었다. 하지만 가상메모리 자일에 대해서는 자원의 할당량의 모호함과 프로세스가 사용할 메모리 필요량이 예측불가능하기 때문에 적은 연구가 이루어졌을 뿐이다. 본 논문에서는 프로세스가 단위 작업을 수행할 때 발생하는 페이지폴트의 양이 프로세스의 우선순위에 반비례하는 것으로 가상 메모리에 대한 비례배분 개념을 정의 하고, 프로세스 마다 메모리에 대한 요구 형태가 다른 환경에서 이를 가능하게 하는 페이지대치 알고리즘을 제안한다. 제안한 페이지대치 알고리즘을 리눅스 커널상에 구현한다. 구현된 페이지대치 알고리즘을 사용하면 우선순위가 높긴 프로세스가 우선순위가 낮은 프로세스에 비해서 페이지폰트를 적게 발생하고, 그 발생량은 반비례 관계에 있음을 보인다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.6
• /
• pp.1333-1340
• /
• 2005

This paper is based on the study to reduce a system panic state. A panic state could be caused by a programmer or an administrator's careless mistake. The proposed hardening Operating System of this paper stops the process which is running in the kernel with an error. The error process for the value type and the address type of a certain variable have to be restored. Installed with kernel hardening, Operating System checks the recovery possibility of the process first and then restores the process which can be recovered. When it is possible to recover the kernel code with an error, it is to be recovered in ASSERT() function.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1056-1060
• /
• 2010

The software running on avionic systems is required to be highly reliable and productive. Due to these demands, the standard such as ARINC 653 has been suggested, which includes the abstraction of resource partitioning and defines interfaces between avionic operating system and applications. Though there are many manned aerial vehicles employing ARINC 653 based operating systems, Linux-based ARINC 653 for unmanned aerial vehicles has not been studied yet. In this paper, we propose the design of Linux-based ARINC 653 process model and present preliminary implementation. The experiment results present that the implementation is enough to support control software of unmanned helicopter.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.1
• /
• pp.29-35
• /
• 2008

For efficient message passing of Parallel programs, it is required to schedule the involved two processes at the same time which are executed on different nodes, that is called 'co-scheduling' However, each node of cluster systems is built on top of general purpose multitasking OS. which autonomously manages local Processes. Thus it is not so easy to co-schedule two (or more) processes in such computing environment. Our work proposes a co-scheduling scheme for MPI-based parallel programs which exploits message exchange information between two parties. We implement the scheme on Linux cluster which requires slight kernel hacking and MPI library modification. The experiment with NPB parallel suite shows that our scheme results in 33-56% reduction in the execution time compared to the typical scheduling case. and especially better Performance in more communication-bound applications.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.97-99
• /
• 2000

운영체제의 성능을 향상시키기 위해서는 효율적인 메모리 관리가 필수적이다. 시스템에서는 존재하는 크기의 메모리보다 더 큰 크기의 메모리 공간을 요구하는 경우가 빈번히 발생한다. 이 문제를 극복하기 위해서 운영체제에서는 가상 메모리(virtual memory)를 사용한다. 리눅스 가상 메모리 지원 방식에는 요구 페이징(demand paging), 스왑핑(swapping), 공유 가상 메모리(shared virtual memory)가 있다. 이런 방식을 효율적으로 지원하기 위해서 리눅스는 캐시를 사용한다. 본 논문에서는 페이지 해시 리스트에서 페이지를 찾는 알고리즘을 수정하여 새로운 페이지 캐시 관리 기법을 제안한다. 이 방법은 탐색한 페이지를 해시 리스트의 헤드(head)로 옮김으로써 다음 탐색 때 그 페이지를 찾는데 필요한 탐색 회수를 줄일 수 있다는 장점을 갖는다. 또한 다른 프로세스에 의해서 동시에 많이 참조되는 페이지들은 탐색시간이 줄어들게 된다. 시뮬레이션 프로그램을 통해 본 논문에서 제안한 수정된 페이지 캐시 관리 기법을 이용하면, 기존의 방법에 비해서 페이지를 찾는데 필요한 탐색 회수와 탐색 시간의 측면에서 성능이 향상됨을 보인다.