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

최근 응용 프로그램들은 복잡한 데이타로 구성되어 있기 때문에 이를 효율적으로 처리할 수 있는 분산 메모리 기계(Distributed Memory Machine : DMM)의 필요성이 대두되었다. 특히 태스크 스케줄은 태스크 사이의 통신 시간을 최소화하여 응용 프로그램 전체의 실행 시간을 단축시키는 기법으로서, DMM의 성능을 향상시키는 매우 중요한 요소이다. 기존의 태스크 중복 스케줄(Task Duplicated based Scheduling : TDS) 기법은 두 개의 태스크 사이에 통신 시간이 많이 소요되는 것들을 하나의 클러스터(cluster)로 스케줄함으로써 통신 시간을 단축하여 실행 시간을 향상시키는 기법이다. 그러나 데이타를 전달하는 태스크와 이 태스크로 데이타를 전달받는 태스크 사이의 통신 시간을 최적화 하지 못하는 단점을 가진다. 따라서 본 논문에서는 이 두 태스크 사이의 최적화에 근접한 통신 시간을 갖는 개선된 중복 스케줄 (Modified Task Duplicated based Scheduling : MTDS) 기법을 제안하였다. 이 기법은 데이타를 전달한 태스크들을 클러스터링하기 위해 데이타를 전달받은 태스크에서 최적화 조건을 적용하여 검사한다. 그 결과 태스크 사이의 통신 시간을 단축하여 전체 태스크 실행 시간을 최소화하였다. 또한 시스템의 모델링을 통하여 MTDS 기법이 최상의 경우 TDS 기법보다 태스크 실행 시간을 70% 단축 시켰고 최악의 경우 TDS 기법과 동일한 실행 시간을 얻으므로 제안된 기법이 기존의 기법보다 우수함을 입증하였다.

• 한국정보과학회논문지:정보통신
• /
• 제28권1호
• /
• pp.71-81
• /
• 2001

최근 병렬처리 시스템에 대한 연구는 마이크로 프로세서 제작 기술과 네트워크 기술이 발달함에 따라 고성능의 PC와 워크스테이션 여러대를 고속의 네트워크로 연결하여 구축하는 클러스터링 환경에 관심이 고조되고 있다. 그런데 이러한 클러스터링 시스템의 성능은 수행되는 애플리케이션 프로그램의 병렬성이나 xdhtls 빈도 등의 특성에 따라 달라진다. 그러므로 클러스터링 시스템의 성능을 향상시키기 위해서는 애플리케이션의 이러한 특성을 고려하여 최상의 효과를 얻기 위한 조정작업이 필요하며 그 방법중의 하나가 시스템 상에서 발생하는 통신들에 대하 스케줄링을 수행하는 것이다. 본 논문에서는 Myrinet 스위치를 사용하여 선형으로 구성한 클러스터링 시스테과 2차원 메쉬 형태로 구성한 클러스터링 시스템의 두 가지 모델을 가정하고 이들 모델 상에서 특성 시간에 주어지는 통신요청들에 대하여 순위차원 라우팅을 사용하여 메시지들을 최단시간에 전송할 수 있는 최적 통신스케줄링 알고리즘을 제안한다. 시스템 상에서 같은 방향으로 동시에 링크를 공유한는 통신들의 개수의 최대값을 $L_{MAX}$로 시스템에서 하나의 메시지가 전달되는데 걸리는 시간을 T로 정의하면 알고리즘에 의해 선형 네트워크에서의 통신 요청 집합에 대한 메시지 전송 완료 시간은 최대 $L_{MAX}{\cdot}T$, 메쉬 네트워크에서의 통신요청 집합에 대한 메시지 전송 완료시간은 최대 $frac{3}{2}{\cdot}T$임을 증명하였다.

• 한국통신학회논문지
• /
• 제18권5호
• /
• pp.695-707
• /
• 1993

