• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.2
• /
• pp.60-65
• /
• 2008

The matching preclusion set of a graph is a set of edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. The matching preclusion number is the minimum cardinality over all matching preclusion sets. We show in this paper that, for any $m{\geq}4$, the matching preclusion numbers of both m-dimensional restricted HL-graph and recursive circulant $G(2^m,4)$ are equal to degree m of the networks, and that every minimum matching preclusion set is the set of edges incident to a single vertex.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.1
• /
• pp.40-51
• /
• 2009

A paired many-to-many k-disjoint path cover (paired k-DPC) of a graph G is a set of k disjoint paths joining k distinct source-sink pairs in which each vertex of G is covered by a path. In this paper, we investigate disjoint path covers in recursive circulants G($cd^m$,d) with $d{\geq}3$ and tori, and show that provided the number of faulty elements (vertices and/or edges) is f or less, every nonbipartite recursive circulant and torus of degree $\delta$ has a paired k-DPC for any f and $k{\geq}1$ with $f+2k{\leq}{\delta}-1$.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.4
• /
• pp.176-184
• /
• 2002

We provide a checkpointing framework reflecting both the timeliness and the dependability in order to make checkpointing applicable to dependable real-time systems. The predictability of real-time tasks with checkpointing is guaranteed by the worst case execution time (WCET) based on the allocated number of checkpoints and the permissible number of failures. The permissible number of failures is derived from fault tolerance requirements, thus guaranteeing the dependability of tasks. Using the WCET and the permissible number of failures of tasks, we develop an algorithm that determines the minimum number of checkpoints allocated to each task in order to guarantee the schedulability of a task set. Since the framework is based on the amount of time redundancy caused by checkpointing, it can be extended to other time redundancy techniques.

• The KIPS Transactions:PartA
• /
• v.18A no.6
• /
• pp.225-232
• /
• 2011

Restricted Hypercube-Like (RHL) graphs are a graph class that widely includes useful interconnection networks such as crossed cube, Mobius cube, Mcube, twisted cube, locally twisted cube, multiply twisted cube, and generalized twisted cube. In this paper, we show that for an m-dimensional RHL graph G, $m{\geq}4$, with an arbitrary faulty edge set $F{\subset}E(G)$, ${\mid}F{\mid}{\leq}m-2$, graph $G{\setminus}F$ has a hamiltonian path between any distinct two nodes s and t if dist(s, V(F))${\neq}1$ or dist(t, V(F))${\neq}1$. Graph $G{\setminus}F$ is the graph G whose faulty edges are removed. Set V(F) is the end vertex set of the edges in F and dist(v, V(F)) is the minimum distance between vertex v and the vertices in V(F).

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.315-319
• /
• 2005

In this paper, we present a Petri Net (PN) model for reliability analysis of fault-tolerant database system models that consists of components one shared memory, bus, processors and database (disk). Each component can be failed and repaired individually. The system is operational as long as database and one of component is operational. We develop Stochastic Reward Net (SRN) Model for reliability analysis of database system. SRN is potential to define various reward functions. and can be easily used to obtain performance measures. The modeling techniques using variable cardinality, enabling function, timed transition priority in SRN are shown.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.460-462
• /
• 2004

분산 환경에서의 효과적인 통신 방법인 멀티캐스트 프로토콜이 그동안 많이 연구되었다. 하지만 인터넷 기반 네트워크의 급속한 발달로 실시간 데이터를 요구하는 환경으로 변화함에 따라 실시간 멀티캐스트 프로토콜의 필요성이 대두되었다. 실시간 프로토콜 중 하나인 RFRM(Release-time based Fault-tolerant Real-time Multicast protocol)은 메시지의 신뢰성을 보장하고 뷰의 일관성을 유지하며 고장을 감내한다는 장점이 있지만 한 개의 그룹만을 지원한다는 단점을 가지고 있다. 따라서 본 논문에서는 실시간 멀티캐스트 프로토콜인 RFRM을 확장하여 멀티그룹을 지원하는 뷰 관리기능을 추가하였고, 그 성능을 분석하기 위하여 Erlang/OTP를 사용하여 구현된 결과를 TMO(Time-triggered Message-triggered Object) 모델을 사용한 실시간 시뮬레이션의 결과와 기존의 RFRM의 그룹 연산 성능과 비교하였다.

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

현재 분산객체 시스템 아키텍쳐의 표준으로 제정된 CORBA 명세에는 부하분산에 대한 기술 표준이 정의되어 있지 않다. CORBA 시스템의 부하분산 기능의 부재는 특정서버 객체에 대한 과부하 및 클러스터 내 특정서버의 과부하를 초래한다. 기존에 제안된 CORBA 부하분산 기법들은 ORB 호환성 저해, 코드수정 필요성, 주기적인 부하보고에 따른 네트워크 부하가중 등의 문제점들을 가졌다. 본 논문은 기존 부하분산 기법들의 문제점을 해결하기 위해 인터셉터를 이용한 CORBA의 부하분산 아키텍쳐 및 구현기법을 제안한다. 제안된 CORBA 부하분산 아키텍쳐는 인터셉터의 이용으로 CORBA 시스템의 호환성을 유지하며 CORBA의 수행방식을 바꾸어 부하분산기능을 가진다. 제안된 시스템에서 서버의 부하보고는 CORBA의 이벤트 서비스를 이용하여 구현하여 기존 부하분산 기법의 주기적 부하보고의 문제점을 해결하였으며 부하분산시스템 자체의 부하분산 및 고장 감내성을 제공하는 장점을 가진다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.381-384
• /
• 2002

