• Title/Summary/Keyword: Concurrency control

Search Result 220, Processing Time 0.02 seconds

Checking liveness in petri nets using synchronic variables

  • Koh, Inseon;DiCesare, Frank
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1991.10b
    • /
    • pp.1811-1816
    • /
    • 1991
  • In this paper we present how the deviation bound, which is a synchronic variable, can be used for checking liveness in Petri nets. Also, the deviation bound will be applied to detect or avoid deadlock situations and to characterize concurrency against sequential behaviors in automated manufacturing systems. In the current stage, we restrict the applicable domain of these methods to the Petri net structure that can be synthesized by combining common transitions or common places or common paths of Live-and-Bounded circuits.

  • PDF

A Study on Object-Oriented Preprocessing Program for Finite Element Structural Analysis (유한요소 구조해석을 위한 객체지향 전처리 프로그램에 관한 연구)

  • 신영식;서진국;송준엽;우광성
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 1994.04a
    • /
    • pp.25-32
    • /
    • 1994
  • The pre-processor for finite to element structural analysis considering the user-friendly device is developed by using GUI. This can be used on WINDOWS' environment which is realized the multi-tasking and the concurrency by object-oriented paradigm. Data input can be done easily through menu, dialog box, automatic stepwise input and concurrent representation with the structural geometry on multiple windows. It in designed to control integratedly the pre-processing, execution and the post-processing of the finite element structural analysis program on multiple windows, and input data can be seen with result outputs at the same time. In addition, the object-oriented programming environment makes convenient revision and addition of the program components for expanding the scope of analysis and making better user environment.

  • PDF

A Concurrency/Coherency Control Approach using the I/O node for the Shared Disk Parallel Database (공유 디스크 병렬 데이타베이스에서 입출력 노드를 이용한 동시성/응집성 제어 기법)

  • 김용걸;김양우;진성일;임기욱
    • The Journal of Information Technology and Database
    • /
    • v.3 no.2
    • /
    • pp.25-38
    • /
    • 1996
  • 병렬 데이타베이스 소프트웨어 구조 중 공유 디스크 구조는 트랜잭션간의 병렬도 향상, 적재 균형 용이, 데이타 재할당 용이 등의 장점을 가지고 있어 병렬 데이타베이스 구조 중 가장 효율적인 성능이 기대되고 있다. 그러나 공유 디스크 구조는 동시성/응집성 제어를 위한 추가적인 메세지의 증가로 네트워크 트래픽이 증가되는 문제를 가지고 있으며 이러한 문제를 완화시키고자 하는 연구가 계속되고 있다. 본 논문에서는 공유 디스크 구조의 동시성/응집성 제어를 위한 추가적인 메세지를 감소시키는 기법을 제안하고, 기존 기법과의 비교를 위해 성능 모델을 제시하였으며, 이를 통한 시뮬레이션을 수행하여 성능을 분석하였다.

  • PDF

Design and Evaluation of Transaction Processing System based on Main Memory Database (주기억장치 데이터베이스 기반 트랜잭션 처리 시스템의 설계 및 평가)

  • 심종익
    • Journal of Korea Multimedia Society
    • /
    • v.2 no.4
    • /
    • pp.367-377
    • /
    • 1999
  • Nowadays, the number of database applications which need fast transaction processing are increasing. One way to improve the performance of transaction processing is to reside the whole database in main memory As semiconductor memory becomes cheaper and chip densities increase, the research to improve transaction throughput rates of transaction processing system, using main memory databases, has begun In this thesis, how to implement a high performance transaction processing system based on main memory databases, new concurrency control scheme, recovery scheme and storage structure is presented. The objective of the proposed schemes is to improve the transaction processing system performance measured by transaction throughput and response times.

  • PDF

Real-Time Optimistic Concurrency Control using Thomas’ Write Rule (Thomas 기록 규칙을 이용한 실시간 낙관적 동시성 제어)

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

  • PDF

Trimsient Versioning Algorithm Using Before-Image for Concurrency Control of Transaction (트랜잭션의 동시성제어를 위해 갱신전 이미지를 이용한 일시적 버전 제어 기법)

  • 김호석;김명근;조숙경;배해영
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04b
    • /
    • pp.199-201
    • /
    • 2002
  • 데이터베이스시스템에서 트랜젝션의 동시성제어에 관련된 문제를 해결하고 성능을 향상시키기 위해서 않은 기법들이 소개되어졌다. 그 중에서 멀티버전(Multi-Version) 알고리즘은 각 트랜잭션간의 상호간섭을 최소화시키면서 동시성을 향상시키기 위한 알고리즘 중 하나이다 하지만 멀티버전 알고리즘은 데이터베이스이 레코드에 대한 버전을 저장하기 위한 저장공간의 낭비와 버전에 대만 최신의 정보론 유지하기 위한 Garbage Collection 연산의 부하가 따른다. 본 논문에서는 트랜잭션간의 동시성을 망상시키기 위한 방법으로 시스템의 메모리 광간에 일시적인 레코드의 버전을 생성하여 버전 풀(Version Pool)을 관리하여 레코드의 안정된 버전(Stable version)을 관리할 수 있는 기법을 제안한다. 판독트랜잭션은 안정된 버전을 찾기 위해 별도의 연산에 대한 부하없이 버전 플에서 가장 먼저 생성된 버전을 읽어오기만 하면 된다. 또한 갱신 트랜잭션은 로크(Lock)을 사용하지 않고 레코드의 갱신을 데이터베이스에 곧바로 반영하며, 판독 트랜잭션도 판독연산에 로크를 사용하지 않고 버전 풀에서 관리하는 레코드의 안정된 버전을 선택하여 읽어 가는 기법을 제안한다.

  • PDF