Marked Petri Net(MPN) 모델은 최대 병행 활성화 랑데부 수에 따른 통신 복잡도를 분석할 수 있게 해준다. 그러나 이 모델은 시간과 확률 속성(Time and Probability characteristics)을 명시할 수 없음으로 통신 복잡도의 새로운 개념인 실행 시간 복잡도를 분석할 수 없다. 본 논문에서는 이러한 실행 시간 복잡도를 효율적으로 분석하기 위해 MPN에 새로운 제약 조건인 net 절감 법칙, 실행 시간, 그리고 확률 조건을 도입한 Ada Tasking Structure Nets(ATSN)을 제안한다. 끝으로 ATSN 모델을 이용하여 통신 복잡도의 분석 효과를 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.769-771
• /
• 2005

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정할성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간 예측이 필요하다. 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 핀 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 밀 신뢰성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 먼저 확장된 정적 분석 도구의 개발을 위해 통신 영향 요소의 분석 과정을 설계한다. 특히, 통신 부하의 영향 요소 중 통신 준비에 필요한 과정을 선행 예측 테이블로 작성하여 원시 프로그램 분석에 이용하고자 한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

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

실시간 시스템 개발에 있어서 태스크들의 응답시간을 예측하는 것은 가장 중요한 문제로 인식 되고 있다. 그러나 manycore 환경에서는 응답시간을 예측하는 것이 몹시 어려워 만족할 만한 결과를 이끌어내지 못하고 있다. 과거에 스케줄링과 동기화 정책을 고려하여 최악 응답시간을 예측하는 방법이 제시되기도 했지만, 상당히 제한적인 태스크 모델을 가정하여 실제로 적용하기에는 어려울 뿐만 아니라 예측한 결과도 시스템의 정확한 응답시간과 상당한 괴리가 있다. 반면, 시뮬레이션 기법은 시스템의 스케줄링 상태를 시뮬레이션해 봄으로써, 상대적으로 정확한 응답시간을 예측하는 것을 가능하게 한다. 따라서 본 논문에서는 범용적이면서도 매우 효과적인 manycore를 위한 시뮬레이션 기법을 제안한다. 제안하는 기법의 우수성은 시스템 모델의 변화에 따라 소요되는 시뮬레이션 시간을 측정하는 실험을 통해서 확인한다.

• 한국멀티미디어학회논문지
• /
• 제2권4호
• /
• pp.378-389
• /
• 1999

분산 실시간 시스템에서 타스크들은 여러 개의 서브 타스크들로 분할되어지고 그들의 실시간 특성들에 따라 병렬로 실행되지만, 이러한 서브 타스크들의 마감시간 분실을 최소화하면서 타스크 마감시간을 서브 타스크에 할당하는 최적의 해를 얻기란 어렵다. 본 논문에서는 주기적 타스크들의 통신시간과 수행시간을 이용해서 각 서브 타스크들의 속성에 따라 마감시간을 할당하는 알고리즘을 제시한다. 또한, 처리기들간의 통신시간을 고려한 처리기 사상 알고리즘과 서브 타스크들간의 통신시간을 개선하기 위해 동일한 처리기에 할당하는 효율적인 중복 알고리즘을 제시한다 결과적으로 FUTD(Fully connected, Unbounded Task Duplication) 알고리즘에 효율적인 실시간 특성을 적용함으로써 IPC(Inter-Processor Communication) 시간을 줄이고 유휴 처리기를 이용해서 평균 처리기 이용률을 개선하였다

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
• /
• pp.19-31
• /
• 1995

