-
公开(公告)号:GB2484416B
公开(公告)日:2015-02-25
申请号:GB201119084
申请日:2009-06-26
Applicant: INTEL CORP
Inventor: SHEAFFER GAD , GRAY JAN , SMITH BURTON , ADL-TABATABAI ALI-REZA , GEVA ROBERT , BASSIN VADIM , CALLAHAN DAVID , NI YANG , SAHA BRATIN , TAILLEFER MARTIN , RAIKIN SHLOMO , YAMADA KOICHI , WANG LANDY , KISHAN ARUN
IPC: G06F9/30 , G06F9/38 , G06F12/10 , G06F12/1036 , G06F12/1045 , G06F12/109
-
公开(公告)号:ES2386087T3
公开(公告)日:2012-08-08
申请号:ES08254178
申请日:2008-12-30
Applicant: INTEL CORP
Inventor: SAHA BRATIN , ADL-TABATABAI ALI-REZA , WANG CHENG , SHPEISMAN TATIANA
Abstract: Un procedimiento para proporcionar mecanismos para una atomicidad fuerte en un sistema de memoriatransaccionalcaracterizado por:detectar una operación de carga no transaccional en una función, siendo la operación de carga notransaccional, cuando se ejecuta, para cargar desde una ubicación de memoria;insertar en la función una pluralidad de operaciones de atomicidad fuerte en respuesta a la detección de laoperación de carga no transaccional en la función, siendo las operaciones de atomicidad fuerte paragarantizar la validez entre accesos a memoria transaccionales y no transaccionales;en el que las operaciones de atomicidad fuerte, cuando son ejecutadas, garantizan la validez determinando(415) si la ubicación (215) de memoria o las ubicaciones (205) de memoria han sido actualizadas por unatransacción, habiendo tenido lugar dicha actualización desde el inicio de la función, en el que dicha insercióncomprende:insertar una primera operación de atomicidad fuerte en la función que, cuando es ejecutada, actualiza unregistro con una copia (301b, 302b) de valor de transacción local LTV de un valor de transacción global(305), siendo dicho valor de transacción global un valor incrementado en respuesta a la finalización de unatransacción y ocurriendo dicha actualización del registro al inicio de dicha función;insertar una segunda operación de atomicidad fuerte que, cuando es ejecutada, obtiene un valor de versiónasociado con la ubicación (215) de memoria; einsertar una tercera operación de atomicidad fuerte que, cuando es ejecutada, compara el valor de versióncon la copia (301b, 302b) de LTV para determinar si la ubicación (215) de memoria ha sido actualizadadesde el inicio de la función;y en el que el procedimiento comprende, además, insertar (420) una pluralidad de operaciones de vía lenta quehan de ser ejecutadas en respuesta a la determinación (415) de que la ubicación (215) de memoria o lasubicaciones (205) de memoria han sido actualizadas desde el inicio de la función, para resolver el conflictoentre la transacción y la operación de carga no transaccional, en el que dichas operaciones de vía lentaincluyen:entrar en bucle o esperar en un bloqueo asociado con el valor de versión,adquirir la propiedad de los bloqueos y/ovolver a llevar a cabo la operación de carga no transaccional.
-
公开(公告)号:AU2010337318A1
公开(公告)日:2012-07-12
申请号:AU2010337318
申请日:2010-11-10
Applicant: INTEL CORP
Inventor: ADL-TABATABAI ALI-REZA , NI YANG , SAHA BRATIN , CALLAHAN DAVID , BASSIN VADIM , SHEAFFER GAD
Abstract: In one embodiment, the present invention includes a method for executing a transactional memory (TM) transaction in a first thread, buffering a block of data in a first buffer of a cache memory of a processor, and acquiring a write monitor on the block to obtain ownership of the block at an encounter time in which data at a location of the block in the first buffer is updated. Other embodiments are described and claimed.
-
44.
公开(公告)号:AU2010337304A1
公开(公告)日:2012-07-12
申请号:AU2010337304
申请日:2010-10-27
Applicant: INTEL CORP
Inventor: YAMADA KOICHI , SHEAFFER GAD , GRAY JAN , WANG LANDY , TAILLEFER MARTIN , KISHAN ARUN , ADL-TABATABAI ALI-REZA , CALLAHAN DAVID
Abstract: In one embodiment, the present invention includes a method for receiving control in a kernel mode via a ring transition from a user thread during execution of an unbounded transactional memory (UTM) transaction, updating a state of a transaction status register (TSR) associated with the user thread and storing the TSR with a context of the user thread, and later restoring the context during a transition from the kernel mode to the user thread. In this way, the UTM transaction may continue on resumption of the user thread. Other embodiments are described and claimed.
-
公开(公告)号:GB2484416A
公开(公告)日:2012-04-11
申请号:GB201119084
申请日:2009-06-26
Applicant: INTEL CORP
Inventor: SHEAFFER GAD , GRAY JAN , SMITH BURTON , ADL-TABATABAI ALI-REZA , GEVA ROBERT , BASSIN VADIM , CALLAHAN DAVID , NI YANG , SAHA BRATIN , TAILLEFER MARTIN , RAIKIN SHLOMO , YAMADA KOICHI , WANG LANDY , KISHAN ARUN
IPC: G06F9/30 , G06F9/38 , G06F12/10 , G06F12/1036 , G06F12/1045 , G06F12/109
Abstract: A method and apparatus for optimizing an Unbounded Transactional Memory (UTM) system is herein described. Hardware support for monitors, buffering, and metadata is provided, where orthogonal metaphysical address spaces for metadata may be separate associated with threads and/or software subsystems within threads. In addition, the metadata may be held with hardware in a compressed manner with regard to data transparently to software. Furthermore, in response to metadata access instruction/operations the hardware is capable of supporting a forced metadata value to enable multiple modes of transactional execution. However, if monitors, buffered data, metadata, or other information is lost or conflicts are detected hardware provides for variations of a loss instruction that is able to poll a transaction status register for such loss or conflict and jump execution to a label in response to detecting the loss or conflict. Similarly, multiple variations of a commit instruction are provided for to allow software to define commit conditions and information to clear upon commit. Furthermore, hardware provides support to enable suspension and resume of transactions upon ring level transitions.
-
公开(公告)号:AT428973T
公开(公告)日:2009-05-15
申请号:AT04812905
申请日:2004-12-03
Applicant: INTEL CORP
Inventor: SUBRAMONEY SREENIVAS , SERRANO MAURICIO , HUDSON RICHARD , ADL-TABATABAI ALI-REZA
-
公开(公告)号:GB2447575B
公开(公告)日:2009-05-13
申请号:GB0809450
申请日:2006-12-14
Applicant: INTEL CORP
Inventor: AKKARY HAITHAM H , ADL-TABATABAI ALI-REZA , SAHA BRATIN , RAJWAR RAVI
Abstract: Methods and apparatus to provide unbounded transactional memory systems are described. In one embodiment, an operation corresponding to a software transactional memory (STM) access may be executed if a preceding hardware transactional memory (HTM) access operation fails.
-
公开(公告)号:DE602004018981D1
公开(公告)日:2009-02-26
申请号:DE602004018981
申请日:2004-12-21
Applicant: INTEL CORP
Inventor: SHPEISMAN TATIANA , ADL-TABATABAI ALI-REZA
Abstract: In one embodiment, a method is provided. The method of this embodiment provides scheduling a sequence of machine-executable instructions, and creating a data layout based on the scheduled sequence of machine-executable instructions.
-
公开(公告)号:GB2447575A
公开(公告)日:2008-09-17
申请号:GB0809450
申请日:2006-12-14
Applicant: INTEL CORP
Inventor: AKKARY HAITHAM H , ADL-TABATABAI ALI-REZA , SAHA BRATIN , RAJWAR RAVI
IPC: G06F9/52
Abstract: Methods and apparatus to provide unbounded transactional memory systems are described. In one embodiment, an operation corresponding to a software transactional memory (STM) access may be executed if a preceding hardware transactional memory (HTM) access operation fails.
-
-
-
-
-
-
-
-