KR960038647A

KR960038647A - 명령의 시퀀싱에 의하여 해저드의 해소를 도모하는 최적화장치

Info

Publication number: KR960038647A
Application number: KR1019960013068A
Authority: KR
Inventors: 겐스케 오다니; 쥰코 사야마; 아키라 다나카
Original assignee: 모리시다 요이치; 마쓰시다 덴키 산교 가부시키가이샤
Priority date: 1995-04-27
Filing date: 1996-04-26
Publication date: 1996-11-21
Also published as: EP0740251A2; EP0740251A3; TW352424B; JP3113792B2; EP0740251B1; CN1146577A; KR100238330B1; US5850552A; DE69622219T2; CN1160627C; JPH08305577A; DE69622219D1

Abstract

참조- 정의간의 의존관계, 정의- 정의간의 의존관계를 그래프에 나타내지 않아도 해저드의 해소를 확실하게 실행하는 최적화장치를 제공한다.

제9도의 스텝 s1에서는 정의 - 참조간의 의존관계로 이루어지는 DAG의 명령노드로부터 출력후보를 노미네이트하고, 노미네이트한 각DAG의 명령노드를 출력후보로서 스텝 s3에 부여한다. 스텝 s3에서는 해저드 등의 DAG의 어느 링크에 위치하는가에 의거하여 노미네이트된 출력후보의 명령노드중 어느것을 우선할것인지를 결정한다.

스텝 s4에서는 리소스상태 정보를 참조하여 선택된 명령노드에서 자원이 정의되어 있지 않거나 혹은 정의되어 있는 자원이 사용중이 아닌가를 확인하고, 그렇다면 스텝 s5에서 출력 리스트 버퍼(17)에 선택된 명령노드를 출력한다.

스텝 s5에서의 출력후, 그 선택된 명령노드가 최후의 명령노드인지를 판단하고, 그렇지 않다면 스텝 s7에서 리소스상태 정보를 갱신한다.

Description

명령의 시퀀싱에 의하여 해저드의 해소를 도모하는 최적화장치

본 내용은 요부공개 건이므로 전문내용을 수록하지 않았음

제5도는 최적화장치의 내부구성을 나타낸 블록도, 제6A는 이 DAG의 데이타구조의 포맷을 나타내는 도면, 제6B는 본 실시예의 DAG의 일례를 나타내는 도면, 제6C도는 본 실시예의 DAG의 일례를 나타내는 도면.

Claims

