• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.5
• /
• pp.518-528
• /
• 2000

Messages in distributed real-time systems are categorized into two groups: synchronous messages and asynchronous messages. Synchronous messages, such as sampled audio and image data,are generated periodically with delivery time constraints. Protocols should guarantee the end-to-enddeadlines for such messages. Asynchronous messages are non-periodic and may arrive in a randomway with no strict time constraints.In this paper, we propose TTP/C(timed token protocol with concession), an extension of TTPprotocol, to achieve higher timeliness guarantee for synchronous messages in distributed real-timesystems. In TTP/C, a node concedes the allocated bandwidth to other nodes with urgent synchronousmessages to be sent provided that the node has no urgent messages, TTP/C works very well evenif the synchronous messages are generated with some jittering by nodes. The simulation results showthe improved performance of TTP/C protocol for guaranteeing synchronous messages deadlinescomeared to the existing TTP protocols.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.1
• /
• pp.182-189
• /
• 2010

This paper defines the quorum-based fault-tolerant mutual exclusion problem in a message-passing asynchronous system and determines a failure detector to solve the problem. This failure detector, which we call the modal failure detector star, and which we denote by $M^*$, is strictly weaker than the perfect failure detector P but strictly stronger than the eventually perfect failure detector ◇P. The paper shows that at any environment, the problem is solvable with $M^*$.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.5
• /
• pp.2457-2464
• /
• 2013

In this paper, we design and analyze a mutual exclusion algorithm, based on the Token and Failure detector, in asynchronous distributed systems. A Failure Detector is an independent module that detects and reports crashes of other processes. There are some of advantages in rewriting the Token-based ME algorithm using a Failure Detector. We show that the Token-based ME algorithm, when using Failure Detector, is more effectively implemented than the classic Token-based ME algorithm for synchronous distributed systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.406-408
• /
• 2003

DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화된 형태로 이산사건 시스템을 기술한다. 본 논문에서는 CORBA를 이용한 Multi-threaded 분산 시뮬레이션 방법을 제시한다. 본 논문에서 제시한 시뮬레이션 방법은 기존에 선행 연구된 DEVSCluster를 기반으로 한다. DEVSCluster는 계층적 DEVS 모델들을 비 계층적 모델로 구성하여 시뮬레이션한다. DEVSCluster는 전통적인 계층적인 시뮬레이션 시 발생하는 overhead를 제거한다. CORBA기반으로 DEVSCluster를 구성함으로써 산업 표준에 맞는 확정을 가지는 분산 시뮬레이션이 가능해졌다. 그리고 CORBA를 이용함으로써 기존에 분산 시뮬레이션 동기화를 위한 새로운 패러다임도 적용이 가능해 졌다. 제시한 시뮬레이션 방법의 효용성을 보이기 위해 Windows 시스템에서 분산 시뮬레이션 엔진을 구현하여 대규모 물류 시스템으로 성능을 측정하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.490-492
• /
• 2005

유비쿼터스 환경에서 사용되는 수 않은 분산 애플리케이션들은 이벤트 기반 기법을 이용한 비동기 통신을 필요로 한다. OMG에서 정의된 비동기 메시지 처리를 위해 정의된 CORBA 이벤트 서비스는 유연성 있는 이벤트 채널을 통하여 분산 오브젝트 간의 비동기 통신을 지원한다. 기존의 이벤트 서비스에서 이벤트 서비스를 제공하기 위해서는 사용자나 개발자에 의해 수동적으로 채널이 생성되며, 생성된 채널을 통하여 이벤트 서비스를 제공한다. 그러나, 수동적인 채널관리 시스템은 분산 애플리케이션이 제공하는 다양한 이벤트 서비스를 제공하기에 기능적 오버헤드를 가지고 있다. 본 논문에서는 동적 채널 생성 삭제 그리고 컨텍스트 기반의 채널 관리 구조를 제시하며, 제안된 구조의 이벤트 서비스의 시뮬레이션 결과는 기존의 이벤트 서비스의 이벤트 처리 시간보다 더 나은 결과를 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1353-1356
• /
• 2000

