摘要:
A method and apparatus for efficient register checkpointing is herein described. A transaction is detected in program code. A recovery block is inserted in the program code to perform recovery operations in response to an abort of the first transaction. A roll-back edge is potentially inserted from an abort point to the recovery block. A control flow edge is inserted from the recovery block to a entry point of the transaction. Checkpoint code is inserted before the entry point to backup live-in registers in backup storage elements and recovery code is inserted in the recovery block to restor the live-in registers from the backup storage elements in response to an abort of the transaction.
摘要:
A method and apparatus for ensuring integrity of transaction exit functions is herein described. Dead local data in a transaction is prevented from overwriting local variables associated with a transaction exit function. In a write-buffering Software Transactional Memory (STM) system, a commit function is associated with a private stack to store local variables to ensure write-back of local dead data in a write-buffer does not corrupt the commit function. Similarly, in a roll-back STM, an abort function is associated with a private stack to store local variables to ensure the roll-back of a program stack with local dead data from a write log does not corrupt the abort function. Alternatively, one stack may be used for the transaction including a first function and an exit function. Here, local dead variables are detected and prevented from overwriting local variables of the exit function.
摘要:
In one embodiment, the present invention includes a method for instrumenting a code block with code to perform dynamic information flow tracking. Then during execution, it may be determined whether a pattern of input data to the code block has been previously received by the code block. If so, the code block may be executed, otherwise the instrumented code block may be executed. Other embodiments are described and claimed.
摘要:
An apparatus and method for redundant software thread computation. In one embodiment, the method includes the replication of an application into two communicating threads, a leading thread and a trailing thread. In one embodiment, the trailing thread repeats computations performed by the leading thread to detect transient faults, referred to herein as “soft errors.” A first in, first out (FIFO) buffer of shared memory is reserved for passing data between the leading thread and the trailing thread. The FIFO buffer may include a buffer head variable to write data to the FIFO buffer and a buffer tail variable to read data from the FIFO buffer. In one embodiment, data passing between the leading thread data buffering is restricted according to a data unit size and thread synchronization between a leading thread and the trailing thread is limited to buffer overflow/underflow detection. Other embodiments are described and claimed.
摘要:
A light blocking apparatus is applied in an illuminating module of a projector. The light blocking apparatus includes a light shield and a support rod securing the light shield. The light shield is positioned in front of a bulb of the illuminating module. The support rod connects the light shield and another apparatus, such as a lamp reflector, so as to position the light shield in front of the bulb. The light shield is employed to block the light reflected from a UV-IR wheel and a color wheel so that the bulb won't be heated again.
摘要:
A housing of a projection apparatus suitable for accommodating a heat source is provided. The housing includes an outer casing and a heat conductive element. The outer casing has an inner wall. Furthermore, the outer casing is suitable for enclosing the heat source. The heat conductive element is disposed on the inner wall between the outer casing and the heat source. Moreover, an insulated chamber is formed between the heat conductive element and the outer casing. The insulated chamber prevents the heat source from directly heating the outer casing and provides a better heat insulation.
摘要:
A workpiece loading interface is included within a workpiece processing system which processes workpieces, typically wafers, in a vacuum. The workpiece loading interface includes two separate chambers. Each chamber may be separately pumped down. Thus, while a first cassette of wafers, from a first chamber is being accessed, a second cassette of wafers may be loaded in the second chamber and the second chamber pumped down. Each chamber is designed to minimize intrusion to a clean room. Thus a door to each chamber has a mechanism which, when opening the door, first moves the door slightly away from an opening in the chamber and then the door is moved down parallel to the chamber. After the door is opened, a cassette of wafers is lowered through the opening in a motion much like a drawbridge. The cassette may be pivoted within the chamber when the position from which wafers are accessed from the cassette differs from the position from which the cassette is lowered out of the chamber.
摘要:
A NK1 antagonist having the formula (I), wherein Ar1 and Ar2 are optionally substituted phenyl or heteroaryl, X1 is an ether, thio or imino linkage, R4 and R5 are not both H or alkyl, and the remaining variables are as defined in the in the specification, useful for treating a number of disorders, including emesis, depression, anxiety and cough. Pharmaceuticals compositions. Methods of treatment and combinations with other agents are also disclosed.
摘要:
Disclosed are NK1 antagonists having the formula: Also disclosed are methods for treating a number of physiological disorders, symptoms or diseases, including emesis, depression, anxiety and cough, using the compounds of formula (I).
摘要:
Disclosed are NK1 antagonists having the formula: Also disclosed are methods for treating a number of physiological disorders, symptoms or diseases, including emesis, depression, anxiety and cough, using the compounds of formula (I).