• 제목/요약/키워드: First-race to occur

검색결과 10건 처리시간 0.01초

메시지전달 프로그램의 디버깅을 위한 경합의 확장적 시각화 (Scalable Race Visualization for Debugging Message-Passing Programs)

  • 박미영;전용기
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제32권7호
    • /
    • pp.341-348
    • /
    • 2005
  • 메시지전달 프로그램에서 발생하는 임의의 메시지경합은 다른 경합의 발생에 영향을 줄 수 있으므로, 효과적인 디버깅을 위해서 영향받지 않은 경합을 탐지하는 것이 중요하다. 이러한 경합을 효율적으로 탐지하기 위한 기존의 기법은 각 프로세스에서 가장 먼저 발생하는 경차의 수신사건에서 수행을 중단하여 경합하는 메시지들을 탐지한다. 그러나 프로세스의 수행 중단은 경합들간에 존재하는 영향관계의 단절을 초래하므로, 탐지된 모든 경합이 영향받지 않은 경합임을 보장하지 못한다. 본 논문은 기존의 두 번째 수행을 위한 알고리즘에 각 프로세스에서 가장 먼저 발생한 경합의 영향관계 정보를 생성하는 알고리즘을 추가하여, 탐지된 경차들간의 관계를 효과적으로 시각화하는 기법을 제안한다. 이러한 시각화는 각 프로세스에서 최초로 발생한 경합들간에 형성된 영향관계를 보임으로써 영향받지 않은 경합을 시각적으로 탐지하는데 효과적이다.

내포병렬성을 가진 공유메모리 프로그램에서 최초경합의 수행후 탐지도구 (A Post-mortem Detection Tool of First Races to Occur in Shared-Memory Programs with Nested Parallelism)

  • 강문혜;심갑식
    • 한국컴퓨터정보학회논문지
    • /
    • 제19권4호
    • /
    • pp.17-24
    • /
    • 2014
  • 본 논문에서는 고성능 컴퓨팅 시스템의 성능 향상을 위한 효율적인 동적 작업부하 균등화 정책을 제안한다. 이 정책은 시스템 자원인 CPU와 메모리를 효율적으로 사용하여 고성능 컴퓨팅 시스템의 처리량을 최대화하고, 각 작업의 수행시간을 최소화한다. 또한 이 정책은 수행중인 작업의 메모리 요구량과 각 노드의 부하상태를 파악하여 작업을 동적으로 할당한다. 이때 작업을 할당 받은 노드가 과부하 상태가 되면 다른 노드로 작업을 이주시켜 각 노드의 작업부하를 균등하게 유지함으로써 작업의 대기시간을 줄이고, 각 작업의 수행시간을 단축한다. 본 논문에서는 시뮬레이션을 통하여 제안하는 동적 작업부하 균등화 정책이 기존의 메모리 기반의 작업부하 균등화 정책에 비해 고성능 컴퓨팅 시스템의 성능 향상 면에서 우수함을 보인다.

메시지전달 프로그램의 영향받지 않은 경합조건 탐지를 위한 경합상태 전이기법 (Race State Transition for Detecting Unaffected Race Conditions in Message-Passing Programs)

  • 박미영;강현석;전용기
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제33권8호
    • /
    • pp.495-504
    • /
    • 2006
  • 메시지전달 프로그램에서 발생하는 임의의 메시지경합은 다른 경합의 발생에 영향을 줄 수 있으므로, 효과적인 디버깅을 위해서 영향받지 않은 경합을 탐지하는 것이 중요하다. 이러한 경합을 효율적으로 탐지하기 위한 기존의 기법은 각 프로세스에서 가장 먼저 발생하는 경합의 수신사건에서 수행을 중단하여 경합하는 메시지들을 탐지한다. 그러나 프로세스의 수행 중단은 경합들간에 존재하는 영향관계의 단절을 초래하므로, 탐지된 모든 경합이 영향받지 않은 경합임을 보장하지 못한다. 본 논문은 탐지된 경합의 상태를 프로그램의 수행 종료까지 수신하는 메시지들의 영향 여부에 따라 전이하는 새로운 기법을 제안한다. 본 기법은 경합을 탐지하고 그들간의 영향관계를 프로그램 종료까지 유지하므로, 영향받지 않은 경합만을 효율적으로 탐지한다.

