• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.821-830
• /
• 1997

The directory-based cache coherence scheme is an attractive approach to solve the caceh coherence problem in a large-scale shared-memory multiprocessor.However, the exsting directory-based schemes have some problens such as the enormous storage overhead for a directory, the long invalidation latency, the heavy network condes-tion, and the low scalability.For resolving these problems, we propose a new directroy- based caceh coherence scheme which is suitable for building scalable, shred-memory multiprocessors.In this scheme, each directory en-try ofr a given memory block is a number-balanced binaty tree(NBBT) stucture.The NBBT has several proper-ties to effciently maintain the directory for the cache consistency such that the shape is unique, the maximum depth is [log$_2$n], and the tree has the minimum number of leaf nodes among the binarry tree with n nodes.Therefore, this scheme can reduce the storage overhead, the network traffic, and the inbalidation latency and can ensutr the high- scalability the large-scale shared-memory multiprocessors.

• Journal of KIISE:Databases
• /
• v.37 no.3
• /
• pp.171-175
• /
• 2010

This paper analyzes the tag data inconsistency problem caused by incomplete execution of the tag access operation to the RFID tag's memory and proposes a protocol to control consistent tag data accesses with finalizing the incomplete operation. Passive RFID tag cannot guarantee complete execution of the tag access operations because of uncertainty and unexpected disconnection of RF communications. This leads to the tag data inconsistency problem. To handle this, we propose a concurrency control protocol which defines incomplete tag operations as continuous queries and monitors the tags're-observation continuously. The protocol finalizes the incomplete operation when the tag is re-observed while it blocks inconsistent data accesses from other operations. We justify the proposed protocol by analyzing the completeness and consistency. The experiments show that the protocol shows better performance than the traditional lock-based concurrency control protocol.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.178-180
• /
• 1998

분산 파일 시스템에서는 파일 서버는 사용률이 높고, 통신 네트워크나 클라이언트 워크스테이션은 상대적으로 낮은 것으로 보고 하고 있다. 따라서, 시스템의 확장은 파일 서버가 처리해야 할 작업 부담을 증가하는 결과를 초래하므로 파일 서버는 시스템 사의 주된 병목 구간이 된다. 따라서 분산 시스템의 성능을 향상시키기 위해서는 파일 서버의 작업 부담을 클리언트로 이전시키고 가급적이면 파일 서버가 유지되는 상태 정보의 양을 줄여야 한다. 본 논문에서는 파일 서버에서 유지되는 상태 정보의 양이 파일 서버의 작업 부담에 비례한다는 가정 하에 파일 서버의 작업부담을 클라이언트들에게 이양시키는 대리인에 의한 캐쉬 일관성 유지 방식과 클라이언트들간의 상호 협조를 통해 요구된 파일에 대한 응답시간을 줄이는 방안을 제안하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.23-26
• /
• 2002

클라이언트/서버 데이타베이스 시스템 환경이 대중화됨에 따라 클라이언트 캐쉬 데이터의 일관성을 유지하기 위한 기법들이 많이 제안되고 있다. 기존의 회피-기반 기법들은 갱신의도(write intuition) 선언을 동기적(synchronous)으로 수행하는 CB(Callback) 기법과 지연(defereed)하는 O2PL(Optimistic 2-Phase Locking) 기법을 기반으로 연구가 이루어졌다. 본 논문에서는 회피-기반(avoidance-based)에서 서버에게 갱신의도 선언을 비동기적으로 수행하는 캐쉬 일관성 유지 기법을 제안한다. 본 논문에서 제안한 기법은 갱신의도 선언을 비동기적으로 수행함으로 서버의 응답을 기다리지 않고 트랜잭션 처리를 수행함으로써 좋은 성능을 보이고, 트랜잭션 철회(abort)율이 낮다는 장점을 갖는다.

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

CAD와 같이 계산위주의 응용을 지원하기 위해 개발된 초기의 객체지향 데이터베이스 시스템은 클라이언트에서 자료의 요구와 처리를 허용하는 자료 탑재방식이다. 이 방식은 클라이언트 워크스테이션에서 수행되는 작업의 대부분을 수행할 수 있는 지역 DBMS를 허용한다. 클라이언트 워크스테이션에서 자료와 잠금을 캐싱하는 것은 클라이언트-서버 데이터베이스 시스템의 성능 향상을 위한 중요한 기술이다. 이 논문에서는 클라이언트 워크스테이션이 자신의 지역 데이터베이스를 유지하면서 회피 또는 탐지 기반의 캐시일관성 유지 알고리즘들의 성능을 평가할 수 있도록 하는 클라이언트 워크스테이션을 모델링하고 구현하였다. 이 시스템은 3개의 클라이언트로 구성되고, 각 지역 동시성 제어 기법으로는 2PL을 사용하였다. 이 모델은 멀티데이터베이스 시스템 환경으로 확장 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.143-147
• /
• 2007

