• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2021년도 추계학술발표대회
• /
• pp.334-336
• /
• 2021

허가형 블록체인 기반 데이터 공유 시스템은 분산 환경에서 신뢰 수준을 구축하고 일관된 메시지를 기록 및 공유함으로써 서비스의 상호 운용성을 가능하게 한다. 그러나 허가형 블록체인은 종종 탈중앙화, 보안 및 상호 운용성과 충돌한다. 이는 중앙 집중식 시스템으로 돌아가거나 데이터의 독점 및 남용 및 오용으로 이어질 수 있다. 따라서 CAP (Consistency, Availability, Partition tolerance)에 이론 검증에 따라 메시지 공유, 비잔틴 내결함성 및 메시지 일관성을 고려하고 적용해야 한다. 기존의 PBFT(Practical Byzantine Fault Tolerance) 합의 알고리즘는 노드의 증가시, 장애내성을 갖기위해 계산되어야 할 합의 처리시간이 증가하며, DPOS(Delegated Proof of Stake) 알고리즘은 보상, 리더 선출의 공정성 문제 등에 따라 허가형 블록체인에서의 적합한 방식이 연구되고 있다. 본 논문에서는 서비스의 상호 운용성과 과제에 대해 논의하고 허가된 블록체인의 합의 개선을 통한 데이터 공유 시스템을 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.869-882
• /
• 2004

본 논문에서는 정형방법론의 일관성 검사방법을 유스케이스 모델링에 적용함으로써 논리적으로 일관되고 구조화된 요구사항 모델을 생성할 수 있는 방안을 제안하였다. 제안된 방안을 통해 서로 중복되거나 충돌할 수 있는 다중 사용자관점의 부분적인 요구사항들을 구조화된 요구사항 모델로 통합할 수 있다. 요구사항 모델의 구조는 문맥목표와 관심영역의 중복구조를 통하여 분석되며, 요구사항의 모델의 일관성은 요구사항 통합의 수단으로 요구사항 명세의 중복관계에 기반한 일관성 검사방법을 사용함으로써 획득된다. 제시된 방법을 사례분석에 적용한 결과 제안된 방안이 요구사항의 중복관계 및 불일치를 도출할 수 있을 뿐만 아니라 다중 사용자관점의 부분적인 요구사항들을 일관성을 갖는 통합된 요구사항 모델로 전환함으로써 소프트웨어의 행위와 기능을 명확하게 규명할 수 있음을 보여 주었다. 제안된 방안을 통하여 개발 초기단계의 유스케이스 모델링에 있어서 요구사항 불일치 도출능력을 강화할 수 있으며, 고객만족을 위해 사용자와 개발자간의 의사소통을 촉진할 수 있다.

• 한국정보처리학회논문지
• /
• 제7권1호
• /
• pp.126-134
• /
• 2000

버전관리 시스템은 한 개의 문서에 대한 여러 인스턴스들 사이의 일관성을 유지하기 위하여 버전의 탐색, 충돌 인지, 병합기능 등을 제공하는 어플리케이션이다. 하지만 기존의 버전관리 시스템에서는 협동작업 환경하에서 요구되는 개인별 히스토리 관리 및 저장, 텍스트 객체를 포함한 다양한 문서 제작 행위 객체들 간의 충돌 인지 및 병합, 그레인 크기 및 협동작업자의 역할에 기반한 문서 접근관리 기능 등은 지원하지 못한다. 본 연구에서 제시된 AID 태그 기법은 유일주소 지정기법을 사용하여 협동작업 환경하에서의 다양한 행위 객체들간의 충돌 인지 및 버전 병합을 용이하게 하고, 접근권한 테이블과 역할부여 기능을 AID 태그와 연계함으로써 작업 참여자의 역할 및 그레인 크기에 따른 문서 접근관리가 가능하도록 하였다. 또한 AID 태그 기법은 버전정보의 저장 및 관리를 위해 소요되는 파일의 크기를 줄이는 효과를 가져다 준다.

• 한국인터넷방송통신학회논문지
• /
• 제14권4호
• /
• pp.91-99
• /
• 2014

멀티플레이어 온라인 게임을 위한 주요 구조는 전형적으로 클라이언트-서버, 멀티 서버, P2P(peer-to-peer) 구조 등이 있다. P2P 구조는 본질적인 분산과 협동 특성으로 인하여 구축 비용이 저렴하며 플레이어들 간에 직접 통신을 수행함으로써 빠른 응답시간과 높은 규모조정성을 가질 수 있다. 그러나 P2P 구조는 여러 가지 어려움이 존재한다. 플레이어들 간에 게임을 분산시키므로 제어 유지가 어렵고 특정 플레이어의 고의적인 부정행위에 취약해지는 경향도 있다. 또한 갱신과정의 충돌 현상이 여러 사이트에서 발생될 수 있기 때문에 P2P 시스템에서 일관성 제어를 제공하는 것도 더욱 어렵다. 비일관성을 회피 또는 정정하기 위하여 대부분의 멀티플레이어 게임은 객체에 대한 갱신이 주 사본에 먼저 수행되는 주 사본 기법을 사용한다. 본 논문은 멀티플레이어 온라인 게임을 위한 P2P 구조에서 각 객체에 대한 일관성을 제공하며 갱신 결과의 전송 메카니즘이 존재하는 주 사본 모델과 이에 대한 성능 분석 결과를 기술한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권2호
• /
• pp.184-196
• /
• 2003

