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

본 논문에서는 하드웨어/소프트웨어 시스템의 파이프라인 실행을 지원하는 알고리즘을 제안한다. 파이프라인 실행을 지원하기 위해 시간제약과 면적제약조건을 만족하는 분한 결과를 찾는 기존의 방법은 하드웨어/소프트웨어 분할과 파이프라인 스케줄링을 독립적으로 실행하였으며 최소시간의 파이프라인 입력간격으로부터 최적의 분할 결과를 얻기 위해 점진적인 방법을 사용하기 때문에 많은 알고리즘 실행시간을 가진다. 본 논문에서는 분할 단계에서 스케줄링을 함께 고려하면서 최소 입력 간격을 갖는 파이프라인 실행을 지원하는 낮은 복잡도의 알고리즘을 제안한다. 이를 위해 최소입격간격에서의 파티션에 분포하는 노드와 종속성을 찾아서 하드웨어 구현과 프로세서에서의 분포 그래프를 생성하고, 상대적 스케줄 긴박도[8]를 구할 때는 노드 별 실행시간과 구현비용을 고려하며 분할 이후에 발생하는 통신 지연 시간을 힘 에 반영한다. 논문은 최소 입력 간격내에서 구성되는 파티션에 존재하는 노드의 파이프라인 스케줄과 시스템 제약시간을 만족하면서 구현비용을 저하시키기 위한 낮은 실행시간을 갖는 분한 알고리즘을 제안한다.

• 정보처리학회논문지A
• /
• 제10A권4호
• /
• pp.295-304
• /
• 2003

능동객체는 스레드와 같은 독립적인 실행단위로서 객체가 생성될 때 CPU의 스케줄을 받아 실행되어지는 개체이다. 본 논문에서는 이러한 능동객체론 정의하고, 능동객체의 생성 및 실행을 제어하는 능동객체 실행시간 지원시스템(Active object Run Time support systems ; ART)을 제시하였다. 또한 ART는 분산 환경에서 사용자들에게 위치 투명성이 보장되고, 편리한 방식으로 분산 프로그래밍을 할 수 있도록 능동객체 사이에 메소드 호출을 지원할 수 있고, 이를 위한 통신 기법을 설계하고 구현하였다. 그리고 본 논문에서 제안하는 ART를 임베디드 시스템과 같이 시스템 자원이 제한되어 있고, 분산 환경으로 구성되어 있는 시스템에 적용하여 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.220-222
• /
• 1998

시간지원 데이터베이스 시스템은 각 데이터 항목에 대해 현재 비젼뿐만 아니라 이력 버전들까지도 관리하기 때문에 시간지원 트랜잭션은 기존 데이터베이스 시스템의 트랜잭션보다 더 많은 데이터 레코드들을 액세스한다. 그러므로, 시간지원 데이터베이스 관리 시스템은 시간지원 트랜젝션들간의 충돌을 최소의 비용으로 검출하면서도 시스템 전체 성능의 저하를 유발하는 거짓 충돌(false conflict)을 검출하지 않고 실제 충돌을 정확하고 효율적으로 검출할 수 있어야 한다. 본 논문에서는 시간지원 데이터베이스 시스템에서 동시적으로 실행되는 시간지원 트랜잭션들간의 효율적인 충돌 검출 기법으로서 2레벨 충돌 검출 기법을 제안하고, 모의 실험을 통하여 기존의 충돌 검출 기법들과 성능을 비교 분석하였다. 실험 분석의 결과로서 제안된 2레벨 충돌 검출 기법은 기존의 검출 기법들보다 동시적으로 실행되는 시간지원 트랜잭션들간의 충돌을 적은 비용으로 정확하게 검출할 수 있는 효율성이 입증되었다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1999년도 춘계학술대회 발표논문집
• /
• pp.106-117
• /
• 1999

