• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.79-82
• /
• 2011

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.774-776
• /
• 1999

공유메모리 병렬프로그램에서의 경합은 프로그램 수행에서 원하지 않는 비결정성을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 기존의 탐지 기법들은 경합을 탐지하기 위해서 공유 자료구조를 사용하므로 심각한 병목현상을 일으킨다. 본 논문에서는 동기화가 있는 프로그램에서 병목현상을 줄임으로써 탐지의 효율성을 높임과 동시에, 최초로 발생한 경합을 탐지하기 위해서 감시대상이 되는 접근사건들의 수를 감소시키는 기법을 제시한다. 이러한 목적을 위해서 사건선택 알고리즘과 실제적인 실험결과를 통해 본 기법의 효율성을 보인다.

• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 춘계학술대회 논문집
• /
• pp.1159-1164
• /
• 2005

현재 철도청이 운용중인 열차운행관리 시스템(Railway Traffic Management System, RTMS)은 서울, 대전, 부산, 순천 그리고 영주 등으로 총 5개 지역본부로 분산되어 있어 업무의 중복을 줄이고, 자동화(Automation)된 열차집중제어장치(Central Traffic Control, CTC)를 구축하기 위해 지역본부를 대전으로 통합하는 프로젝트를 진행중이다. 본 논문은 철도청 사령실 통합 신호설비 구축 프로젝트에 의거하여 열차 경합을 검지 또는 예측하고 운영자에게 최소의 시간 내에 최적의 해소 대책을 제시함을 목적으로 하는 열차 경합 검지 시스템을 구현하는 과정에서 작성되었다. 여기에서는 열차 경합 검지에 대한 개요와 검지 가능한 경합 종류에 대해 기술하고, 실제 구현된 알고리즘의 기본적인 내용, 프로세스의 구성도 및 시뮬레이션 결과를 설명하려고 한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권3호
• /
• pp.301-305
• /
• 2008

OpenMP 디렉티브 프로그램에서 경합은 의도하지 않은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 하지만 이러한 경합을 탐지하는 기존의 도구인 Intel Thread Checker는 경합의 존재를 검증하지 못하며 경합을 탐지하는 비용이 크므로 비실용적이다. 이러한 문제를 해결하기 위해서 본 연구팀은 프로그램의 특성 및 사용자 요구사항의 분석결과를 이용하여 경합을 검증하는 도구를 개발하였으나 스레드 동기화가 없는 모델에서는 최적화되지 못하였다. 본 논문에서는 이러한 선행연구의 결과를 확장하기 위해서 스레드 동기화가 없는 프로그램 모델을 위한 효율적 레이블링 기법과 경합탐지 프로토콜 기법을 적용한다. 합성프로그램을 이용하여 실험한 결과로는 스레드 동기화가 없는 프로그램 모델에서 경합검증 시간이 기존의 도구보다 평균 250배 이상 빠르고, 총 접근사건 수가 동일하면 최대병렬성이 증가하여도 경합검증 시간이 감소함을 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권4호
• /
• pp.436-440
• /
• 2008

본 논문은 IEEE 802.15.4 beacon-enabled 모드의 경합 접근 구간(CAP: Contention Access Period)에서 단말수의 증가에 따른 성능 저하를 개선하기 위해 분할 경합 접근 방식(PCAM: Partitioned Contention Access Mechanism)을 제안한다. 분할 경합 접근 방식에서 PAN 코디네이터는 사용 가능한 전체 경합 접근 구간을 같은 크기의 두 개의 소구간으로 나눈다. 단말은 자신이 소속된 소구간에서만 전송을 위해 서로 경쟁한다. 이와 같은 방법으로 분할 경합 접근 방식은 경쟁하는 단말의 수를 반으로 줄여 전송 프레임의 충돌을 감소시키고 경쟁 시간을 반으로 줄여 단말의 전력 소모를 줄이는 특징을 가진다. 본 논문에서는 분할 경합 접근 방식과 기존 IEEE 802.15.4 표준의 접근 방식과의 성능을 비교하기 위해 시뮬레이션을 수행하였으며, 시뮬레이션 결과 정규화 수율 및 에너지 효율 측면에서 분할 경합 접근 방식이 기존의 방식보다 좋은 성능을 가짐을 확인하였다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제24권1호
• /
• pp.10-16
• /
• 2018