공간 객체를 수정하는 모바일 트랜잭션은 단절 상태에서 지역 데이타를 독립적으로 수정할 수 있는 긴 트랜잭션이다. 모바일 트랜잭션의 수행에 적합하다고 알려진 검증 기반 프로토콜은 데이타 일관성을 유지하기 위하여 충돌된 트랜잭션을 철회시킨다. 그러나 긴 트랜잭션을 철회하면 모든 작업 결과를 취소해야 하기 때문에 철회 방법은 모바일 트랜잭션 수행에 적합하지 않다. 이 논문에서는 충돌된 모바일 트랜잭션을 철회하지 않고 충돌을 해소하기 위하여 재수행 트랜잭션 모델을 제안한다. 그리고 재수행 트랜잭션을 지원하는 트랜잭션 서버를 설계하고 모바일 현장 시스템의 프로토타입을 구현하였다. 재수행 트랜잭션은 외래 충돌 객체를 이용하여 충돌 객체만을 재수정 하는 트랜잭션으로 완료를 요청한 트랜잭션의 충돌에 의해 시작되는 서브 트랜잭션이다. 그리고 재수행 트랜잭션의 기아 문제를 줄이기 위하여 쓰기 집합의 객체들 중 비충돌 객체는 다른 트랜잭션에게 노출시키는 점진적 재수 행 기법을 제시한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권4호
• /
• pp.422-431
• /
• 2004

최근에 이동 컴퓨팅 환경에서 여러 데이타 전송 모델이 연구되고 있다. 특히 서버가 반복적으로 필요한 정보를 전파해주는 주기적 푸시 모델에 대한 연구가 활발히 진행되고 있다. 그러나 데이타 평균 대기 시간은 브로드캐스트 한 주기의 길이에 상당히 영향을 받으며, 또한 여러 사용자들간의 접근 데이타가 차이가 날 경우 응답시간에 상당히 나빠질 수 있다. 이 경우, 그 사용자들은 차라리 서버에게 명시적으로 데이타를 요청하기를 바랄 것이다. 이러한 두 가지 접근방식을 모두 지원하는 것을 복합 브로드캐스트라고 한다. 이 환경에서, 본 논문에서는 새로운 이동 트랜잭션 처리 알고리즘(O-PreH)을 개발하였다. 우선 서버가 관리하는 데이타는 주기적 브로드캐스트 방식으로 처리되는 Push_Data와 요구-처리방식으로 처리되는 Pull_Data로 나뉘어 진다. 즉, 사용자는 요구하는 데이타의 타입에 따라 접근하는 방식이 차이가 난다. 또한 서버는 이동 트랜잭션 일관성 유지를 돕기 위해 주기적으로 무효화 보고를 전송해준다. 만약 사용자가 무효화 보고에 의해 하나 이상의 충돌을 발견한다면, 일관성을 침해하지 않는 범위 내에서 그 충돌 순서를 결정한 후(pre-reordering) 나머지 연산들을 비관적으로 수행시킨다. 자세한 실험 과정을 거쳐 제안한 알고리즘의 성능 향상을 보였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권2호
• /
• pp.197-208
• /
• 2003

데이타를 공유하며 협력적인 공동 작업을 필요로 하는 기업들간의 중요한 일을 수행하는 업무 연계와 같은 분야에서는 네트워크 인프라의 부족과 기업간의 정보 교환을 위한 표준의 부재, 서로 다른 업무들이 데이타베이스 관리 시스템에 전근하여 공유 데이타를 충돌 모드로 이용하는 경우의 데이터 일관성 유지 문제 등 많은 제약 요소에 의해 워크플로우를 적용하지 못하고 있다. 특히, 공유 데이타를 사용하고 있는 상황에서 발생될 누 있는 문제틀에 대해서는 언급되어지지 않고 있다. 논문에서는 업무 연계 관점에서 나타나는 공유 데이타를 사용하며 병행 수행되는 협력 트랜잭셔널 워크플로우들 사이에서 임의의 워크플로우와 나른 워크플로우들의 단계들 사이에서 발생될 수 있는 철회 종속성을 하나의 워크플로우에서의 암시적 철회 종속성, 협력 워크플로우 사이에서의 암시적 철회 종속성, 협력 워크플로우 사이에서의 명시적 철회 종속성 이렇게 세 가지로 분류하고, 데이타 일관성을 고려한 세 가지 철회 종속성을 워크플로우 스키마에 명시적으로 표현하는 자동 생성 알고리즘을 제안한다. 알고리즘을 실행하여 생성된 워크플로우 스키마는 데이타 공유와 관련하여 발생되는 런타임 철회 종속성을 데이터 일관성을 유지하며 런타임에 해결할 수 있도록 함으로써 워크플로우의 정확성을 향상시키게 된다.

