주기억장치 데이터베이스를 위한 동시성 제어 관리자의 설계 및 구현

김상욱,장연정,김윤호,김진호,이승선,최완,Kim, Sang-Wook,Jang, Yeon-Jeong,Kim, Yun-Ho,Kim, Jin-Ho,Lee, Seung-Sun,Choi, Wan 한국통신학회 2000 韓國通信學會論文誌 Vol.25 No.4

본 논문에서는 주기억장치 DBMS(main memory DBMS: MMDBMS)를 위한 동시성 제어 관리자의 설계 및 구현에 관하여 논의한다. MMDBMS는 디스크 기반 DBMS와는 달리 주기억장치 액세스만으로 데이터 검색 및 갱신을 수행하므로 전체 수행 비용 중 동시성 제어 관리자의 수행 비용이 차지하는 비중은 매우 크다. 따라서 효율적인 동시성 제어 관리자의 개발은 MMDBMS의 성능에 큰 영향을 미치게 된다. 본 연구에서 개발된 동시성 제어 관리자는 이단계 라킹 규약을 기반으로 하며, 다음과 같은 특징을 갖는다. 첫째, 락의 단위를 주기억장치의 물리적인 할당 단위인 파티션으로 설정함으로써 응용 분야의 특성 분석을 통하여 동시성과 락 관리 비용을 유연하게 조정할 수 있다. 둘째, 락에 관한 정보를 파티션 내부에서 직접 관리함으로써 락 관리 비용을 크게 줄일 수 있다. 셋째, 시스템 데이터의 물리적 일관성 유지를 위한 수단으로서 래치를 제공한다. 개발된 래치는 공유 모드와 배제 모드를 모두 지원하며, CPU 이용률의 극대화를 위하여 Bakery 알고리즘과 Unix의 세마포어 기능을 결합하는 방법을 사용한다. 넷째, 락에 의한 교착 상태의 해결을 위하여 락 대기 정보를 기반으로 시스템의 교착 상태 여부를 주기적으로 검출하는 기능을 제공한다. 본 논문에서는 트랜잭션 테이블의 상호배제, 인덱스 혹은 시스템 카탈로그의 상호 배제, 실시간 응용의 지원 등 실제 구현에서 발생하는 중요한 이슈들에 관해서도 이울러 논의한다. 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.

산화·환원법에 의한 폐텅스텐 스크랩의 재활용에 관한 기초연구

김상욱,윤지석,김태욱,조봉휘,김인호,김상무,송창빈,Kim, Sang-Uk,Yun, Ji-seok,Kim, Tae-Wook,Cho, Bong-Hwi,Kim, In-Ho,Kim, Sang-Mu,Song, Chang-Bin 한국분말야금학회 2017 한국분말재료학회지 (KPMI) Vol.24 No.1

This study is carried out to obtain basic data regarding oxidation and reduction reactions, originated on the recycling of waste tungsten hard scraps by oxidation and reduction processes. First, it is estimated that the theoretical Gibbs free energy for the formation reaction of $WO_2$ and $WO_3$ are calculated as ${\Delta}G_{1,000K}=-407.335kJ/mol$ and ${\Delta}G_{1,000K}=-585.679kJ/mol$, from the thermodynamics data reported by Ihsan Barin. In the experiments, the oxidation of pure tungsten rod by oxygen is carried out over a temperature range of $700-1,000^{\circ}C$ for 1 h, and it is possible to conclude that the oxidation reaction can be represented by a relatively linear relationship. Second, the reduction of $WO_2$ and $WO_3$ powder by hydrogen is also calculated from the same thermodynamics data, and it can be found that it was difficult for the reduction reaction to occur at $1,027^{\circ}C$, in the case of $WO_2$, but it can happen for temperatures higher than $1127^{\circ}C$. On the other hand, $WO_3$ reduction reaction occurs at the relatively low temperature of $827^{\circ}C$. Based on these results, the reduction experiments are carried out at a temperature range of $500-1,000^{\circ}C$ for 15 min to 4 h, in the case of $WO_3$ powder, and it is possible to conclude that the reduction at $900^{\circ}C$ for 2h is needed for a perfect reduction reaction.

데이타베이스 관리 시스템에서 대화식 UNDO를 지원하는 회복 기법

김상욱,김장수(Won-Young Kim),김원영,황규영,Kyu-Young Whang,Sang-Wook Kim,Jang-Su Kim 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.1

