• Title/Summary/Keyword: message races

Search Result 10, Processing Time 0.023 seconds

MPIRace-Check V 1.0: A Tool for Detecting Message Races in MPI Parallel Programs (MPIRace-Check V 1.0: MPI 병렬 프로그램의 메시지경합 탐지를 위한 도구)

  • Park, Mi-Young;Chung, Sang-Hwa
    • The KIPS Transactions:PartA
    • /
    • v.15A no.2
    • /
    • pp.87-94
    • /
    • 2008
  • Message races should be detected for debugging effectively message-passing programs because they can cause non-deterministic executions of a program. Previous tools for detecting message races report that message races occur in every receive operation which is expected to receive any messages. However message races might not occur in the receive operation if each of messages is transmitted through a different logical communication channel so that their incorrect detection makes it a difficult task for programmers to debug programs. In this paper we suggest a tool, MPIRace-Check, which can exactly detect message races by checking the concurrency between send/receive operations, and by inspecting the logical communication channels of the messages. To detect message races, this tool uses the vector timestamp to check if send and receive operations are concurrent during an execution of a program and it also uses the message envelop to inspect if the logical communication channels of transmitted messages are the same. In our experiment, we show that our tool can exactly detect message races with efficiency using MPI_RTED and a benchmark program. By detecting message races exactly, therefore, our tool enables programmers to develop reliable parallel programs reducing the burden of debugging.

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.

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.

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.

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 Detection Tool of Message Races in Parallel Programs for Linux Cluster Systems (리눅스 클러스터 시스템을 위한 병렬프로그램의 메시지경합 탐지 도구)

  • Park, S.;Kim, Y.;Park, M.;Kim, S.;Lee, S.;Jun, Y.
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2000.10a
    • /
    • pp.645-648
    • /
    • 2000
  • 병렬 오류인 메시지경합을 가진 메시지전달 프로그램은 비결정적인 수행결과를 보이므로, 이를 탐지하고 수정하는 것이 어렵다. 기존의 메시지경합 탐지 도구들은 메시지경합에 관련된 간접적인 정보를 제공하는 수준이며, 메시지경합의 원인을 자동으로 탐지하지 못한다. 그리고 탐지과정 중에 부가적인 메시지전달 작업이 발생하며, 대상 프로그램을 수정해야 하는 부담이 있다. 본 논문에서 제안된 탐지 도구는 리눅스 클러스터 시스템을 위한 병렬 프로그램의 메시지경합을 자동으로 탐지하여 직접적인 경합 정보를 제공한다. 그리고 탐지 엔진 부분을 리눅스 커널에 설치함으로써 경합 탐지를 위한 부가적인 메시지전달의 필요성을 제거하고, 대상 프로그램의 수정없이 경합을 탐지할 수 있는 투명성을 제공한다.

  • PDF