본 논문에서는 쉽고 융통성 있는 저작 시스템 개발을 목표로 다음과 같은 특징을 갖는 시스템을 설계하고 구현하였다. 첫째, 사용자가 멀티미디어 문서를 쉽게 저작하고 프리젠테이션 할 수 있는 시각 환경을 제공한다. 둘째, 실행중에 발생되는 미디어 실행시간 변경을 효과적으로 처리할 수 있는 인과성 시간 관계를 정의한다. 셋째, 저작 내용을 트리 형태의 내부 구조로 저장함으로써 효과적인 문서 파싱을 수행한다. 네째, 실행 시간의 효과적인 프리젠테이션과 사용자 상호 작용을 지원하기 위한 프리젠테이션 엔진을 개발한다. 본 시스템은 미디어간의 시간 관계를 인과성 관계에 기초하고 참조점 방식을 추가하여 정의함으로서, 수행시간이 변경되거나 사용자 상호 작용이 발생하더라도 융통성있는 프리젠테이션을 지원한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.263-266
• /
• 2005

실시간 시스템은 시간적 정확성을 갖기 때문에 소형 임베디드 시스템부터 대형 분산 시스템까지 많은 분야에서 사용되고 실시간 시스템을 기반으로 하는 실시간 프로그램도 많은 분야에서 사용되고 있다. 이러한 실시간 프로그램의 시간적 특성을 지키기 위해 개발자들은 프로그램 개발에 집중하지 못하고 실행시간의 정의와 정의한 실행시간의 정확성 검사에 많은 시간을 보내고 있다. 실시간 시스템에 대한 연구 결과로서 TMO 모델은 실시간 개념에 따른 시간 처리의 다양한 기능을 지원하고, 응답시간을 보장하여 개발자가 프로그램 개발에 집중할 수 있다. 하지만, 실행시간의 정의는 개발자에 의해 이루어지기 때문에 이를 정의하고 그 정확성 여부를 확인하는 작업은 어렵다. 이러한 문제로 인하여 실행시간 정의의 기준점을 제시할 수 있는 도구가 필요하지만 이를 위한 TMO 분석 도구에 대한 연구는 미흡하다. 이에 본 논문에서는 TMO 기반 정적 분석 도구를 위한 PS-Block을 제시한다. PS-Block은 블록 단위로 실행시간을 분석할 수 있는 기반으로써 프로그램을 작업 단위로 분리하여 분석할 수 있도록 한다. 이를 기반으로 실행시간을 분석하여 시간 정보 결정의 기준으로 하고, 실시간 메소드의 적시성 확인을 쉽게 함으로써 실시간/신뢰성의 향상과 개발 기간을 단축할 수 있다.

• 한국정보처리학회논문지
• /
• 제1권1호
• /
• pp.1-13
• /
• 1994

시간 지원 데이타베이스 관리 시험대는 유효시간과 수록 시간을 지원한다. 본 논문 에서는 시간 지원 데이타베이스 관리 시스템 시험대의 설계와 구현을 연구한다. 시험대는 구문 분석기, 의미 분석기, 코드 생성기 및 실행기로서 구성된다. 구문 분 석기는 시간 지원 질의어로부터 파스 트리를 생성한다. 그리고 의미 분석기는 시스템 카탈로그를 이용하여 시간 지원 질의어의 의미와 정당성을 점검한다. 코드 생성기는 Updata network와 같은 실행 트리를 생성하는데 실행 트리를 위하여 뷰 증진 형성 방 법을 사용하였다. 마지막으로 인덱싱 구조와 동시성 제어에 대하여 토의하였다.

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

