• 한국정보과학회논문지:데이타베이스
• /
• 제30권1호
• /
• pp.95-107
• /
• 2003

방송환경은 서버(server)와 클라이언트(client)간 대역폭이 서버에서 클라이언트 쪽으로는 크고 클라이언트에서 서버쪽으로의 대역폭은 상대적으로 많이 작은 비대칭적(asymmetric) 특수한 환경이다. 또한 대부분의 방송 환경 응용 시스템들은 클라이언트 측에서 발생한 주로 주식 데이타, 교통 정보와 새로운 뉴스와 같은 여러 가지 다양한 정보를 검색하는 읽기전용 즉 질의 거래들을 허락한다. 그러나. 기존의 여러가지 동시성 제어 기법들은 이러한 특수성을 고려하지 않음으로써 방송 환경에 적용된 때 거래들의 불필요한 철회를 일으킨다. 이 논문에서는 방송환경에서 질의 거래를 위한 효율적인 동시성 제어 기법을 제안한다. 이 기법은 서버에 의해 관리 유지되고 클라이언트에 의해 읽혀지는 데이타의 상호 일치성과 데이터의 현재성을 만족시키기에 가장 적절한 정확성 검증 기준인 약한 일치성(Weak consistency)을 채택하였다. 또한, 그것을 효율적으로 실행할 수 있도록 직렬화 그래프(serializability graph)를 이용하였다. 그 결과, 전역적 직렬화를 적용할 때 발생되는 질의 거래의 불필요한 철회 및 재시작의 횟수를 줄임으로써 성능향상을 도모하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.631-633
• /
• 2001

협동설계시스템에서의 공유 오브젝트는 3D 도형이 되며, 사용자가 임의의 오브젝트를 picking하는 문제와 그 오브젝트에 어떤 조작을 취할 때 동시성제어(concurrency)하는 문제가 생긴다. 본 논문에서는 오브젝트의 picking이 마우스 포인터에서의 ray와 오브젝트간에 intersection을 계산하는 방법 외에 scene graph의 노드에 picking 속성을 주는 방법, bounds를 설정하는 방법, picking test의 범위를 한정하는 방법을 사용하여 computation의 부담을 줄이고 효과적인 동시성제어가 이루어지도록 action에 따라 공유(shared)lock과 전용(exclusive)lock을 사용한다.

• 한국정보통신학회논문지
• /
• 제5권4호
• /
• pp.723-729
• /
• 2001

여기서 제시된 협동설계시스템은 인터넷망과 웹브라우저를 이용하여 공유된 가상 공간에서 협동작업이 이루어진다. 협동설계 참여자들은 인터넷을 통해 솔리드 모델러 서버에 접근하여 원하는 3D도형을 생성하고 조작한다. 이때 공유된 여러 오브젝트 중 임의의 오브젝트를 선택하는 picking문제와 여러 참여자들이 한 오브젝트에 어떤 조작을 가할 때 제어하는 concurrency 문제가 중요하게 대두된다. 본 논문에서는 오브젝트의 picking이 마우스 포인터에서의 투사되는 선과 오브젝트간에 겹치는 부분을 계산하는 방법 외에 Java 3D를 이용하여 scene graph의 노드에 picking 속성을 주는 방법, bounds를 설정하는 방법, picking test의 범위를 한정하는 방법을 사용하여 계산하는 부담을 줄이고 효과적인 picking이 이루어지도록 한다. 이어서 picking된 오브젝트에 대해 협동설계에 참여한 사람이 공유작업공간에서 action에 따라 shared lock과 exclusive lock을 사용하여 효과적인 동시성제어가 이루어지도록 한다.

• 한국컴퓨터정보학회논문지
• /
• 제1권1호
• /
• pp.147-158
• /
• 1996