OpenMP 디렉티브 프로그램의 최초경합 탐지를 위한 도구 (A Detection Tool of First Races in OpenMP Programs with Directives)

  • 강문혜;하옥균;전용기
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제37권1호
    • /
    • pp.1-7
    • /
    • 2010
  • OpenMP 디렉티브 프로그램의 디버깅을 위해서 비결정적인 수행결과를 초래하는 경합을 탐지 하는 것은 중요하다. 특히, 프로그램 수행에서 가장 먼저 발생하는 최초경합은 이후에 발생하는 경합에 영향을 줄 수 있으므로 효과적인 디버깅을 위해서 반드시 탐지되어야 한다. 그러나 기존의 경합탐지 도구들은 최초경합의 탐지를 보장하지 못한다. 본 논문에서는 내포병렬성을 포함한 프로그램을 두 번의 수행으로만 프로그램의 수행 중에 최초경합을 탐지하는 도구를 제시한다. 본 도구의 정당성을 합성프로그램을 이용하여 보이고, 기존 경합탐지 도구와 기능성을 비교한다.

순서적 동기화를 포함하는 공유 메모리 병렬프로그램에서의 수행중 최초경합 탐지 기법 (On-the -fly Detection of the First Races for Shared-Memory Parallel Programs with Ordered Synchronization)

  • 박희동;전용기
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제26권8호
    • /
    • pp.884-894
    • /
    • 1999
  • 순서적 동기화 및 내포 병렬성을 포함하는 공유메모리 병렬 프로그램에서의 경합(race)은 프로그램 수행에서 원하지 않은 비결정성(nondeterminism)을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 특히 프로그램 수행에서 최초경합(first race)을 탐지하는 것은 중요한데, 그 이유는 이 경합을 제거하면 다른 경합이 나타나지 않을 수도 있기 때문이다. 본 논문에서는 결정적 공유메모리 병렬프로그램을 위한 2단계 수행중 (two-pass on-the-fly) 최초경합 탐지 기법을 제시하며, 이것은 공유메모리 병렬 프로그램의 특정 수행에서 "최초로 발생되는" 경합들을 탐지하는 기법이다. 그리고 HPF 컴파일러를 이용하여 본 탐지 프로토콜을 공인된 벤치마크 프로그램에 적용하여, 병렬 프로그램 디버깅 시 고려하여야 할 파라미터들에 대한 실험으로부터 본 기법의 효율성을 보였다.Abstract Detecting races is important in debugging shared-memory parallel programs which have ordered synchronization and nested parallelism, because the races result in unintended non- deterministic executions of the programs. The first races are important in debugging, because the removal of such races may make other races disappear. It is even possible that all races reported would disappear once the first races are removed. This paper presents a new two-pass on-the-fly algorithm to detect the first races in such parallel programs. The algorithm reported in this paper is an on-the-fly algorithm that detects the races that "occur first" in a particular execution of shared-memory parallel programs. The experiment has accomplished, where two certified benchmark programs which can be executed under High Performance Fortran environments to get some parameters which improve debugging performance with our algorithm. with our algorithm.

An Improving Method of Restructuring Parallel Programs for Data Race Detection

  • Ha, Keum-Sook;Lee, Sung woo;Yoo, Kee-Young
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2000년도 ITC-CSCC -2
    • /
    • pp.715-718
    • /
    • 2000
  • Although shared memory parallel programs are designed to be deterministic both in their final results and intermediate states, the races that occur when different processes access a common memory location in an order not guaranteed by synchronization could result in unintended non-deterministic executions of the program. So, Detecting races, particularly first data races, is important for debugging explicit shared memory parallel programs. It is possible that all data races reported by other on-the-fly algorithms would disappear once the first races were removed. To detect races parallel programs with nested loops and inter-thread coordination, it must guarantee the order of synchronization operations in an execution instance. In this paper, we propose an improved restructuring method that guarantee ordering execution instance and preserve the semantics of original program. This method requires O(np) time and (s + up) space, where n is the number of total operations, s is the number of synchronization operations and p is the number of parallelism in the execution. Also, this method makes on-the-fly detection of parallel program with nested loops and inter-thread coordination more easily in space and time complexity.

  • PDF