본 논문에서는 사용자가 멀티미디어 문서를 쉽게 제작할 수 있고, 실행시 동적 프리젠테이션을 지원할 수 있는 멀티미디어 저작 시스템을 제안하고 있다. 본 시스템의 특징으로서는 미디어간의 시간 관계를 인과 관계를 바탕으로 새롭게 정의함으로서 실행 중에 발생될 수 있는 미디어들의 실행 시간 변경을 효과적으로 처리하고 있다. 또한, 멀티미디어 문서 저작중 발생될 수 있는 일관성 오류를 즉시 검증하여 피드백하는 동적 저작 기능을 지원하고 있다. 본 저작 시스템에서는 저작내용이 파싱 단계를 거치면서 트리 형태의 내부 구조로 표현되고 있으며, 실행 시간에 동적 프리젠테이션과 사용자 상호작용을 지원하기 위한 프리젠테이션 엔진이 개발되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.79-81
• /
• 2001

논리적 정확성과 시간적 제약의 만족을 중요시하는 실시간 시스템은 시간이 경과함에 따라 그 기능이 다른 것들로 변화되는 mode change를 요구할 수도 있으며, 그 시간적 제약의 엄격함에 따라 경성 실시간 시스템과 연성 실시간 시스템으로 나눌 수 있다. 유닉스 계열의 운영체제를 확장한 운영체제인 Linux는 연성 실시간을 지원하도록 개발되었으며 이 Linux에 최소의 변경을 가해 경성 실시간을 지원하기 위한 RTLinux가 개발되었다. RTLinux 버전 2.0은 다중 프로세서 시스템을 지원할 수 있도록 재 설계되었지만, 다중 프로세서 환경에서 주어진 태스크들을 각 프로세서에서 정확하고 효율적으로 실행시키기 위한 구체적인 프로세서할당 및 스케줄링 기능은 제공되지 않고 있다. 이러한 사항들을 만족시키기 위해 본 논문에서는 다중 프로세서 환경에서 mode change되는 태스크들이 각각의 mode 범위 내에서 정확하고 효율적으로 실행될 수 있도록 프로세서를 할당하고 스케줄링하는 RTLinux스케줄러를 제시하고 구현하였다.

• 한국컴퓨터정보학회논문지
• /
• 제3권4호
• /
• pp.1-9
• /
• 1998

시간지원 데이터베이스는 시간의 흐름에 따라 변화된 자료를 모두 저장하므로 질의 처리 시스템은 많은 양의 정보를 처리하여야 한다. 본 연구에서는 시간지원 질의 처리 시스템에서 질의의 관련성 검사 알고리즘을 이용한 효율적인 질의 처리 기법을 제시한다 질의 관련성 검사 알고리즘은 사용자가 입력한 베이스 릴레이션에 대한 검색 질의와 시스템 카달로그에 저장된 뷰 정의의 실행 트리와의 질의 관련 여부를 조사하고, 뷰 정의와 관련된검색 질의는 뷰에 관한 실행 트리로 변형하는 질의 변형 과정을 수행한다. 그 결과 시간지원 질의 처리 시스템에서는 질의 대상이 되는 튜플의 수를 감소시켜 질의 처리의 성능을 향상시킬 수 있다.

• 한국정보처리학회논문지
• /
• 제7권9호
• /
• pp.2815-2826
• /
• 2000

본 논문은 ATM교환 시스템과 같은 실시간 분산 소프트웨어를 범용 컴퓨터 시스템에서 실행할 수 있는 환경을 제공하는 CHILL 실행시간 지원 시스템(CHILL, Run-time System)의 설계 및 구현 기술에 관하여 기술한다. 이를 위하여 실시간 분산 CHILL 프로그램을 위한 실행 모델을 제시하고 해당 실행 모델을 갖는 소프트웨어를 범용 컴퓨터에서 실행하는 CRS를 개발하였다. CRS는 목적 시스템 운영체제와 동일한 실행환경을 호스트 컴퓨터에서 제공함으로 프로그래머는 목적 시스템이 없이도 소프트웨어 개발이 가능하다. 또한 다수의 개발자가 동시에 소프트웨어를 실행할 수 있는 환경을 제공하여 프로그램 생산성 향상에 도움이 된다. 이 실행환경은 SROS(Scalable Real-time Operating System)를 위하여 개발되었지만 다른 내장형 운영체제의 실행환경으로 확장이 용이하다.