본 논문에서는 작업 스케쥴러를 가진 통합된 실 시간 동시성제어 수행 과정을 분석하여 특수화된 데이타 흐름 그래프에 기초로한 동시성 제어구조를 제안하였다. 자료들은 토큰들의 이산 흐름에서 한 노드로부터 다른 노드까지의 연결 호 상에 나타내었다. 또 한 E-R모델에서 알려진 네트워크는 데이타 흐름 그래프로 나타내는 고정적인 문제점을 질의어 토큰을 이용하여 그래프상에 나타내게 하였다 그리고 모든 동시성 제어 기법들은 서로 다른 성능을 비교하여 실험으로 측정하였고, DBFG 스케줄링은 분산 환경에서 2PL보다 뛰어난 성능을 갖는다는 것을 비교 분석하였다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.587-602
• /
• 2002

중앙집중형 데이터베이스는 데이터 관리가 용이하나 통신장애나 사이트 고장시 전체시스템 중지로 인해 신뢰성과 가용성문제가 발생한다. 이러한 문제를 해결하기 위해서 중복데이터베이스가 출현되었다. 그러나 갱신거래가 많이 발생되는 경우에는 중복 데이터에 대해서 갱신이 동일하게 이루어져야 하므로 동기화로 인한 메시지부담과 거래가 지연됨에 따라 동시성이 감소되는 문제가 발생하게 된다 이 논문은 가용성과 신뢰성을 향상시키기 위한 완전 중복 데이터베이스에서 거래들의 병행성의 정도를 높이기 위한 동시성제어 알고리즘을 제안한다. 중복 데이터 베이스에서 시스템 성능을 향상시키기 위해서는 거래가 제출된 사이트에서 마지막 연산까지 수행시키고, 기록 연산들로 구성된 갱신 전용거래를 모든 사이트에서 독립적으로 수행하도록 한다. 각 사이트에서 수행되는 갱신전용거래의 일관성은 모든 사이트에서 갱신그래프를 유지하여 보장한다. 제안하는 동시성 제어 기법은 각 사이트에서 거래들이 동시에 수행할 수 있게 함으로써 거래들의 병행수행정도를 향상시킬 수 있다. 제안하는 동시성 제어 기법의 실제 구현 및 실험을 통한 결과를 분석하여 기존의 방법보다 보다 더 빠른 응답률과 더 적은 철회율을 가져옴을 성능 평가를 통해 우수성을 보여준다.

• 공학논문집
• /
• 제1권1호
• /
• pp.49-57
• /
• 1997

본 논문에서는 Habermann의 deadlock 회피책에 대한 기존의 방안을 향상시킬 수 있는 방법을 고안하였다. 먼저 correction, efficiency, concurrency 측면에서 기존의 개선 방법들을 비교 분석한 다음, 대표적인 Kameda의 개선방안을 심도있게 논의한다. Dinic의 알고리듬을 채택한 Kamedia의 방법에서는 실행시간 O($mn^1.5$)이 요구되지만 Karzanov의 wave method를 응용하여 본고에서 제안한 faster algorithm에서는 실행시간 O($mn^1.5$)이 됨을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권2호
• /
• pp.216-226
• /
• 2000

본 논문에서는 시간 제한 조건을 가진 신호 전이 그래프로부터 바동기 회로를 합성하는 방법을 기술한다. 이 방법에서는 기존의 방법과는 달랴 상태 그래프를 생성하지 않고 신호 전이 그래프로부터 직접 신호 전이들간의 관계를 구하여 비동기 회로를 합성한다. 본 논문의 합성 과정에서는 먼저 타이밍 분석을 통하여 임의의 두 신호 전이 사이에 시간 제한 조건 내에서 병렬 관계와 인과 관계가 있는지를 구 한다. 그 다음에는 이들 관계들로부터 우선 순위 그래프를 생성하고 이 그래프 상에서 경로들을 구함으로써 해저드가 없는 회로를 생성한다. 실험 결과에 의하면 본 논문에서 제안한 합성 방법은 상태 수가 많은 회로에 대해서 현저하게 합성 시간을 단축시킬 수 있을 뿐만 아니라 기존의 합성 방법과 비교하여 거의 같은 면적의 회로를 합성한다.

