| 摘要 |
추론적 체크포인팅 트랜잭션을 조건부로 커미트하여, 잠재적으로 트랜잭션을 동적으로 리사이즈하는 장치 및 방법이 본 명세서에 기술된다. 이진 코드의 동적 최적화 동안, 메모리 순서화 보호책을 제공하는 트랜잭션을 삽입하여, 동적 최적화기가 코드를 더 공격적으로 최적화할 수 있게 한다. 그리고 조건부 커미트는 트랜잭션의 하드웨어 자원이 부족하지 않도록 하면서, 동적 최적화 코드의 효율적인 실행을 가능하게 한다. 추론적 체크포인트는 트랜잭션의 중단시 빠르고 효율적인 복구를 가능하게 한다. 프로세서 하드웨어는 조건부 커미트 명령어, 추론적 체크포인트 명령어, 또는 둘 다를 인식하는 디코더를 포함하는 것과 같이 트랜잭션의 동적 리사이징을 지원하도록 구성된다. 그리고 프로세서 하드웨어는 그러한 명령어를 디코드함에 응답하여 조건부 커미트 또는 추론적 체크포인팅을 지원하는 동작을 수행하도록 추가로 구성된다. |
