• Journal of the Korea Society of Computer and Information
• /
• v.9 no.2
• /
• pp.33-40
• /
• 2004

According as client/server is generalized by development of computer performance and information communication technology, Servers uses local cache for extensibility and early response time, and reduction of limited bandwidth. Consistency of cached data need between server and client this time and much technique are proposed according to this. This Paper improved update frequency cache consistency in old. Existent consistency techniques is disadvantage that response time is late because synchronous declaration or abort step increases because delaying write intention declaration. Techniques that is proposed in this paper did to perform referring update time about object that page request or when complete update operation happens to solve these problem. Therefore, have advantage that response is fast because could run write intention declaration or update by sel_mode electively asynchronously when update operation consists and abort step decreases and clearer selection.

• The Journal of the Korea Contents Association
• /
• v.4 no.3
• /
• pp.71-80
• /
• 2004

In distributed file-systems, cooperative caching algorithm which owns the data cached at each node jointly is used to reduce an expense of disk access. Cooperative caching algorithm is the method that increases a cache hit-ratio and decrease a disk access as it holds the cache information of distributed systems in common and makes cache larger virtually. Recently, several cooperative caching algorithms decrease the message costs by using approximate information of the cache and increase the cache hit-ratio by using local and global cache fields dynamically. And they have an advantage that increases the whole field hit-ratio by sending a replaced buffer to the idle node on buffers replacement in order to maintain the replaced cache in the cache field. However the wrong approximate information deteriorates the performance, the consistency maintenance goes to great expense to exchange messages and the cost that manages Age-information of each node to choose the idle node increases. In this thesis, we propose a cooperative cache algorithm that maintains correct cache information, minimizes the maintenance cost for consistency and the management cost for buffer Age-information. Also, we show the superiority of our algorithm through the performance evaluation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.40-42
• /
• 2002

캐쉬 일관성 유지 프로토콜은 공유 메모리 다중 프로세서 시스템의 정확하고 효율적인 작동에 중요하다. 시스템이 점점 복잡해짐에 따라 시뮬레이션 방법만으로는 프로토콜의 정확성을 확인하기는 어렵다. 본 논문에서는 CC-NUMA용 디렉토리 기반 캐쉬 일관성 프로토콜인 RACE 프로토콜을 정형기법 도구인 ESTEREL을 이용하여 프로토콜이 안정적으로 동작함을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.700-702
• /
• 2001

현재 이동 컴퓨팅 환경의 여러 제약조건을 고려한 클라이언트 캐시에 대한 다양한 연구가 진행되고 있다. 최근에는 캐시 데이터의 일관성 검사를 위하여 서버의 주기적인 무효화보고(Invalidation Report, IR) 기법을 이용한 연구가 활발하게 진행되고 있다. 즉 서버로부터 전송되는 이전 일정 주기($\omega$)동안 수정된 데이터 항목에 대한 정보를 이용하여, 클라이언트는 자신의 캐시 데이터의 일관성을 검사한다. 하지만 클라이언트가 오랜 접속 단절이 발생할 경우 모든 캐시 데이터를 버려야 하므로, 이 경우 성능에 큰 장점을 얻을 수 없게 된다. 이에 본 논문에서는 이동 컴퓨팅 환경에서 빈번한 접속 단절로 인하여 오랫동안 무효화 보고를 받지 못하더라도 유효한 캐시 데이터를 최대한 유지시킬 수 있는 기법들을 제안한다. 먼저 클라이언트가 접속 단절 후 첫 재접속이 되었을 경우, 자신의 이전 접속 단절 시간을 전송하도록 하여 서버가 동적으로 IR에 포함될 이전 일정 주기를 결정하도록 하였다. 이에 반하여 두 번째 기법에서는 서버가 특정 기간 동안의 IR을 저장하도록 하여, 오랜 접속단절 후에도 클라이언트가 직접 캐쉬 데이터의 일관성 검사를 요청할 수 있도록 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.425-428
• /
• 2004

고품질의 소프트웨어 시스템을 개발하기 위해서 소프트웨어 테스트는 중요하다. 소프트웨어 개발 시에 발견되는 심각한 결함과 오류들은 소프트웨어 시스템이 사용자의 요구사항을 정확히 충족시키지 못하는데 원인이 있다. 테스트 수행 시에 요구사항을 정확히 반영하지 못한다면 반드시 테스트되어야 할 조건들이 누락될 수 있고 테스트의 성취도는 감소한다. 따라서 모든 소프트웨어 테스트는 사용자의 요구사항을 추적할 수 있어야 한다. 이를 위해 본 논문에서는 객체지향 접근방법을 사용하여 사용자의 요구사항을 테스트에 반영하고 추적하기 위한 일관성 유지 기법을 제안한다. 이를 기반으로 요구사항을 만족하는 일관성 있는 테스트케이스를 생성한다.

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