최근 B2B 시스템 통합 및 전략적 제휴가 시장을 변화시키고 있고 관련 기업들의 효율적인 연계요구가 증가됨에 따라 기업간 시스템들의 연동이 중요한 문제로 부각되고 있다. 워크플로우 표준화 단체인 WfMC 에서도 이러한 문제 해결의 일환으로 인터넷을 통한 워크플로우 관리 시스템간 연동을 위한 표준인 Wf-XML Interoperability standard 를 발표하였다. 본 논문은 Wf-XML 표준 및 관련 연구들을 조사하고 WfMC 표준에는 정의되어 있지 않으나 시스템간의 신뢰성있는 연동을 위해 고려할 사항 중에서 동기적 및 비동기적 상호연동을 위한 요구사항들을 분석한다. TCP/IP 를 기반으로 한 HTTP 프로토콜을 전송 프로토콜로 채택하는 경우 여러 오퍼레이션들을 일괄처리하기 위해서는 비동기적인 상호연동(asynchronous interoperation)을 위한 별도의 메커니즘이 필요하다. 본 연구에서는 Wf-XML 문서를 HTTP 프로토콜을 사용하여 전송하는 경우 일괄처리요청(batch request) 및 그 밖의 동기적 또는 비동기적 요청들을 처리하기 위한 상호연동 모델을 분석하고 분산 워크플로우 시스템의 일종인 ICU/COWS에서의 적용방안에 관해서 논의한다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3785-3793
• /
• 2000

Effective synchronization specification model which can specify temrxlral relationship among media resolving asynchronous problem due to variable network delay is necessary in a distributed multimedia system. Therefore in this paper, we propose RTPN(Real- Time Petri Net) synchronization specification model based on Petri Net for multimedia application in a distributed real time environment. The proposed RTPN model supplies a tlexible decsription of the temporal relationship among various media objects by defining primary key media and relative key media according to delay and importance among media. Firing rule is instantly executed by firing function based on QoS values which supports intra-media and inter-media syncbronization. And asynchronous control algorithm for resynchronization of presentation level is possible more effective supporting of QoS.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.759-762
• /
• 2003

기업 시스템의 통합은 기업의 경쟁력을 향상시킬 수 있고, 기업 시스템에 웹 시스템을 접목시킴으로 기업의 활동 영역을 넓힐 수 있다. 이에 본 논문에서는 FLX(Framework fer Legacy Extension)을 제안했다. 주어진 절차에 따라 레거시 시스템은 전송을 요청하고,FLX시스템은 이를 주기적으로 검색해서 웹 환경의 시스템으로 전송하고 그 결과를 확인하고 정상 전송 여부를 남기게 된다. 본 시스템의 특징은 통합에 표준적인 XML 통합 방법을 제안했고 동기 통신과 비동기 통신의 혼합형으로 레거시 측면은 비동기 통신, 내부적으로는 동기 통신을 이용했다. 이는 레거시 시스템의 지연을 방지해 주고, 전체적인 신뢰도를 높이는 특징이 있다. 또한 네트워크 에러인 경우 자동으로 재전송하고, 전송하고자 하는 데이터의 에러인 경우 로그 정보를 남겨, 관리할 수 있도록 했다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.569-572
• /
• 2000

본 논문에서는 신뢰 할 수 없는 고장추적 장치로 구성 된 비동기적 분산 시스템 하에서 선출(election) 문제와 합의(consensus) 문제의 관련성에 관하여 연구하고자 한다. 먼저 선출 문제는 합의 문제보다 더욱 어려운 문제임을 보인다. 합의 문제와는 대조적으로 선출 문제는 시스템 상에서 단 한 개의 노드가 죽은 경우에도 신뢰 할 수 없는 고장 추적 장치를 이용하여 선출 문제를 해결 할 수 없다. 보다 엄밀하게 표현하자면, 선출 문제를 해결하는데 필요한 가장 약한 고장 추적 장치는 완전한 고장 추적 장치이어야 하는 것으로, 이는 합의 문제를 해결하는데 필요한 가장 약한 고장 추적 장치보다 확실히 강한 것이다. 선출 문제가 합의 문제보다 어렵다는 것을 보이기 위해 본 논문에서는 축소(reduction) 프로토클을 이용 한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.308-312
• /
• 1999

DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화된 형태로 이산사건 시스템을 기술한다. 본 논문에서는 DEVS 형식론에 기반한 모델들을 시뮬레이션하기 위한 분산 시뮬레이션 방법을 제시한다. 본 논문에서 제시한 시뮬레이션 방법은 계층적 DEVS 모델들을 비 계층적 모델로 구성하여 시뮬레이션한다. 제시한 시뮬레이션 방법은 전통적인 계층적인 시뮬레이션 시 발생하는 overhead를 제거한다. 또한 시뮬레이션 동기화를 쉽게 구현할 수 있고 더불어 시뮬레이션 엔진의 안정성을 높일 수 있다. 제시한 시뮬레이션 방법의 효용성을 보이기 위해 Windows 시스템에 실행 가능한 시뮬레이션 엔진을 구현하여 대규모 물류 시스템으로 성능을 측정하였다.