• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.116-118
• /
• 2000

생성 규칙은 지식 기반 시스템의 지식표현 기법 중 가장 많이 사용되고 많은 장점을 갖고 있음에도 불구하고 지식의 일관성 유지가 어렵다는 단점을 가지고 있다. 그런데 지식의 일관성이 추론 결과의 신뢰도에 직결된다는 점에서 지식의 일관성을 유지할 수 있는 시스템이 필수적이다. 따라서 본 논문에서는 새로 첨가될 지식이 기준 지식과 일관성이 유지될 경우에만 지식을 첨가하는 일관성 유지시스템과 지식베이스는 물론 데이터 베이스 내의 선언적 지식과 절차적 지식 등 다양한 지식을 호출할 수 있는 기능을 갖춘 지식 기반 시스템을 구축하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1635-1638
• /
• 2003

이질적인 데이터베이스간의 중복 데이터 일관성을 유지문제를 해결함으로써 기존의 디스크 기반 범용 데이터베이스를 사용하는 시스템의 방대한 데이터들을 주기억장치 상주형 데이터베이스에 중복 저장함으로써 디스크 I/O 와 관련된 지연 시간 없이 빠른 성능 향상을 기대할 수 있으므로 네트워크상의 불특정 다수의 서비스 형태에 빠른 응답 시간과 처리 시간을 제공 할 수 있다. 본 본문에서 제시하는 중복 데이터 일관성 유지 기법은 디스크 기반 범용 데이터베이스의 REDO LOG를 참조하여 갱신트랜잭션에 관한 로그를 주기억 상주형 데이터베이스에 적용하도록 설계하고 두 데이터베이스간의 일관성 유지를 위해 수행되는 기능들이 성능 향상을 위한 목적을 위배하지 않으면서 이질적인 데이터베이스간의 일관성을 보장하도록 한다. 또한 두 데이터베이스의 성능 차이로 인해 발생할 수 있는 문제점들을 해결하고, 시스템 붕괴 시를 고려하여 유지되지 못한 데이터 일관성에 대해서도 복구 후에 일관성 유지를 가능케 하는 기법을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.142-144
• /
• 2001

준 캐시(quasi cache)는 데이타 캐시 방법의 일종으로 엄격한 일관성이 아닌 약한 형태의 일관성을 적용함으로써 캐시 일관성 유지 비용을 줄이는 방법이다. 그러나 준 캐시 또한 갱신이 빈번한 환경에서는 기존 캐시와 같이 일관성 유지를 위한 통신 비용이 커질 수 있다. 이 논문에서는 준 캐시의 기본 모델을 살펴보고, 기본 모델에 적응적인 기법을 적용한 모델을 제시한다. 또한 실험을 통해 갱신이 빈번한 환경에서는 적응적 모델이 기본 모델보다 더 작은 통신 비용으로 캐시 일관성을 유지할 수 있음을 보인다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.8
• /
• pp.768-772
• /
• 2008

Today's microprocessor normally includes several processing cores to reduce the energy consumption without losing performance. In this paper, data transfer ordering mechanism can be efficiently used for cache coherence solution in unidirectional ring interconnect. RING-DATA ORDER combines the simplicity of GREEDY-ORDER and the performance of RING-ORDER. RING-DATA ORDER can be easily applicable to multicore processor with unidirectional ring interconnect.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.10a
• /
• pp.161-165
• /
• 1998

다중 프로세서 구조로 실시간 분산 처리를 하는 전전자 교환기 시스템은 그 특성상 2개 이상의 프로세서에 동일한 값을 유지하는 중복 데이터의 사용이 필수적이다. 시스템의 자원 정보, 번호 번역 정보, 과금 정보 등이 중복 데이터로 사용된다. 이러한 중복 데이터에 대한 변경은 불일치 상태를 회피하기 위해 그 처리에 많은 비용과 제한이 따른다. 과도한 시그널 전송 및 로그 저장, 재전송 알고리즘은 데이터베이스 시스템의 성능을 저하시키고 때때로 순간적인 마비 상태까지도 유발할 수 있다. 본 논문에서는 기존 일관성 방안의 문제점을 분석하고 단일-버스 다중-프로세서 시스템에서 각각의 캐쉬들간의 일관성 유지를 위한 write-through 캐쉬 일관성 프로토콜을 사용하여 저 비용이며 효율적인 중복 데이터 일관성 유지 방안을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.329-332
• /
• 2000