• 한국정보과학회논문지:정보통신
• /
• 제28권2호
• /
• pp.217-228
• /
• 2001

무선 통신 기술 및 이동 컴퓨터의 성능의 발전함에 따라 이동 컴퓨팅 환경을 단순한 단말기로 사용하기 보다는 독립된 수행 단위로 이용하려는 연구가 활발히 진행되고 있다. 즉 모든 작업을 서버에게 보내어 결과를 기다리는 대신 이동 컴퓨터에서 직접수행할 수 있는 알고리즘이 개발되고 있다. 본 논문에서는 이동 컴퓨터에서의 트랜잭션 수행 알고리즘을 제안한다. 우리는 낙관적인 기법을 채택하였는데 이기법은 (a) 동기화에 필요한 메시지를 적게 필요로 하며 (b) 브로드캐스트 기법의 장점을 얻을수 있다. 브로드캐스트 기법은 최근 많은 수의 클라이언트에게 정보를 전송할 수 있는 수단으로써 많이 연구되고 있다. 그러나 접근하는 데이터간에 충돌이 빈번하게 발생한다면 낙관적 기법은 결국 높은 철회율을 보이게 되며 이는 다시 이동 컴퓨터 자원으로 효율적으로 사용하려는 목적과 반대 결과가 된다. 본 논문에서는 이러한 높은 철회율을 감소시키기 위해 재순서화 개념을 도입하였다. 즉 충돌이 발견될 경우 데이터의 일관성을 침해하지 않는 범위내에서 충돌 순서를 결정하도록 하는 것이다. 특히 읽기-쓰기 트랜잭션에 대해서는 후위-재순서화 개념을 읽기-전용 트랜잭션에 대해서는 전위-재순화 개념(O-Pre)을 제안하였으며 실험에 의하여 성능 향상을 보였다.

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.473-482
• /
• 2001

이질형 통합 데이타베이스 시스템은 비정형 데이타를 비롯하여 관계형 데이타베이스 시스템의 정형 데이타에 이르기까지, 지역적으로 여러곳에 산재해 있는 유용한 정보를 통합하여 일관된 인터페이스를 통한 접근을 제공하는 통합 데이타베이스 시스템이다. 통합된 데이타 자원들은 서로 다른 질의 처리 능력을 제공할 뿐 아니라, 지역 자치성(local autonomy)요구사항 때문에 전역적 트랜잭션 처리를 위한 지역 시스템의 상호 협조 운영이 불가능하여, 전역적 직렬성(global serializability)을 만족하는 전역 트랜잭션 관리기의 설계가 없다. 본 논문에서는 이질형 통합 데이타베이스 시스템의 전역 트랜잭션 관리 문제점 중에서 가장 잘 알려진 간접충돌의 문제를 해결하기 위해, 전역 무결성 제약사항의 특징을 이용한 전역 트랜잭션 모델을 정의한다. 전역 트랜잭션 모델을 기반으로 지역-로킹 연산과 이에 다른 프로토콜을 제안하고, 제안된 프로토콜이 전역 트랜잭션을 보장함을 증명한다. 또한 본 논문에서 제안된 지역 -로킹 병행수행 제어 방법은 보다 현실적인 간접충돌의 범위를 정의함으로써, 기존의 제안된 방법보다 높은 병행성 정도(concurrency degree)를 보장함을 지역 접근에 대한 경쟁률 분석을 통해 살펴본다.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권4호
• /
• pp.596-603
• /
• 2000

낙관적 기법은 실시간 데이터베이스 시스템을 위한 동시성 제어로서 적합하다. 특히, 종료시 한을 초과한 트랜잭션이 시스템으로부터 제거되는 펌 실시간 데이터베이스 시스템에서 낙관 적 기법은 잠금 기법보다 우수한 성능을 보인다. 그러나 낙관적 기법은 낭비적 수행과 과도 한 재시작의 문제를 안고 있다. 종료에 가까운 트랜잭션의 재시작은 시스템 자원의 낭비는 물론 종료시한 초과 가능성을 높인다. 발생되는 재시작의 수를 줄이기 위해서 충돌하는 트 랜잭션들간의 직렬화 순서를 동적으로 저장하는 방법이 이용되었다. 그러나 직렬화 순서의 동적 조정 기법을 이용함에도 불구하고 불필요한 재시작이 발생된다. 본 논문에서는 기존의 타임스탬프 기반 동시성 제어에서 이용되던 Thomas 기록 규칙을 이용하여 이러한 불필요 한 재시작을 제거한 개선된 실시간 낙관적 동시성 제어 기법을 제한한다. 제안된 방법은 요 구되는 데이터베이스 일관성을 보장하면서도 발생되는 재시작 수를 줄임으로써 성능을 향상 시킨다.