• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1599-1602
• /
• 2010

가상화 기법은 PDA, 스마트 폰과 같은 임베디드 시스템에서 다양한 운영체제와 응용 프로그램들을 제공할 수 있게 한다. 그러나 임베디드 시스템은 매우 제한된 컴퓨팅 자원을 갖고 있기 때문에 많은 수의 가상 머신을 동작하기 어렵다. 특히, 프로세스 동작에 필수적인 메모리 공간의 부족은 반드시 해결되어야 하는 문제이다. 데스크탑과 같은 시스템은 페이지 스왑을 통해 이를 해결하지만, 디스크가 없는 임베디드 시스템은 해결이 쉽지 않다. 본 논문은 메모리 공간 부족 문제를 해결하기 위해 불필요한 메모리 공간의 압축을 이용한 여유 공간의 추가 확보 기법을 제안한다. 페이지 압축을 통해 페이지 스왑하는 것과 유사한 효과를 얻을 수 있게 한다. 이는 가상화로 인한 메모리 분할과 불필요한 프로세스의 메모리 상주 등의 이유로 인한 임베디드 시스템 가상화 환경에서의 메모리 부족 문제를 해결할 수 있다. 본 논문은 기능 구현에 앞서 임베디드 시스템과 가상화 환경에 맞춘 메모리 압축 스왑 기법을 디자인한다.

• 한국멀티미디어학회논문지
• /
• 제13권9호
• /
• pp.1272-1284
• /
• 2010

모바일 컴퓨터가 고성능화되고 범용 컴퓨터처럼 사용되면서 모바일 컴퓨터의 운영체제에서도 주 기억장치를 효율적으로 사용할 수 있게 해주는 스왑 시스템 기능이 요구되고 있다. 모바일 컴퓨터의 저장 장치는 플래시 메모리가 널리 쓰이고 있는데 현재의 리눅스 스왑 시스템은 플래시 메모리를 고려하지 않고 있다. 스왑 시스템은 실행 중인 프로세스의 내용을 저장하기 때문에 프로세스 실행과 밀접한 관련이 있다. 이러한 성질을 고려하여, 본 논문에서는 프로세스 별로 플래시 메모리 블록을 할당하는 PASS(Process-Aware Swap System)라는 새로운 리눅스 스왑 시스템을 연구하였다. 트레이스 기반의 실험을 통해 PASS의 가비지 수집 성능이 기존 가비지 수집 기법을 사용하는 리눅스 스왑 시스템보다 우수함을 보였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권2호
• /
• pp.188-199
• /
• 2000

본 논문은 잠금 해제 지연 메모리 모델을 기반으로 하는 분산 공유 메모리 시스템을 위한 효과적이고 안전한 로깅 기법을 제안한다. 제안된 기법에서는 프로세스들 사이의 종속 관계가 추적되어, 실제로 종속 관계가 발생하는 경우에만 안전한 로깅을 수행하는데, 이는 프로세스들 사이에 정보 전달이 일어나는 경우 무조건 로깅을 수행하던 기존의 방법들과 비교 해볼 때, 로깅 횟수가 크게 줄어드는 효과를 낸다. 더욱이. 제안된 기법에서는 각 프로세스가 사용한 데이타를 모두 안전한 저장장소에 로깅 하는 대신, 필요한 데이타들은 그 데이타를 생성한 프로세스의 휘발성 메모리에 로깅하고, 그 데이타의 사용 정보만을 로깅 한다. 프로세스내의 결함 발생 후, 복구 과정에서, 각 프로세스는 로깅 된 사용 정보만을 이용하여 알맞은 버전의 데이타를 효과적으로 찾을 수 있다. 결과적으로 각 프로세스에서 저장되는 로그의 양 또한 줄어든다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권9호
• /
• pp.777-784
• /
• 2000

최근 물리적으로 분산 메모리 하드웨어 상에서 공유메모리 프로그래밍 모델을 제공하는 3소프트웨어 분산 공유 메모리(Distributed Shared Memory, DSM) 시스템을 위해 여러 프로토콜이 등장하고 있다. 본 논문에서는 기존의 동적 복원 프로토콜인 하이브리드 프로토콜[11]의 성능향상을 제안하는 두 가지 문제를 밝혀내고 이를 개선하기 위한 향상된 하이브리드 프로토콜을 제안한다. 이 프로토콜은 동기화 시점에서 기존 프로토콜과 같이 과거에 어떤 페이지를 이미 접근한 프로세스에 대해서 복원 프로토콜을 적용할 뿐만 아니라. 그 페이지에 접근한 프로세스의 수가 선택된 파라미터 값 이상이면 모든 프로세스에 대해 복원 프로토콜을 적용한다. 제안한 프로토콜을 DSM 시스템인 CVM에 구현하고 100Mbps인 Ethernet으로 연결된 8대의 Sun ultral상에서 6개의 응용 프로그램에 대해 성능평가를 수행하였다. 그결과 원격 프로세스에 대한 수정정보 요구 메시지의 수를 평균 16% 감소시켰고, 4개의 응용프로그램에서 2-5%의 성능향상을 얻었다.

