• Title/Summary/Keyword: message race

Search Result 13, Processing Time 0.026 seconds

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

  • Park Mi-Young;Kang Hyun-Syug;Jun Yong-Kee
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.33 no.8
    • /
    • pp.495-504
    • /
    • 2006
  • Detecting unaffected race conditions is important to debugging message-passing programs effectively, because such a message race can affect other races to occur or not. The previous technique to detect efficiently unaffected races detects racing messages by halting at the receive event of the first race to occur in each process. However this technique does not guarantee that all of the detected races are unaffected, because halting such processes does disconnect some chain of affects-relations among those races. In this paper, we present a novel technique that manages the state of the detected race by examining if every received message is affected until the execution terminates. Our technique therefore guarantees to detect efficiently the unaffected races, because it maintains affects-relations of the races all along the execution of program.

On-the-fly Detection of Race Conditions in Message-Passing Programs (메시지 전달 프로그램에서의 수행 중 경합탐지)

  • Park, Mi-Young;Kang, Moon-Hye;Jun, Yong-Kee;Park, Hyuk-Ro
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.34 no.7
    • /
    • pp.267-275
    • /
    • 2007
  • Message races should be detected for debugging message-passing parallel programs because they can cause non-deterministic executions. Specially, it is important to detect the first race in each process because the first race can cause the occurrence of the other races in the same process. The previous techniques for detecting the first races require more than two monitored runs of a program or analyze a trace file which size is proportional to the number of messages. In this paper we introduce an on-the-fly technique to detect the first race in each process without generating any trace file. In the experiment we test the accuracy of our technique with some benchmark programs and it shows that our technique detects the first race in each process in all benchmark programs.

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

  • Park Mi-Young;Jun Yong-Kee
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.32 no.7
    • /
    • pp.341-348
    • /
    • 2005
  • Detecting unaffected race conditions is important for debugging message-passing programs effectively, because such races can influence other races to occur or not. The previous technique used in detecting unaffected races detects a race by halting the execution of a process at the receive event of the race that errors first in the process. However this technique does not guarantee that all of the detected races are unaffected, because halting the execution of processes does disconnect some chains of affects-relations among those races. Tn this paper. we improved the second pass algorithm of the previous technique by producing information about affects-relations of the races that occur first in each Process. Then we effectively visualize affect-relations among the races detected in each process. This visualization is effective in detecting visually unaffected races by simplifying affects-relations among the races which occur first In each Process.

A Labeling Scheme for Efficient On-the-fly Detection of Race Conditions in Parallel Programs (병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법)

  • Park, So-Hee;Woo, Jong-Jung;Bae, Jong-Min;Jun, Yong-Kee
    • The KIPS Transactions:PartA
    • /
    • v.9A no.4
    • /
    • pp.525-534
    • /
    • 2002
  • Race conditions, races in short, need to be detected for debugging parallel programs, because the races result in unintended non-deterministic executions. To detect the races in an execution of program, previous techniques use a centralized data structure which may incur serious bottleneck in generating concurrency information, or show inefficient time complexity which depends on the degree of nested parallelism in comparing any two of them. We propose a new labeling scheme in this paper, which is scalable in generating the concurrency information without bottleneck by using private data structure, and improves time complexity into constant in checking concurrency. The scalability and time efficiency therfore makes on-the-fly race detection efficient not only for programs with either shared-memory or message-passing, but also for programs with mixed model of the two.

A Study on the Use of T-Shirts as a Form of Communication (커뮤니케이션 도구로서의 메시지 티셔츠에 관한 연구)

  • Hong, Sung-Sun
    • Journal of the Korean Home Economics Association
    • /
    • v.43 no.8 s.210
    • /
    • pp.161-174
    • /
    • 2005
  • The purpose of this study was to examine the history and significance of t-shirts used in school that have a dress code to examine the meaning of the various messages that appears on t-shirts and also to examine how these t-shirts are used as form of communication. Many people that have strong social or political views or opinions use t-shirts with message as a means of communicating their opinion and views. Due to the low cost and ease in manufacturing these types of t-shirts, it is possible to express various slogans, messages and drawings. Based on our observations, there were various messages on t-shirts such as, 'no war', 'peace', 'no drugs', 'anti-smocking', 'protect the environment' and 'race or sex discrimination' among others. In this study, t-shirts were grouped based on their messages. T-shirts were put in to the following groups anti- war t-shirts, political t-shirts, t-shirts with messages about social issues and t-shirts with messages about fashion. Both international and domestic t-shirts were examined.

