• The Journal of the Korea Contents Association
• /
• v.8 no.2
• /
• pp.57-66
• /
• 2008

Most concurrency control protocols have been devised for resolving data conflicts among real-time transactions of a single type. Recent real-time database systems should support various types of real-time transactions due to needs of many different types of applications and steady improvement of hardware. In this paper, we propose integrated concurrency control protocol to resolve data conflicts among hard and soft real-time transactions. Our proposed protocol, based on PCP(Priority Ceiling Protocol) for a hard real-time transactions and MVPR(Multiversion with Precedence Relationship), guarantees that hard real-time transactions meet their deadline, and decreases the deadline miss ratio of soft real-time transactions. We also proved that the proposed protocol guarantees serializable schedules and no deadlocks. The performance of the proposed protocol has been compared with other real-time concurrency protocols.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1773-1776
• /
• 2005

본 논문에서는 운영체제 측면에서 QoS를 보장하기 위해 우선순위 기반의 네트워크 프로토콜 처리 기법을 제안한다. 제안된 기법에서는 우선순위에 따라 네트워크 패킷을 분류하고 프로토콜을 처리한다. 이를 위해 패킷분류기(Packet Classifier)와 프로토콜엔진(Protocol Engine)을 포함하는 QPF(QoS Provisioning Framework)를 설계하고 리눅스 커널 내부에 구현하였다. 과거의 인터럽트 기반의 방식에서는 네트워크 패킷이 선착순(first-in first-out)으로 처리되어 응용 프로그램에서 요구하는 QoS를 보장하기 어려우며, 또한 항상 네트워크 패킷의 처리가 응용 프로그램보다 우선적으로 처리되어 수신교착상태(Receive Livelock) 등의 문제가 발생한다. 본 논문에서 제안하는 QPF는 네트워크 패킷을 우선순위에 따라 처리함은 물론 네트워크 처리에 사용되는 CPU 시간을 조절할 수 있어 위와 같은 문제를 효과적으로 해결할 수 있다.

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

트랜잭션 로그 정보를 안전한 저장장치에 저장하는 것은 트랜잭션의 완료를 위한 필수 불가결한 요소이지만 시스템 성능에 커다란 저해 요인이 되고 있다. 이에 대한 개선책으로 선-완료(pre-commit), 그룹 완료(group commit)와 같은 방식들의 제안이 있었으나, 이 방식들을 시스템에 적용했을 경우, 특히 로깅이 평상시 트랜잭션 수행시간의 거의 대부분을 차지하는 메인 메모리 데이터베이스(MMDB) 시스템과 같은 환경에서의 구체적이고 다양한 논의가 아직 이루어지지 안고 있다. 본 논문에서는 MMDB시스템에 그를 완료를 적용할 때 발생할 수 있는 교착 상태에 대한 설명과 해결책을 제시하였고, 다각적인 모의실험을 실시하여 이전 논문들의 우려와는 달리 그룹 완료 방식이 전체 시 9853;메 성능뿐만 아니라 트랜잭션 수행시간 단축을 위해서도 매우 우수한 해결 방식이며, 선-완료 방식은 예상과 달리 그룹 완료 방식의 보조수단으로 병행될 때에만 시스템 성능에 추가적인 도움을 준다는 것을 보였다.다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.51-53
• /
• 1998

전자상거래 시스템은 사용자와 공급자에게 더욱 안전하고 편리한 구매 및 판매 수단을 제공하지만 실세계의 상거래 과정을 전자적으로 구현하기 위해서는 해결해야할 문제들이 많이 있다. 특히, 에이전트를 이용하여 시간 및 수량의 제약을 갖는 연계된 상품을 판매하는 전자 상거래 시스템을 구축하기 위해서는 상품 수량의 일관성 유지에 대한 연구가 필요하다. 그러나 상품 수량의 일관성을 위해 사용된 록킹 방법은 트랜잭션 지연을 유발하는 동시에 많은 거래가 수행되지 않는다. 본 연구에서는 연계된 상품을 제공하는 전자상거래 시스템이 상품 수량의 일관성을 유지하면서도 동일한 시간에 보다 많은 거래가 성립되도록 새로운 록을 추가한 2단계 록킹 방법과 교착 상태 탐지 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.7-9
• /
• 2012

