• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.375-377
• /
• 2008

프로그램을 작성할 때 시스템의 성능을 높이기 위해서, 여러 개의 프로세스가 동시에 동작하고 상호작용하는 병행 프로그램을 사용한다. 병행 프로그램에서 프로세스들은 인터리빙 방식으로 동작하는 경우가 많다. 그런데 인터리빙을 잘 못 이해할 경우 프로그램에 오류가 생길 가능성이 높고 이러한 오류는 직관적으로 납득하지 못할 때도 많다. 본 논문에서는 인터리빙이 발생하는 최악의 경우를 소개하고 이를 SMV와 Spin 그리고 LTS-BMC로 정형 분석하는 방법에 대해서 설명한다. 또한 실험을 통해서 우리가 만든 LTS-BMC 도구가 병행 오류 검증에 효과적임을 알 수 있었다.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.6
• /
• pp.9-21
• /
• 2010

Concurrent processes come into conflict with each other when they are competing for the use of the same resources. In the case of competing processes three control problems must be faced: mutual exclusion, deadlock, and starvation. The concurrency is a subject rather difficult to understand. In addition, because concurrent programs included in most of OS texts are described by pseudocode and are not being able to execute directly, almost learners are difficult to understand behaviour of concurrent programs. The purpose of this study is to propose instruction method for mutual exclusion using SDL and MSC base on graphic. In order to verify the effectiveness of the proposed materials, we compare with materials based on pseudocode. The results indicated that the proposed materials is more effective than materials based on pseudocode in teaching-learning for mutual exclusion mechanisms.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.915-916
• /
• 2009

프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 것이 점진 평가 방법이다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하고, 여러 프로세서에서 병렬로 처리하는 대신 멀티쓰레딩 기능을 활용하여 객체 지향언어인 자바 언어에서 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 방법을 제시하고 모의실험을 통해 병행 점진 평가 방법의 효율성을 분석한다.

• The KIPS Transactions:PartA
• /
• v.17A no.2
• /
• pp.73-80
• /
• 2010

As the power of hardware has improved, there have been numerous researches in processing concurrently using multitasking method. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. It is necessary to do more studies that improve the efficiency of concurrent incremental evaluation to do multitasking using multi-threading of Java not to do in parallel using multiprocessor. In this paper, the dependency in the dependency chart is based on the attribute that describes the real value of the variable that directly affects the semantics, thereby doing efficient evaluation. So using the dependency, this paper presents the concurrent incremental evaluation algorithm for Java Languages and proves its correctness, analyzing the efficiency of concurrent incremental evaluation by the simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.534-539
• /
• 2010

OpenMP 프로그램의 수행 중에 발생하는 자료 경합과 같은 병행성 오류는 디버깅을 위하여 반드시 탐지되어야만 한다. 그러나 이를 탐지하는 것은 어려운 일이다. 접근사건의 발생 후 관계를 기반으로하는 경합 탐지 기법은 프로그램의 수행 중에 발생하는 스레드의 병행성 정보를 식별하기위한 레이블을 생성하고, 생성된 스레드의 레이블을 기반으로 공유변수에 접근하는 사건을 접근역사를 통해 감시함으로써 경합을 탐지한다. 이러한 경합 탐지의 방법에서 레이블 생성을 위한 NR 레이블링 기법은 병행성 정보생성 시에 지역자료 구조를 사용함으로써 병목현상이 발생하지 않으며, 접근역사에 저장하는 레이블의 크기가 상수 값을 갖는 공간적 효율성을 제공한다. 또한 부모스레드의 정보역사를 정렬된 리스트 형태로 가져 병행성 정보 비교 시에 이진탐색이 가능하므로 시간적 효율성을 가지는 우수한 기법이다. 그러나, NR 레이블링은 레이블의 생성시에 부모스레드의 정보역사를 유지하기 위해서 내포 병렬성의 깊이에 의존하는 시간적 비용이 요구된다. 본 논문에서는 부모스레드의 정보역사 유지를 위해 상수적인 시간 및 공간적 복잡도를 갖도록 NR 레이블링 기법을 개선한다. 합성 프로그램을 이용하여 실험한 결과에서 개선된 기법은 최대 병렬성의 증가에 따라 레이블의 생성과 유지시 기존의 기법보다 평균 4.5배 빠르고, 레이블링을 위해 평균 3배 감소된 기억공간을 요구하며, 내포 병렬성에 의존적이지 않음을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2055-2058
• /
• 2002

