G-machine과 ZG-machine의 그래프 합동

우균,한태숙 한국정보과학회 프로그래밍언어연구회 2002 프로그래밍언어논문지 Vol.16 No.3

신진 박사들의 학위 논문 요약

우균 한국정보과학회 프로그래밍언어연구회 1999 프로그래밍언어연구회지 Vol.13 No.2

재겨냥성 C 컴파일러를 위한 테스트 집합 생성 시스템

우균,배정호,장한일,이윤정,채흥석,Woo, Gyun,Bae, Jung-Ho,Jang, Han-Il,Lee, Yun-Jung,Chae, Heung-Seok 한국정보처리학회 2009 정보처리학회논문지 A Vol.16 No.4

임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다. With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.

G-machine과 ZG-machine의 그래프 합동

우균,한태숙 한국정보과학회 프로그래밍언어연구회 2002 프로그래밍언어논문지 Vol.16 No.2

재겨냥성 C 컴파일러를 위한 테스트 집합 생성 시스템

우균,채흥석,배정호,장한일,이윤정 한국정보처리학회 2009 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.16 No.4

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers. 임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야 하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다.

C++ 연산자 오버로딩을 활용한 새로운 연산자 기호 프로그래밍 방법

우균 한국정보과학회 2022 정보과학회논문지 Vol.49 No.3

Even though modern programming languages such as Haskell allow users to define new operators, it is not allowed in most programming languages. This limitation also exists in such programming languages that allow operator overloading such as C++. C++ allows to change the meaning of native operators but does not allow to define a new operator. In spite of this limitation, this paper explains how to program a new operator symbol in C++. The idea of this paper is, in fact, to mimic a new operator symbol using C++ operator overloading. The trick lies on the principle namely “maximal munch” adopted by the lexical analyzer. The method proposed in this paper contributes to the writability of the client code and is expected to promote the degree of freedom for a programmer to write the code. Haskell과 같은 일부 최신 프로그래밍 언어에서는 사용자가 새로운 연산자를 정의할 수 있으나, 대부분의 프로그래밍 언어에서는 연산자는 새로 만들 수 없다. 이러한 한계는 오버로딩을 허용하는 언어, 예컨대 C++의 경우에도 마찬가지이다. C++에서도 언어에서 지원하는 연산자의 의미를 바꿀 수는 있지만 새로운 연산자를 만들 수는 없다. 이런 한계에도 불구하고 이 논문은 C++에서 새로운 연산자 기호를 프로그래밍하는 방법을 설명한다. 사실 이 논문의 아이디어는 C++의 연산자 오버로딩을 이용하여 마치 새로운 연산자가 만들어진 것처럼 보이게 하는 프로그래밍 기법이다. 이 과정에서 어휘 분석기의 기능을 활용하는데 이른바 어휘 분석기의 “크게 베어 물기 정책”을 활용한다. 이 논문에서 제시한 방법을 이용하면 클라이언트 코드의 작성력에 기여할 뿐 아니라 프로그래머의 코드 작성 자유도를 높여 줄 것으로 기대된다.

ZG-machine을 위한 비재귀적 메모리 재사용 알고리즘

우균 동아대학교 정보기술연구소 2001 情報通信硏究所論文誌 Vol.8 No.2

This paper describes a non-recursive garbage collection algorithm for the ZG-machine. The ZG-machine is a space-efficient G-machine using tag-forwarding, which is a simple encoding method. However the run-time overhead of the ZG-machine increased rather high as the heap restriction being severe. The high run-time overhead of the ZG-machine is due to the garbage collector. An efficient non-recursive algorithm, say Cheney algorithm, can not be used directly for the ZG-machine because a heap node is separated due to the tag-forwarding in the ZG-machine. This paper explains a simple method for adapting the non-recursive garbage collection algorithm to the ZG-machine.

공간 조정을 이용한 복사 메모리 재사용 알고리즘

우균 동아대학교 정보기술연구소 2001 情報通信硏究所論文誌 Vol.9 No.1

This paper outlines three different methods to relieve the tremendous space overhead of copying collectors. A copying collector is a classical garbage collection method supporting memory compaction, which is essential for implementing most modern abstract machines for lazy functional languages. However, the space overhead of a copying collector is 100%, i.e. the half of the heap space is always reserved for the copying process. This paper suggests three methods to relieve the space overhead and crudely estimates the execution speed of these methods.

SW 완성도 감정 시 문제점 해결 방법

우균 한국소프트웨어감정평가학회 2023 한국소프트웨어감정평가학회 논문지 Vol.19 No.4

소프트웨어 개발이 활발해짐에 따라 소프트웨어 완성도에 대한 분쟁 사건이 늘어나고 있다. 소프트웨어 완성도에 대한 감정 요구는 늘어나고 있지만, 감정 과정에서는 여러 문제점이 대두되고 있다. 먼저 감정 목적물소프트웨어의 완성도가 현저히 낮을 수 있다. 두 번째로 소프트웨어 모듈의 구조가 매우 복잡할 수 있다. 끝으로 소프트웨어의 실행 환경이 구축되기 힘들 수 있다. 이 논문은 이러한 문제점에 대처하기 위한 몇 가지가능한 방법을 제안한다. 사례 연구를 통해 이들 방법의 적용 가능성을 타진한다. 제안 방법은 소프트웨어 완성도 감정의 부담을 경감시킬 수 있다. With the active developments of software, the cases of disputes on the completeness of software are also increasing. Despite the need for the appraisal of the completeness of software, several problems are encountered during the appraisal process. First of all, the completeness of the target software can be severely low. Secondly, the structure of the software modules can be very complicated. Lastly, the execution environment of the software can be hardly reconstructed. The paper proposes a set of plausible methods to cope with these problems. The applicability of the methods is examined using case studies. The proposed methods can relieve the burden of the appraisal on the completeness of software.

ZG-machine을 위한 비재귀적 메모리 재사용

우균 한국정보과학회 프로그래밍언어연구회 2001 프로그래밍언어논문지 Vol.15 No.1