지식기반시스템에서 지식의 일관성을 유지하는 것은 신뢰성 있는 추론 결과를 위해서 필수적인 요소이다. 추론은 지식을 기반으로 행해지기 때문이다. 따라서 본 논문에서는 새로운 지식이 지식베이스에 첨가되기 전에 기존의 지식베이스의 지식들과 첨가될 지식과의 일관성 여부를 검사한 후 일관성이 유지될 때만 지식이 첨가되는 시스템을 구축하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.181-183
• /
• 2002

최근 이동 컴퓨터(Mobile Computing)환경에서의 잦은 접속 단절로 인한 클라이언트 캐시 일관성(Consistency) 문제를 해결하기 위한 방법으로 클라이언트 캐시 유지에 대한 연구가 진행되고 있다. 이러한 캐시 유지 방법의 한 분야로서 캐시 데이터의 일관성 문제를 해결하기 위한 무효화 보고(Invalidation Report, IR)에 대한 연구가 진행 중이다. 그러나 기존의 무효화보고는 시간 의존적인 정보로써 전송되기 이전 일정 시간동안의 서버 업데이트 정보만을 포함한다. 따라서 서버의업데이트 정도와 무관하게 일정 시간 이상의 클라이언트 접속 단절에 대하여 클라이언트의 캐시 일관성을 유지하지 못한다. 따라서 본 논문에서는 시간 의존적 정보를 가지는 무효화 보고와 서버의 업데이트 정도에 따른 무효화 보고를 함께 사용하여 클라이어트의 접속 단절 시간과는 무관하게 서버의 업데이트 정도에 따라 캐시 일관성을 유지할 수 있는 효율적인 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.111-113
• /
• 1999

대부분의 전자 상거래 시스템에서는 구매자에게 지불의 편의를 제공하기 위하여 구매한 상품에 대한 가상의 상품 목록인 장바구니 기능을 제공한다. 그러나 사이버 예약 시스템이나 한정된 상품을 판매하는 전자 상거래 시스템의 경우에는 구매자의 장바구니에 유지되는 상품 수량과 데이터베이스의 상품 정보와의 일관성을 유지할 필요가 있다. 따라서 본 논문에서는 장바구니를 이용하는 전자 상거래 시스템에서 세션 식별자와 에이전트를 이용하여 장바구니에 유지되는 구매자의 상태 정보와 데이터베이스의 일관성을 유지할 수 있는 에이전트 시스템을 설계 및 구현한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.233-236
• /
• 2007

소프트웨어 아키텍처는 다양한 이해관계자들의 관점을 반영한 뷰들로 구성된다. 품질속성은 아키텍처의 구조를 결정하므로 아키텍처에 일관성 있게 반영될 수 있도록 설계되어야 한다. 품질속성 기반 아키텍처 설계 방법과 아키텍처 설계 산출물에서의 일관성을 위한 활동을 규정한 표준에도 불구하고 설계 과정에서 이를 실현하기 위한 구체적인 기법에 대한 제시가 없었다. 따라서 실제 설계 과정에서는 아키텍처 뷰들 간에 불일치 요소가 발생하며 특히 품질속성에 대한 일관성이 깨짐으로 재작업 발생과 시스템 품질 저하의 문제점이 나타나고 있다. 본 논문에서는 뷰 설계 산출물에 품질속성을 명시하고 뷰 품질속성 테이블을 활용함으로 아키텍처 설계에서 품질속성에 대한 일관성을 유지할 수 있는 기법을 제시한다. 제시된 기법은 품질속성에 대한 일관성을 유지함으로서 불일치성으로 인한 재작업 방지와 고품질의 소프트웨어 시스템 개발을 가능하게 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.50-51
• /
• 2014

최근 기존 스토리지의 물리적 한계를 극복하기 위해 차세대 스토리지로 불리는 스토리지 클래스 메모리(SCM)의 연구 및 개발이 활발히 진행되고 있다. 이러한 SCM의 장점을 활용하기 위한 SCM 전용파일 시스템 또한 많은 연구가 되고 있다. 하지만, 현재까지 연구되어온 SCM 전용 파일 시스템은 빠른 속도에만 중점을 두어 부분적인 일관성 지원 또는 특정한 환경에서의 시스템 성능 저하 등의 문제요인이 있다. 본 논문에서는 SCM과 SCM 전용 파일 시스템을 알아보고 일관성 유지 기법의 비교 및 분석을 통하여 현재까지 연구된 일관성 유지 기법의 문제점을 파악하고 SCM에 최적화된 새로운 일관성 유지 기법의 방향을 모색한다.