• Journal of KIISE:Software and Applications
• /
• v.26 no.5
• /
• pp.621-638
• /
• 1999

재시작 회복시 수행해야 할 작업략을 줄이기 위하여 주기적으로 수행되는 검사점 중 퍼지 검사점은 정상적인 트랜잭션들의 수행과 병행하여 수행된다. 트랜잭션들과 퍼지 검사점의 수행시, 로그 레코드 기록의 순서화를 위한 로그 래취를 획득한 상태에서 로그 레코드를 기록할수있으며, 트랜잭션 엔트리의 무결성을 보장하기 위한 트랜잭션 래취를 획득한 상태에서 트랜잭션은 로그 레코드의 기록과 관련된 트랜잭션 상태를 변경할수 있으며 검사점 프로세스는 트랜잭션의 상태를 검사할 수 있다. 퍼지 검사점과 트랜잭션들이 수행이 비동기로 수행되는 상황에서 로그래취와 트랜잭션 래취의 획득 및 해제 방법이 적절하지 못한 경우, 퍼지 검사점이 어떤 트랜잭션의 트랜잭션 상태를 검사하기 전에 그 트랜잭션에 의하여 기록된 로그 레코드이지만 그 퍼지 검사점이 그 트랜잭션 상태를 검사할때까지 그 로그 레코드의 기록상황이 그 트랜잭션의 트랜잭션 상태에 반영되지 않은 경우가 발생할수 있다. 이 경우, 기록 상황이 트랜잭션 상태에 반영되지 않은 그 로그 레코드를 그 퍼지 검사점에 대한 그 트랜잭션의 상태미방영 로그 레코드라고 한다. 본 논문은 상태미반영 로그 레코드를 발생시키는 상황들을 분석하고, 상태미반영 로그 레코드의 발생에 따른 문제점들을 기술하며, 상태미반영 로그 레코드의 발생에 대하여 전면 방지 기법, 일부 방지 기법 그리고 전면 허용하지만 회복시 이를 해결하는 기법등 세가지 해결책을 제시한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.258-264
• /
• 2006

웹 서비스 기반의 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 트랜잭션 관리를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 비즈니스 프로세스 관리 시스템들 간의 상호호환을 저해한다. 이를 해결하기 위하여 본 연구에서는 시맨틱스 기반의 트랜잭션 프로토콜을 제안한다. 시맨틱스 기반의 트랜잭션 프로토콜은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스(Operational Semantics)로 구성된다. 정적 시맨틱스는 프로토콜의 상태와 메시지를 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의한 모델로서, 트랜잭션 프로토콜에 대한 상호 이해도를 높일 수 있을 것으로 기대된다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)으로 정의한 모델로서, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 것으로 기대된다. 트랜잭션 프로토콜들간의 상호호환을 위하여 이러한 정적 시맨틱스와 동작 시맨틱스를 기반으로 하여 각 트랜잭션 프로토콜 및 중립 트랜잭션 프로토콜의 시맨틱스를 정의한다. 정의된 각 트랜잭션 프로토콜의 정적 시맨틱스는 중립 트랜잭션 프로토콜의 정적 시맨틱스와 온톨로지 기반의 매핑 관계를 형성한다. 중립 트랜잭션 프로토콜의 정적 시맨틱스를 매개로 한 온톨로지 매핑은 각 트랜잭션 프로토콜들 간의 상호호환을 지원할 것으로 기대된다.

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

이동에이전트 시스템의 상용화 시작과 더불어 이동에이전트 시스템에 대한 신뢰성 향상의 노력이 시작되었다. 이러한 노력에 부응하여 이동에이전트 시스템 XMAS에서는 신뢰성 향상을 위한 방법으로 트랜잭션 개념을 도입하고 있다. 트랜잭션 개념의 도입으로 이동에이전트 수행결과의 일관성 유지가 가능하여 데이터에 대한 신뢰성 향상을 기대할 수 있다. 이동에이전트는 기존 트랜잭션 모델과는 다른 다양한 특성을 갖는다. 따라서 이동에이전트가 하나의 트랜잭션으로 처리되기 위해서는 기존 트랜잭션 모델과는 다른 트랜잭션 처리방법이 고려되어야 한다. 본 논문에서는 기존 트랜잭션 모델에서 발견되지 않는 이동에이전트의 특성을 알아보고 이러한 특성들이 트랜잭션 모델과 트랜잭션 처리방법에 미치는 영향을 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.478-480
• /
• 2002