Sequence Analysis, Molecular Cloning and Restriction Mapping of Mitochondreal Genome of Domesticated Silkworm, Bombyx mori (누에 미토콘드리아 유전체의 제한효소 지도작성, 클로닝 및 염기서열 분석)

  • 이진성;성승현;김용성;서동상
    • Journal of Sericultural and Entomological Science
    • /
    • v.42 no.1
    • /
    • pp.14-23
    • /
    • 2000
  • The mitochondrial genome of domesticated silkworm (Bombyx mori) was mapped with five restriction endonucleases (BamHI, EcoRI, HindIII, PstI and XbaI), the entire genome was cloned with HindIII and EcoRI. From the end sequencing results of 5$^1$and 3$^1$region for full genome set of eleven mitochondrial clones, the seven mitochondrial genes (NADH dehydrogenase 6, ATPase 6, ATPase 8, tRN $A^{Lys}$, tRN $A^{Asp}$, tRN $A^{Thr}$ and tRN $A^{Phe}$ of mori were identified on the basis of their nucleotide sequence homology. The nucleotide composition of NADH dehydrogenase 6 was heavily biased towards adenine and thymine, which accounted for 87.76%. On basis of the sequence similarity with published tRNA genes from six insect species, the tRN $A^{Lys}$, tRN $A^{Asp}$ and tRN $A^{Thr}$ were showed stable canonical clover-leaf tRNA structures with acceptible anticodons. However, both the DHU and T$\psi$C arms of tRN $A^{Phe}$ could not form any stable stem-loop structure. The two overlapping gene pairs (tRN $A^{Lys}$ -tRN $A^{ASP}$ and ATPase8-ATPase6) were found from our sequencing results. The genes are encoded on the same strad. ATPase8 and ATPase6 overlaps (ATGATAA) which are a single example of overlapping events between abutted protein-coding genes are common, and there is evidence that the two proteins are transcribed from a single bicistronic message by initiation at 5$^1$terminal start site for ATPase8 and at an internal start site for ATPase6. Ultimately, this result will provide assistance in designing oligo-nucleotides for PCR amplification, and sequencing the specific mitochondrial genes for phylogenetics of geographic races, genetically improved silkworm strains and wild silkworm (mandarina) which is estimated as ancestal of domesticated silkworm.sticated silkworm.

  • PDF

Leslie Marmon Silko's Decolonizing Efforts and Syncretic Vision in Gardens in the Dunes (『모래언덕 위의 정원』에 나타난 레슬리 마몬 실코의 탈식민화 작업과 혼합주의적 비전)

  • Kang, Ja Mo
    • Journal of English Language & Literature
    • /
    • v.55 no.4
    • /
    • pp.597-618
    • /
    • 2009
  • Leslie Marmon Silko, in her novel Gardens in the Dunes, primarily focuses on revealing the white colonialists' plan to exterminate and destroy American Indians and their culture. In this regard, this novel is clearly an Indian counter narrative to interrogate and abrogate the authority of the oppressive and destructive discourse of the whites who are full of colonialist impulses to sterilize Indians and their culture. However, it should be noted that Silko is very careful not to insist on cultural exclusivism and reverse ethnocentrism, since these only mean a return to the violent colonialists' discourse based on dualism and cultural authenticity which, she believes, has led to the marginalization and eventual deterioration of Indians and their culture. White values and culture are something to recognize and tolerate as long as they are not the products of witchery, also known as the destroyer or evil for Silko, which promotes disruption and antagonism between races and classes. As she reveals in her interview, her major concern in the novel is to dismantle political and/or racial distinctions like Native Americans versus EuroAmericans and thus to enhance the idea of the reconciliation and coexistence of whites and Indians. Silko's Gardens in the Dunes can be regarded as an experiment in the possibility of the universal and homogeneous (at least in its roots) global culture which tolerates all forms of culture. Global culture does not mean a uniform totalitarian culture but a vision of a harmonious world characterized by hybridity and heterogeneity, in which different cultures associate freely without the notion of inferiority or superiority of any one culture. Silko's belief in syncretism emphasizes the spirit of tolerance and exchange between different cultures, dismantling the authority of exclusive ethnocentrism. The ultimate message implied in Gardens in the Dunes is that the syncretic spirit is not only an effective means to correct the white colonialists' hegemonic desire aimed at the extermination of Indians and their culture but also a source of energy for the life and prosperity of modern Indians and their societies.

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 Study on Art's Public Features and Social Intervention by Keith Haring (미술의 공공성과 키스 해링(Keith Haring)의 사회적 개입에 관한 연구)

  • Kim, Jee-Young
    • The Journal of Art Theory & Practice
    • /
    • no.8
    • /
    • pp.59-87
    • /
    • 2009
  • This thesis started from the attempt to make it clear that 80's American artist Keith Haring(1958-1990) had conducted social intervention of criticism, resistance, and participation through his works, and so pursued public value. Haring of graffiti fame left popular and familiar cartoon style pictures on the street wall, the billboards, the posters and so on. Popular and playful works was explained as his unique characteristics, but Haring's creative way at the field has more value than just being grasped as artist's personal characteristics. Haring's work pieces became everyday art by joining with people's life, and are working as a social speaking place. So I think that these Haring's art works possess characteristics of 'the public sphere'. 'The Public Sphere' means that is independent and free from the government or partisan economic forces, so that is not connected with the interested relations, and that is the sphere of rational argumentation without 'disguise' or 'fabrication', and that is the sphere where general public can participate in and is inspected by them. The public sphere between the sphere of public authority such a nation and a market and the private sphere of free individual, it is mutually connected with them and works as the space forming public opinion. Private individuals communicate with this public sphere and perform a role of direct and indirect check, balance, and social criticism way off from power. Openness that should include the voice of not only leading power but also the socially weak such as citizens, women, homosexuals, minority races, and so on, and alienated class, is an index of the public characteristics. The public sphere is not working just with speech and mass media. Many artists as well as Haring open their mouth and act through an art at the center of society, and create another public sphere by an art. I understood that the real participatory and practical characteristics on the Haring's work is a phenomenon and current of a part of the art world including Haring. Such current started from 1960s is the in-depth effort to be connected with the life more closely, to communicate with people, and to improve problems of life. And it has pursued public value on the different way from the nation or public power. Artists have intervened in the society with strategic and positive ways in order to raise pushed-out value and sinked rights as the public agenda, and labored to accept the value of variety and difference at the society. The aspect of such social intervention is the notable features, findable on the Haring's works and process. Haring's works include art historical meanings and are expressed with familiar and plastic language, so they were able to communicate with various classes. And he secured various customers at the field and the street. This communicative and public approach factor raised the possibility much for his works to work as the public sphere. Haring presented critical and resistant speech toward society with his works based on this factor. He asserted his position and justice of gender identity as a sexual minority. And his such work continued to movement for alienated class and social week over his own rights. His speech and message on the wall painting, poster, T-shirts, billboard of the subway, and so on worked as a spectacle and pressed concern with social issues and consciousness shift. And he's been trying to protect and care people who is injured by HIV and drug and to realize social justice through social week protection. Haring's works planned to meet many people as much as possible performed its role of intervening in society through criticism, resistance, speech, and participation, and controlling and checking social issues. These things considered, Haring's works show his consciousness about public attributes of art, and obviously include public value seeking. And also we can find the meaning of such his work as that an art is working as the public sphere and shows the possibility to discuss and practice public issues.

  • PDF