• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.436-438
• /
• 2004

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.133-135
• /
• 1998

분산 공유메모리 시스템(DSM)의 성능 향상을 위해 일관성 모델의 측면에서 많은여구가 진행되었다. 분산 공유메모리 시스템의 성능을 저하시키는 가장 큰 요인은 거짓 공유 문제와 별도의 통신비용 문제를 들 수 있는데 , 동기화 연산에 의한 일관성 유지 방법, 흠-기반 접근방법 등의 보다 완화된 메모리 모델로서, 이러한 문제점을 해결하려는 연구가 진행되어 왔고, 어느 정도 타당한 결과를 보았다. 본 논문에서는 동기화 연산에 의한 일관성 모델을 기초로 동적 흠-기반 접근 방법을 제안하며, 이것은 흠에서의 이점 및 부하를 여러 프로세서에게 분산시켜 시스템 전반의 성능 향상을 가져온다.

• 한국정보과학회논문지:시스템및이론
• /
• 제33권8호
• /
• pp.536-546
• /
• 2006

회화적 애니메이션은 비디오 동영상을 이용하여 손으로 그린 듯 한 회화적 느낌을 표현하는 방법이며 프레임 간 브러시 스트로크의 시간적 일관성을 유지하는 것이 가장 중요한 요소이다. 본 논문에서는 프레임 간 브러시 스트로크의 일관성을 유지하기 위한 모션 맵 생성을 제안한다. 모션 맵이란 모션이 발생한 에지 위치를 기준으로 해서 모션 정보를 더함으로써 프레임 간 에지가 움직이는 영역을 말한다. 본 논문에서 사용한 모션 추정 방법은 광류 (optical flow) 방법과 블록 기반 방법을 이용하였으며 여러 가지 모션 추정 방법을 통해서 얻은 모션 정보 ( 방향과 크기 ) 중 신호 대 잡음비 (PSNR)가 가장 큰 방법을 최종 모션 정보로 선택하여 모션 맵을 생성하였다. 생성된 모션 맵은 다음 프레임의 덧칠 부분을 결정해 준다. 손으로 그린 듯 한 회화적 느낌을 표현하면서도 프레임 간 브러시 스트로크의 시간적 일관성을 유지하기 위해서 브러시 스트로크의 방향을 결정해주는 강한 에지에 대해서만 모션 정보를 적용하였다. 또한 다중노출기법과 소스 영상과 캔버스간의 차이 맵을 이용하여 프레임 간 플릭커링 현상을 줄이고자 하였다. 구조적 일관성을 유지하기 위해 국부 기울기 보간법 (local gradient interpolation)을 이용하여 브러시 스트로크 간 방향의 일관성을 유지하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.133-135
• /
• 2000

분산 공유 메모리 상에서 클라이언트들은 네트워크를 통해 원격 공유 메모리 상으로 접근하게 된다. 접근 시에 클라이언트들은 접근 정보를 자신의 지역 캐쉬에 저장해 두었다가 필요시에 인출해서 사용한다. 그러나 시간이 경과함에 따라 다른 클라이언트들에 의해서 데이터 갱신이 이루어질 수 있다. 이에 본 논문에서는 원격 데이터 정보를 객체로 설정하여 이 객체를 관리하여 분산 공유 메모리 상에서 데이터 일관성을 유지하고자 한다. 객체 중복을 통해서 분산 객체 시스템을 구성하였을 때 기존의 중복 기법에서 사용하는 일관성 비용 이외에 별도의 추가 비용이 없이도 제한적으로 병렬 수행의 효과를 볼 수 있다. 또한 중복 기법에 있어서 가장 큰 오버헤드로 알려진 일관성 유지비용을 최소화시키기 위하여 이 비용을 결정하는 가장 핵심저인 요소인 객체의 복사본의 수를 동시적으로 변화시키면서 관리함으로써 전체 수행 시간의 측면에서 많은 향상을 가져왔다.

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

