• Journal of the Korean Institute of Intelligent Systems
• /
• v.27 no.1
• /
• pp.7-14
• /
• 2017

Theoretically, it is known that common beliefs and/or common knowledge cannot be attained in asynchronously distributed multiagent environments, however, it show that some propositions with deadlines can be attained as common beliefs among a set of fully trusted agents even when they communicate to each other asynchronously. Generally, in the multiagent environment, the attainment of common beliefs is approached as a problem of communication, and for the common beliefs paradox that the common beliefs is not attained on a system without communication time restriction is applied to loose coarser granularity and it prove that forming common beliefs is possible by relaxing necessary requirements through the KakaoTalk chatting model. I also experimented with the reasoning function that confirms the common beliefs by inquiring about the common belief generated by implementing the inference function in each agent of the KakaoTalk chatting model. Through utilizing metalogic programming, a formalization of the presentation and reasoning of common beliefs has been achieved, and the group chatting model of KakaoTalk was adopted in experiments to show that common beliefs can be formed among distributed agents using asynchronous communication.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.543-545
• /
• 1999

컴퓨터 시스템은 주파수를 제공하는 수정발진자의 환경적 요인에 의한 오차 등으로 인해 정확한 시각을 유지하지 못한다. 정확한 시각 유지를 통해 외부 시각원으로부터 시각신호를 받아 로컬 시스템의 시각오류를 보정하는 시각동기 클라이언트를 이용하는 방법을 연구하였다. 정밀도 향상을 위해 다중서버 선택기능을 보강하였고, 지연시간에 따른 시각원의 가중치를 적용하였다. 특히 시각변화에 민감한 프로세스가 많은 시스템에서 시각 오류 보정시 시각의 급변은 시스템에 무리를 일으키므로 점근적 보정을 통한 안정적 방법이 필요하다. 이를 위해 축적결과기반 시각오류 보정방법을 적용하여 네트워크 지연의 급작스런 변화에도 분산을 통한 충격을 완화하여 안정적인 시각보정을 할 수 있도록 하였다. 시각오류 요인과 시각동기방법, 클라이언트 구현과 실험결과를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.376-378
• /
• 2002

현재 클라이언트/서버 네트워크 환경은 시스템이 점점 대형화되면서 유지보수 및 네트워크 트래픽에 대한 문제로 인하여 분산 객체 개념을 이용한 분산 환경의 페러다임이 필요하게 되었다. 이에 OMG의 CORBA는 분산 환경을 위한 표준을 제공하며, 분산 객체간의 비동기 호출을 위한 이벤트 서비스를 명시하고 있다. 분산 객체간의 데이터 전송은 전체 시스템의 성능을 좌우하는 중요한 요인으로 평가받고 있으나 이벤트 서비스는 이벤트 데이터를 위한 필터링 기능을 제공하고 있지 않아 비효율적인 데이터 전송을 하고 있다. 본 논문에서는 이벤트 채널의 필터링을 위한 모듈을 정의하여 기존의 서비스에서 제공하는 이벤트 채널보다 효율적인 데이터 전송이 가능한 이벤트 필터링 채널을 설계한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.2
• /
• pp.386-393
• /
• 2004

In order to maintain load balancing in distributed systems in a decentralized manner, every node should obtain workload information from all the nodes on the network. It requires $Ο({v^2})$ traffic overheads, where v is the number of nodes. This paper presents a new synchronous dynamic distributed load balancing algorithm for a ( v,k+1,1)-configured network topology, which is a kind of 2k regular graph, based on symmetric balanced incomplete block design, where v equals ${k^2}+k+1$. Our algorithm needs only Ο(v√v) message overheads and each node receives workload information from all the nodes without redundancy. And load balancing in this algorithm is maintained so that every link has same amount of traffic by √v for transferring workload information.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.618-620
• /
• 2000

거짓 공유(flase sharing) 및 추가적인 통신으로 인한 성능 저하를 방비하기 위해서 소프트웨어 분산공유메모리 시스템을 위한 다양한 메모리 모델들이 제안되었다. Scope Consitency 모델은 Brazos, JIAJIA와 같은 최근 시스템에 채택된 모델로서, consistency scope 개념을 사용해서 데이터와 동기화 변수 간의 관계를 자동으로 인식한다. 본 논문에서는 Scope Consistency 프로토콜의 설계, 구현, 그리고 성능 측정 결과에 관해서 설명한다.

