• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.687-690
• /
• 2002

In this paper, we present a novel semaphore implementation scheme which shortens finish time of high priority tasks and improves reliability of a system. The real-time systems have time constraints. Especially, the task with hard real-time constraints must meet its deadline. Consequently, managing shared resources is considered guaranteeing mutual exclusion as well as meeting task's deadline under unfavorable condition. According to the number and sort of the locked semaphores under the event occurred, this paper presents the reduction of the finish time of high priority task by decision whether the context switched or not. The experimental results show that the proposed method gives performance improvements in finish time of high priority tasks of about 11% over zuberi[4] method.

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

본 논문은 실시간 운영체제에서 높은 우선순위를 가지는 태스크가 낮은 우선순위를 가지는 태스크가 사용중인 공유자원을 기다리는 과정에서 발생하는 우선순위 역전현상을 해결하기 위한 효과적인 방법에 대해 언급한다. 우선순위 역전현상은 실시간 운영체제의 주요 특징인 태스크 수행 완료의 바운드 타임을 예측하기 어렵게 만들어 실시간 운영체제를 사용하는 가장 큰 목적인 결정성(determinism)을 보장 받지 못하게 된다. 이를 해결하기 위해 논문에서 구현된 커널은 비교적 크기가 작으면서도 실시간 운영체제의 핵심적 특징을 잘 갖추고 있는 uCOS(Micro C/OS) 커널을 사용하였으나, 유일한 우선순위만을 갖는 uCOS의 제약사항을 보완하고 Priority Inheritance protocol을 이용한 MuTexS (Mutual Exclusion Semaphore)를 구현 하기위해 커널의 자료구조를 확장하여 수정된 스케줄링 방식을 사용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.459-463
• /
• 2006

유비쿼터스 환경은 이질적인 디바이스와 서비스로 구성되어 있으며 많은 컴포넌트들이 각기 목적을 가지고 여러 네트워크에 산재되어있다. 이러한 디바이스들을 연결하고 서비스를 효율적으로 관리하기 위해 비슷한 목적을 가지는 컴포넌트들을 하나의 그룹으로 묶을 수 있다. 이러한 그룹의 멤버들은 서비스를 제공하기 위해 같은 그룹의 멤버들과 리소스를 공유하며 때로는 그룹의 모든 멤버들이 동시에 하나의 리소스를 사용하기도 한다. 서로 다른 그룹이 이러한 리소스를 공유하기도 한다. 따라서 그룹 간에 상호 배제 알고리즘이 필요하다. 이 논문에서는 쿼럼-기반 알고리즘(Quorum-based algorithm)을 응용하여 유비쿼터스 환경에서 그룹간의 상호 배제문제를 해결하는 알고리즘을 제안하고 이에 대한 성능측정 결과를 설명한다.

• 한국통신학회논문지
• /
• 제25권4B호
• /
• pp.646-680
• /
• 2000

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1445-1454
• /
• 1999