This paper describes the motivation, design and performance of bi-active Load balancer in Linux Virtual Server. The goal of bi-active Load balancer is to provide a framework to build highly scalable, fault-tolerant services using a large cluster of commodity servers. The TCP/IP stack of Linux Kernel is extended to support three IP load balancing techniques, which can make parallel services of different kinds of server clusters to appear as a service on a single IP address. Scalability is achieved by transparently adding or removing a node in the cluster. and high availability is provided by detecting node or daemon failures and reconfiguring the system appropriately. Extensive simulation reveals that the proposed approach improves the reply rate about 20% compared to earlier design.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.8
• /
• pp.1009-1023
• /
• 1999

이 논문은 재귀원형군 G(2^m , 2^k ) 그래프 이론적 관점에서 고찰하고 정점이 서로소인 경로에 관한 위상 특성을 제시한다. 재귀원형군은 1 에서 제안된 다중 컴퓨터의 연결망 구조이다. 재귀원형군 {{{{G(2^m , 2^k )의 서로 다른 두 노드 v와 w를 잇는 연결도 kappa(G)개의 서로소인 경로의 길이가 두 노드 사이의 거리d(v,w)나 혹은 G(2^m , 2^k )의 지름 \dia(G)에 비해서 얼마나 늘어나는지를 고려한다. 서로소인 경로를 재귀적으로 설계하는데, 그 길이는 k ge2일 때 d(v,w)+2^k-1과 \dia(G)+2^k-1의 최솟값 이하이고, k=1일 때 d(v,w)+3과 \dia(G)\+2의 최솟값 이하이다. 이 연구는 (2^m , 2^k )의 고장 감내 라우팅, 고장 지름이나 persistence의 분석에 이용할 수 있다.Abstract In this paper, we investigate recursive circulant G(2^m , 2^k ) from the graph theory point of view and present topological properties concerned with node-disjoint paths. Recursive circulant is an interconnection structure for multicomputer networks proposed in 1 . We consider the length increments of {{{{kappa(G)disjoint paths joining arbitrary two nodes v and win G(2^m , 2^k )compared with distance d(v,w)between the two nodes and diameter {{{{\dia(G)of G(2^m , 2^k ), where kappa(G)is the connectivity of G(2^m , 2^k ). We recursively construct disjoint paths of length less than or equal to the minimum of {{{{d(v,w)+2^k-1and \dia(G)+2^k-1for kge2 and the minimum of d(v,w)+3 and \dia(G)+2for k=1. This work can be applied to fault-tolerant routing and analysis of fault diameter and persistence of G(2^m , 2^k )

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10d
• /
• pp.59-63
• /
• 2006

이동 애드 혹 네트워크(Mobile Ad Hoc Network; MANET)는 인프라 없이 빠른 구성이 가능한 네트워크이다. 하지만, 긴급 상황과 같은 특수한 경우가 아닌 일상생활에서 사용 가능한 네트워크로 발전하기 위해서는 MANET과 인터넷의 연결이 꼭 필요하다. 인터넷 노드와 MANET 노드 간의 통신을 가능하게 만드는 것은 인터넷과 MANET을 중계하는 인터넷 게이트웨이를 통해서 이다. 고장 감내(fault tolerance)를 지원하고 대역폭을 늘리기 위해 다중 인터넷 게이트웨이들을 MANET에 배치하여 사용할 수 있다. 다중 게이트웨이들 간의 부하를 잘 분배한다면 네트워크 성능 향상을 얻을 수 있으므로, MANET 내에 여러 개의 인터넷 게이트웨이가 존재할 경우 이들 간의 부하 균등화는 중요한 이슈이다. 본 연구에서는 노드들의 이동이 빈번하고 인터넷 게이트웨이들이 고정되어 있는 MANET 환경에서의 부하 균등화 인터넷 게이트웨이 발견 기법들을 제안한다. 기존에 제안된 부하 균등화 기법들로 Shortest Path (SP), Minimum Load Index(MLI), Running Variance Metric (RVM) 기법들을 소개하고 각 기법들에 대한 시뮬레이션 결과를 제공한다. 시뮬레이션을 통해 이들 기법을 분석하여 문제점을 찾아내고 이를 수정 및 보완하여 새로운 기법들을 제안하며, 새로운 기법들의 성능이 기존 기법들에 비하여 향상되었음을 보인다.