파이프라인처리의 해저드를 해소하기 위하여 프로그램중의 분기를 포함하지 않는 프로그램 부분의 명령을 시퀀싱하는 최적화장치로서, 상기 프로그램중의 분기를 포함하지 않는 프로그램 부분에 대하여 복수의 유향 비주기 그래프를 생성하는 유향 비주기 생성수단과, 상기 유향 비중기 그래프는 자원에 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 명령을 자로 한 친자관계의 계보를 나타내며, 각 유향 비주기 그래프에서, 해저드가 존재하는 친자간에 마크를 설정하는 마크설정수단과, 상기 프로그램 부분의 명령을 시퀀싱하며, 이 시퀀싱은 유향 비주기 그래프중의 마크된 명령간에 그 명령간에서 사용중인 자원의 값을 파괴하지 않는 다른 유향 비주기 그래프의 명령을 삽입함으로써 실행되는 시퀀싱수단을 포함하는 것을 특징으로 하는 최적화장치.
제1항에 있어서, 상기 최적화장치는, 유향 비주기 그래프의 선두 명령중, 자손에 해저드를 포함하는 명령에 의하여 높은 우선도를 부여하고, 자손에 포함하지 않는 명령에 의하여 낮은 우선도를 부여하며, 상기 자손의 명령이란 유향 비주기 그래프내를 친으로부터 자의 단방향으로 선두명령으로부터 정의 - 참조의 직접적 또는 간접적인 친자관계를 살필 수 있는 모든 명령을 말하는 우선도 부여수단과, 상기 시퀀싱수단은, 유향 비주기 그래프의 선두명령중 대상이 되는 명령이 지시되면 지시된 명령을 유향 비주기 그래프로부터 절단하는 절단수단과, 절단된 명령을 절단된 순위에 따라 시리얼레 격납하는 명령격납수단과, 나중에 참조되는 자원의 값을 파괴하는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 파괴명령 검출수단과, 친의 명령이 명령격납수단의 열의 최후미에 존재하는 명령이며, 또 그 친과의 사이에 마크가 설정되어 있는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 마크 부착 명령검출수단과, 파괴명령 검출수단에 의하여 검출된 명령 및 마크부착 명령검출수단에 의하여 검출된 명령의 절단을 절단금지수단과, 절단금지수단에 의하여 절단이 금지된 명령 이외의 선두명령으로서, 부여된 우선도가 가장 높은 명령을 대상으로 하여 지시하는 명령지지수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제2항에 있어서, 상기 최적화장치는, 각각의 자원에 대응하는 자원 플래그를 기억하며 사용중으로 되어 있는 자원에 대응하는 자원 플래그는 온으로 설정되고, 미사용으로 되어 있는 자원에 대응하는 자원 플래그는 오프를 설정되어 있으며, 대상으로 되어 있는 프로그램부분의 입구에서는 선행하는 프로그램의 부분의 출구의 상태를 방영하는 자원 플래그 기억수단과, 명령격납수단에 명령이 격납될 때마다 그 명령으로 값이 정의되는 자원에 대응하는 자원 플래그를 온으로 반전시키고, 자원의 값이 참조되는 것이 명령격납수단에 격납된 명령에서 최후가 되는 자원에 대응하는 자원 플래그를 오프로 반전시키는 갱신수단과, 온으로 되어 있는 자원 플래그를 참조하고, 그 자원플래그에 대응하는 자원의 값을 파괴할 것인지를 판정함으로써 명령을 검출하는 파괴명령 검출수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제3항에 있어서, 대상이 되는 프로그램 부분에서, 하나의 명령으로 정의된 자원의 값이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 그래프는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 명령을 자로 한 일대다(one and multi)의 친가관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 명령으로 정의된 값을 하나의 명령에서 참조하는 경우, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로하고, 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다대일(multi and one)의 친자관계를 나타내고, 상기 갱신수단은, 절단수단에 의하여 명령이 절단되면 명령으로 정의되는 자원의 값이 이후에 참조되는지를 판정하는 참조유무 판정부와, 이후에 참조된다고 판정된 경우, 그 정의자원에 대응하는 자원플래그를 오프로부터 온으로 반전시키는 제1반전부와, 절단수단에 의하여 절단된 명령으로 참조되어 있는 자원이 단수라면 그 자원에 대한 친명령을 검출하고, 참조되어 있는 자원이 복수라면 각각의 자원을 정의하고 있는 친명령을 검출하는 제1친명령 검출부와, 제1친명령 검출부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 몇 개의 자명령에서 다시 참조되고 있다면 그들의 자명령을 모두 검출하는 검출된 자명령은 복수, 단수의 2가지가 있는 제1자명령 검출부와, 절단수단에 의하여 절단된 다른 자명령이 제1자명령 검출부에 의하여 검출되면 그들의 자명령이 모두 절단완료인지를 판정하는 제1절단완료 명령판정부와, 절단된 명령 이외의 자명령이 검출되지 않은 경우, 혹은 절단된 명령과는 다른 자명령이 검출되었지만, 그들은 제1절단완료 명령판정부에 의하여 절단완료라고 판정된 경우, 절단된 명령에 의하여 값이 참조되는 자원에 대응하는 자원 플래그를 온으로부터 오프로 반전시키는 제2반전부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제 4항에 있어서, 상기 파괴명령 검출수단은, 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령으로 정의되는 정의자원이 단수라면 정의자원에대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는 지를 판정하고, 정의되는 자원이 복수라면 그들 정의자원에 대응하는 자원플래그가 모든 오프로 설정되어 있는 지를 판정하는 정의자원 검출부와, 검출된 모든 정의자원에 대응하는 자원플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는제1제외부와, 몇개의 자원에 대응하느 자원플래그가 온으로 설정되어 있는 경우, 그들 자원을 정의하고 있는 친명령을 모두 검출하는 제2친명령 검출부와 제2친명령부에 의하여여 검츨된 각각의 친명령으로 정의되어 있는 자원이 다시 몇개의 자명령에서 참조되어 있다면 그들 자명령을 모두 검출하는 제2자명령 검출부와, 파괴후보와는 다른자 명령이 제2자명령 검출부에 의하여 검출되면 그들의 자명령를 모두 절단완료인지를 판장하는 제2절단완료 명령판정부와, 모두 정의자원에 대하여 제2자명령검출주에 의하여 파괴후보 이외의 자명령이 검출되지않은 경우, 혹은 파괴후보와는 다른 자명령이 검출되었지만, 그들은 제2절단완료 명령판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제2제외부와, 파괴후보로서선택되고 또 비파괴명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제5항에 있어서,상기 시퀀싱수단은, 하나의 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전의 상태까지 복원하는 제1복원수단과, 이전 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원플래그를 해당명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령이 유향 비주기 그래프로 되돌아가면 복귀된 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제3항에 있어서, 프로그램 부분에서, 하나의 명령으로 값이 정의된 자원이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 그래프는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 복수의 명령을 자로 한 1대 다의 친자관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 복수개의 명령으로 정의된 값을 하나의 명령에서 참조하는 경우, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로하고, 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다 대 1의 친자관계를 나타내고, 상기 파괴명령 검출수단은, 각 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령으로 정의되는 정의자원이 단수라면 정의자원에 대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는 지를 판정하고, 정의되는 자원이 복수라면 그들 정의자원에 대응하는 자원 플래그가 모든 오프에 설정되어 있는 지를 판정하는 정의자원 검출부와, 검출된 모든 정의자원에 대응하는 자원 플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제1제외부와, 몇 개의 자원에 대응하는 자원플래그가 온으로 설정되어 있는 경우, 그들의 자원을 정의하고 있는 친명령을 모두 검출하는 제2친명령 검출부와, 제2침명령부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 다시 몇 개의 자명령에서 참조되어 있다면 그들의 자명령을 모두 검출하는 제2자명령 검출부와, 파괴후보와는 다른 자명령이 제2자명령 검출부에 의하여 검출되면 그들의 자명령은 모두 절단완료인지를 판정하는 제2절단완료 명령판정부와, 모든 정의자원에 대하여 제2자명령 검출부에 의하여 파과후보 이외의 자명령이 검출되지 않은 경우, 혹은 파괴후보와는 다른 자명령이 검출되었지만 그들은 제2절단완료 명령판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제2제거부와, 파괴후보로서 선택되고 비파괴명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제7항에 있어서, 상기 시퀀싱수단은, 하나의 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전의 상태로까지 복원하는 제1복원수단과, 이전 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원플래그를 해당 명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령이 유향 비주기 그래프로 되돌아가면 복귀면 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제1항에서 상기 최적화장치는, 유향 비주기 그래프의 선두 명령중, 자손에 해저드를 포함하는 명령에 제1우선도를 부여하고, 자손에 해저드를 포함하지 않는 명령에 제1우선도보다 낮은 제2우선도를 부여하는 제1우선도 부여수단과, 상기 시퀀싱수단은, 유향 비주기 그래프의 선두명령중 대상이 되는 명령이 지시되면 지시된 명령을 유향 비주기 그래프로부터 절단하는 절단수단과, 절단된 명령을 절단된 순위에 따라 직렬로 격납하는 명령격납수단과, 나중에 참조되는 자원의 값을 파괴하는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 파괴명령 검출수단과, 친의 명령이 명령격납수단의 열의 최후미에 존재하는 명령이며, 또 그 친과의 사이에 마크가 설정되어 있는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 마크부착 명령검출수단과, 유향 비주기 플래그의 선두명령중, 마크부착 명령검출수단에 의하여 검출된 명령에 제1우선도 부여수단에 의하여 부여된 제2우선도보다도 낮은 제3우선도를 부여하는 제2우선도 부여수단과, 파괴명령 검출수단에 의하여 검출된 명령의 절단을 금지하는 절단금지수단과, 절단금지수단에 의하여 절단이 금지된 명령 이외의 선두명령으로서, 부여된 우선도가 가장 높은 명령을 대상으로하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제9항에 있어서, 상기 최적화장치는, 각각의 자원에 대응하는 자원 플래그를 기억하며, 사용중으로 되어 있는 자원에 대응하는 자원 플래그는 온으로 설정하고, 미사용으로 되어 있는 자원에 대응하는 자원 플래그는 오프로 설정되어 있으며, 대상으로 되어 있는 프로그램부분의 입구에서는 선행하는 프로그램 부분의 출구의 상태를 반영하는 자원 플래그 기억수단과, 명령격납수단에 명령이 격납될때마다 그 명령으로 값이 정의되는 대응하는 자원 플래그를 온으로 반전시키고, 자원의 값이 참조되는 것이 명령격납수단에 격납된 명령에서 최후가 되는 자원에 대응하는 자원 플래그를 오프로 반전시키는 갱신수단과, 파괴명령 검출수단은, 온으로 되어있는 자원 플래그가 참조하고, 그 자원플래그에 대응하는 자원의 값을 파괴하는지를 판정함으로써 명령을 검출하는 파괴명령 검출수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제10항에 있어서, 대상이 되는 프로그램 부분에서, 하나의 명령으로 정의된 자원의 값이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 플래그는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 복수의 명령을 자로 한 1 대 다의 친자관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 복수개의 명령으로 정의된 값을 하나의 명령에서 참조하는 경유, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로 하고 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다 대 1의 친자관계를 나타내고, 상기 갱신수단은, 절단수단에 의하여 명령이 절단되며 절단된 명령으로 정의되는 자원의 값이 이후에 참조되는지를 판정하는 참조유무 판정부와, 이후에 참조된다고 판정된 경우, 그 정의자원에 대응하는 자원플래그를 오프로부터 온으로 반전시키는 제1반전부와, 절단수단에 의하여 절단된 명령으로 참조되어 있는 자원이 단수라면 그 자원에 대한 친명령을 검출하고, 참조되어 있는 자원이 복수라면 각각의 자원을 정의하고 있는 친명령을 검출하는 제1친명령 검출부와, 제1친명령 검출부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 몇 개의 자명령으로 다시 참조되고 있다면 그들의 자명령을 모두 검출하며, 검출된 자명령은 복수, 단수의 2가지가 있는 제1자명령 검출부와, 절단수단에 의하여 절단된 명령과는 다른 자명령이 제1자명령 검출부에 의하여 검출되면 그들의 자명령이 모두 절단완료되었는지를 판정하는 제1절단완료 명령판정부로, 절단된 명령 이외의 자명령이 검출되지 않은 경우, 혹은 절단된 명령과는 다른 자명령이 검출되었지만 그들은 제1절단완료 명령판정부에 의하여 절단완료라고 판정된 경우, 절단된 명령에 의하여 값이 참조되는 자원에 대응하는 자원플래그를 온으로부터 오프로 반전시키는 제2반전부를 더울 포함하는 것을 특징으로 하는 최적화장치.
제11항에 있어서, 상기 파괴명령 검출수단은, 각 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령으로 정의되는 정의자원이 단수라면 대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는 지를 판정하고, 정의되는 자원이 복수라면 그들 정의 자원에 대응하는 자원플래그가 모든 오프로 설정되어 있는 지를 판정하는 정의자원 감출부와, 검출된 모든 정의 자원에 대응하는 자원플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제1제외부와, 몇 개의 자원에 대응하는 자원플래그가 온으로 설정되어 있느 경우, 그들 자원을 정의하고 있는 친명령을 모두 검출하는 제2친명령 검출부와, 제2친명령부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 다시 몇 개의 자명령에서 참조되어 있다면 그들 자명령을 모두 검출하는 제2자명령 검출부와, 파괴후보와는 다른 자 명령이 제2자명령이 검출부에 의하여 검출되면 그들의 자명령은 모두 절단완료인지를 판정하는 제2절단완료 명령 판정부와, 모든 정의자원에 대하여 제2자명령검출부에 의하여 파괴후보 이외의 자명령이 검출되지 않는 경우, 혹은 파괴후보와는 다른 자명령이 검출되었지만, 그들은 제2절단완료 명령판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제2제외부와, 파괴후보로서 선택되고, 또 비파괴명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제12항에 있어서, 상기 시퀀싱수단은, 하나에 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전의 상태까지 복원하는 제1복원수단과, 이전의 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원플래그를 해당명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령이 유향 비주기 그래프로 되돌아가면 복귀된 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
파이프라인처리의 해저드를 해소하기 위해 프로그램중의 분기를 포함하지 않는 프로그램 부분의 명령을 시퀀싱하는 최적화장치로서, 상기 프로그램중의 분기를 포함하지 않는 프로그램 부분에 대하여 복수의 유향 비주기 그래프를 생성하는 유향 비주기 그래프 생성수단과, 유향 비주기 그래프는 자원에 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 명령을 자로 한 친자관계의 계보를 나타내며, 각 유향 비주기 그래프에서, 해저드가 존재하는 친자간에 마크를 설정하는 마크설정수단과, 유향 비주기 그래프의 선두명령중 자손에 해저드를 포함하는 명령에 의하여 높은 우선도를 부여하고, 자손에 해저드를 포함하지 않는 명령에 의하여 낮은 우선도를 부여하는 부여수단과, 상기 자손의 명령이란 유향 비주기 그래프내를 친으로부터 자의 단방향으로 선두명령으로부터 정의 - 참조의 직접적 또는 간접적인 친자관계를 살필 수 있는 모든 명령이며, 유향 비주기 그래프의 선두명령중 대상이 되는 명령이 지시되면 지시된 명령을 유향 비주기 그래프로부터 절단하는 절단수단과, 절단된 명령을 절단된 순위에 따라 직렬로 격납하는 명령격납수단과, 나중에 값이 참조되는 자원을 파괴하는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 파괴명령 검출수단과, 친의 명령이 명령격납수단의 열의 최후미에 존재하는 명령이며, 또 그 친과의 사이에 마크가 설정되어 있는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 마크부착 명령검출수단과, 파괴명령 검출수단에 의하여 검출된 명령 및 마크부착 명령검출수단에 의하여 검출된 명령의 절단을 금지하는 절단금지수단과, 절단금지수단에 의하여 절단이 금지된 명령 이외의 선두명령으로서, 부여된 우선도가 가장 높은 명령을 대상으로 하여 지시하는 명령지시수단과, 절단 수단에 의하여 명령이 절단되면 절단된 나머지 명령열을 새로운 유향 비주기 그래프로 하여 우선도 부여수단, 파괴명령 검출수단, 마크부착 명령검출수단, 절단금지수단, 명령지시수단 차례로 기동시키는 기동수단을 포함하는 것을 특징으로 하는 최적화장치.
제14항에 있어서, 상기 최적화장치는, 각각의 자원에 대응하는 자원 플래그를 기억하며, 사용중으로 되어있는 자원에 대응하는 자원 플래그는 온으로 설정되고, 미사용으로 되어 있는 자원에 대응하는 자원 플래그는 오프로 설정되어 있고, 대상으로 되어 있는 프로그램 부분의 입구에서는 선행하는 프로그램 부분의 출구의 상태를 반영하는 자원 플래그 기억수단과, 명령격납수단에 명령이 격납될 때마다 그 명령으로 값이 정의되는 자원에 대응하는 자원플래그를 온으로 반전시키고, 자원의 값이 참조되는 것이 명령격납수단에 격납된 명령에서 최후가 되는 자원에 대응하는 자원 플래그를 오프로 반전시키는 갱신수단과, 온으로 되어 있는 자원 플래그를 참조하고, 그 자원 플래그에 대응하는 자원의 값을 파괴할 것인지를 판정함으로써 명령을 검출하는 파괴명령 검출수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제15항에 있어서, 대상이 되는 프로그램 부분에서, 하나의 명령으로 정의된 자원의 값이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 그래프는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 복수의 명령을 자로 한 1 대다의 친자관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 복수개의 명령으로 정의된 값을 하나의 명령에서 참조하는 경우, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로하고, 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다 대 1의 친자관계를 나타내고, 상기 갱신수단은, 절단수단에 의하여 명령이 절단되면 절단된 명령으로 정의되는 자원의 값이 이후에 참조되는지를 판정하는 참조유무 판정부와, 이후에 참조된다고 판정된 경우, 그 정의자원에 대응하는 자원 플래그를 오프로부터 온으로 반전시키는 제1반전부와, 절단수단에 의하여 절단된 명령으로 참조되어 있는 자원이 단수라면 그 자원에 대한 친명령을 검출하고, 참조되어 있는 자원이 복수라면 각각의 자원을 정의하고 있는 친명령을 검출하는 제1친명령 검출부와, 제1친명령 검출부에 의하여 검출된 친명령으로 정의되어 있는 자원이 몇 개의 자명령으로 다시 참조되고 있다면 그들의 자명령을 모두 검출하는 제1자명령검출부와, 상기 검출된 자명령은 복수, 단수의 2가지가 있으며, 절단수단에 의하여 절단된 명령과는 다른 자명령이 제1자명령 검출부에 의하여 검출되면 그들의 자명령이 모두 절단완료되었는지를 판정하는 제1절단완료 명령판정부와, 절단된 명령 이외의 자명령이 검출되지 않은 경우, 혹은 절단된 명령과는 다른 자 명령이 검출되었지만 그들은 제1절단완료 명령판정부에 절단완료라고 판정된 경우, 절단된 명령에 의하여 값이 참조되는 자원에 대응하는 자원플래그를 온으로부터 오프로 반전시키는 제2반전부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제16항에 있어서, 상기 파괴명령 검출수단은, 각 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령으로 정의되는 정의자원이 단수라면 정의자원에 대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는지를 판정하고, 정의되는 자원이 복수라면 그들 정의자원에 대응하는 자원플래그가 모든 오프에 설정되어 있는지를 판정하는 정의자원 검출부와, 검출된 모든 정의자원에 대응하는 자원플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제1제외부와, 몇 개의 자원에 대응하는 자원플래그가 온에 설정되어 있는 경우, 그들 자원을 정의하고 있는 친명령을 모두 검출하는 제2침명령 검출부와, 제2친명령부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 다시 몇 개의 자명령에서 참조되어 있다면 그들 자명령을 모두 검출하는 제2자명령 검출부와, 파괴후보와는 다른 자명령이 제2자명령 검출부에 의하여 검출되면 그들의 자명령은 모두 절단완료인지를 판정하는 제2절단완료 명령판정부와, 모든 정의자원에 대하여 제2명령 검출부에 의하여 검출되었지만, 그들은 제2절단완료 명령 판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴 명령으로 변경하는 제2제외부와, 파괴후보로서 선택되고 또 비파괴 명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더울 포함하는 것을 특징으로 하는 최적화장치.
제17항에 있어서, 상기 시퀀싱수단은, 하나의 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전에 상태까지 복원하는 제1복원수단과, 이전 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원플래그를 해당명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령이 유향 비주기 그래프로 되돌려지면 복귀된 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지지수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
파이프라인처리의 해저드를 해소하기 위해 프로그램중의 분기를 포함하지 않는 프로그램 부분의 명령을 시퀀싱하는 최적화장치로서, 상기 프로그램중의 분기를 포함하지 않는 프로그램 부분에 대하여 복수의 유향 비주기 그래프를 생성하는 유향 비주기 그래프 생성수단과, 상기 유향 비주기 그래프는 자원에 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 명령을 자로 한 친가관계의 계보를 나타내며, 각 유향 비주기 그래프에서, 해저드가 존재하는 친자간에 마크를 설정하는 마크설정수단과, 유향 비주기 그래프의 선두명령중 자손에 해저드를 포함하는 명령에 의하여 높은 우선도를 부여하고, 자손에 해저드를 포함하지 않는 명령에 의하여 낮은 우선도를 부여하는 우선도 부여수단과, 상기 자손의 명령이란 유향 비주기 그래프내를 친으로부터 자의 단방향으로 선두명령으로부터 정의 - 참조의 직접적 또는 간접적인 친자관계를 살필 수 있는 모든 명령이며, 유향 비주기 플래그의 선두명령중 대상이 되는 명령이 지시되면 지시된 명령을 유향 비주기 그래프로부터 절단하는 절단수단과, 절단된 명령을 절단된 순위에 따라 직렬로 격납하는 명령격납수단과, 나중에 값이 참조되는 자원을 파괴하는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 파괴명령 검출수단과, 친의 명령이 명령격납수단의 열의 최후미에 존재하는 명령이며, 또 그 친과의 사이에 마크가 설정되어 있는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 마크부착 명령검출수단과, 파괴명령 검출수단에 의하여 어떤 명령이 검출된 경우, 해당 명령 및 해당명령과 해당 자원에 관한 데이타 플로우를 가지는 모든 명령이 차지하는 구간에서 미사용인 자원을 선별하는 제1치환후보 선별수단과, 상기 자원에 관한 데이타 플로우를 가지는 명령이 차지하는 구간이란 자원에 값의 정의하는 명령과, 정의된 자원의 값을 참조하는 모든 명령이 차지하는 구간에 그 자원의 값을 재정의하는 명령과, 재정의된 자원의 값을 참조하는 모든 명령이 차지하는 구간을 합한 구간을 말하며, 상기 재정의하는 명령이란 이미 정의된 자원의 값에 의거한 값이며, 그 자원을 정의하는 명령을 말하며, 선별된 자원의 종별을 식별하는 식별수단과, 파괴명령 검출수단에 의하여 검출된 명령 및 그 명령으로 정의된 자원에 관하여 데이타 플로우를 가지는 모든 명령을 해독하는 해독수단과, 식별수단의 식별결과와 해독수단의 해독결과를 조합시켜보아 그 조합을 프로세서의 명령 세트와 조합함으로써 선별에 남은 자원으로부터 치환후보를 다시 선별하는 제2치환후보 선별수단과, 사용중인 자원의 값을 정의하고 있다고 파괴명령 검출수단에 의하여 검출된 명령에서 값이 정의되는 자원과, 그 명령을 포함하는 유향 비주기 그래프의 해당 자원에 관한 데이타 플로우를 가지는 명령으로 사용되고 있는 자원을 판정된 치환후보에 개시하는 개선수단과, 마크부착 명령 검출수단에 의하여 검출된 명령 및 파괴명령 검출수단에 의하여 검출된 명령중 고침수단에 의하여 자원이 고쳐지지 않은 이외의 것의 절단을 금지하는 절단금지수단과, 절단이 금지된 선두명령중, 우선도가 가장 높은 그래프를 대상으로 하여 지시하는 명령지시수단과, 절단수단에 의하여 명령이 절단되면 절단된 나머지 명령열을 새로운 유향 비주기 그래프로하여 우선도 부여수단, 파괴명령 검출수단, 마크부착 명령검출수단, 절단금지수단, 명령지지수단을 차례로 기동시키는 기동수단을 포함하는 것을 특징으로 하는 최적화장치.
제19항에 있어서, 상기 최적화장치는, 각각의 자원에 대응하는 자원 플래그를 기억하며, 사용중으로 되어 있는 자원에 대응하는 자원 플래그는 온으로 설정되고, 미사용으로 되어 있는 자원에 대응하는 자원 플래그는 오프로 설정되어 있으며, 대상으로 되어 있는 프로그램부분의 입구에서는 선행하는 프로그램 부분의 출구의 상태를 반영하는 자원 플래그 기억수단과, 명령격납수단에 명령이 격납될 때마다 그 명령으로 값이 정의되는 자원에 대응하는 자원플래그를 온으로 반전시키고 자원의 값이 참조되는 것이 명령격납수단에 격납된 명령에서 최후가 되는 자원에 대응하는 자원 플래그를 오프로 반전시키는 갱신수단과, 온으로 되어 있는 자원 플래그를 참조하고, 그 자원플래그에 대응하는 자원의 값을 파괴할 것인지를 판정함으로써 명령을 검출하는 파괴명령 검출수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제20항에 있어서, 대상이 되는 프로그램 부분에서, 하나의 명령으로 정의된 자원의 값이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 그래프는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 복수의 명령을 자로 한 1 대다의 친자관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 복수개의 명령으로 정의된 값을 하나의 명령에서 참조하는 경우, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로하고, 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다 대 1의 친자관계를 나타내고, 상기 갱신수단은, 절단수단에 의하여 명령이 절단되면 절단된 명령으로 정의되는 자원의 값이 이후에 참조되는지를 판정하는 참조유무 판정부와, 이후에 참조된다고 판정된 경우, 그 정의자원에 대응하는 자원플래그를 오프로부터 온으로 반전시키는 제1반전부와, 절단수단에 의하여 절단된 명령에서 참조되어 있는 자원이 단수라면 그 자원에 대한 친명령을 검출하고, 참조되어 있는 자원이 복수라면 각각의 자원을 정의하고 있는 친명령을 검출하는 제1친명령 검출부와, 제1친명령 검출부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 몇 개의 자명령으로 다시 참조되고 있다면, 그들의 자명령을 모두 검출하는, 검출된 자명령은 복수, 단수의 2가지가 있는 제1자명령 검출부와, 절단수단에 의하여 절단된 명령과는 다른 자명령이 제1자명령 검출부에 의하여 검출되면 그들의 자명령이 모두 절단완료되었는지를 판정하는 제1절단완료 명령판정부와, 절단돤 명령 이외의 자명령이 검출되지 않은 경우, 혹은 절단된 명령과는 다른 자명령이 검출되었지만, 그들은 제1절단완료 명령판정부에 의하여 절단완료라고 판정된 경우, 절단된 명령에 의하여 값이 참조되는 자원에 대응하는 자원플래그를 온으로부터 오프로 반전시키는 제2반전부를 더울 포함하는 것을 특징으로 하는 최적화장치.
제21항에 있어서, 상기 파괴명령 검출수단은, 각 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령에서 정의되는 정의자원이 단수라면 정의자원에 대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는지를 판정하고, 정의되는 자원이 복수라면 그들 정의자원에 대응하는 자원플래그가 모두 오프에 설정되어 있는 지를 판정하는 정의자원 검출부와, 검출된 모든 정의자원에 대응하는 자원플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴 명령으로 변경하는 제1제어부와, 몇 개의 자원에 대응하는 자원플래그가 온에 설정되어 있는 경우, 그들 자원을 정의하고 있는 친명령을 모두 검출하는 제2친명령 검출부와, 제2친명령부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 다시 몇 개의 자명령에서 참조되어 있다면 그들 자명령을 모두 검출하는 제2자명령 검출부와, 파괴후보와는 다른 자명령이 제2자명령이 제2자명령 검출부에 의하여 검출되면 그들의 자명령은 모두 절단완료인지를 판정하는 제2절단완료 명령판정부와, 모든 정의장원에 대하여 제2자명령 검출부에 의하여 파괴후보 이외의 자명령이 검출되지 않은 경우, 혹은 파괴후보와는 다른 자명령이 검출되었지만, 그들은 제2절단완료 명령판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제2제외부와, 파괴후보로서 선택되고 비파괴명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더울 포함하는 것을 특징으로 하는 최적화장치.
제22항에 있어서, 상기 시퀀싱수단은, 하나의 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전의 상태까지 복원하는 제1복원수단과, 이전 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원 플래그를 해당명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령이 유향 비주기 그래프로 되돌아가면 복귀된 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
파이프라인처리의 해저드를 해소하기 위해 프로그램중의 분기를 포함하지 않는 프로그램 부분의 명령을 시퀀싱하는 최적화장치로서, 상기 프로그램중의 분기를 포함하지 않는 프로그램 부분에 대하여 복수의 유향 비주기 그래프를 생성하는 유향 비주기 그래프 생성수단과, 상기 유향 비주기 그래프는 자원에 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 명령을 자로 한 친자관계의 계보를 나타내며, 각 유향 비주기 그래프에서, 해저드가 존재하는 친자간에 마크를 설정하는 마크설정수단과, 유향 비주기 그래프의 선두명령중 자손에 해저드를 포함하는 명령에 의하여 높은 우선도를 부여하고, 자손에 해저드를 포함하지 않는 명령에 의하여 낮은 우선도를 부여하는 우선도 부여수단과, 상기 자손의 명령이란 유향 비주기 그래프를 친으로부터 자의 단방향으로 선두명령으로부터 정의 - 찬보의 직접적 또는 간접적인 친자관계를 살필 수 있는 모든 명령이며, 유향 비주기 그래프의 선두명령중 대상이 되는 명령이 지시되면 지시된 명령을 유향 비주기 그래프로부터 절단하는 절단수단과, 절단된 명령을 절단된 순위에 따라 직렬로 격납하는 명령격납수단과, 나중에 값이 참조되는 자원을 파괴하는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 파괴명령 검출수단과, 친의 명령이 명령격납수단의 열의 최후미에 존재하는 명령이며, 그 친과의 사이에 마크가 설정되어 있는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 마크부착 명령검출수단과, 파괴명령 검출수단에 의하여 어떤 명령이 검출된 경우, 해당명령을 선두에 두는 유향비선회 그래프에서 미사용인 자원을 선별하는 제1차환후보 선별수단과, 선별된 자원을 종별을 식별하는 식별수단과, 파괴명령 검출수단에 의하여 검출된 명령 및 그 명령으로 정의된 자원에 관하여 테이크 플로우를 가지는 모든 명령을 해독하는 해독수단과, 식별수단의 식별결과와 해독수단의 해독결과를 조합시켜보아 그 조합을 프로세서의 명령 세트와 조합함으로써 식별에 남은 자원으로부터 치환후보를 다시 선별하는 제2치환후보 선별수단과, 사용중인 자원의 값을 정의하고 있다고 파괴명령 검출수단에 의하여 검출된 명령에서 값이 정의되는 자원과, 그 명령을 포함하는 유향 비주기 그래프의 해당 자원에 관한 데이타 플로우를 가지는 명령으로 사용되고 있는 자원을 판정된 치환후보로 고치는 고침수단과, 마크부착 명령검출수단에 의하여 검출된 명령 및 파괴명령 검출수단에 의하여 검출된 명령 중 고침수단에 의하여 자원이 고쳐지지 않은 이외의 것의 절단을 금지하는 절단금지수단과, 절단이 금지된 선두명령 중, 우선도가 가장 높은 그래프를 대상으로 하여 지시하는 명령지지수단과, 절단수단에 의하여 명령이 절단되면 절단된 나머지 명령열을 새로운 유향 비주기 그래프로하여 우선도 부여수단, 파괴명령 검출수단, 마크부착 명령검출수단, 절단금지수단, 명령지시수단을 차례로 기동하는 기동수단을 포함하는 것을 특징으로 하는 최적화장치.
제24항에 있어서, 상기 최적화장치는, 각각의 자원에 대응하는 자원 플래그를 기억하고, 사용 중으로 되어 있는 자원에 대응하는 자원 플래그는 온으로 설정되고, 미사용으로 되어 있는 자원에 대응하는 자원 플래그는 오프로 설정되어 있으며 대상으로 되어 있는 프로그램부분의 입구에서는 선행하는 프로그램 부분의 출구의 상태를 반영하는 자원 플래그 기억수단과, 명령격납수단에 명령이 격납될 때마다 그 명령으로 값이 정의되는 자원에 대응하는 자원 플래그를 온으로 반전시키고 자원의 값이 참조되는 것이 명령격납수단에 격납된 명령에서 최후가 되는 자원에 대응하는 자원 플래그를 오프로 반전시키는 갱신수단과, 온으로 되어 있는 자원 플래그를 참조하고, 그 자원플래그에 대응하는 자원의 값을 파괴할 것인지를 판정함으로써 명령을 검출하는 파괴명령 검출수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제25항에 있어서, 대상이 되는 프로그램 부분에서, 하나의 명령으로 정의된 자원이 값이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 플래그는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 복수의 명령을 자로 한 1대다의 친자관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 복수개의 명령으로 정의된 값을 하나의 명령에서 참조하는 경우, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로하고, 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다 대1의 친자관계를 나타내고, 상기 갱신수단은, 절단수단에 의하여 명령이 절단되면 절단된 명령으로 정의되는 자원의 값이 이후에 참조되는 지를 판정하는 참보유무 판정부와, 이후에 참조된다고 판정된 경우, 그 정의자원에 대응하는 자원플래그를 오프로부터 온으로 반전시키는데 제1반전부와, 절단수단에 의하여 절단된 명령에서 참조되어 있는 자원이 단수라면 그 자원에 대한 친명령을 검출하고, 참조되어 있는 자원이 복수라면 각각의 자원을 정의하고 있는 친명령을 검출하는 제1친명령 검출부와, 제1친명령 검출부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 몇 개의 자명령으로 다시 참조되고 있다면 그들의 자명령을 모두 검출하는, 검출된 자명령은 복수, 단수의 2가지가 있는 제1자명령 검출부와, 절단수단에 의하여 절단된 명령과는 다른 자명령 검출부에 의하여 검출되면 그들의 자명령이 모두 절단완료되었는지를 판정하는 제1절단완료 명령판정부와, 절단된 명령 이외의 자명령이 검출되지 않은 경우, 혹은 절단된 명령과는 다른 자명령이 검출되었지만, 그들은 제1절단완료 명령판정부에 의하여 절단완료라고 판정된 경우 절단된 명령에 의하여 값이 참조되는 자원에 대응하는 자원 플래그를 온으로부터 오프로 반전시키는 제2반전부를 더울 포함하는 것을 특징으로 하는 최적화장치.
제26항에 있어서, 상기 파괴명령 검출수단은, 각 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령으로 정의되는 정의자원이 단수라면 정의자원에 대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는 지를 판정하고, 정의되는 자원이 복수라면 그들 정의자원에 대응하는 자원플래그가 모든 오프에 설정되어 있는 지를 판정하는 정의자원 검출부와, 검출된 모든 정의자원에 대응하는 자원플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제1제외부와, 몇개의 자원에 대응하는 자원플래그가 온에 설정되어 있는 경우, 그들 자원을 정의하고 있는 친명령을 모두 검출하는 제2친명령 검출부와, 제2친명령부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 다시 몇가지 자명령에서 참조되어 있다면 그들 자명령을 모두 검출하는 제2차명령 검출부와, 파괴후보와는 다른 자명령이 제2자명령검출부에 의하여 검출되면 그들의 자명령은 모두 절단완료인지를 판정하는 저2절단완료 명령 판정부와, 모든 정의자원에 대하여 제2자명령 검출부에 의하여 파괴후보 이외의 자명령이 검출되지 않은 경우, 혹은 파괴후보와는 다른 자명령이 검출되었지만, 그들을 제2절단완료 명령판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제2제외부와, 파괴후보로서 선택되고 또 비파괴 명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제27항에 있어서, 상기 시퀀싱수단은, 하나의 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전의 상태까지 복원하는 제1복원수단과, 이전 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원플래그를 해당 명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령이 유향 비주기 그래프로 되돌려지면 복귀된 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지시수단을 더울 포함하는 것을 특징으로 하는 최적화장치.
로드명령에 의하여 값이 정의되는 자원이 그 직후의 명령에서 ALU 연산 혹은 어드레스 연산의 오퍼랜드로서 참조되기 때문에 파이프라인처리의 지연을 프로그램내의 명령을 시퀀싱함으로써 대처하는 최적화장치로서, 상기 프로그램중의 분기를 포함하지 않는 프로그램 부분에 대하여 자원에 값을 정의하는 명령을 친으로 하고, 그 자원의 값을 참조하는 자로 한 명령끼리의 친자관계의 계보를 나타내는 유향 비주기 그래프를 복수개 생성하는 유향 비주기 그래프생성수단과, 친의 명령에 의하여 값이 정의되는 자원이 자의 명령에서 ALU 연산 혹은 어드레스 연산의 오퍼랜드로서 참조되어 있는 배열을 각 유향 비주기 그래프로부터 검출하고, 각 유향 비주기 그래프의 그 배열의 친자간에 마크를 설정하는 해저드 정보설정수단과, 상기 프로그램 부분의 명령을 시퀀싱하며 이 시퀀싱은 유향 비주기 그래프중의 마크된 명령간에 다른 유향 비주기 그래프의 명령으로서 그 명령간에서 사용되고 있는 자원의 값을 파괴하지 않는 다른 유향 비주기 그래프의 명령을 삽입함으로써 실행되는 시퀀싱수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제29항에 있어서, 상기 최적화장치는, 유향 비주기 그래프의 선두명령중 자손에 해저드를 포함하는 명령에 의하여 높은 우선도를 부여하고, 자손에 해저드를 포함하지 않는 명령에 의하여 낮은 우선도를 부여하는 우선도 부여수단과, 상기 자손의 명령이란 유향 비주기 그래프내를 친으로부터 자의 단방향으로 선두명령으로부터 정의 - 참조의 직접적 또는 간접적인 친자관계를 살필 수 있는 모든 명령이고 시퀀싱수단은, 유향 비주기 그래프의 선두명령중 대상이 되는 명령이 지시되면 지시된 명령을 유향 비주기 그래프로부터 절단하는 절단수단과, 절단된 명령을 절단된 순위에 따라 직렬로 격납하는 명령격납수단과, 나중에 참조되는 자원의 값을 파괴하는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 파괴명령 검출수단과, 친의 명령이 명령격납수단의 열의 최후미에 존재하는 명령이며, 또 그 친과의 사이에 마크가 설정되어 있는 명령을 각 유향 비주기 그래프의 선두로부터 검출하는 마크부착 명령검출수단과, 파괴명령 검출수단에 의하여 검출된 명령 및 마크부착 명령검출수단에 의하여 검출된 명령이 절단을 금지하는 절단금지수단과, 절단금지수단에 의하여 절단이 금지된 명령 이외의 선두명령으로서, 부여된 우선도가 가장 높은 명령을 대상으로 하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제30항에 있어서, 상기 최적화장치는, 각각의 자원에 대응하는 자원 플래그를 기억하며, 사용중으로 되어 있는 자원에 대응하는 자원 플래그는 온으로 설정되고, 미사용으로 되어 있는 자원에 대응하는 자원 플래그는 오프로 설정되어 있고, 대상으로 되어 있는 프로그램부분의 입구에서는 선행하는 프로그램 부분의 출구의 상태를 반형하는 자원 플래그 기억수단과, 명령격납수단에 명령이 격납될 때마다 그 명령으로 값이 정의되는 자원에 대응하는 자원 플래그를 온으로 반전시키고 자원의 값이 참조되는 것이 명령격납수단에 격납된 명령에서 최후가 되는 자원에 대응하는 자원 플래그를 오프로 반전시키는 갱신수단과, 온으로 되어 있는 자원 플래그를 참조하고, 그 자원플래그에 대응하는 자원의 값을 파괴할 것인지를 판정함으로써 명령을 검출하는 파이프라인 검출수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.
제31항에 있어서, 대상이 되는 프로그램 부분에서, 하나의 명령으로 정의된 자원의 값이 후속하는 복수개의 명령에 의하여 값이 참조되는 경우, 유향 비주기 그래프는 그 자원의 값을 정의하는 명령을 친으로 하고, 그 자원의 참조하는 복수의 명령을 자로 한 1대 다의 친자관계를 나타내고, 대상이 되는 프로그램 부분에서, 선행하는 복수개의 명령으로 정의된 값을 하나의 명령에서 참조하는 경우, 유향 비주기 그래프는 그 자원의 값을 참조하는 명령을 자로하고, 그 자원의 값을 정의하는 복수의 명령을 친으로 한 다 대1의 친자관계를 나타내고, 상기 갱신수단은, 절단수단에 의하여 명령이 절단되면 절단된 명령으로 정의되는 자원의 값이 이후에 참조되었는지를 판정하는 참조유무 판정부와, 이후에 참조된다고 판정된 경우, 그 정의자원에 대응하는 자원플래그를 오프로부터 온으로 반전시키는 제1반전부와, 절단수단에 의하여 절단된 명령으로 참조되어 있는 자원이 단수라면 그 자원에 대한 친명령을 검출하고, 참조되어 있는 자원이 복수라면 각각의 자원을 정의하고 있는 친명령을 검출하는 제1친명령 검출부와, 제1친명령 검출부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 몇 개의 자명령에서 다시 참조되고 있다면 그들의 자명령을 모두 검출하는 검출된 자명령은 복수, 단수의 2가지가 있는 제1자명령 검출부와, 절단수단에 의하여 절단된 명령과는 다른 자명령 검출부에 의하여 검출되면 그들의 자명령의 모두 절단완료 되었는지를 판정하는 제1절단완료 명령판정부와, 절단된 명령 이외의 자명령이 검출도지 않은 경우, 혹은 절단된 명령과는 다른 자명령이 검출되었지만, 그들은 제1절단완료 명령판정부에 의하여 절단완료라고 판정된 경우, 절단된 명령에 의하여 값이 참조되는 자원에 대응하는 자원 플래그를 온으로부터 오프로 반전시키는 제2반전부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제32항에 있어서, 상기 파괴명령 검출수단은, 각 유향 비주기 그래프의 선두에 있는 각각의 명령을 파괴후보로서 선택하는 파괴후보 선택부와, 파괴후보로서 선택된 명령으로 정의되는 정의자원이 단수라면 정의자원에 대응하는 자원플래그가 미사용을 나타내는 오프로 설정되어 있는지를 판정하고, 정의되는 자원이 복수라면 그들 정의자원에 대응하는 자원플래그가 모든 오프에 설정되어 있는 지를 판정하는 정의자원 검출부와, 검출된 모든 정의자원에 대응하는 자원플래그가 오프라면 그 파괴후보로서 선택된 명령을 비파괴명령으로 변경하는 제1제외부와, 몇개의 자원에 대응하는 자원플래그가 온에 설정되어 있는 경우, 그들 자원을 정의하고 있는 친명령을 모두 검출하는 제1친명령 검출부와, 제2친명령부에 의하여 검출된 각각의 친명령으로 정의되어 있는 자원이 다시 몇 개의 자명령에서 참조되어 있다면 그들 자명령을 모두 검출하는 제2자명령 검출부와, 파괴후보와는 다른 자명령이 제2자명령 검출부에 의하여 검출되면 그들의 자명령은 모두 절단완료인지를 판정하는 제2절단완료 명령판정부와, 모든 정의자원에 대하여 제2자명령검출부에 의하여 파괴후보 이외의 자명령이 검출되지 않은 경우, 혹은 파괴후보와는 다른 자명령이 검출되었지만, 그들은 제2절단완료 명령판정부에 의하여 모두 절단완료라고 판정된 경우, 그 파괴후보로서 선택된 명령을 비파괴 명령으로 변경하는 제2제외부와, 파괴후보로서 선택되고 또 비파괴 명령으로 변경되지 않은 명령을 파괴명령으로서 절단금지수단에 출력하는 출력부를 더욱 포함하는 것을 특징으로 하는 최적화장치.
제33항에서, 상기 시퀀싱수단은, 하나의 프로그램 부분에 대하여 파괴명령 검출수단이 파괴명령만을 검출한 경우, 그 유향 비주기 그래프를 명령격납수단의 최후미에 격납된 명령이 절단되기 전의 상태까지 복원하는 제1복원수단과, 이전 그 명령이 절단됨으로써 값이 변경을 받은 자원에 대응하는 자원플래그를 해당 명령이 절단되기 전의 상태로 복원하는 제2복원수단과, 명령어 유향 비주기 그래프로 되돌려지면 복귀된 명령에 이어서 높은 우선도가 부여된 유향 비주기 그래프의 선두명령을 대상으로 하여 지시하는 명령지시수단을 더욱 포함하는 것을 특징으로 하는 최적화장치.