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

비동기 체크포인팅 프로토콜은 분산 시스템에서 고장 감내성을 제공하기 위한 방법중 하나다. 이 방법은 모든 프로세스가 독립적으로 자신의 지역 체크포인트를 두고 어느 한 프로세스에서의 고장 발생시 가장 최근의 체크포인트에서부터 롤백을 하는 것이다. 하지만 이 방법은 어느 한 프로세스에서의 고장 발생이 다른 프로세스의 롤백까지 유도하는 캐스캐이드 롤백을 발생시킬 수 있는 단점이 있다. 본 논문에서는 고장 감내성의 수준을 높이기 위하여 비동기 체크포인팅 프로토콜을 사용하면서도 캐스캐이드 롤백을 막을 수 있는 적응형 체크포인팅 프로토콜을 사용한다. 프로세스사이에 오고가는 모든 메시지의 복사본이 서버쪽의 중재자를 통하여 서버에 있는 기계 상태 테이블에 저장된다. 이렇게 하여 서버에는 무든 지역 기계의 상태가 저장되어 기계 고장이 발생했을 경우에 고장이 발생한 기계의 복구에 사용된다.

• Transactions of Materials Processing
• /
• v.8 no.5
• /
• pp.454-464
• /
• 1999

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between the deformed blank contour and the target contour shape into account. the minimization object function R is proposed. Based on the method, a computer program composed of blank design module, FE-analysis module and mesh generation module is developed. The rollback method is applied to square cup, reentrant cross section, L-shaped cup drawing process with the flange of uniform size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary blank shape after several modifications. Good agreements are recognized between the numerical results and the published experimental results for initial blank shape and thickness strain distribution. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.523-525
• /
• 2001

본 논문은 많은 수의 rigid body 물체들을 물리학에 기반하여 실시간으로 애니메이션하는 방법을 제안한다 rigid body 물체들의 움직임을 생성해내는 과정은 상당한 시간이 소요되며 또한 물체의 수가 증가함에 따라 계산시간이 급증한다. 본 논문에서는 Timewarp rigid body 시뮬레이션 알고리즘을 실시간 애니메이션에 적용하기 위해 시간당 생성되는 프레임 수에 따른 다단계 롤백 범위 적용을 하는 방법을 제안하고 실험을 통하여 시뮬레이tus 시스템의 효율성을 보인다.

• Transactions of Materials Processing
• /
• v.7 no.3
• /
• pp.260-273
• /
• 1998

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between final deformed shaped and target contour shape into account. Based on the method a computer program composed of blank design module FE-analysis program and mesh generation module is developed. The rollback method is applied to square cup drawing process with the flange of unifiorm size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary square blank after three modification. Good agreements are recognized between the numerical results and the published results for initial blank shape and thickness strain distribution. The optimum blank shape for two parts of automobile sub-frame is designed, The thickness distribution and the level of punch load is improved. Also the method is applied to design the weld line in the tailor-welded blank. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1998.03a
• /
• pp.185-195
• /
• 1998

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between final deformed shape and target contour shape into account. Based on the method, a computer program composed of blank design module, FE-analysis program and mesh generation module is developed. The rollback method is applied to square cup drawing process with the flange of unifiorm size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary square blank after three modifications. Good agreements are recognized between the numerical results and the published results for initial blank shape and thickness strain distribution. The optimum blank shape for two parts of automobile sub-frame is designed. The thickness distribution and the level of punch load is improved. Also, the method is applied to design the weld line in the tailor-welded blank. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.

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