광역 조건식의 계산은 분산 프로그램의 수행을 테스트 또는 디버깅하기 위한 방법으로 활 발히 연구되고 있다. 이제까지 주로 연구된 광역조건식은 AND 또는 OR 광역 조건식 등이 있는데, 특히 AND 광역 조건식은 분산 프로그램의 동시적 조건을 표현하는데 유용하여 효율적인 검색 알고리즘이 활발히 연구되었다. 분산프로그램의 수행오류로서 공유자원의 배타적 접근조건은 가장 중요하고 일반적인 경우라 할 수 있다. 본 논문에서는 XOR 연산을 이용하여 공유자원 프로그램의 오류 검색을 위한 광역조건식을 기술하는 방식에 대해 제안하였다. XOR 연산을 이용한 광역 조건식은 연산자 중 많아야 하나의 지역조건식만이 참일 때 전체 조건식이 참이 되는데 이러한 성질은 여러 프로세스 중 한번에 하나만이 공유자원에 배타적으로 접근할 수 있는 조건을 표현하는데 매우 유용하다. n 개의 프로세스로 이루어진 분산프로그램에서 한개의 공유자원에 대한 배타적 접근 조건을 기술하기 위해서 AND로 연결된 광역조건식을 이용하면 O(n2)개의 광역 조건식이 필요한데 반해 XOR 연산으로는 하나의 조건식으로 나타낼 수 있다. 더구나 XOR 연산을 이용한 광역조건식은 최근 소개된 겹치는 구간의 개념을 활용하면 매우 간단하게 검색할 수 있다. 본 논문에서는 겹치는 구간을 찾는 검색 알고리즘을 소개하고 증명하였다.Abstract Detecting global predicates is an useful tool for debugging and testing a distributed program. Past research has considered several restricted forms of predicates, including conjunctive or disjunctive form of predicates. Especially, conjunctive predicates have attracted main attention not only because they are useful to describe simultaneous conditions in a distributed program, but also because it is possible to find algorithms to evaluate them within reasonable time bound. Detecting errors in accessing shared resources are the most popular and important constraints of distributed programs. In this paper, we introduced an exclusive OR predicates as a model of global predicates to describe shared resource conditions in distributed programs. An exclusive OR predicate holds only when at most one operand is true, which is useful to describe mutual exclusion conditions of distributed programs where only one process should be allowed to access the shared resource at a time. One exclusive OR predicate is enough to describe mutual exclusion condition of n processes with one shared resource, while it takes O(n2) conjunctive predicates. Moreover, exclusive OR condition is easily detectable using the concept of overlapping intervals introduced by Venkatesan and Dathan. An off-line algorithm for evaluating exclusive OR global predicates is presented with a correctness proof.

• 한국콘텐츠학회논문지
• /
• 제18권5호
• /
• pp.292-302
• /
• 2018

이 글은 인도의 대표적인 식민도시인 뉴델리, 마드라스, 캘커타, 봄베이(현재의 첸나이, 콜카타, 뭄바이)가 교과서에 어떻게 서술되고 있는지 살펴보고 이를 바탕으로 인도인의 관점에서 본 식민도시에 관해 분석하고자 한다. 인도 교과서에서 식민도시들은 도시가 만들어지는 과정과 그에 따른 정치 사회 경제 문화적 변화, 영국인과 인도인 간의 분리, 도시 계획, 식민지배 기간 동안 축조된 건축물들에 대해 서술하고 있으며, 이에 관한 서술관점은 '박탈, 배척, 차별, 저항, 도전'과 '기회의 부여, 수용, 흡수'의 관점이 혼재되어 있다는 점이 특징이다. 즉 식민도시를 둘러싼 서술관점은 대립적이면서도 상호 불가분의 관계를 견지하고 있는데, 영국의 통치 이데올로기가 반영된 식민도시가 가질 수밖에 없는 태생적 특징, 그 안에서 지배자와 피지배자가 만들어가는 사회, 문화적 특징을 단순화시키지 않고 다층적 고찰이 가능하도록 하고 있다. 그러면서도 피지배자로 겪었던 불합리한 차별과 배제에 대한 저항이 있었던 점은 분명히 하고 있다.

• 한국중재학회지:중재연구
• /
• 제18권3호
• /
• pp.117-138
• /
• 2008