비용절감을 위해 제한된 서버 워크로드를 통합하는 것은 데이터센터의 효율성에 중요하다. 하지만 더 많은 워크로드가 하나의 서버에 통합되면서, 워크로드들의 성능이 제한된 공유 자원에 대한 경합으로 인해 감소될 수 있다. 이러한 성능감소를 줄이기 위해서 공유자원에 대한 경합을 줄이는 스케줄이 필요하다. 본 논문에서는 이러한 공유자원, 특히 메모리 서브시스템에 대해서 경합을 줄일 수 있는 DVFS(Dynamic Voltage Frequency Scaling) 기반의 메모리 인지 쓰레드 스케줄링 방법을 제안한다. 제안한 알고리즘은 메모리 자원에 대한 경합을 줄이기 위해서, 메모리 자원에 대한 접근을 제한하는 방식으로 두 가지 방법을 사용한다. 메모리 인텐시브 쓰레드를 제한된 코어에서 수행하고, 메모리 인텐시브 쓰레드가 수행되는 코어의 주파수를 낮추어 경합을 완화한다. 제안한 알고리즘을 적용하여 쓰레드 스케줄링 시, 리눅스의 CFS(Completely Fair Scheduler) 대비 최대 43%의 성능향상을 이루고 파워소모를 38% 줄일 수 있었다.

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

본 연구는 국내 각 과일별 재배 면적 및 해당 지역의 날씨 등의 데이터를 이용하여 실 생산량을 예측하고 각 과일별 경합관계를 적용하여 실제 수입 되는 과일의 수입량과의 상관관계를 분석하여 실제 가격을 예측하고자 한다. 본 결과를 통해 다변화 되는 국내 과일 시장에서 농업, 수입업에 대한 방향성 제시를 그 목적으로 둔다.

• 대한전자공학회논문지SP
• /
• 제49권1호
• /
• pp.88-96
• /
• 2012

3차원 영상(3D image)이란 영상 매체를 통해서 현실세계와 동일하게 인식하는 방법으로 인간의 시각 특성을 이용하여 실제로 자연에서 보고 느끼는 현실감, 깊이감을 그대로 표현해 내는 기술을 이야기 한다. 이러한 3D 영상을 디스플레이와 프린트매체 모두에 사용되기 위해 적용되는 영상처리 기법이 anaglyph를 이용한 3D 영상 처리이다. Anaglyph는 주로 적-청 안경을 사용해서 한쪽에는 적색영상을 인지하고, 한쪽에는 청색영상을 인지하도록 하며, 이 때 적색과 청색 영상의 깊이감을 조절하여 영상이 3D로 인식 되도록 하는 기술이다. Anaglyph기법은 간단하게 영상을 생성할 수 있고, 또한 필터의 구현이 쉬운 반면, 좌 우 영상의 밝기차이로 발생하는 망막 경합 현상을 야기하여 사람이 3D를 인지하는 동안 눈에 피로감을 가중 시킨다. 따라서 본 연구에서는 두 영상의 밝기차이를 줄여 망막 경합을 최소화 하는 영상처리 방법을 제안한다. 또한 밝기 차를 줄이면서 나타나는 색 왜곡 현상과 채도 저하 현상을 보상하여 결과 영상의 화질을 향상시킨다. 밝기를 보상하는 방법은 원본 영상의 밝기와 좌 우 영상의 밝기의 평균을 취하여 밝기 비율을 유지하면서 두 영상의 밝기 차이가 줄여진다. 그 결과, 밝기 차에서 나타나는 망막경합을 최소화 하면서, 또한 필터의 사용으로 인해 나타나는 밝기 저하 현상을 보상한다. 밝기의 향상으로 인해나타나는 채도 저하 현상은 디스플레이의 색역의 가장자리(boundary)의 변화에 비례하여 채도를 향상시킴으로써 밝기에 비례한 채도 향상이 이루어져 보다 원본에 가까운 색을 관찰할 수 있다. 또한 밝기 보상과정에서 좌 우 영상의 색이 섞이는 현상에 대해 필요한 요소 외에는 절단(Clipping) 방법을 적용하여, 각 영상에 필요한 요소만을 취함으로써 더욱 원본에 가까운 영상을 재현한다.

• 대한전자공학회논문지TC
• /
• 제41권7호
• /
• pp.63-73
• /
• 2004

본 논문은 고속의 병렬 패킷 여과를 위한 다중프로세서 시스템이 가지는 단일 버퍼에서 단일 버퍼의 판독을 위한 다중프로세서 간의 경합을 중재하기 위한 효율적인 단일 버퍼 관리 방안을 제안하고 이를 실제의 다중 프로세서 시스템에 적용하여 실험함으로써 제안한 방안이 납득할 만한 성능을 제공함을 증명하였다. 병렬 패킷 여과시스템으로는 처리의 고속화를 위하여 패킷 여과규칙을 다중의 프로세서에 걸쳐 분산 처리하는 경우를 모델로 정하였다. 실제의 실험은 다중 프로세서를 가지는 네트워크 프로세서에서 이루어졌으며 100Mbps 의 통신망을 배경으로 하였다. 제안한 방안의 성능을 고찰하기 위하여 프로세서 수의 변화 및 여과 규칙의 처리 시간의 변화 등에 따르는 실제 패킷 전송률을 측정하였다.