• 인터넷정보학회논문지
• /
• 제7권6호
• /
• pp.79-86
• /
• 2006

클라이언트-서버 데이터베이스 시스템에서 많은 병행실행제어가 연구되었다. 그러나 일반적으로 알려진 기법들은 데이터베이스에서 데이터의 집중으로 인한 수많은 변화를 수용하기 어렵다. 본 논문에서는 혼성 병행실행제어를 제안한다. 제안하는 기법은 첫 번째 실행에서는 낙관적인 기법을 사용하며 두 번째 실행에서는 비관적인 기법을 사용한다. 제안하는 기법에서는 두 번째 단계에서 잠금을 미리 선언하기 때문에, 비관적인 기법에서 발생할 수 있는 교착상태는 발생하지 않는다. 또한, 낙관적 단계의 검사가 실패하더라도 단 한번만 재실행되는 것을 보장한다. 실험을 통하여 제안하는 기법과 분산 낙관적 병행실행제어를 비교하고, 제안하는 기법이 분산 낙관적 병행실행제어보다 우수하다는 것을 보인다.

• 컴퓨터교육학회논문지
• /
• 제11권4호
• /
• pp.71-83
• /
• 2008

정보기술의 발달로 컴퓨터과학에서 다루어지는 주제에 대한 다양한 교수-학습 자료들이 개발되어 왔다. 자료구조, 운영체제, 네트워크, 컴퓨터구조 등에 관련된 교수 학습 자료들은 많이 연구되고 있으나, 데이터베이스 분야는 다른 분야에 비해 미비하다. 데이터베이스 관련 주요 주제들에는 데이터 모델, DB 설계, 정규화, SQL, 질의 처리 기법, 병행제어 기법, 회복 기법 등이 있는데 이들 중 병행제어 기법과 회복 기법은 DBMS의 다른 기능들과 복합적으로 연관되어 있어 학습자들이 학습하는데 어려워하는 주제이다. 학습자들이 이러한 주제들을 보다 쉽게 학습할 수 있도록 하기 위해서는 이들 기법과 관련된 DBMS의 기능들과의 상호작용을 시각화하여 제공할 수 있는 교수-학습 자료가 보다 효과적이다. 본 연구에서는 2PLP 기반 병행제어 과정을 효과적으로 학습할 수 있도록 지원하는 시각화 시뮬레이터를 개발하였다. 제안하는 시뮬레이터는 학습자가 직접 트랜잭션을 작성할 수 있게 하고, 작성된 트랜잭션들을 2PLP에 따라 실행되는 과정을 학습자들에게 시각적으로 보여줌으로써 학습자의 참여를 유도하고, 흥미를 유발하여 2PLP 기반 병행제어에 대한 학습을 효과적으로 수행할 수 있도록 하였다.

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

본 연구에서는 POSIX 쓰레드(Pthreads)를 사용하여 구현한 새로운 SR 실행지원 시스템인 SR/RTS+를 제시한다. SR은 다중의 병행 제어 프리미티브를 이용해서 다양한 병행 프로그래밍 기법을 제공한다. 윈 SR 실행지원시스템이 자신의 고유한 쓰레드 경영 기법을 사용하였기 때문에 다른 컴퓨터 시스템에서 동작하기 위해서는 실행지원 시스템의 수정이 필요하다. 더우기 실행지원시스템의 실행 효율성은 이런 각각의 상이한 시스템에 연관되어 개별적으로 고려되어야 한다. 따라서 이식성을 증가시키고 실행 효 율성을 예측 가능하도록 하기 위해서 SR/RTS+를 하나의 POSIX프로세스내에서 다중의 실행의 쓰레드를 제공하는 Pthreaes(POSIX쓰레드)상에서 설계되었다. 또한 ,SR 컴파일러 Ptherads 인터페이스를 위한 코드를 적절히 생성하도록 수정되었다. SR/RTS+는 Florida Sate Univerisity에서 제공하는 Pthreads 라이브러리를 사용하여 Spare Workstation 상에서 개발되었으며, University of Arizona에서 제공하는 SR 검증 도구로 테스트하였다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1418-1432
• /
• 1996

분산 실시간 트랜잭션 처리 시스템에서 데이타의 복제는 유용성의 향상 및 여러 노드에서 발생한 트랜잭션들을 병행적으로 처리할 수 있기 때문에 성능을 향상시킬 수 있다. 데이타의 일관성과 실시간적 제약성을 충족하기 위해서 동시실행 제어 및 원자적 종료 프로토콜이 시간 구동형 스케쥴링 과정에 통합될 필요가 있다. 기존의 동시실행 제어 프로토콜들에게 발생하는 중단 현상은 트랜잭션들의 종료시한을 만족 할 수 있는 스케쥴링이 어렵기 때문에 시간 구동형 스케쥴링에 적합하지 않다. 복제 된 데이타의 일관성 유지 그리고 스케쥴링 가능성 및 예측가능성을 향상시키기 위하 여 제시된 시간 구동형 스케쥴링 기법은 중단 시간을 최소화하고 우선순위에 따른 직 렬가능성 순서를 생성하는 낙관적 동시실행 제어 프로토콜을 통합하였다. 분산 환경 에서 트랜잭션의 성공적인 종류를 보장하는 원자성도 유지된다. 시간 구동형 스케쥴 링 기법의 성능 분석 결과 및 구체적인 과정들이 기술된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.