• 한국컴퓨터정보학회논문지
• /
• 제19권12호
• /
• pp.359-368
• /
• 2014

프로세스 동기화는 학생들이 운영체제 과목에서 가장 어려워하는 주제 중 하나이다. 한 번에 한 가지만을 생각하는 인간의 특성 상 여러 사건이 동시에 일어나는 병행 프로세스 환경을 이해하기 어렵기 때문이다. 유한버퍼 문제나 식사하는 철학자 문제 등 고전적 동기화 예제는 그 내용이 너무 기술적이거나 비현실적이기 때문에 운영체제를 처음 접하는 저학년 학생들의 관심과 이해를 이끌기 어려웠다. 본 논문에서는 이러한 고전적 동기화 예제의 대안으로 은행계좌 문제의 사용을 제안한다. 은행계좌 문제는 쉽고 현실적이며 일상생활에서 누구나 경험해 본 문제이기 때문에 학생들의 높은 이해와 흥미를 이끌 수 있었다. 프로세스 실행 순서의 제어, 경쟁조건으로 인한 잘못된 결과의 발생, 세마포어 사용, 교착상태, 모니터 등 다양한 동기화 주제에 대한 은행계좌 문제의 적용에 대해 연구하였다.

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

본 논문에서는 분산 환경에서 e-비즈니스 프로세스들 간에 SFT(Slow Frequency Transaction) 데이터를 처리하는 동기화 에이전트 시스템을 설계 및 구현한다. 이 동기화 에이전트 시스템은 분산 프로세스들의 상호운용성 보장과 클라이언트/서버 구조의 문제를 해결하기 위해 이동에이전트를 이용하며, 분산된 이종 시스템 플랫폼상의 e-비즈니스 프로세스들의 데이터 동기화를 위한 정책을 제시한다. 제안된 동기화 정책은 유니캐스팅 전송 상에서 시스템 우선순위와 타임스탬프의 트랜잭션을 기본으로 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.322-324
• /
• 2002

최근에 지역적으로 분산된 컴퓨팅 자원을 어디에서나 활용할 수 있도록 해주는 GRID가 많은 주목을 받고 있다. 특히 단백질 분자모사나 고에너지 물리학 분야 둥과 같이 매우 많은 계산을 요구하는 분야에서는 GRID를 통해서 계산 자원을 제공받을 수 있다. GRID에서 제공되는 계산 능력을 잘 활용하기 위해서 각 분야에서 사용되는 어플리케이션을 병렬화 할 수도 있지만 이미 계산 방법이나 결과가 검증되어 있는 기존의 패키지를 활용하는 것도 매우 중요하므로 기존 패키지에 의한 직렬 또는 지역적으로 병렬인 프로세스를 매우 많이 생성하여 GRID를 채우는 것도 한 방법이라 하겠다. 일반적으로 이와 같은 패키지는 기동할 때에 패러미터 파일을 참조하게 되고 그 계산 결과는 매우 큰 파일로 출력이 되는데 본 논문에서는 대용량 파일에 의해서 프로세스간에 동기화 및 통신을 이루어야할 때 발생하는 문제를 해결하는 방안을 제시한다. 동기화와 통신을 동시에 다루어야 하므로 Linda 개념을 도입하였으며 기존 Linda에서는 Tuple Space안에서 대용량 파일 처리를 고려하기 어려우므로 이에 대한 해결책을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.226-231
• /
• 2007

최근 비즈니스 프로세스가 복잡해짐에 따라, 비즈니스 프로세스를 설계 한 후 실행하는 과정에서 예상치 못한 문제들이 발생할 가능성 또한 높아지고 있다. 예상치 못한 문제의 발생은 막대한 비용 및 인적자원의 손실을 초래하기 때문에, 설계 된 비즈니스 프로세스는 엔진에 의해 실행되기 전에 다양한 방법으로 검증을 받아야 한다. 본 논문은, BPMN으로 설계된 비즈니스 프로세스의 컨트롤 플로우(Control Flow)에 대한 이상현상 중 데드락과 동기화의 부족에 대한 검증을 목적으로 한다. 데드락과 동기화의 부족은 Split 게이트웨이와 Join 게이트웨이의 종류에 따른 의미적 차이에 의해 발생한다. 본 논문에서는 비즈니스 프로세스를 방향성 그래프로 변환함으로써 Split 게이트웨이와 쌍을 이루는 Join 게이트웨이를 찾을 것을 제안하며, 찾아낸 (Split,Join)쌍은 컨트롤 플로우 검증 테이블을 이용하여 이상현상을 검증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.720-723
• /
• 2005