Design and Implementation of a Concurrency Control Algorithm for High-Dimensional Index Structures (고차원 색인 구조를 위한 동시성 제어 기법의 설계 및 구현)

  • Song, Seok-Il;Park, Chun-Seo;Lee, Seok-Hui;Yu, Jae-Su
    • Journal of KIISE:Databases
    • /
    • v.27 no.4
    • /
    • pp.682-694
    • /
    • 2000
  • 이 논문에서는 고차원 색인 구조를 위한 동시성 제어 기법을 설계하고 이를 구현한다. 일반적으로 고차원 색인구조에서는 삽입보다 탐색연산이 빈번하고 탐색연산의 수행은 질의의 특성상 매우 많은 노드를 접근하다. 제안하는 동시성 제어 알고리즘에서는 이런 특성을 고려하여 탐색 연산의 지연이 최소가 되도록 한다. 또한 인덱스의 성능향상을 위해 재삽입 연산을 이용하는 고차원색인 구조를 고려하여 재삽입 연산 수행중에도 정확한 탐색을 보장할 수 있는 방법을 지원한다. 제안하는 동시성 제어 알고리즘을 CIR-Tree에 적용하여 실제 상용 DBMS의 하부 저장 시스템인 MiDAS-III에서 구현한다. 실험을 통하여 제안된 동시성 제어기법이 기종 동시성 제어 기법보다 성능이 우수함을 보인다.

  • PDF

Toward the Application of a Critical-Chain-Project-Management-based Framework on Max-plus Linear Systems

  • Takahashi, Hirotaka;Goto, Hiroyuki;Kasahara, Munenori
    • Industrial Engineering and Management Systems
    • /
    • v.8 no.3
    • /
    • pp.155-161
    • /
    • 2009
  • We focus on discrete event systems with a structure of parallel processing, synchronization, and no-concurrency. We use max-plus algebra, which is an effective approach for controller design for this type of system, for modeling and formulation. Since a typical feature of this type of system is that the initial schedule is frequently changed due to unpredictable disturbances, we use a simple model and numerical examples to examine the possibility of applying the concepts of the feeding buffer and the project buffer of critical chain project management (CCPM) on max-plus linear discrete event systems in order to control the occurrence of an undesirable state change. The application of a CCPM-based framework on a max-plus linear discrete event system was proven to be effective.

Efficient Integrity Checking using Hashed B-Tree Index (Hashed B-트리 인덱스를 이용한 효율적인 무결성 검사)

  • Park, Sun-Seob;Jeong, Jae-Mok;Kim, Hyoung-Joo
    • Journal of KIISE:Databases
    • /
    • v.27 no.2
    • /
    • pp.216-226
    • /
    • 2000
  • This paper suggests a new access path, hashed B-tree which is an efficient access method for integrity checking. Hashed B-tree is based on the observation that most query patterns in enforcing integrity constraints are point queries. Hashed B-tree compresses the key by hashing procedure, which reduces the height of tree and results in fast node search. This method has the advantages such as it can be implemented easily and use the B-tree concurrency control and recovery algorithm with minor modifications.

  • PDF

A Concurrency Control Mechanism Ensuring Latest-Bound Currency in Mobile Broadcasting Environments (이동 방송환경에서 최신 현행성을 보장하는 병행선 제어기법)

  • Han, Boo-Hyung;Chung, Sung-Kwon;Cho, Yoo-Kun
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.2
    • /
    • pp.207-216
    • /
    • 2001
  • 이동 방송 환경은 정보를 가지고 있는 서버가 다수의 이동 클라이언트에게 모든 데이터를 주기적으로 방송하면 클라이언트가 자신이 원하는 데이터가 방송 채널에 나타날 때 이를 검색하는 환경을 말한다. 이때 클라이언트가 수행하는 읽기 전용 트랜잭션은 일관적이면서도 가장 최근에 갱신된 데이터를 필요로한다. 이동 방송환경에 적합하도록 연구된 기존의 병행성 제어 기법들을 클라이언트가 일관적인 데이터를 읽는 것은 보장하지만 가장 최근에 갱신된 데이터를 읽을수 있게 하는 최신 현행성은 보장하지 못한다. 본 논문에서는 기존 기법들과 동일한 수준의 일관성뿐만 아니라 최신 현행성을 보장하는 효율적인 병행성 제어 기법을 제안하고 이를 검증한다. 아울러 제안된 기법의 성능을 평가하기 위하여 최신이 아닌 데이터를 읽은 경우(stale read)의 수와 트랜잭션 중단의 수를 각각 측정하였다. 시뮬레이션을 통한 실험결과 본 논문에서 제안하는 기법은 기존의 방법과 비교할 때 항상 최신의 데이터를 읽으면서 트랜잭션중단의 수를 감소시킨다는 것을 알수 있었다.

  • PDF