• 한국정보통신학회논문지
• /
• 제15권9호
• /
• pp.1947-1954
• /
• 2011

널리 사용되고 있는 윈도우 운영체제의 보안 취약성으로 인한 다양한 형태의 공격에 의한 침입, 자료 유출 및 무단 변조 등의 문제점이 발생되고 있다. 본 논문에서는 윈도우 운영체제의 커널 수준에서 허가되지 않은 사용과 침입을 차단하고, 프로세스 메모리에 대한 접근을 강제적으로 제어할 수 있는 다중등급보안(Multi Level Security) 시스템을 구현하였다. 신뢰성 컴퓨터 시스템 평가기준(TCSEC)의 B1 등급에서 요구하는 대부분의 기능을 윈도우 운영체제 커널에 구현하였으며, 이를 확장하여 주요 프로세스의 메모리에 대한 변조를 차단하기 위한 기능을 보안 커널에 추가하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.707-710
• /
• 2002

실시간 태스크는 제한된 시간 내에 작업이 수행되어야 하는 특성을 가지고 있으며, 이러한 특성을 만족시켜주기 위해서 필요한 자원이 확보되어 있어야 한다. 본 논문에서는 제한 시간이 완화된 연성 실시간 태스크를 수행시킴에 있어서 기존에 제시된 메모리 관리 기법의 문제점을 분석하고, 연성 실시간 태스크가 원활히 수행될 수 있도록 하는 방법을 제시하고 있다 본 논문에서 제시하는 방법은 프로세스 스케줄러와 메모리 관리 스케줄러가 상호 협조적으로 동작하는 것에 초점을 맞추고 있다 즉, 프로세스 스케줄링 정보와 물리 메모리 사용량을 기초로 연성 실시간 태스크가 필요로 하는 메모리 자원이 page-out 되거나 swap-out 되는 비율을 조정하고 있다 제시된 방법을 실험을 통하여 검증을 하였으며, 실험 결과에서는 물리 메모리의 부족으로 인한 과부하 상황에서 연성 실시간 태스크의 제한 시간 실패율을 감소되고 전체적인 성능이 향상됨을 보이고 있다.

• 정보보호학회논문지
• /
• 제27권5호
• /
• pp.1013-1022
• /
• 2017

최대 절전 모드는 물리 메모리의 데이터를 비휘발성 매체에 저장하였다가 시스템에 전원이 들어오면 메모리 데이터를 비휘발성 매체로부터 물리 메모리에 복구하는 기능이다. 최대 절전 모드 파일은 메모리 데이터를 정적 상태로 가지기 때문에 공격자가 이를 수집할 경우에 시스템의 물리 메모리에 있던 사용자 아이디와 패스워드 및 디스크 암호화키 등의 주요 정보들이 유출될 수 있는 위험성이 존재한다. 윈도우에서는 최대 절전 모드 파일만을 위한 보호기능을 지원하지 않기 때문에 최대 절전 모드 파일에 기록되는 메모리 데이터 내용들을 보호하는 방법이 필요하다. 본 논문에서는 최대 절전 모드 파일에 기록되는 프로세스의 메모리 데이터를 보호하기 위해서 최대 절전 모드 파일 내의 물리 메모리 데이터를 암호화하는 방법을 제안한다. 최대 절전 모드 처리 시에 메모리 데이터를 암호화하기 위해 최대 절전 모드 처리 절차를 분석하고, 최대 절전 모드 파일에 기록되는 메모리 데이터에 대한 암호화 과정이 프로세스 각각에 대해 투명하게 동작하도록 구현하였다. 실험을 통해 구현한 최대 절전 모드 파일 내 프로세스 메모리 데이터 암호화 도구는 암복호화 비용으로 약 2.7배의 오버헤드를 보였다. 이런 오버헤드는 전체 디스크 암호화 도구가 지속적으로 10% 이상의 속도저하를 유발하는 상황과 비교해 볼 때, 공격자에게 프로세스의 평문 메모리 데이터가 노출되지 않기 위해 필요한 비용으로 충분히 감내할 수 있다고 판단된다.