• Journal of Internet Computing and Services
• /
• v.4 no.5
• /
• pp.51-60
• /
• 2003

Asynchronous iteration is a way to reduce performance degradation of some parallel algorithms due to load imbalance or transmission delay between computing nodes, which requires asymmetric communication between the nodes of different speeds. To implement such asynchronous communication on distributed memory systems, we suggest an MPMD method that creates an additional separate server process on each computing node, and compare it with an SPMD method that creates a single process per node.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.4 no.4
• /
• pp.293-300
• /
• 2009

In this paper, we describe a method for synchronization protocol method used in control system based on network and IEEE 1599 synchronization method which used for implementation of synchronization technology of advanced industrial Ethernet. We also implement and perform the experiment for synchronization technology of EtherCAT communication which is one of the industrial Ethernet technology used IEEE 1599 synchronization technology based on time. And we describe an evaluation for experiment result, improve the problem and future plan.

• KIPS Transactions on Computer and Communication Systems
• /
• v.7 no.6
• /
• pp.145-154
• /
• 2018

A loosely coupled message broker system is a popular method for integrating distributed software components. Especially, a distributed broker structure with multiple brokers with active-standby or active-active message replicas are used to enhance availability as well as message processing performance. However, there are problems in both active-standby and active-active replica structure. The active-standby has relatively low processing performance and The active-active structure requires a high synchronization overhead. In this paper, we propose an active-active structure of replicas to increase the availability of the brokers without compromising its high fault-tolerancy. In the proposed structure, standby replicas process the requests of the active replicas so that load balancing is achieved without additional brokers, while the distributed coordinators are used for the synchronization process to decrease the overhead. We formulated the overhead incurred when synchronizing messages among replicas, and the formulation was used to support the experiment results. From the experiment, we observed that replicas of the active-active structure show better performance than the active stand-by structure with increasing number of users.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.451-454
• /
• 2003

WWW(Word Wide Web)은 인터넷 상에서 광범위하게 분산된 다양한 형식의 데이터를 손쉽게 검색할 수 있도록 하며, 모든 응용의 사용자 환경을 손쉽게 포함시킴으로서 새로운 미디어 타입의 통합을 위한 가장 성공적인 기술로 평가받고 있다. E-Mail 서비스는 WWW 시스템의 가장 기본적인 기능으로, 인터넷 기술이 발전하고 사용자가 기하급수적으로 증가함에 따라 E-Mail 사용자도 늘고있다. 그러나 기존의 서비스는 HTML의 텍스트 기반 구조를 통한 비동기적인 형태의 서비스를 계속 유지하고 있어, 최근 인터넷상의 상당수를 차지하는 오디오, 비디오와 같은 실시간 환경의 멀티미디어 데이터들을 통합하는 좀더 동기적인 표현방법이 요구되고 있다. 본 논문에서는 E-Mail 서비스에 대한 동기적 방법론을 제안하고 구현하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.552-554
• /
• 2000

기존 워크플로우 시스템은 비즈니스 프로세스 내의 정보와 제어의 흐름 수행에 있어서 중앙 집중적인 워크플로우 엔진이 전체 실행의 모든 부분을 담당하고 있다. 이러한 워크플로우 시스템이 갖는 성능, 확장성 등 구조적 제약의 단점을 극복하기 위하여 워크플로우 엔진의 분산, 이동 에이전트의 적용, 웹 기반 등 다양한 연구가 진행되고 있다. 본 논문에서는 단위 업무 스케쥴링 기능과 관련된 정보를 분산된 형태로 참가자에게 일임하여 워크플로우 엔진 부하를 줄이고, 프로세스 인스턴스 단위의 이동 에이전트를 적용하여 비동기적 특성을 이용한 성능 및 확장성의 향상을 제공하는 워크플로우 시스템의 설계를 제안한다. 또한 제안한 시스템을 위하여 각 참가자별 스케쥴링 정보를 WfMC의 프로세스 정의 표준 언어인 WPDL로부터 추출하는 방법을 제안한다.