최근 모바일 기기의 발달로 모바일 환경에서도 예약 서비스를 이용할 수 있다. 모바일 예약 시스템은 서버와 사용자간에 예약 정보 데이터를 일관성 있게 유지하여 사용자에게 실시간 예약 현황을 제공해야 한다. 현재 모바일 예약 시스템은 어플리케이션을 기반으로 서비스를 제공하고 있고, 웹 서비스와 같이 요청 대 응답 방식으로만 데이터를 처리하기 때문에 사용자가 요청하지 않으면 변화된 데이터를 알 수 없다는 문제점이 있다. 이는 데이터 일관성의 문제로 연결되어 사용자에게 실시간으로 예약 현황을 제공하지 못하게 된다. 이러한 문제점을 해결하기 위해 본 논문에서는 모바일 예약 시스템에서 스트리밍 방식을 개선한 Push를 통해 데이터 일관성을 유지하는 동기화 메커니즘을 제안한다.

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

클라이언트-서버(Client-Server) 데이터베이스 환경에서 병목현상의 해결책으로 클라이언트캐시(Client cache)를 사용할 수 있다. 여러 클라이언트들이 같은 데이터베이스의 일부를 캐시한 복사본을 사용할 때, 다른 클라이언트들과 서버간에 일관성 유지를 보장해주어야 한다. 캐시의 일관성을 유지하기 위한 여러 가지 알고리즘들이 제안되어왔다. 그 중에서 O2PL(Optimistic Two Phase Locking) 기법은 동시성을 증가시킬 수 있는 주요 장점이 있다. 그러나 O2PL 알고리즘은 트랜잭션이 완료(commit) 연산을 요구하는 시점에서 접근한 캐시데이터의 일관성을 위한 작업이 시작되므로 최종적인 완료까지는 지연이 발생하게된다. 이때 다른 클라이언트에서 잠금 충돌(lock conflict)에 의해 전역 교착상태(global deadlock)가 발생한다면 블락(block)되어 지연되는 시간은 더욱 증가하게된다. 본 논문에서는 향상된 O2PL 기법으로 PN(Preemption by Notification)-O2PL 기법을 제안한다. 이 접근에서는 O2PL의 특성으로 얻을 수 있는 연산정보를 관련된 다른 트랜잭션에게 통지(notification)로 사용하고 제시한 조건에 해당할 경우 상대 자원을 바로 사용할 수 있게 한다. 이 조건은 대부분의 전역 교착 상태에 해당하는 두 트랜잭션간의 교착상태를 조기에 신속히 감지할 수 있게 하여 트랜잭션 완료의 지연을 감소시키게 한다. PN-O2PL 알고리즘이 기존의 O2PL기법보다 빠른 응답시간을 얻을 수 있음을 모의 실험을 통하여 보인다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1694-1705
• /
• 1997

미래의 이동 컴퓨팅 환경에서는 휴대 가능한 랩탑 등의 이동호스트가 무선 통신 채널을 통하여 데이타베이스에 접근하는 것이 일반화될 것이다. 이동호스트는 무선 통신의 낮은 대역폭으로 인한 문제를 해결하기 위하여 자주 사용하는 데이타를 캐쉬하며, 캐쉬 데이타의 정확성을 위항 캐쉬 일관성을 유지하여야 한다. 캐쉬 일관성은 이동호스트의 무제한적인 이동과 이동호스트 지원 서버와의 빈번한 통신 단절로 인하여 위배될 수 있다. 따라서 이동호스트를 효율적으로 지원하는 캐쉬 일관성 유지 정책이 요구된다. 본 논문에서는 2단계 완료 프로토콜을 지원하는 중복 데이타베이스의 이동 컴퓨팅 환경에서 갱신가능 메시지를 이용한 정책을 제안한다. 이 정책은 이동호스트가 다른 셀로 이동할 때 캐쉬 일관성이 위배되는 문제를 해결하기 위하여 갱신가능 메시지를 사용한다. 갱신가능 메시지의 이용은 수신하지 못한 무효화 메시지의 갱신 데이타만을 찾아 다시 캐쉬하도록 지원한다. 결과적으로 제안된 정책은 임의의 데이타 변경만으로 모든 캐쉬 데이타의 제거없이 캐쉬 일관성을 유지하기 때문에 대역폭을 효율적으로 사용하는 장점을 지닌다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.112-117
• /
• 1998