다문화 사회에서의 다문화적 교육상담에 대한 연구 (Analysis of Multicultural Education Counseling Influence in Multicultural Society)

  • 한기정;박철주
    • 웰빙융합연구
    • /
    • 제1권1호
    • /
    • pp.1-13
    • /
    • 2018
  • It has become a request of the time that multicultural population and multicultural education have become an issue and a subject of interest in the Korean society. The numbers of foreigners and multicultural families such as international marriage families and foreign worker families living in Korea are increasing, which have resulted in a geometrical increase in the number of multicultural families' children attending school. This leads an assumption that discrimination in terms of race, gender, religion, and culture can occur in school settings and the children of multicultural families are prone to become the targets of group bullying and school violence. This study first examined the current policy of multicultural education in Korea and reviewed the meanings and necessity of multicultural counseling above multicultural education. Second, this study classified and reviewed the applicability of the policy of multicultural education into multicultural education sites by groups. Third, this study selected and organized the increasing demands for multicultural counseling and assignments to effectively respond to them. Interest toward the children of multicultural families and counseling have increased with more researches on multicultural families. It will be thus necessary to accumulate more studies on multicultural counseling and ensure internal stability of multicultural-related businesses.

한국 노동력의 질적향상이 경제발전에 미치는 영향 (The Change in Quality of the Labor Force and Its Effect on the Economic Growth of Korea)

  • Song, Wi-sup
    • 한국인구학
    • /
    • 제11권1호
    • /
    • pp.159-184
    • /
    • 1988
  • 미국사회에서 노인의 거주지 적응양식은 인종간에 차이가 크다. 일반적으로 소수인종노인은 백인 노인에 비하여 자녀와 함께 사는 경향이 강하다. 이에 대하여 문화적 입장에서는 소수인종은 백인에 비하여 가족부양규범이 강하다고 주장한다. 다른 한편 경제적 입장에서는 소수인종은 그들의 생애를 지배하는 빈곤 때문에 규모의 경제를 통하여 가계비용을 줄이기 위하여 확대가족을 유지할 수밖에 없다고 주장한다. 본 연구는 노인이 질병과 빈곤에 적응하는 방식에 있어 인종간 차이를 검토함으로써 기존의 경제학적 논의와 문화적 논의의 적합성을 검정하는데 목적을 두고 있다. 이를 위하여 노인의 거주지 적응에 대한 문화적 영향과 관련하여 두가지 가설을 검정하고 있다. 첫째, 소수인종 노인은 백인노인에 비하여 빈곤과 질병상황에서 가족으로부터 더 오랜기간 보호를 받는지를 검토한다. 둘째, 소수인종 노인은 백인노인에 비하여 건강이 악화될 때 더욱 신속하게 가족으로부터 보호를 받을 수 있는지를 검토한다. 분석을 위해서 1984년에서 1990년기간 동안 실시된 "고령화에 대한 종단적 조사(Longitudinal Survey on Aging)"를 이용하여 마르코비안 다중생명표 모형과 사건분석을 수행하였다. 본 연구결과에 따르면 소수인종 노인은 가족부양규범의 문화적 이점을 그다지 크게 다지고 있지 않다. 인종간 사망력과 시설입소의 차이를 통제할 때, 소수인종 노인은 백인노인에 비하여 보다 흔하게 자녀동거에서 단독거주형태로 혹은 그 반대방향으로 거주지 변화를 경험하고 있다. 백인 노인은 소수인종에 비하여 질병상태와 관련하여 자녀와 동거하는 경향이 더 강하다. 사망력과 시설입소의 인종간 차이를 통제할 때 소수인종노인이 백인노인보다 쉽게 자녀동거에서 단독거주로 이행하는데 이는 소수인종에서 가족부양체계가 불안정함을 의미한다. 또한 빈곤시에 소수인종 노인은 백인노인에 비하여 쉽게 자녀와 떨어져 살게 된다. 이러한 결과는 소수인종 노인에 대한 가족의 지원은 그 가족의 경제적 제약속에서 매우 안정적이지 못함을 시사한다. 못함을 시사한다.

  • PDF