다수 사용자용 인터넷 게임은 그 특성상 게임 클라이언트간 또는 게임 클라이언트와 게임 서버간에 네트워크 지연은 피할 수 없고 이로 인해서 사용자가 느끼는 실감은 상당히 줄어 든다. 본 논문에서는 클라이언트-서버형태의 게임구조 하에서 이런 네트워크 지연에 따른 문제점을 해결하는 사용자들간의 상태 동기화 방법을 제안한다. 이 방법은 게임상 가상공간을 여러 영역으로 나눈 후, 각 클라이언트에 도착하는 메시지들의 발생 영역에 따라서 배치처리 시간간격 (time interval)을 달리하는 동기화 방법이다. 이 동기화 방법은 기존 방법에 비해서 롤백 (roll back) 수의 큰 증가 없이 사용자 반응시간을 현저히 줄이는 효과를 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.57-60
• /
• 2013

분산 컴퓨팅에 참여하는 프로세스들의 일관성 있는 실행 상태를 저장하여, 특정 시스템 사이트의 결함 발생 시 프로세스들을 일관성 있는 상태에서 복구 시키는 방법을 검사점 설정을 이용한 롤백 복구 기법이라고 한다. 이러한 복구를 위해서는 일관된 검사점 설정이 중요하며, 일관된 복구를 위한 검사점 조정 기법 중 하나가 약조정 기법이다. 본 논문에서는 약조정 기법의 문제점 중 하나인 검사점 저장 공간 문제를 해결하기 위해, 검사점 저장 공간을 안정된 저장 공간과 임시 저장 공간으로 나누고, 이동 에이전트를 이용해 불필요한 검사점을 찾아내서 주기적으로 삭제하여 효율적으로 저장 공간을 관리하는 방법을 제안한다.

• The KIPS Transactions:PartA
• /
• v.18A no.5
• /
• pp.177-180
• /
• 2011

In this paper, we present a record-replay technique based on interrupt logging and reproduction. Race conditions have been considered as the main source of nondeterminism in conventional record-replay approaches. However, interrupts are another source of nondeterministic computer system behavior, which must be reproduced at accurate time points, let alone the order of interrupt occurrence. We show that an interrupt-based replayer can be efficiently and effectively implemented by using hardware performance counters and debugging functionality. Experiments also show that the runtime overhead of the interrupt-based replayer is sufficiently low.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.247-249
• /
• 2003

EJB(Enterprise Java Beans)는 웹 응용 서버 스펙인 J2EE(Java2 Enterprise Edition)의 핵심으로서, 비즈니스 업무를 웹 환경에서 컴포넌트 형태로 작성하여 재 사용성을 높이기 위한 서버 측 컴포넌트 프로그래밍 모델이다. EJB 2.1에서는 기존 EJB 2.0에 기술된 기능 이외에 웹 서비스, 타이머 서비스, EJB QL 업그레이드 등의 기능을 추가하였다. 타이머 서비스는 지정된 시간마다 EJB 빈의 특정 함수를 호출하는 기능이다. 또한, 타이머 서비스는 트랜잭션과 연관된 경우 해당 트랜잭션 컨텍스트(context) 내에서 타이머의 롤백(rollback)을 지원해야 하며, 시스템의 고장 후 재시작 시에 기존 타이머의 복구 기능을 지원해야 한다. 본 논문에서는 EJB 스펙 2.1에서 제시한 타이머 서비스의 요구 사항에 대해 알아보고, ETRI 에서 개발한 E504 EJB 서버에서 타이머 서비스를 구현한 방법에 대해 논의한다.

• The KIPS Transactions:PartA
• /
• v.13A no.5 s.102
• /
• pp.421-428
• /
• 2006

This paper proposes an integrated recovery approach applying retry and rollback techniques to recover the TMR failure. Combining the time redundancy techniques with W system is apparently effective to recover the TMR failure(or masked error) primarily caused by transient faults. These policies need fewer reconfigurations at the cost of extra time required for the time redundant schemes. The optimal numbers of retry and rollback to minimize the mean execution time of tasks are derived for the proposed method through computing the likelihoods of all possible states of the failed system. The effectiveness of the proposed method is validated through examining certain numerical examples and simulations conducted with a variety of parameters governing environmental characteristics.