클라이언트/서버 환경에서 서버의 공간 데이터를 검색, 접근하기 위한 공간 질의는 대용량의 공간 객체에 대해 복잡한 공간 연산을 수행한다. 그러므로 클라이언트가 자주 이용하는 공간 질의를 매번 서버에서 처리하는 경우에 서버의 부하가 증가하며 질의 응답시간도 길어지게 된다. 따라서 이러한 공간 질의를 뷰로 정의하고 클라이언트에 실체화하면 질의를 효율적으로 처리할 수 있다. 이 경우에 공간뷰를 유도한 서버의 소스 객체의 변경에 따라 클라이언트의 실체화된 뷰 객체의 일관성을 유지해야 한다. 본 논문에서는 클라이언트/서버 환경에서 공간뷰 개념을 확장한 클라이언트 공간뷰를 정의하고 일관성 유지를 위한 알고리즘을 제시한다. 그리고 상용 지리정보시스템인 고딕에서 클라이언트 공간뷰 시스템을 설계 및 구현한다. 마지막으로 질의 재수행과 본 논문에서 제시한 클라이언트 공간뷰의 성능을 실제 데이터를 이용하여 비교 평가한다.

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

웹 캐슁은 캐쉬 액새스턱 통해 웹 서버와 네트워크의 부하를 감소시켜 웹 응용을 가속화하는 중요한 기술이다. 전통적인 데이타 캐슁과 마찬가지로, 웹 캐슁은 캐쉬 일관성 유지라는 문제를 안고 있다. 그러나, 기존의 캐슁과는 달리 웹 캐슁에서는 웹 서버 데이타 갱신을 지연하여 반영하는 약 일관성이 허용된다. 이러한 조건은 TTL(time-to-live, 캐쉬 서버가 캐쉬된 데이타 아이템이 유효하다고 기대하는 시간)이 일관성 유지를 위해 사용되는 것을 허용한다. 이것은 효과적인 TTL 추정방법의 개발이 필요하도록 하였다. 그러나, 현재가지 소개된 두 가지 추정 방법(고정 TTL방법과 휴리스틱 방법)은 직관적 해석이 어렵고, 이론적인 추정근거가 빈약하다. 본 논문에서는 이러한 단점을 보완하기 위하여 확률적 분석에 기 반하여 정형적이고, 직관적인 의미를 갖는 위험도 기반 TTL 설정 방법을 제안한다. 이 방법에서는 위험도를 TTL 이내에 원본 데이타가 갱신될 확률로 정의하고, 갱신분포를 포아송 과정으로 가정한 후, 주어진 위험도를 TTL 식을 유도한다. 위험도 기반 TTL 설정 방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률적 유도를 통하여 TTL 설정방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률은 유도를 통하여 TTL 설정에 대한 이론적인 근거를 제공한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.1
• /
• pp.1-6
• /
• 2014

Many companies have tried to adopt Software Product Line Engineering for improving the quality and productivity of information systems and software product. There are several models defined in software product line methodology and each model has different abstraction level. Therefor it is important to maintain the traceability and consistency between models. In this paper, consistency checking rules are suggested by traceability matrix of work products.

• 월간낙농육우
• /
• v.23 no.11 s.259
• /
• pp.120-124
• /
• 2003

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

데이터 웨어하우스는 물리적으로 여러 사이트에 위치한 분산된 데이터 소스로부터 추출한 온라인 분석 정보를 유지하는 실체 뷰 의 집합으로 구성된다. 따라서 데이터 소스에 변경 사항이 발생하면 데이터 웨어하우스와 일관성을 유지하기 위해 뷰에도 그 변경사항을 반영하는 뷰 관리가 필요하다 동시에 변경되는 여러 데이터 소스와 뷰의 상태 사이에 일관성을 보장하기 위해서는 각 소스의 변경 사항을 순서대로 뷰에 반영해야 한다. 이때 각 소스의 변경 사항을 뷰 정의와 관련된 다른 소스들과 조인을 수행해야 하는 등 뷰 갱신을 위해 많은 비용이 소요된다. 이러한 뷰 갱신 비용을 줄이는 방법중의 하나로 병렬처리 기법을 활용하는 연구가 시도되고 있다. 따라서 이 논문에서는 뷰의 일관성을 보장하기 위해 수행해야 하는 서브질의론 병렬로 처리하는 알고리즘을 제시하였다. 이 방법에서는 서브질의의 조인 연산들을 소스 렐레이션들 간의 참조 무결성 제약 조건을 이용하여 병렬로 처리한다. 질의의 조인 처리를 병렬화 하기 위해 소스 릴레이션간의 참조 무결성 제약조건의 툭송울 이용하여, 여러 릴레이션을 참조하는 릴레이션에서 발생하는 변경 사항에 대해 참조하는 릴레이션의 수만큼 병렬로 조인 연산을 수행하는 알고리즘을 제시하였다. 이렇게 함으로써 여러 소스 릴레이션의 조인으로 구성된 실체 뷰를 갱신하는 시간을 크게 단축하여 효율적으로 뷰를 관리하도록 하였으며, 소스의 증가에 따른 뷰 갱신 시간의 증가를 줄일 수 있도록 하였다.