http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정적 단일 치환형의 효과적인 구성과 자료 흐름 그래프에서의 중복 스위치 제거
박명순(Myong Soon Park),정재준(Jae-Joon Jung),박성순(Sung-Soon Park) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.2
정적 단일 치환 형(SSA)은 최적화 컴파일러를 구성하는 과정에서 많은 장점을 갖는 자료 구조이다. 본 논문에서는 제어 종속성의 특성을 이용하여 SSA를 구성하는 효율적인 방법을 제시한다. 그리고 제어 흐름 그래프를 자료 흐름 그래프로 과정에서 나타나는 중복 스위치를 제거하는데 기존의 SSA를 사용한 방법보다 더 효율적인 제어 종속성을 이용한 방법을 제시한다. Static Single Assignment(SSA) form is a data structure having many advantages in optimizing compiler construction. In this paper, we propose an efficient method to construct SSA using control dependence. In eliminating redundant switches which are generated in the process of transformation from Control Flow Graph(CFG) to Data Flow Graph(DFG), we also propose a more efficient method using control dependence than the method using SSA.
박명순(Myong-Soon Park),최진영(Jin-Young Choi),안철진(Chul-Jin Ahn),최성욱(Seong-Uk Choi) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1A
BBA(Black Box Abstraction) 원리로 구현된 기존의 소프트웨어는 예측하지 못했던 상황에 처했을 경우 성능 저하를 발생시킬 수 있다. 개방형 구현(Open Implementation)기법은 BBA 원리를 충실히 따르지만, 성능에 영향을 미칠 수 있는 모듈에 대해서 변경 및 제어가 가능하도록 하는 새로운 소프트웨어 엔지니어링 기법이다. 본 논문에서는 유닉스 운영 체제에서 I/O의 성능에 많은 영향을 미치는 버퍼 캐쉬가 기존의 BBA 원리로 구현되어 있어서 데이터 베이스나 최근 등장하는 멀티미디어 응용 프로그램등 특정 종류의 응용 프로그램에 대해서 심각한 성능 저하가 있을 수 있음을 인식하였고, 이에 개방형 구현 원리를 적용하여 새로운 버퍼 캐쉬 모듈을 설계 하고자 한다. 본 논문에서는 특히 Linux 운영 체제의 버퍼 캐쉬를 면밀히 분석하고 개방형 구현 원리의 적용 방법을 논의하였다.
박성순(Sung-Soon Park),박명순(Myong-Soon Park) 한국정보과학회 1996 정보과학회논문지 : 시스템 및 이론 Vol.23 No.12
프로그램을 벡터화하는 과정에서 문장 또는 기본블럭들 사이에 존재하는 종속성 사이클은 벡터화된 목적코드를 생성하는 과정에서 제약요소가 되고 있다. 이러한 종속성 사이클을 제거하기 위해 여러 연구들이 진행되어 왔는데, 이런 기존의 연구들도 종속성 사이클을 효과적으로 제거하는데에는 많은 문제점을 가지고 있다. 따라서 본 논문에서는 관계벡터 개념을 사용하여 새로운 종속성 사이클 제거 방안을 제시한다. 그리고 종속성 사이클을 명확하게 제거하지 못하는 기존의 방안들에 비해 보다 명확하고 체계적으로 종속성 사이클을 제거함으로서 기존방안에서의 문제점을 해결함을 보인다. In the program vectorization researches, dependence cycles between statements or between basic blocks cause obstacles to generate vectorized codes. So, many researches have been processing to eliminate dependence cycles. However, when we apply these methods to eliminate dependence cycles, many problems are caused, Therefore, in this paper, we propose new method to eliminate dependence cycles by using the Relation Vector, We compare our method with previous methods which do not eliminate dependence cycles clearly, So, we present that our method can solve the problems by eliminating dependence cycles explicitely and systematically.
데이타 플로우 그래프의 효율적 생성을 위한 GSA형 CFG 구성 알고리즘
박성순(Sung-Soon Park),최성욱(Soong-Uk Choi),박명순(Myong-Soon Park) 한국정보과학회 1997 정보과학회논문지 : 시스템 및 이론 Vol.24 No.1
데이타 플로우 기계에서는 명령형 언어 프로그램이나 함수형 언어 프로그램으로부터 변환된 데이타 플로우 그래프를 그 언어로 시용한다. 명령형 언어 프로그램을 데이타 플로우 그래프로 변환할 때 게이티드 단일 치환(Gated Single Assignment : 이하 GSA와 혼용) 형을 그 중간 표현 형태로서 사용할 수 있다. 본 논문에서는 이러한 GSA형 정보와 스위치 정보를 제어흐름 그래프(ControlFlow Graph : 이하 CFG와 혼용) 상에 표현하는 GSA형 CFG 개념 및 구성 알고리즘을 제안한다. 그리고 이 GSA형 CFG를 이용하여 기존의 방법보다 효과적으로 데이타 플로우 그래프를 생성하는 방안을 보이고, 구현된 결과를 여러 예제 프로그램에 적용하여 다양한 분석을 수행한다. In data flow machine, its language is the data flow graph transformed from imperative language programs or functional language programs. When an imperative language program is transformed to data flow graph, we can use GSA as an intermediate representation. In this paper, we propose the GSA-formed CFG that represents GSA informations and switch informations to CFG, and propose its construction algorithm. By using the GSA-formed CFG, we propose the construction method of data flow graph. Applying the implemented results of our method to several example programs, we analyze some properties of our method.
박성순(Sung-Soon Park),박명순(Myong-Soon Park) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.2
프로그램을 병렬화 또는 벡터화하는 과정에서 프로그램내에 존재하는 제어나 자료의 종속 정보와 흐름 정보들이 많이 사용되고 있다. 본 논문에서는 벡터화를 용이하게 하기 위하여 프로그램 문장 사이에 존재하는 흐름정보를 종속성 표현형태상에 나타내는 관계벡터를 제시한다. 그리고 제어 종속성과 자료 종속성을 효과적으로 나타내는 그래프 형의 중간표현 형태인 프로그램 종속성 그래프에 이 관계벡터 개념을 적용하여 벡터화 하는 방안을 제시한다. 그리고 벤치마크 프로그램에 이 방안을 적용하여, 이 새로운 방안이 기존의 방법보다 벡터화가 향상됨을 보인다. In the process of parallelizing or vectorizing the programs, the data or control dependence and the data or control flow informations have been frequently used. In this paper, in order to facilitate vectorization, we propose the Relation Vector that can represent the flow information existing among the program statements on the dependency representation form. Then, we apply the relation vector to the Program Dependence Graph that is the graph-type intermediate representation form, which effectively shows the control dependence and the data dependence. We suggest a new vectorization method. By applying the new method to benchmark programs, we show that the new method enhances vectorization factors more than the previous method.