병행 자바 프로그램의 슬라이싱 방법은 Jianjun Zhao에 의해 제안된 다중 쓰레드 종속성 그래프를 이용하여 Susan Horwitz, Thomas Reps, David Binkly가 제안한 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 다중 쓰레드 종속성 그래프를 이용하는 방법은 쓰레드동기화 문장들 사이의 동기화 종속성과 서로 다른 쓰레드에 존재하는 공유객채들 사이의 통신 종속성 관계를 표현하여 병행 자바 프로그램의 슬라이스를 계산할 수 있는 것이다. 그러나 프로그램 종속성 그래프를 기반으로 하기 때문에 클래스 맴버 변수들에 대한 formal_in, formal_out, actual_in, actual_out정점들의 추가로 그래프의 복잡도가 증가하고 또한 부정확한 슬라이스 계산을 위한 다중 쓰레드 종속성 그래프를 개선하여 제안한다. 제안하는 개선된 다중 쓰레드 종속성 그래프는 주어진 슬라이싱 기준에 대한 2단계 마킹 알고리즘을 적용한 결과 정확한 슬라이스 계산과 복잡도 개선을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.391-393
• /
• 2004

자바는 쓰레드 상호간의 동기를 프로그래밍 언어 자체의 기능으로 제공하고 있으므로 자바가 제공하는 동기화 메커니즘과 쓰레드는 병행처리를 수행하는 응용프로그램을 작성하는데 상당한 역할을 담당할 수 있다. 이에 따라, 병행처리와 관련된 자바의 기능을 분산된 컴퓨팅 환경에 적용하기 위한 많은 연구결과가 있다. 본 연구팀 에서는 자바 프로그램의 객체변환을 통하여 분산된 컴퓨팅 환경에서 동작하도록 지원하는 시스템을 발표한 바 있으나 분산처리와 관련된 기능을 지원하는 것으로 제한되었다. 병행처리를 수행하는 레거시 자바 프로그램을 분산된 컴퓨팅 환경에서 동작시키기 위하여 TORB(Transparent Object Request Broker)라고 명명된 이 시스템의 기능 확장을 시도하고 있으며 관련된 많은 문제들을 해결하였다. 본 논문에서는 서로 다른 컴퓨터에서 동시에 동작하는 자바 쓰레드간의 동기문제를 해결하기 위한 방안을 제시한다. 이는 단일 컴퓨팅 환경에서의 자바 동기화 메커니즘과 동일한 효과를 분산된 컴퓨팅 환경에서 얻을 수 있도록 지원하는 방안이며 TORB를 위하여 고안된 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.904-906
• /
• 2005

자바 언어는 병행 프로그래밍을 위해 쓰레드를 제공한다. 자바 병행 프로그램은 레이스 컨디션이나 데드락에 의하여 사용자가 원하지 않은 값을 출력하거나 예기치 못한 오류를 발생시킬 수 있다. 이러한 문제는 프로그램의 전반적인 신뢰성 및 안정성에 악영향을 미칠 수 있다. 본 연구에서는 실행 중에 실시간으로 쓰레드와 동기화 객체의 발생과 처리 과정을 보여줄 수 있는 모니터링 시스템을 코드 인라인 기법을 기반으로 설계 개발하였다. 이 시스템은 사용자 옵션에 따라 관심 있는 쓰레드나 동기화 객체만을 추적할 수 있으며 실행 후에 쓰레드와 동기화 객체 관련 요약 프로파일 정보를 제공한다.

• Journal of Korea Entertainment Industry Association
• /
• v.14 no.6
• /
• pp.209-219
• /
• 2020

This study was conducted to find out the differences in cognitive function, self-esteem, and life satisfaction of the elderly with mild dementia according to the cognitive intervention program. From July to October 2018, 30 minutes of computerization, cognitive integration program, computer recognition program, and cognitive integration program were applied to 30 patients in a nursing hospital located in G city for a total of 12 weeks, and 15 minutes of computerization recognition program and cognitive integration program were applied at the same time, 15 minutes of computerization recognition program and 15 minutes of cognitive integration program were applied. Pre- and post-evaluation tests were conducted for cognitive function, self-esteem, and life satisfaction of living. After examining the three groups' cognitive functions, self-esteem, and life satisfaction by applying the cognitive intervention program, it was improved to a significant level in all categories. As a result of examining the differences in cognitive function, self-esteem, and life satisfaction of the elderly with mild dementia according to the cognitive intervention program, the group applied both computerized and cognitive integration programs in all categories showed high effects. Therefore, if various cognitive intervention programs are applied according to the characteristics of the subjects to improve the cognitive function, self-esteem, and life satisfaction of the elderly, it will be an effective intervention in occupational therapy.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.648-652
• /
• 2007

병행 Java 프로그램의 경합은 프로그램의 비결정성을 초래하므로 반드시 탐지되어야 한다. 이러한 경합을 수행 중에 탐지하기 위해서는 모든 접근사건들을 감시할 수 있어야 한다. 기존의 경합탐지 기법들은 대상 프로그램을 수정하여 감시하므로 모든 감시지점을 인식하는 것은 현실적으로 어렵다. 본 연구에서는 JDI (Java Debug Interface)를 이용하여 모든 접근사건을 감시하여 선택할 수 있는 투명한 감시도구를 제안한다. 그리고 벤치마크 프로그램을 이용한 실험결과를 분석하여 투명성을 보인다.