This study lies on building the International Standardization of China Arbitration System for improving a relationship of mutual trust and the safety trade between China and other worldwide countries, especially, South Korea as their one of the biggest trading partners through the comparative analysis of China and UNCITRAL Arbitration Law. In this analysis, the differences from China and UNCITRAL in arbitration law are like belows ; lack of arbitrator's international mind, the limitation of private property right, prohibition of Ad. hoc arbitration, arbitrator's biased nationalism, localism, and their short specialties. a deficiency of the objectiveness for arbitrator's election, a judgement rejection of claimants by using nonattendance and walkout, impossibility of prior and temporary property custody for execution of arbitration award. etc. For the improvement of the International Standardization of China Arbitration, this paper propose as follows: 1) Extension of private property right, reorganization of tax system, realization of open competition, exclusion of 'Sinocentrism', globalization of arbitration system 2) The abolition of old fashioned bureaucracy with approval for ad.hoc arbitration 3) An education for arbitrator's internationalization, specialty, and to promote legal knowledge 4) A settlement of the third country arbitrators' selection for reflecting interested party's decision by the court in a selection system of arbitration committee. 5) Institutionalization of arbitration judgment that prevent for claimant's avoidance by using a withdrawal and an intentional absent 6) A permission of the right of claimant's court custody directly before the begging of arbitration request for the prevention for destruction of evidence and property concealment 7) Grant of the arbitration tribunal's interim measures of protection for private property preservation to the third party, proof security, prevention from the loss that selling the corruptible goods 8) Improvement of arbitration's efficiency from the exclusion of the obstacles that are forgery, concealed evidence, and arbitrator's bribe taking Lastly, I hope that this study will serve to promote friendly economic relationship between China and South Korea and strive for international equilibrium through the achievement of China Arbitration's International Standardization. I will finish this paper with a firm belief that this will lead to more advanced studies.

• 한국컴퓨터정보학회논문지
• /
• 제25권9호
• /
• pp.193-201
• /
• 2020

본 연구에서는 Test-and-Set 알고리즘을 수행하는 시뮬레이션 앱을 개발하였다. Test-and-Set 알고리즘은 고난이도 알고리즘이라 이를 이해하기 어려워하는 학습자들을 위하여 이 시뮬레이션 앱을 만들었다. 본 시뮬레이션 앱을 이용하여 Test-and-Set 알고리즘의 이해를 원하는 학습자들이 모여 팀을 이루고 논의하며 실습을 할 수 있도록 하였으며, 이런 여러 팀들이 동시에 실습할 수 있도록 만들었다. 구성한 시뮬레이션 앱에서 기계어 명령어라고 가정한 Test-and-Set 명령어를 큐를 이용하여 인터럽트 받지 않게 구성하였으며, 임계영역 문제에서 해결해야 하는 '상호배제', '진행', '제한된 대기'의 3조건이 모두 잘 수행됨을 볼 수 있었다.

• 한국콘텐츠학회논문지
• /
• 제14권8호
• /
• pp.22-29
• /
• 2014

락은 멀티프로세서 환경에서 공유 데이터에 대한 접근을 안전하게 하는 잘 알려진 일반적인 방법이다. 1960년대에 상호 배제가 소개된 후에 많은 스핀락 알고리즘이 제안되었고 운영체제나 데이터베이스 시스템에 사용되어 왔다. 이 연구에서 고성능 멀티코어 시스템 상에서 락 알고리즘이 데이터베이스 시스템에 미치는 영향을 측정하였다. 평가를 위해 그 동안 멀티코어 상에서 성능 개선을 위해 재구조화된 최신 MySQL 5.6 및 MySQL에 탑재된 InnoDB 엔진을 사용하였다. InnoDB의 스핀락 함수를 수정하여 다양한 락 알고리즘들을 구현하였고 구현된 락 알고리즘들을 멀티코어 환경에서 평가하였다.

• 간호행정학회지
• /
• 제21권5호
• /
• pp.575-586
• /
• 2015

Purpose: The purpose of this study was to provide a concept analysis of nursing leadership. Methods: The concept analysis process of Walker and Avant (2011) was used. A review of the literature was conducted using several databases, including PubMed, CINAHL, Ovid-Medline, DBpia, and KISS. The databases were searched using the following terms 'nursing leadership', 'nursing' & 'leadership', and 'nurse & 'leadership', and for studies published from January 2000 to March 2015. Strict inclusion and exclusion criteria were applied. Results: Analysis of these studies indicated nursing leadership attributes were individual growth, collaboration, nursing excellence, creative problem solving, and influence. The antecedents of nursing leadership were the individual maturity level, construction of mutual trust and confidential relationships, and a job requirement. The consequences were improvement in nursing productivity, development of a supportive work environment, and satisfaction with the nursing profession. Conclusion: The findings in this study provide a definite concept of nursing leadership. The findings also provide the theoretical evidence for the development of nursing leadership competencies in nursing students and professional nurses.