2단계 잠금 규약은 데이터베이스에서 트랜잭션의 직렬성을 보장하는 방법이다. 분산 클라우드 시스템에는 분산된 노드들에 의한 합의 문제가 필연적으로 존재하여, 이는 분산 시스템에서 2단계 잠금을 비롯한 데이터베이스 이론의 적용을 어렵게 한다. 본 논문에서는 ZooKeeper를 이용하여 분산 클라우드 시스템에서 활용 가능한 2단계 잠금의 구현을 보이고, 이것이 트랜잭션의 직렬성을 보장함을 확인한다. 또한 분산시스템의 잠금 과정에서 발생할 수 있는 교착 상태 해결의 구현을 보인다.

• Journal of Internet Computing and Services
• /
• v.8 no.3
• /
• pp.75-83
• /
• 2007

Multithreaded model is an effective parallel system in that it can reduce the long memory reference latency time and solve the synchronization problems. When compiling the non-strict functional programs for the multithreaded parallel machine, the most important thing is to find an set of sequentially executable instructions and to partitions them into threads. The existing partitioning algorithm partitions the condition of conditional expression, true expression and false expression into the basic blocks and apply local partitioning to these basic blocks. We can do the better partitioning if we modify the definition of the thread and allow the branching within the thread. The branching within the thread do not reduce the parallelism, do not increase the number of synchronization and do not violate the basic rule of the thread partitioning. On the contrary, it can lengthen the thread and reduce the number of synchronization. In the paper, we enhance the method of the partition of threads by combining the three basic blocks into one of two blocks.

• Journal of Navigation and Port Research
• /
• v.38 no.5
• /
• pp.493-501
• /
• 2014

An automated lifting vehicle(ALV) used in an automated container terminal is a type of unmanned vehicle that can self-lift a container as well as self-transport it to a destination. To operate a fleet of ALVs efficiently, one needs to be able to determine a minimum-time route to a given destination whenever an ALV is to start its transport job. To find a route free from any collision or deadlock, the occupation time of the ALV on each segment of the route should be carefully scheduled to avoid any such hazard. However, it is not easy because not only the travel times of ALVs are uncertain due to traffic condition but also the operation times of cranes en route are not predicted precisely. In this paper, we propose a routing method based on an ant colony optimization algorithm that takes into account these uncertainties. The result of simulation experiment shows that the proposed method can effectively find good routes under uncertainty.

• Korean Journal of Legislative Studies
• /
• v.24 no.2
• /
• pp.5-38
• /
• 2018

A seismic change is under way in diplomatic topography surrounding the Korean Peninsula. A new dynamic is being generated that could lead to a breakthrough in the nuclear stalemate and to an end of hostility between the two Koreas. Moon Administration's bold and creative foreign policy, which is alleged to place South Korea in the "driver's seat", is probably responsible for what is happening on the Korean Peninsula. However, on the other hand, Moon Administration's foreign policy shows a lot of continuity with foreign policy of previous conservative governments. In particular, the Moon government's emphasis on the vitality of the ROK-US alliance and its commitment to close coordination with the US in dealing with nuclear issues of North Korea is the hallmark of the continuity in South Korea's foreign policy. Emphasizing and sharing the notion of the continuities in foreign policy could contribute to social integration by garnering bi-partisan support. It could also spawn sense of stability, predictability, and confidence to diplomatic counterparts in other countries. And it could help avoid the negative effects of expectation-reality gap in the event that the outcome of all the diplomatic endeavor falls short of expectation held by citizens.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.4B
• /
• pp.646-680
• /
• 2000

In this paper, we discuss the design and implementation of a concurrency control manager for a main memory DBMS(MMDBMS). Since an MMDBMS, unlike a disk-based DBMS, performs all of data update or retrieval operations by accessing main memory only, the portion of the cost for concurrency control in the total cost for a data update or retrieval is fairly high. Thus, the development of an efficient concurrency control manager highly accelerates the performance of the entire system. Our concurrency control manager employs the 2-phase locking protocol, and has the following characteristics. First, it adapts the partition, an allocation unit of main memory, as a locking granule, and thus, effectively adjusts the trade-off between the system concurrency and locking cost through the analysis of applications. Second, it enjoys low locking costs by maintaining the lock information directly in the partition itself. Third, it provides the latch as a mechanism for physical consistency of system data. Our latch supports both of the shared and exclusive modes, and maximizes the CPU utilization by combining the Bakery algorithm and Unix semaphore facility. Fourth, for solving the deadlock problem, it periodically examines whether a system is in a deadlock state using lock waiting information. In addition, we discuss various issues arising in development such as mutual exclusion of a transaction table, mutual exclusion of indexes and system catalogs, and realtime application supports.