미술 공예 운동과 후기 인상주의 비교 예술론 연구 (A Study on the Comparative Art theory in the Arts and Crafts Movement and Post-impressionism)

  • 박연실
    • 디자인학연구
    • /
    • 제20권
    • /
    • pp.279-291
    • /
    • 1997
  • The history of modern design begins with the arts and crafts movement(1860). The importance of the movement which decorated the outset gave birth to all the trends of thought which would occur under the circumstances within it, and is deemed that the ideas of the figures who played an active part in the movement might be ceaselessly continued through the works and ideas of their outstanding juniors or purpils as a doctrine of the philosophy of design. Therefore, it might be a prerequisite that the significance and spirit of the movement, and its developing process should be addressed in detail in the first place, but for the limited space of this paper, it was intended to desvribe only the part which can be interpreted in duplicate, linked with post-impressionism. The subject of this thesis is about a theory of art in which both ideas of the movement(1860) and the post-impressionism(1910) are comparatively reviewed. The genre, strictly speaking, is classified into the history of painting, and there is a gap fo about an half century between the issues which are comparatively discussed here. Both the movements began in a same environmental place of England, specially the movement at Milieu in England, and since there is a common point that the representative runners of each movement, William Morries(1834-1896) and Roger Fry(1866-1934), belong to a same race of Engol-Saxon, their ideas coincide with an aesthetic scholar, H. Tanie's aesthetic interpretation method and the more important is, as being elucidated in the comment and aesthetic theory for which Roger Fry gave effort and activity in his later life, that when he read intensively Ruskin's books, $\ulcorner$Modern Painters$\lrcorner$and$\ulcorner$Stones of Venice$\lrcorner$he had solidified his idea of post-impressionism while giving approval and criticism on them. After all, as in a co-painter, Windyham Lewis's reference of 'Roger Fry's Too Late Morris Movement', he, inspired by the actual activities of Morris, played activities similar to that of Morris in which exhibiting and selling some of his decorative art works signed by him and the works of post-impressionism through (1913-1920). Herein, that is wished to add a remark by this author is a point that the author of$\ulcorner$Vision and Design$\lrcorner$, Roger Fry, has not be made a subject of discussion specially in the Korean world of design. So, with this case of a thesis, it's wished that many latent awakened, design persons in korea give efforts to researching into Roger Fry so that their findings could be officially announced in the would. By the way, what is tried to describe in this paper from now on is to analyse and review the origin of post-impressionism which idea was first coined in the art world through the 1st and 2nd exhibitions of 'Manet and Post-impressionism' which were opened each at the Grafton Gallery in 1910 and 1913 by him. And also, it is intended to review it through the art journals and some references by critics of the day in which favorable criticism or severe criticism were ready to comment through the opinions and influences of the coworkers of Roger Fry, say, Clive Bell, Desmond Maccarthy, etc. and of himself as a main axis, on the art ideas of Gauguin, Gogh, Matisse, and Cezanne whose works were the typical ones participated and exhibited in those 1st and 2nd exhibitions.

  • PDF

