Abstract:
본 발명은 칠(CHILL) 프로그래밍 언어에 대하여 정적인 시간에 GOTO문이나 EXIT문 등에 의해 위험하게 분기하는 프로그램 내의 위험한 제어 이동을 탐지하는 방법에 관한 것으로서, 추상 구문 트리를 순회하면서 제어 이동문을 탐지하고, 탐지된 제어 이동문에 대한 레이블 정보를 파악하여, 레이블에 대한 정보가 없으면 적절한 진단 메시지를 출력하며, 제어 이동문의 레이블에 대한 정보가 파악되면 그 레이블의 위치를 조사하여 블록문의 내부 인지의 여부를 판단하여 적절한 진단 메시지를 출력하는 칠 언어에 대한 위험한 제어 이동의 탐지방법을 제공함으로써, 칠 프로그램 내에 위험한 제어 이동을 정적 시간에 자동으로 진단하여, 신뢰성 높은 칠 프로그램을 작성할 수 있고, 제어 흐름 분석을 통한 소프트웨어의 품질을 향상시킬 수 있는 효과가 있다 .
Abstract:
본 발명은 객체지향 CHILL을 CHILL로 변환시 모레타 모드에 대한 GRANT 및 SEIZE 처리 방법에 관한 것으로, 객체지향 CHILL을 CHILL로 변환할 때 모레타 모드에 대해서 모듐 단위로 grant/seize 할 수 있는 특성을 갖는 구문을 정의하고 이 구문을 이용하여 모레타 모드에 대한 grant/seize를 CHILL에서 모듈 단위로 grant/seize할 수 있도록 구현함으로써 실제 모레타 모드의 grant/seize와 유사한 기능을 효율적으로 제공해 줄 수 있는 개체지향 CHILL을 CHILL로 변환시 모레타 모드에 대한 GRANT 및 SEIZE 처리 방법이 개시된다.
Abstract:
본 발명은 칠(CHILL) 언어로 프로그램 되는 교환기용 소프트웨어에서 프로그램의 실행 순서를 분석할 수 있는 제어 흐름을 표시해 주는 칠 언어에 대한 제어 흐름 표시방법에 관한 것으로서, 단위 프로그램 내의 모듈리언과 블록에 대한 처리를 하고, 모듈리언과 블록 내의 실행문에 대한 처리를 한 후, 각 노드에 대한 인덴테이션 처리를 하고, 연결 리스트의 각 노드에 대한 출력을 하는 칠 언어에 대한 제어 흐름 표시방법을 제공함으로써, 입력 칠 소스 프로그램의 가시성 구조와 병행성에 따른 제어 흐름 그리고, 실행문들간의 내포 관계를 시각적으로 인덴테이션하여 개발자로 하여금 프로그램의 전체 흐름 및 실행문들간의 관계를 명확하게 이해할 수 있도록하여, 보다 신뢰성 높은 칠 프로그램을 작성할 수 있고, 제어 흐름 분석을 통해 소프트웨어의 품질을 향상시킬 수 있는 효과가 있다.
Abstract:
본 발명은 객체지향 칠(CHlLL)을 칠(CHILL)로 변환시 모레타 모드에 대한 변환 방법에 관한 것으로서, 종래에는 칠에서 모레타 모드가 존재하지 않는 문제점이 있으므로 상기 문제점을 해결하기 위해 본 발명은 객체지향 칠(CHILL)을 입력으로 받아들여 구문분석, 가시성 분석, 어의 분석, 이름 재명명 과정을 수행하여 심볼테이블 및 프로그램 스트럭처 트리를 구성한 후 각 심볼테이블 엔트리가 모레타 모드인가를 검사하여 모레타 모드일 경우에는 모듈 및 모듈 내의 구성요소로 변환하고, 모레타 모드가 아닐 경우에는 변환 없이 객체지향 칠(CHILL) 코드 그대로 생성하며, 실행문에 대한 코드를 생성하고 종료하는 제1단계, 모레타 모드일 경우 모레타 모드를 모듈로 변환하고 모레타 모드의 구성요소를 모듈의 구성요소로 변환하고 가상 요소 프로시져 테이� �을 생성하는 제2단계, 타스크 모드와 관련된 정보를 생성하는 제3단계, 리전 모드 및 모듈 모드와 관련된 정보를 생성하는 제4단계를 포함하는 구성을 하여 칠에서 존재하지 않는 모레타 모드에 대한 효율적인 변환 방법을 제공해 줌으로써, 칠 프로그램과 완벽한 호환성을 제공하고 칠 프로그램 환경을 그대로 활용할 수 있는 효과가 있다.
Abstract:
본 발명은 비동기전달모드(ATM: Asynchronous Transfer Mode) 프로세서를 위한 최적화 컴파일러의 후단부에서 최적 명령 수순을 선택할 수 있도록 하는 최적 명령 수순 선택 방법에 관한 것으로, ATM 수퍼스칼라 프로세서를 위한 칠(CHILL) 컴파일러를 개발 할 때 조건부 분기를 위한 최적 코드를 생성할 수 있도록 하는 최적 명령 수순 선택 방법을 제공하기 위하여, 조건부 분기를 동일한 기능의 산술식으로 변환할 수 있는 최적화 패턴을 선정하고 수퍼 최적화를 사용하여 정적 계수가 최소인 명령 수순을 검색한 후에 최소의 동적 계수를 가진 명령 수순을 선택하는 제1단계; 선택된 최적 명령 수순을 머신 설명 테이블 형식에 적합한 형태로 변환하여 확장된 머신 설명 테이블에 결합하여 실행 가능한 컴파일러 후단부를 구성한 후에 실험하여 명령 수순들 간의 간섭이 발생하였는지를 판단하는 제2단계; 및 상기 제2단계의 판단 결과, 간섭이 발생하였으며 상기 제2단계부터 반복 수행하고, 간섭이 발생하지 않았으면 최적 명령 수순을 머신 설명 테이블에 저장하는 제3단계를 포함하여 컴파일러가 생성한 코드의 효율성을 높일 수 있는 효과가 있다.
Abstract:
본 발명은 CHILL 프로그램을 컴파일하기 위한 CHILL 컴파일러의 전위처리기의 구조 및 기능에 관한 것이다. 이는 통신시스템과 같은 대용량의 안정성이 있는 소프트웨어를 생산하는데 필요한 다양한 언어기능을 가지는 복잡한 언어의 컴파일러 개발에 사용되는 다단계 처리 구조 및 방법으로써 이식성과 안정성이 높고 효율적인 CHILL 컴파일러를 개발하는데 이용할 수 있다.
Abstract:
A performing code generating method about the location access of the chill is applicable to the apparatus that consists of a main memory means comprising the chill compiler, a microprocessor performing the file, a sub memory that stores the remainder files, an input/output means that input and/or output the error message, and system bus that is a transmission path of the message. The method comprising the steps of: generating the performing code of the start address, generating the performing code of the moving offset process to the destination address, and generating the performing code about the referring, extracting or storing only the address in the destination address.
Abstract:
본 발명은 CHILL 분리 컴파일 시스템에서 재컴파일 시 프로그램 수정으로 인한 일치성을 보장하는 범위내에서 재컴파일 횟수를 최소화하는 방법에 관한 것으로, 처음 컴파일과 재컴파일을 구분하는 제1 단계(301) :상기 제1단계(371)수행 후, 처음 컴파일이면 아규먼트로 주어진 스팩 화일들에서 그랜트/시즈된 이름들에 대한 바인딩을 하여 시즈 화일 및 인터페이스 화일을 생성하는 제2단계(302 내지 305) , 상기 제1단계(301) 수행 후, 재컴파일이면 주어진 인터페이스 화일의 내용이 유효한가를 검사하는 제3단계(306 내지 310) , 상기 제3단계(306내지 310) 수행 후, 인터페이스 화일의 내용이 유효하지 않으면 인터페이스 화일을 지우고 처음으로 복귀하며 유효할 경우 인터페이스 화일 및 수정된 스펙 화일들을 분석하여 재컴파일되어야 할 시즈 화일들과 인터페이 스 화일을 생성하는 제4단계(308, 311 내지 314) ;를 포함하여 이루어지는 것을 특징으로 한다.
Abstract:
1. 청구범위에 기재된 발명이 속한 기술분야 본 발명은 객체지향 칠 컴파일러와 미들웨어인 분산 객체 실행 장치와의 정합 코드 생성 방법에 관한 것임. 2. 발명이 해결하려고 하는 기술적 과제 본 발명은, 분산 객체 기능을 지원하기 위하여 객체지향 칠(CHILL) 컴파일러와 미들웨어 사이의 정합 기능을 제공하기 위한 정합 코드 생성 방법을 제공하고자 함. 즉, 본 발명은 객체 지향 프로그램 언어인 객체지향 CHILL에서 분산 객체의 특성을 가진 태스크 모드(TASK MODE)의 실행을 원활하게 하기 위해, 분산 객체 실행 시스템인 EDO(METRI Distributed Object Manager)과 객체지향 CHILL 컴파일러와의 인터페이스 코드를 생성하기 위한 객체지향 칠 컴파일러와 미들웨어인 분산 객체 실행 장치와의 정합 코드 생성 방법을 제공하고자 함. 3. 발명의 해결방법의 요지 본 발명은, 객체지향 칠(CHILL) 컴파일러와 미들웨어인 분산 객체 실행 장치와의 정합 코드 생성 방법에 있어서, 객체지향 칠(CHILL) 프로그램에 대해 구문 및 어의를 분석하는 단계; 구문 분석을 통해 생성된 심볼 테이블의 엔트리가 타스크 모드이면, 분산 클래스 정의 코드, 디폴트 리셉터(receptor) 함수, 멤버함수 원형, 분산 클래스 선언 코드를 생성하는 단계; 상기 심볼 테이블의 엔트리가 타스크 장소이면, 분산 객체 실행 장치 쓰래드를 생성하고, 상기 분산 객체 실행 장치 쓰래드가 분산 객체 코드를 생성하는 단계; 상기 심볼 테이블 엔트리가 타스크 모드 정의 및 타스크 장소가 아니면, 객체지향 칠(CHILL)에서 C++언어로의 변환 규칙에 따라 C++언어로 변환하는 단계; 실행문이 상기 타스크 장소에 대한 분산 객체 메소드 호출이면, 인수에 대한 마샬링(marshalling)을 하고, 마샬링된 스트링을 메시지로 하여 메시지 송신 구문을 호출하는 코드를 생성하는 단계; 및 상기 실행문이 상기 타스크 장소에 대한 분산 객체 메소드 호출이 아니면, 객체지향 칠(CHILL)에서 C++언어로의 변환 규칙에 따라 C++ 실행문으로 변환하는 단계를 포함함. 4. 발명의 중요한 용도 본 발명은 미들웨어 상에서 분산 객체간 통신 등에 이용됨. 미들웨어, 분산객체, CHILL, 객체지향, 정합 코드