본 연구에서는 현재 개발중인 이동통신 교환기 CMS-MX의 성능 분석에 적용될 수 있는 큐잉 네트워크 모형을 제시하고 부과되는 트래픽에 따른 여러가지 지연시간의 분포를 구하는 분석적인 방법을 제시한다. 전체적인 분석은 메시지들이 교환기내의 여러 프로세서 사이를 이동하는 과정을 세마이 마코프 과정으로 단순화시키고, 이 세마이 마코프 체인에서 특정 상태로 전이되는 시간의 분포를 구하는 방식으로 이루어진다. 이 때 각 프로세서에서의 체류시간 분포는 GPH/GPH/1 큐로 근사화하여 구해진다. 본 연구에서 제시되는 방법은 이동통신 교환기를 포함한 일반적인 교환기의 성능 분석 및 일반적인 상황에서의 통신망의 성능분석에 이용될수 있다.

• 한국정보통신학회논문지
• /
• 제21권12호
• /
• pp.2318-2324
• /
• 2017

차세대 암호로 대두 되고 있는 양자암호는 양자키전송 프로토콜과 양자비밀직접통신으로 나뉘어 연구되고 있다. 양자키전송 프로토콜은 사용상의 비효율성 때문에 현대암호와 병합하여 사용하거나 OTP를 포기한 형태로 사용될 수 있다. 본 고에서는 양자키전송이 아닌 직접통신을 양자암호화 하여 진행하는 알고리즘을 제안하였다. 양자비밀 직접통신을 구현하는 방식은 2채널 방식을 이용하였다. 두 채널 중 한쪽 채널에 아인슈타인의 중력장에의한 시간지연 함수를 적용하여 두 채널간 시간차를 적용하는 방식의 양자비밀직접통신 프로토콜을 설계 하였다. 제안하는 시간 지연 효과는 중력렌즈 현상을 반영한 것으로 점질량에 의한 시간지연을 제안하였다. 원심가속도를 이용한 중력 발생기는 점질량계에 포함되며 이를 이용한 시간지연은 중력계의 변화에 의한 상관관계를 보임을 알 수 있다.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.482-488
• /
• 2000

프로토콜 검증에 있어서 reachability analysis를 사용하는 방법은 널리 알려지고 많이 사용되는 방법이다. Reachability analysis를 통한 검증 방법에 있어서는 프로토콜의 동작을 나타내는 reachability graph의 생성이 중요하다. 그러나 시간이 관련되는 경우 발생하는 상태 수 폭증또는 시간의 실수적 성질의 문제가 있어서 reachability graph의 생성에 큰 장애가 되어왔다. 실시간 시스템이나 프로토콜에 있어서 타이머는 대기 시간의 한계를 지정하거나 일정한 시간간격을 시스템에 알릴 수 있도록 하는 등 시간의 상대적 기준점으로 사용되며 이외에도 여러 가지 용도로 타이머를 사용하게 되어 프로토콜을 모델링하는데 있어서 타이머는 불가결하다. 본 논문에서는 타이머를 모델링하지 못하며 통신 프로토콜과 그 환경을 모델링하는데 적절치 못하던 기존의 방법과 달리 타이머를 포함하며 통신 프로토콜과 그환경을 적절히 표현할 수 있도록 시스템을 기술하는 방법과 함께 상대적 시간 개념으로 천이와 타이머를 다루는 방법을 통해서 시간개념과 타이머가 들어있는 프로토콜의 reachability graph를 유도하는 방법을 제안하였다. 제안한 방법을 통해서 기존방법으로는 찾아낼수 없었던 시스템의 오류를 찾아낼 수 있었다. 이를 통해 보다 실제 프로토콜에 가깝에 모델링하고 검증할 수 있는 기반을 마련하고 있다.

• 정보화사회
• /
• 통권116호
• /
• pp.8-17
• /
• 1997

정보통신의 발달에 따라 기업의 텔레워크 도입환경은 급속하게 정비되어가고 있다. 또한, 국제적인 경쟁이 진행되는 가운데 텔레워크를 도입하는 것이 기업혁신 키임이 선도적인 기업경영자들 사이에서는 이미 인식되기 시작하고 있다. 21세기는 정보통신의 활용으로 일하는 사람과 가정과 직장과의 사이에 '거리와 시간의 제약'이 대폭 완화되는 시대가 될 것이다.