자바 스마트 카드에서의 트랜잭션 관리는 현재, 중첩된 트랜잭션 처리와 두개 이상의 동시적인 트랜잭션 처리를 고려하지 않고 있다. 그러나, 자바카드는 현재 카드상의 응용 애플릿의 멀티 셀렉션이 가능하고 멀티 통신 채널을 통한 다중 통신이 가능해졌다. 단일 트랜잭션만을 허용함으로 제약이 있었던 두개 이상의 애플릿에 걸친 트랜잭션 처리나 한 번의 통신으로 트랜잭션의 수명을 정하고 있었던 부분에서의 개선요구는 꾸준히 있어왔다. 동시에 처리할 수 있는 트랜잭션의 수를 늘리는 것은 카드에서 메모리와 처리능력을 꾸준히 높이고 있는 현 상황에서는 당연한 요구이다. 본 논의에서는 현재 ETRI에서 개발 중인 차세대 IC카드에의 멀티 트랜잭션 처리로 스마트카드에서의 기존 트랜잭션 처리를 확장해보고자 한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• pp.29-30
• /
• 2017

최근 Hardware Transaction Memory (HTM)으로 트랜잭션을 처리하는 기술이 각광을 받고 있다. 그러나 HTM의 처리 실패 요인 중 하나는 캐시를 사용하여 트랜잭션을 처리하여 용량에 제한이 존재한다. 이러한 이유로 long 트랜잭션의 경우 용량을 초과하여 처리가 불가능한 경우가 빈번히 발생한다. 이를 해결하기 위해 본 논문에서는 long 트랜잭션 처리를 위한 HTM 기반 트랜잭션 분할 기법을 제안한다. 제안하는 기법은 먼저 HTM 으로 수행하여 캐시 용량을 초과하는 경우, long 트랜잭션을 다수의 트랜잭션으로 분할한다. 분할된 트랜잭션이 수행이 완료되면, 부분 커밋(commit)을 수행하고 이에 대한 정확성을 제공하기 위해 validation을 수행한다. 분할된 모든 트랜잭션의 수행이 완료되면 최종적인 커밋을 수행한다. 이를 통하여 기존 HTM 으로 처리하기 불가능한 long 트랜잭션을 속도가 우수한 HTM을 기반으로 효율적인 트랜잭션 처리가 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.190-192
• /
• 2001

최근에 ACID를 특징으로 하는 기존의 전통적인 데이터베이스 트랜잭션 모델을 확장함으로서 데이터베이스 트랜잭션 모델의 응용분야를 다양하게 확대시키고자 하는 고급 트랜잭션 모델(Advance Transaction Models)들에 관한 많은 연구가 진행되고 있다. 본 논문에서는 다양한 유형의 트랜잭션들로 구성된 사무업무 프로세스(Business Process)의 처리를 자동화하는데 효과적으로 활용될 수 있는 새로운 유형의 고급 트랜잭션 모델로서 협조 트랜잭션 모델을 정의하고, 본 데이터베이스 협조 트랜잭션 모델에서의 에러 복구 자동화를 구현하기 위한 협조 트랜잭션 의존성 분석 메카니즘을 제안한다.

• Journal of KIISE:Databases
• /
• v.30 no.2
• /
• pp.184-196
• /
• 2003