통일 한국의 적정 군사력에 관한 연구 - 분쟁 시나리오와 상대적 균형전략을 중심으로 - (A Study on Appropriate Military Strength of Unified Korea (Focused on relative balance strategy and conflict scenario))

  • 홍봉기
    • 안보군사학연구
    • /
    • 통권13호
    • /
    • pp.687-738
    • /
    • 2016
  • To prepare for the complicated international relationship regarding Korean Peninsula after reunification, this thesis started off with the awareness that Unified Korea should build its international posture and national security at an early stage by determining its appropriate military strength for independent defense and military strategies that Unified Korea should aim. The main theme of this thesis is 'The research on appropriate military strength of the Unified Korean military'. To derive appropriate military strength of Unified Korea, this research focuses on conflict scenario and relative balance strategy based on potential threats posed by neighboring countries, and this is the part that differentiates this research from other researches. First of all, the main objective of the research is to decide appropriate military strength for Unified Korea to secure defense sufficiency. For this, this research will decide efficient military strategy that Unified Korea should aim. Than by presuming the most possible military conflict scenario, this research will judge the most appropriate military strength for Unified Korea to overcome the dispute. Second, after deciding appropriate military strength, this research will suggest how to operate presumed military strength in each armed force. The result of this thesis is as in the following. First, Unified Korea should aim 'relative balance strategy'. 'Relative balance strategy' is a military strategy which Unified Korea can independently secure defense sufficiency by maintaining relative balance when conflicts occur between neighboring countries. This strategy deters conflicts in advance by relative balance of power in certain time and place. Even if conflict occurs inevitably, this strategy secures initiative. Second, when analyzing neighboring countries interest and strategic environment after unification, the possibility of all-out war will be low in the Korean Peninsula because no other nation wants the Korean Peninsula to be subordinated to one single country. Therefore appropriate military strength of the Unified Korean military would be enough when Unified Korea can achieve relative balance in regional war or limited war. Third, Northeast Asia is a region where economic power and military strength is concentrated. Despite increasing mutual cooperation in the region, conflicts and competition to expand each countries influence is inherent. Japan is constantly enhancing their military strength as they aim for normal statehood. China is modernizing their military strength as they aspire to become global central nation. Russia is also enhancing their military strength in order to hold on to their past glory of Soviet Union as a world power. As a result, both in quality and quantity, the gap between military strength of Unified Korea and each neighboring countries is enlarged at an alarming rate. Especially in the field of air-sea power, arms race is occurring between each nation. Therefore Unified Korea should be equipped with appropriate military strength in order to achieve relative balance with each threats posed by neighboring countries. Fourth, the most possible conflicts between Unified Korea and neighboring countries could be summarized into four, which are Dokdo territorial dispute with Japan, Leodo jurisdictional dispute with China, territorial dispute concerning northern part of the Korea Peninsula with China and disputes regarding marine resources and sea routes with Russia. Based on those conflict scenarios, appropriate military strength for Unified Korea is as in the following. When conflict occurs with Japan regarding Dokdo, Japan is expected to put JMSDF Escort Flotilla 3, one out of four of its Japan Maritime Self-Defense Force Escort Fleet, which is based in Maizuru and JMSDF Maizuru District. To counterbalance this military strength, Unified Korea needs one task fleet, comprised with three task flotilla. In case of jurisdictional conflict with China concerning Leodo, China is expected to dispatch its North Sea fleet, one out of three of its naval fleet, which is in charge of the Yellow Sea. To response to this military action, Unified Korea needs one task fleet, comprised with three task flotilla. In case of territorial dispute concerning northern part of the Korean Peninsula with China, it is estimated that out of seven Military Region troops, China will dispatch two Military Region troops, including three Army Groups from Shenyang Military Region, where it faces boarder with the Korean Peninsula. To handle with this military strength, Unified Korea needs six corps size ground force strength, including three corps of ground forces, two operational reserve corps(maneuver corps), and one strategic reserve corps(maneuver corps). When conflict occurs with Russia regarding marine resources and sea routes, Russia is expected to send a warfare group of a size that includes two destroyers, which is part of the Pacific Fleet. In order to balance this strength, Unified Korea naval power requires one warfare group including two destroyers. Fifth, management direction for the Unified Korean military is as in the following. Regarding the ground force management, it would be most efficient to deploy troops in the border area with china for regional and counter-amphibious defense. For the defense except the border line with china, the most efficient form of force management would be maintaining strategic reserve corps. The naval force should achieve relative balance with neighboring countries when there is maritime dispute and build 'task fleet' which can independently handle long-range maritime mission. Of the three 'task fleet', one task fleet should be deployed at Jeju base to prepare for Dokdo territorial dispute and Leodo jurisdictional dispute. Also in case of regional conflict with china, one task fleet should be positioned at Yellow Sea and for regional conflict with Japan and Russia, one task fleet should be deployed at East Sea. Realistically, Unified Korea cannot possess an air force equal to neither Japan nor China in quantity. Therefore, although Unified Korea's air force might be inferior in quantity, they should possess the systematic level which Japan or China has. For this Unified Korea should build air base in island areas like Jeju Island or Ullenong Island to increase combat radius. Also to block off infiltration of enemy attack plane, air force needs to build and manage air bases near coastal areas. For landing operation forces, Marine Corps should be managed in the size of two divisions. For island defense force, which is in charge of Jeju Island, Ulleung Island, Dokdo Island and five northwestern boarder island defenses, it should be in the size of one brigade. Also for standing international peace keeping operation, it requires one brigade. Therefore Marine Corps should be organized into three divisions. The result of the research yields a few policy implications when building appropriate military strength for Unified Korea. First, Unified Korea requires lower number of ground troops compared to that of current ROK(Republic of Korea) force. Second, air-sea forces should be drastically reinforced. Third, appropriate military strength of the Unified Korean military should be based on current ROK military system. Forth, building appropriate military strength for Unified Korea should start from today, not after reunification. Because of this, South Korea should build a military power that can simultaneously prepare for current North Korea's provocations and future threats from neighboring countries after reunification. The core of this research is to decide appropriate military strength for Unified Korea to realize relative balance that will ensure defense sufficiency from neighboring countries threats. In other words, this research should precisely be aware of threats posed by neighboring countries and decide minimum level of military strength that could realize relative balance in conflict situation. Moreover this research will show the path for building appropriate military strength in each armed force.

  • PDF