Causal Replay for Cyclic Debugging of MPI Parallel Programs (MPI 병렬 프로그램의 순환 디버깅을 위한 인과관계 재실행)

  • Hong, Cheol-Eui;Kim, Yeong-Joon
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.28 no.9
    • /
    • pp.424-433
    • /
    • 2001
  • The cyclic debugging approach often fails for message passing parallel programs because they non-deterministic characteristics due to message race conditions. This paper identifies the MPI events that affect non-deterministic executions, and then converts the concurrent execution to the sequential one that is controlled in order to make it equivalent to a reference execution by keeping their orders of events in two executions identical. This paper also presents an efficient algorithm for the causal distributed breakpoint which is initiated by any sequential breakpoint in one process, and restores each process to the earliest state that reflects all events that happened causally before the sequential breakpoint. So a cyclic debugging approach can be used in debugging MPI parallel programs as like as in debugging sequential programming environments.

  • PDF

The development of explicit and implicit race attitudes in Korean elementary students and race attitude change in the multi-cultural age (다문화시대 한국 초등학생의 인종에 대한 명시적 및 암묵적 태도발달과 태도변화)

  • Kyung Ran Row;Hee Jeong Bang
    • Korean Journal of Culture and Social Issue
    • /
    • v.15 no.1
    • /
    • pp.49-79
    • /
    • 2009
  • This study examined how the explicit and implicit race attitudes differ according to age and gender from the developmental perspective in Korean elementary students. The study also investigated the efficacy of a multi-cultural education program on explicit and implicit attitude change in elementary school students. This thesis consists of two parts. In Study 1, elementary school students(first grade:117, fourth grade:117) completed Explicit Attitudes Rating Scales, Explicit Preference Test, and Child Implicit Association Tests (Korean-White/Korean-Black/ Korean-Southeast Asian IATs). The effects of age and gender on explicit and implicit attitudes toward Korean/White/Black/Southeast Asian were examined with two-way MANOVA. The results demonstrated that as age increases, in-group preference/out-group bias decrease on the explicit level. In contrast, on the implicit level, as age increases, in-group preference/out-group bias do not decrease. Rather, prejudiced attitudes toward blacks increase. Study 2 was performed to investigate the effect of a multi-cultural education program on explicit and implicit attitude change toward races in elementary school students. The program conveying an anti-bias message consists of three sessions, and the procedures are as follows; watching video clips, confirming contents and short discussion. Two classes in the program and two classes in comparative groups on the first and fourth grade of elementary school were assessed. The results showed that black preference significantly increased both in the first and the fourth grade elementary students on the explicit attitude level, but not on the implicit level. The theoretical and practical implications of these findings were discussed.

  • PDF