• 한국정보통신학회논문지
• /
• 제6권8호
• /
• pp.1153-1160
• /
• 2002

지금까지 이동 컴퓨팅 환경에서 수행되는 대부분의 응용들은 판독 전용 트랜잭션만을 대상으로 하였다. 하지만 이동 시스템의 발전과 확산에 따라 이동 호스트에서도 데이터를 갱신할 수 있는 새로운 메커니즘이 필요하게 되었다. 이에 따라 이 논문에서는 갱신 연산을 포함하는 이동 트랜잭션의 낙관적 동시성 제어 방법을 제안하고자 한다. 이동 호스트에서 수행되는 판독 전용 트랜잭션은 서버와의 어떤 정보도 교환하지 않고 지역적으로 종료될 수 있으며, 갱신 연산을 포함한 트랜잭션은 서버에서 검증을 통하여 종료된다. 제안하는 방법은 타임스탬프와 직렬화 그래프를 이용함으로써 충돌 정보만 사용한 기존의 연구에서 발생하는 불필요한 이동 트랜잭션의 철회를 해결하였다.

• 인터넷정보학회논문지
• /
• 제1권2호
• /
• pp.69-88
• /
• 2000

요약 분산 시스템의 전체적인 성능에 가장 큰 영향을 미치는 요인 중의 하나는, 소프트웨어 컴포넌트를 어떻게 효율적으로 분산시키는가 하는 것이다. 현재 태스크 기반의 시스템을 분할하여 분산 환경에 할당하는 문제는 연구가 많이 진행되었으나, 객체 지향 프로그램을 구성하는 각 객체들을 분산 객체 환경에 할당하는 기법에 대한 연구는 상대적으로 미약하다. 본 논문에서는 이미 개발되어 있는 C++ 응용 프로그램을 분할하여 C++ 객체들을 CORBA 기반의 분산 객체 환경에 할당하기 위한 그래프 모델을 정의하고, 이를 바탕으로 한 분산 객체 할당 알고리즘을 제안한다. 분산 시스템의 성능은, 주로 객체간의 병렬성, 각 프로세서에 드는 부하의 균등성, 네트워크 상의 통신 량에 의해 결정된다. 이 세 가지 요인을 동시에 최적화하는 해를 찾기 위하여. 본 논문의 분산 객체 할당 기법은 Niched Pareto 유전자 알고리즘(NPGA)에 바탕을 두고 있다. 전형적인 C++ 응용 프로그램에 대한 CORBA 시스템에서의 실험을 통하여 본 논문의 그래프 모델과 객체 할당 알고리즘의 유효성을 검증한다.

• 한국정보통신학회논문지
• /
• 제20권3호
• /
• pp.549-557
• /
• 2016

효과적인 시각화는 일반적으로 대용량의 디버깅 정보와 프로그램의 추상적 수행모델을 표현하는 것이 중요하다. 본 논문에서는 스레드들간의 논리적 병행성 관계를 나타내는 부분순서 수행그래프를 이용하여 내포병렬성과 임계구역을 가진 OpenMP 병렬 프로그램의 수행양상과 경합정보의 효과적 디버깅을 위해서 효과적으로 제공하는 추상적 시각화 도구를 제안한다. 본 도구는 수행중 추적선택 기법으로 시각화 정보를 위한 공간적 복잡성을 줄이고, 추적된 시각화 정보에 프로그램의 내포병렬성과 임계구역 동기화를 위한 그래프 추상화를 제공하여 시각적 복잡성을 해결한다. 그래프 추상화를 통한 스레드들간의 부분순서 관계와 경합탐지 정보는 프로그램의 제어흐름과 경합의 위치를 구조적으로 파악할 수 있게 하므로 프로그램 수행의 이해와 경합 탐지 및 수정에 효과적이다.