• 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.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.4
• /
• pp.17-24
• /
• 2014

Detecting data races is important for debugging shared-memory programs with nested parallelism, because races result in unintended non-deterministic executions of the program. It is especially important to detect the first occurred data races for effective debugging, because the removal of such races may make other affected races disappear or appear. Previous dynamic detection tools for first race detecting can not guarantee that detected races are unaffected races. Also, the tools does not consider the nesting levels or need support of other techniques. This paper suggests a post-mortem tool which collects candidate accesses during program execution and then detects the first races to occur on the program after execution. This technique is efficient, because it guarantees that first races reported by analyzing a nesting level are the races that occur first at the level, and does not require more analyses to the higher nesting levels than the current level.

• 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.

• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.1
• /
• pp.1-7
• /
• 2010

Detecting data races is important for debugging programs with OpenMP directives, because races result in unintended non-deterministic executions of the program. It is especially important to detect the first data races to occur for effective debugging, because the removal of such races may make other affected races disappear or appear. The previous tools for race detecting can not guarantee that detected races are the first races to occur. This paper suggests a tool what detects the first races to occur on the program with nested parallelism using the two-pass on-the-fly technique. To show functionality of this tool, we empirically compare with the previous tools using a set of the synthetic programs with OpenMP directives.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.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.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• 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.

• Journal of Wellbeing Management and Applied Psychology
• /
• v.1 no.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.

• Korea journal of population studies
• /
• v.11 no.1
• /
• pp.159-184
• /
• 1988

Race and ethnicity are important factors which influence the elderIy's residential adjustment behaviors, although it is unclear whether this reflects influences unrelated to race and ethnlcity. Culturally, the norm of family supportoften obseved among various minority ethnic groups is likely to provide flexible family suppof for the elderIy. Economically, the life-long hardship ofminority groups is likely to force them to maintain extended family living arrangements simply to reduce expenses via economies of scale. Thecontroversy about the economic need versus the cultural prescription forextended living arrangements remains unresoIved because it fails to articulatethe meaning of family supports among many disadvantaged groups.This study aims to test previous economic and cultural arguments, byexamining ethnic differences iu the eiderIy's responsiveness to their health andeconomic problems. Two hypotheses about cultural influences on the elderly's resideutiai adjustment are examined. First, do elderly minorities receive famiiysupporis for longer periods when they are poor if economic and health status\ulcorner Second, do elderiy minorities receive family supports more often when their health status declines\ulcorner Using the Longitudinal Suvey on Aging from 1984 to 1990. this study employs Markovian multi-state life tables, and discrete and contonuous competing hazard analyses for the transition in living arrangements. The main results provide substantial evidence against the cultural resource thesis. Elderly minorities experience more frequent transition between living alone and living with relatives than white elderly persons when group differences in the extent of mortality and insititutionalization are controlled. The shorter timf of living alone among elderly monorities stems from their greater likehood of joining relatives as well as greater mortality and attrition rates than elderly whites. Coresidence of elderly whites with their relatives is more likely to occur in response to their needs for health care than of elderly whites. it implies that instability. not flezibility. characterrizes elderly minorities living arrangements.

• Archives of design research
• /
• v.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.

• Journal of National Security and Military Science
• /
• s.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.