• 융합보안논문지
• /
• 제6권3호
• /
• pp.59-67
• /
• 2006

최근 개인 PC 해킹과 경제적 이익을 목적으로 하는 게임 해킹이 급증하면서 윈도우즈 시스템을 대상으로 하는 특정 목적의 악성코드들이 늘어나고 있다. 악성코드가 은닉 채널 사용이나 개인 방화벽과 같은 보안 제품 우회, 시스템 내 특정 정보를 획득하기 위한 기술로 대상 프로세스의 메모리 내에 코드나 DLL을 삽입하는 기술이 보편화되었다. 본 논문에서는 대상 프로세스의 메모리 영역에 코드를 삽입하여 실행시키는 기술에 대해 분석한다. 또한 피해 시스템에서 실행중인 프로세스 내에 인젝션 된 DLL을 추출하기 위해 파일의 PE 포맷을 분석하여 IMPORT 테이블을 분석하고, 실행중인 프로세스에서 로딩중인 DLL을 추출하여 명시적으로 로딩된 DLL을 추출하고 분석하는 기법에 대해 설명하였다. 인젝션 기술 분석과 이를 추출하는 기술을 통해 피해시스템 분석시 감염된 프로세스를 찾고 분석하는 시발점이 되는 도구로 사용하고자 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권3호
• /
• pp.324-332
• /
• 1999

다중 프로그래밍 환경에서 운영체제는 시스템의 시간 할당량에 따라서 프로세스들에 대하여 문맥교환을 수행한다. 문맥교환은 현재 수행중인 프로세스 문맥의 저장과 다음에 수행되는 프로세스 문맥의 적재라는 비용 뿐만 아니라 캐쉬 메모리의 커다란 영향을 미친다. 특히 블록화 알고리즘은 사용하는 프로그램들은 재사용되기 위하여 캐쉬 메모리에 적재된 블록화 요소가 프로그램들의 문맥 교환사이에 다른 프로그램들에 의하여 손상되는 경우 프로그램의 캐쉬 성능이 크게 떨어진다. 본 논문에서는 하나의 블록화 요소에 대한 계산이 완료될 때까지 운영체제가 문맥 교환을 지연시키는 지연된 선점 스케쥴링 방법을 제안한다. 모의 시험을 통하여 지연된 선점 스케줄링을 사용할 경우 블록화 알고리즘을 사용한 프로그램들은 재사용되기 위하여 캐쉬 메모리에 적재된 블록화 요소가 프로그램들의 문맥 교환 사이에 다른 프로그램들에 의하여 손상되는 경우 프로그램의 캐쉬 성능이 크게 떨어지게 된다. 본 논문에서는 하나의 블록화 요소에 대한 계산이 완료될 때까지 운영체제가 문맥 교환을 지연시키는 지연된 선점 스케쥴링 방법을 제안한다. 모의 시험을 통하여 지연된 선점 스케줄링을 사용할 경우 블록화 알고리즘을 사용한 프로그램은 캐쉬 메모리에 적재된 블록화 요소를 문맥 교환으로부터 보호 받으므로 향상된 캐쉬성능을 나타냄을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.55-57
• /
• 2002

Linux는 페이지 기반의 가상 메모리 시스템이다. 따라서 메모리가 부족할 때에는 페이지 대치 알고리즘(page replacement algorithm)에 의해 선택된 페이지가 하드디스크로 대치되게 된다. 실시간 시스템에서 이와 같은 페이지 대치가 발생하면 실시간 제약조건을 만족하지 못할 가능성이 크므로 실시간 시스템에서는 이에 맞는 대치 알고리즘이 개발되어야 한다. 본 논문에서는 연성 실시간 시스템에 적합한 N-Chance 기법을 이용한 새로운 페이지 대치 알고리즘을 제안하고 성능을 평가하였다. 새로운 페이지 대치 알고리즘은 기존의 Linux에서 사용하는 second chance 알고리즘을 수정한 것이다. 기존의 알고리즘은 페이지를 대치함에 있어서 사용되지 않는 페이지에 2번의 기회를 준 후 하드디스크로 쫓아내는 방법인데 반하여 본 논문에서 제안하는 방법은 페이지를 사용하는 프로세스가 실시간 프로세스인지 아닌지에 따라서 기회를 주는 횟수를 달리하는 방법이다. N-chance 알고리즘을 사용했을 경우 실시간 제약 조건을 비교적 충족시키면서도 무조건적인 lock으로 인한 메모리 사용의 부담을 줄일 수 있다.