실시간 시스템의 기술 및 분석에 사용되는 정형적 방법 중에 시간 개념을 도입하고 시간 연산자를 추가한 프로세스 대수학들이 많이 발표되어지고 있다. 그 중에서도 ACSR은 동기적으로 발생하는 timed action과 비동기적으로 발생하는 event로 시스템을 기술하는 기법이다. timed action은 공유자원을 사용하면서 시간을 소모하는 과정을 나타내고, event는 프로세스 간의 동기화 과정을 기술한다. 실시간 시스템을 보다 효율적으로 표현하기 위하여 본 논문에서는 확률 개념이 추가된 PACSR을 정의한다. 또한 확장된 PACSR을 이용하여 자원할당시스템의 기술이 보다 효과적으로 이루어질 수 있음을 보이고자 한다.

• 전자통신동향분석
• /
• 제26권6호
• /
• pp.86-96
• /
• 2011

RFID 기술은 사물이나 생활공간에 대한 정보를 정확하고 손쉽게 수집할 수 있도록 하며, 종래 산업에 융합하여 지능형 정보 서비스를 제공하는 지식서비스 사회의 기반 인프라이다. 유통 물류 공급망은 산업계의 핵심 순환체계로서, 원자재에서 상품으로 생산되어 최종 사용자에 이르는 복합 프로세스와 다양한 구성원들로 구성되기 때문에, 물류 공급망의 상태와 정보를 정확히 수집 및 공유하는 것은 매우 중요하다. 최근 주목 받고 있는 RFID 기반의 물류정보 동기화 기술은 상품 재고 및 자산관리 등 물류 공급망 프로세스를 RFID 인프라를 이용하여 관제함으로써, 물류 공급망에서 수집한 정보의 신뢰성과 프로세스 효율을 향상시키는 기술이라 할 수 있다. 이에, 본 고에서는 RFID 기반의 물류정보 동기화 기술의 개념 및 요구사항을 분석하고, 국내외 기술 및 표준화 동향을 살펴보고자 한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.117-120
• /
• 2003

전자카탈로의 동기화에 대한 중요성이 증가하고있는 가운데, EDI를 이용하여 식료품 분야에서 데이터 동기화를 준비, 진행하고있는 대표적인 글로벌 기업인 Proctor ＆ Gamble사와 H.E. Butt사의 사례를 통해서 식료품 산업에서의 구현하고자 하는 UCS II project의 성공적인 구현에 대한 프로세스와 혜택을 소개한다. 프로젝트의 구현을 통해서 두회사는 투자 수익과 더불어서 경영상의 비용 절감에 막대한 혜택을 가져온다는 것을 나타냈다.

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

본 연구에서는 M2M(Machine to machine: 사물 지능 통신) 기반의 URL 동기화 기능을 갖는 멀티미디어 공동작업 환경에서 웹 관련 응용 소프트웨어와 미디어 등의 프로세스(process) 요소들에 대한 오류를 미리 감지하고 오류를 공유하여 웹 멀티미디어 세션에 참여한 참여자 간의 효율적인 의사소통과 상호 협력 환경의 향상을 제공한다. M2M 기반의 오류 동기화 시스템을 이용하여 신속하고 정확하게 오류를 전달하여서 복구하는데 빠르게 대처할 수 있는 시스템을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.103-105
• /
• 2003

클러스터 자원이 그리드 환경에서 효율적으로 운영되기 위해서는 클러스터를 구성하는 노드 간의 부하균형이 필요하며 이를 위해 실행 중 프로세스 이동은 당연히 지원되어야 한다. 그러나 대부분의 그리드 지원 환경에서는 작업 시작, 실행 중 동기화 과정 등에서 프로세스들의 실행 중 이동이 고려되지 않았으며, 프로세스의 이동을 지원한다 하더라도 TCP 소켓 이전 등의 오버헤드가 따른다. 본 연구에서는 클러스터 내의 프로세스들이 실행 중에 노드 간을 이동하더라도 상호 통신이 가능하도록 별도의 통신 지원 쓰레드를 설계하고, 이를 매개로 간접 통신이 이루어지도록 개선된 방법을 제안하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2018년도 제57차 동계학술대회논문집 26권1호
• /
• pp.9-10
• /
• 2018

SDN 환경에서 여러 컨트롤러의 동기화는 중요한 문제로 대두되었다. 모든 컨트롤러의 네트워크 상태가 동일한지 여부를 확인하려면 컨트롤러를 효율적으로 동기화하기 위한 합의과정이 필요하다. 하지만 합의 과정에서 일어나는 지도자 선출과정이 임의적이기 때문에 시스템 상에서 시간지연이 일어날 수 있다. 본 논문에서 제안하는 우선순위 기반 Raft 알고리즘은 동기화 프로세스를 제어하는 강력한 지도자를 선택하여 동기화로드에서 시간을 절약할 수 있다.