CERN에서 1992년 웹이 발표된 이후 기업내 정보 환경에 많은 변화중 가장 두드러진 부분이 인트라넷/익스트라넷 환경으로 대표되는 기업내 정보시스템이다. 이 환경을 통하여 수많은 사용자에게 내부의 정보를 지역과 클라이언트에 관계없이 제공하고 있으므로 기업내 데이터베이스를 연동하는 것이 중요한 비중을 차지했다. 그러나 과거의 기술로는 데이터베이스 연동시 상태정보를 지속적으로 유지할 수 없었고, 이로 인해 웹을 통한 서버와 다수의 클라이언트의 공동 작업 수행시 데이터에 대한 일관성 관리할 수 없었다. 본 논문에서는 새로운 웹과 데이터베이스의 연동을 사용하여 지속적인 상태유지를 가능하게 하고 여기에서 발생하는 공유데이터에 대한 일관성 유지를 기존 낙관적 병행제어 알고리즘인 후진(Backward) 및 전지(Foreword) 방법 대신 실시간 공유데이터의 공동작업에 적합한 점증적 갱신 알고리즘을 제안한다. 이 방법은 검증단계에서 충돌연산으로 인한 재시작을 줄이며, 사전에 불필요한 재시작을 방지하는 방법으로 자료갱신시 다른 클라이언트들에게 변경을 통보하며, 무효화 작업을 각 클라이언트에서 수행함으로써 서버의 부하를 줄일 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.621-623
• /
• 2000

대규모 분산 공유메모리 다중처리기는 공유메모리 접근 지연시간이 크다는 약점을 지니고 있다. 이러한 다중처리기에서 모든 메모리 요청이 홈노드를 통해 이루어지는 디렉토리 기반의 캐쉬 일관성 유지 기법의 사용은 메모리 접근 지연시간을 더욱 크게하는 요인으로 작용한다. 뿐만 아니라 메모리 접근 지연시간은 시스템의 규모가 커질수록 전체 성능에 중요한 요소로 작용하므로, 대규모 시스템에서 이를 줄이기 위해서 많은 연구들이 있었다, 본 논문에서는 메모리 읽기 지연시간을 줄이는 새로운 캐쉬 일관성 유지 기법을 제안한다. 제안된 기법은 적응적 메모리 갱신을 이용하여 구현되었다. 적응적 메모리갱신은 홈노드의 메모리를 미리 갱신함으로써 읽기 접근 지연시간을 줄이는 방법이다. 이를 위해서 홈노드는 메모리 접근 유형을 분석해야 한다. 대부분의 공유메모리 접근은 일정한 유형을 지니므로 이를 토대로한 홈노드의 갱신은 높은 적중률을 보인다. 제안된 프로토콜의 성능을 측정하기 위하여 모의실험을 하였다. 모의실험 결과는 제안된 프로토콜에서 읽기 지연시간과 실행시간이 감소하는 것을 나타낸다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.244-247
• /
• 2000

이동 통신 기술의 발전으로, 이동컴퓨팅 환경에서의 데이타 서비스에 대한 수요가 증가하고 있다. 이동 호스트 내에 캐쉬가 존재할 경우, 대역폭의 절약 및 빠른 응답시간을 제공할 수 있지만, 캐쉬 일관성을 유지해야하는 부담이 생긴다. 한 셀 내에 존재하는 수 많은 이동 호스트들의 캐쉬 일관성 유지를 위해서 서버(MSS)가 캐쉬 무효화 보고를 일정시간마다 주기적으로 방송하는 방법은 효과적일 수 있다. 기존에 제시된 무효화 보고에서는 갱신된 데이타의 식별자가 사용되지만, 좀 더 적은 양의 대역폭을 소모하는 효율적인 무효화 보고가 되기 위해서는 데이타들을 그룹핑할 수 있는 방안이 연구되어야 한다. 본 논문에서는 서버의 데이타베이스를 데이타의 식별자 값을 기준으로 여러 구역으로 나누었을 때, 데이타의 갱신이 데이타베이스 내 인근 구역에서 많이 발생할 경우, 이진 트리를 기반으로 하여 효율적인 무효화 보고를 생성하는 방법을 제안하고 그 성능을 평가한다.