소프트웨어 개발 과정에서 산출된 설계 모델은 향후 시스템의 유지보수를 위해 꼭 필요한 산출물 중의 하나이며 시스템을 이해하는데 필수적인 요소이다. 그러나 다양한 요구사항의 변경에 따라 유지보수 단계를 거치면서 소스 코드에만 수정이 가해져 모델 정보와의 연계성이 없어지게 된다. 이에 본 논문에서는 소스 코드와 모델간의 일관성을 위한 코드 저장소를 제안한다. 모델 정보와 소스 코드와의 일관성을 지키기 위해서는 소스 코드에 있는 시스템의 행위적인 정보를 유지하는 것이 중요하다. 본 연구에서는 모델을 표현 할 수 있는 XMI를 이용하여 메타모델 기반의 코드 저장소를 구축함으로써 해결하고자 한다. 코드 저장소에는 소스 코드의 모든 정보를 추출하여 XMI 형태의 코드 모델로 저장되며 이 정보로부터 다시 실행 가능한 소스 코드를 생성할 수 있도록 한다.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.103-110
• /
• 2006

The Game development process that the Korea Game Development Infinity researches and publishes has laid important groundwork for the game industry. However, the game design cannot guarantee a software quality because an artifact is made incorrect by a game planner's new idea and modification. In this paper theorized the system to maintain artifacts consistently that is generated in planning phase and make changed contents traceable. First, it defined an ACT graph to represent relation of between artifacts, a ACT table that traces and manages it changes and a table of artifacts change history. Also, it suggested the ACT process applying as we mentioned above. Then we worked a case study to verify the change tracking technique which is presented. In a case study, we find game designer is capable to grip and modify a change of artifacts when it occurs a change of game design artifacts. As a result of that, we can save the time and effort to maintain the consistency among game design artifacts.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.6
• /
• pp.1269-1275
• /
• 2003

This paper addresses several issues on data caching and consistency of cached data in order to process client's queries efficiently in client/server environments. For the purpose, first of all, materialized spatial views are adapted in a client side for data caching, which is called client views. Also, an incremental update scheme using derivation relationships is applied to keep cached data of clients consistent with the rest of server databases. Materialized views support efficient query processing in a client side, however, it is difficult to keep consistent their contents by the update of a server database. In this paper, we devise cost functions on query execution and view maintenance based the cost of spatial operators so as to process client's queries efficiently. When request the client's query, in our query processing scheme, the server determines whether or not materialize it as a view due to evaluation using the related cost functions. Since the scheme supports a hybrid approach based on both view materialization and re-execution, hence, it should improve query execution times in client/server environments.

• Journal of Korea Multimedia Society
• /
• v.11 no.7
• /
• pp.928-939
• /
• 2008

The grid database management system is used for large data processing, high availability and data integration by grid environment. It has a replica for processing performance and high availability in each node. The grid database has a problem of inconsistency, when the update is occurred with a coincidently frequent. To solve this problem, in this paper proposed a version management method for consistency in the grid database. Proposed version manager manages a version of each replica. The version manager keeps a consistency of update operation when is occurred at each node by using a pending queue and waiting queue. Also the node keeps a consistency using a priority queue. So, proposed method has stable and fast update propagation. The proposed method shows stable and faster update propagation than traditional method by performance evaluation.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.313-316
• /
• 1998

본 논문은 한국어 단어의 의미 영역 정보를 저장하기 위한 시소러스를 설게하고 이를 구축하기 위한 시스템을 설계하였다. 기존에 TOP_DOWN이나 BOTTOM_UP 방식을 이용하는 경우 각각 비 객관성과 작업 속도의 문제와 비구조성, 비일관성의 문제를 안고 있어 이를 혼합하여 어의문을 이용하여 객관성을 유지하면서도 기본모델을 이용하여 비구조성과 비일관성의 문제를 해결하고 있다. 또한 그 동안 필요성이 증가되었으나 작업을 하지 못했던 가장 큰 이유인 단어의 방대성으로 기인한 작업속도의 문제해결하기 위하여 C/S 모델을 적용하여 다수의 입력자들에 의해 동시 입력을 가능케 함으로써 작업 속도의 향상을 이루었다.