Intel Corporation

Wisconsin Alumni Research Foundation

Craig Buchanan Zilles

Cheng C Wang

Youfeng Wu

Mauricio Breternitz, Jr

Shiliang Hu

Edson Borin

Gurindar Singh Sohi

An apparatus and method is described herein for conditionally committing and/or speculative checkpointing transactions, which potentially results in dynamic resizing of transactions. During dynamic optimization of binary code, transactions are inserted to provide memory ordering safeguards, which enables a dynamic optimizer to more aggressively optimize code. And the conditional commit enables efficient execution of the dynamic optimization code, while attempting to prevent transactions from running out of hardware resources. While the speculative checkpoints enable quick and efficient recovery upon abort of a transaction. Processor hardware is adapted to support dynamic resizing of the transactions, such as including decoders that recognize a conditional commit instruction, a speculative checkpoint instruction, or both. And processor hardware is further adapted to perform operations to support conditional commit or speculative checkpointing in response to decoding such instructions.

Apparatus, method, and system for providing a decision mechanism for conditional commits in an atomic region

Parallelization of a program is performed by creating a distilled version of the program having higher execution speed but with unverified execution. The distilled program is executed rapidly to create state snapshots of the program that may be forwarded to secondary processors for execution of the actual program in parallel with other secondary processors similarly allocated. Each state snapshot is verified as the task is executed on a secondary processor by the preceding processor. The degree of parallelization is limited only by the speed up of the distilled program.

Method and apparatus for parallel execution of computer software using a distilled program

Growing community of inventors

Champaign, IL, United States of America

Craig Buchanan Zilles