User-interactive undo is a kind of recovery facility that allows users to correct easily mistakes by canceling and reexecuting already executed operations. Supporting user-interactive undo is essential for authoring processes in new database applications such as software engineering, hypermedia, and computer aided design. A partial rollback using savepoints supported by commercial database management systems(DBMSs), which allows only cancellation of already executed operations, is a restricted from of user-interactive undo. Although many applications use DBMSs, they have to provide user-interactive undo by themselves due to lack of support from the DBMSs. Since implementation of the user-interactive undo is Quite complex, it poses significant burden to application programmers. This paper proposes a new recovery method facilitating user-interactive undo in DBMSs. Such a facility relieves the programmers from implementing user-interactive undo themselves in developing DBMS applications. The method guarantees fast rollback of transactions that contain user-interactive undos. It also provides users with the bulk undo operation that restores the database to a predefined point in the past. The bulk undo operation resembles partial rollback, but differs m that it allows redo that cancels bulk undo. Moreover, the performance of the method is comparable to that of the traditional recovery method in spite of added functionalities. 대화식 UNDO는 수행된 연산을 철회시키거나 재실행시킴으로써 사용자의 오류를 쉽게 교정할 수 있도록 허용하기 위한 일종의 회복 기능이다. 소프트웨어 개발, 하이퍼미디어, CAD 등과 같은 새로운 데이타베이스 응용 분야에서는 편리한 저작 및 편집 과정을 위하여 대화식 UNDO 기능의 지원이 필수적이다. 상용 DBMS들이 제공하는 세이브포인트를 이용한 부분 철회는 수행된 연산의 철회만을 허용하는 것으로 대화식 UNDO의 제한적 기능이다. 기존의 응용 시스템들은 데이타 관리를 위해서는 DBMS를 사용하면서도 이러한 대화식 UNDO 기능은 응용 시스템에서 직접 제공하고 있다. 대화식 UNDO 기능의 구현은 매우 복잡하기 때문에 응용 프로그래머에게 상당한 개발 오버헤드를 요구한다. 본 연구의 목적은 다양한 응용 시스템 개발을 위하여 공통적으로 필요한 고급 기능을 응용 프로그래머가 쉽게 이용할 수 있도록 대화식 UNDO 기능을 DBMS에서 직접 지원하는 새로운 회복 기법을 제안하는 것이다. 제안된 기법에서는 트랜잭션 철회시 대화식 UNDO에 의해 UNDO된 연산들을 스킵함로써 빠른 철회를 보장하고 여러 연산을 한번에 철회할 수 있는 벌크 UNDO 연산(bulk undo)을 제공한다. 벌크 UNDO 연산은 기록된 시점으로 철회한다는 점에서 기존의 부분 철회와 유사하지만 벌크 UNDO된 연산들도 다시 재실행될 수 있다는 점에서 부분 철회와 구별된다. 특히, 일반 DBMS에서 회복을 위하여 관리해야 하는 정보를 최대한 활용함으로써 새로운 기능의 추가에도 불구하고 제안된 기법의 성능은 이러한 기능을 제공하지 않는 기존의 회복 기법과 비교할만한 좋은 성능을 보인다.

불확실성이 고려된 비용-편익분석 기법을 도입한 최적설계홍수량 산정

김상욱,최광배,Kim, Sang Ug,Choi, Kwang Bae 한국수자원학회 2022 한국수자원학회논문집 Vol.55 No.6

Flood frequency analysis commonly used to design the hydraulic structures to minimize flood damage includes uncertainty. Therefore, the most appropriate design flood within a uncertainty should be selected in the final stage of a hydraulic structure, but related studies were rarely carried out. The total expected cost function introduced into the flood frequency analysis is a new approach for determining the optimal design flood. This procedure has been used as UNCODE (UNcertainty COmpliant DEsign), but the application has not yet been introduced in South Korea. This study introduced the mathematical procedure of UNCODE and calculated the optimal design flood using the annual maximum inflow of hydroelectric dams located in the Bukhan River system and results were compared with that of the existing flood frequency. The parameter uncertainty was considered in the total expected cost function using the Gumbel and the GEV distribution, and the Metropolis-Hastings algorithm was used to sample the parameters. In this study, cost function and damage function were assumed to be a first-order linear function. It was found that the medians of the optimal design flood for 4 Hydroelectric dams, 2 probability distributions, and 2 return periods were calculated to be somewhat larger than the design flood by the existing flood frequency analysis. In the future, it is needed to develop the practical approximated procedure to UNCODE.

학교보건교육제도 및 운영상(運營上)의 문제점(問題點)

김상욱,Kim, Sang-Uk 한국학교보건학회 1988 韓國學校保健學會誌 Vol.1 No.2

학교보건(學校保健) 관계법령(關係法令) 분석(分析)

김상욱,Kim, Sang Wook 한국학교보건학회 1988 韓國學校保健學會誌 Vol.1 No.1

One of the first constitutional challenges to congressional legislation in the area of school health came in 1967. The action of Ministry of Education for the school health program is within school health act constituted 20 Articles and its regulation of 14 Articles. This study was reviewed the school health act and its regulation for the development of school health program. The data were collected by 14 Boards of Education from November 1986 to January, 1987. The results of this study were identified the articles needss to change such as the articles with regard to health education activity, physical assessment activity, criteria of school health environment, control of communicable disease, First-Aid and clinic management by School nurses.

급기가압제연설비의 누설량 산출공식의 유도(VII)

김상욱,Kim, Sang-Uk 한국화재보험협회 1999 防災와 保險 Vol.80 No.-

위상수학의 시조 Euler

김상욱,이승온,Kim, Sang-Wook,Lee, Seung-On 한국수학사학회 2006 Journal for history of mathematics Vol.19 No.1

Topology began to be studied relatively later than the other branches of mathematics, such as geometry, algebra and analysis. Leonhard Euler is generally considered to be the founder of topology. In this paper we first investigate the beginning of topology and its development and then study Euler's life and his achievements in mathematics. 위상수학은 기하학, 대수학, 해석학 등 수학의 다른 분야에 비하여 비교적 늦게 연구되기 시작하였고 Euler는 위상수학의 시조로 알려져 있다. 우리는 먼저 위상수학의 기원과 발달에 대해 살피고 Euler의 삶과 업적에 대해 알아본다.

김상욱의 독서일기

김상욱,Kim, Sang-Uk 대한출판문화협회 2007 출판저널 Vol.377 No.-

지속가능한 개발계획 수립을 위한 잠재적 위협 및 기회요인 규명

김상욱,손민우,정은성,변지선,Kim, Sang-Uk,Son, Min-U,Jeong, Eun-Seong,Byeon, Ji-Seon 한국수자원학회 2016 물과 미래(한국수자원학회지) Vol.49 No.4