A Testbed for Message Race Detection Techniques of Parallel Programs (병렬 프로그램의 메시지경합 탐지기법에 대한 시험도구)

  • 배수연;박미영;전용기
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04a
    • /
    • pp.598-600
    • /
    • 2002
  • 메시지전달 병렬프로그램에서는 메시지들의 경합으로 인해서 의도하지 않은 다결정적인 수행결과가 초래되므로, 메시지들의 경합을 탐지하는 것은 중요하다. 이전 연구에서 경합을 탐지하는 다양한 기법들을 제안하였으나, 각 탐지기법의 기능을 검증할 수 있는 방법은 없다. 이는 기존 경합 탐지기법과 새롭게 개발되는 경합 탐지기법의 기능을 검증하기 어렵게 한다. 본 연구는 기존의 경합 탐지기법들을 구현하여 각 기법들의 탐지결과를 비교함으로써 그 기능을 검증할 수 있게 하는 시험도구를 제안한다. 본 시험도구의 사용자는 기존의 경합 탐지기법과 새로운 탐지기법을 선택하여 적용할 수 있고, 탐지된 결과에 대한 시각화 정보의 비교를 통해서 탐지기법들의 기능을 검증할 수 있다. 그러므로 본 도구는 새로운 경합 탐지기법의 개발을 위한 효과적인 기능시험을 가능하게 한다.

  • PDF

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

  • 배수연;박미영;전용기
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10c
    • /
    • pp.313-315
    • /
    • 2002
  • 메시지전달 프로그램에서 가장 먼저 발생하는 경합인 최초경합은 다른 경합에 영향을 주므로 반드시 탐지되어야 한다. 기존의 최초경합 탐지기법은 첫 번째 수행에서 각 프로세스에서 처음으로 발생하는 경합의 위치를 탐지하고, 두 번째 수행에서는 그 위치에서 해당 프로세스를 정지하여 경합하는 메시지를 보고한다. 그러나 이 기법은 프로세스를 중단하여 다른 경합에 영향을 주는 메시지의 전송을 단절시키므로 탐지된 경합들간의 영향관계를 알 수 없게 한다. 본 논문에서는 기존 기법의 두 번째 수행이 종료될 때까지 각 프로세스에서 처음으로 발생하는 경합들간의 영향관계를 추적화일에 기록하며, 수행이 종료된 후에 이 정보를 이용하여 경합들간의 영향관계와 상호 영향을 미치는 경합들을 추상적으로 시각화하는 기법을 제안한다. 이 기법은 경합들의 집합을 추상적으로나 구체적으로 시각화함으로써 경합들간의 영향관계를 확장적이고 직관적으로 알수 있게 한다. 따라서 본 기법은 최초경합을 수정함으로써 영향 받은 경합들을 사라지게 한 수 있으므로 메시지전달 프로그램의 효과적인 디버깅을 가능하게 한다.

  • PDF

Reading and Teaching "Snow White" from a Critical Literacy Stance: the Original, the Animated Version, and Parodies (크리티컬 리터러시를 활용한 "백설공주" 읽기교육 -원작과 영화, 패러디 작품을 중심으로)

  • Choi, Seokmoo
    • Journal of English Language & Literature
    • /
    • v.55 no.5
    • /
    • pp.885-906
    • /
    • 2009
  • In terms of class, race, or gender, critical literacy takes seriously the problem of inequality and injustice embedded in texts. Texts are considered as tools that are used for maintaining the status quo by constructing and communicating our identities, particularly in relation to others. While reading texts and identifying our roles in society, some feel empowered, and others, marginalized. Thus we need to challenge the characterization and the message included in those texts by asking problem-posing questions. In this paper I have demonstrated how to read and teach four versions of "Snow White" from a critical literacy stance. By the use of problem-posing questions, students are led to discover that one of Grimms' fairy tales, the original version of "Snow White," was written from the perspective of men with power, thus marginalizing women in general, as well as the seven dwarfs. Through a critical analysis of Snow White's personality, the typical theme of fairy tales - good is rewarded while evil is punished - should be challenged. In the animation, Snow White and the Seven Dwarfs, power is given to the marginalized people in the original, the seven dwarfs and women in general. In "Snow Night,"a feminist short story, women in general are empowered while men, who should be judged by their looks, are powerless. "Snow-Drop"reminds us of the original, but challenges stereotypes, prejudices, and the theme inherent in the story. In those three stories many parts from the original are rewritten from the perspectives of the marginalized, but still some people are described prejudicially. So students should be guided to write another story from a new perspective. When those four works were taught with problem-posing questions in a university, this approach proved to be quite successful: most students acknowledged the effectiveness of critical literacy in teaching literary works.