Mobile transactions updating spatial objects are long transactions that can update independently local objects of mobile clients during disconnection. Validation based protocols that are well known to be appropriate for mobile transactions are required to abort a conflicted transaction in order to keep data consistent. Since abortion leads to cancel of all of tile updates, it is not desirable to use the abortion for resolving conflicts of mobile transactions. In this paper, we propose a reprocessing transaction model to resolve the update conflicts between mobile transactions without aborting them. We also design a mobile transaction server to support the reprocessing transaction and build a prototype of a mobile field system. The reprocessing transaction is a subtransaction of a newly committed mobile transaction and re-executes only conflicted objects with foreign conflicted objects. We also introduce a progressive reprocessing scheme to expose non-conflicted objects of the mobile transaction to other transactions in order to reduce starvation of reprocessing transactions.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.542-544
• /
• 2003

공유 디스크(Shared Disks: SD) 클러스터는 온라인 트랜잭션 처리를 위해 다수 개의 컴퓨터를 연동하는 방식으로, 각 노드들은 디스크 계층에서 데이타베이스를 공유한다. SD 클러스터에서 트랜잭션 라우팅은 사용자 트랜잭션이 요청될 경우 이를 실행할 노드를 결정하는 것을 의미한다. 이때, 동일한 클래스에 속하는 트랜잭션들을 가급적 동일한 노드에서 실행시킴으로써 캐쉬 무효화 오버헤드를 최소화할 수 있으며, 이러한 기법을 친화도 기반 트랜잭션 라우팅이라 한다. 한편, 트랜잭션 클래스의 발생빈도는 동적으로 변할 수 있으며, 특정 트랜잭션 클래스가 폭주할 경우 정적인 친화도 기반 트랜잭션 라우팅 정책만으로는 한계가 있다. 본 논문에서는 참조 지역성을 고려하여 동적인 트랜잭션 클래스의 부하를 SD 클러스터의 모든 노드들에 균등히 분배하는 동적 트랜잭션 라우팅 기법을 제안한다.

• The Journal of Society for e-Business Studies
• /
• v.11 no.2
• /
• pp.93-110
• /
• 2006

A Business Process Management System(BPMS) requires transaction management to guarantee reliability for transactions. Though several transaction protocols have been suggested for the transaction management, the difference of transaction protocols interrupts interoperability among transaction management systems. In this paper, a business process transaction based on semantics is suggested. It is defined based on the static semantics and the operational semantics. As the static semantics defines the ontologies for transaction states and transaction messages using Web Ontology Language(OWL), it solves the difference of expression for the concepts of transaction protocols. As the operational semantics defines state transitions of business process transactions using Abstract State Machine(ASM), it can guarantee formalism for transaction operations. The operational semantics refers to the state ontology and message ontology defined in the static semantics. This approach can enhance interoperability among various transaction protocols, increase the understandability for the transaction protocols, and support autonomous transaction execution and systematic transaction monitoring.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.222-226
• /
• 1999

이 기종의 다중 시스템 환경에서의 트랜잭션 처리는 전체 참여 노드의 성능을 최대로 이용하기 위해 효과적인 트랜잭션의 분배가 반드시 필요하다. 이를 위해 트랜잭션 처리에 의해 발생하는 다양한 부하들을 참조해야 한다. 본 논문에서는 효율적인 트랜잭션 분배를 위해 분산 로킹 정보인 주사본 권한(PCA) 정보를 이용한다. 주사본 권한 정보를 이용해 트랜잭션 처리 데이터의 참조 지역성을 극대화하고, 이를 통해 캐쉬 효과를 증가시킨다. 즉 각 노드에 저장된 데이터를 자신의 노드와 나머지모드에 분배해 캐싱하고 이를 이용해 디스크 접근을 최소화 한다. 트랜잭션 분배기는 전역적인 캐싱 정보를 관리하고 이를 이용해 전체 노드들이 평균적인 트랜잭션 처리율을 유지할 수 있도록 트랜잭션을 분배한다. 제안된 기법의 검증을 위해 트랜잭션 처리 시스템을 웹 기반 환경에서 시뮬레이션할 수 있도록 Simjava를 이용해 모델을 구상한다.