Abstract:
Techniques for conflict detection in hardware transactional memory (HTM) are provided. In one aspect, a method for detecting conflicts in HTM includes the following steps. Conflict detection is performed eagerly by setting read and write bits in a cache as transactions having read and write requests are made. A given one of the transactions is stalled when a conflict is detected whereby more than one of the transactions are accessing data in the cache in a conflicting way. An address of the conflicting data is placed in a predictor. The predictor is queried whenever the write requests are made to determine whether they correspond to entries in the predictor. A copy of the data corresponding to entries in the predictor is placed in a store buffer. The write bits in the cache are set and the copy of the data in the store buffer is merged in at transaction commit.
Abstract:
Embodiments relate to implementing a coherence protocol. An aspect includes sending a request for data to a remote processor and receiving by a processor a response from the remote processor. The response has a transaction status of a remote transaction on the remote processor. The processor adds the transaction status of the remote transaction on the remote processor in a local transaction interference tracking table.
Abstract:
Verfahren zum Verwalten einer oder mehrerer Komponenten (110; 210, 220; 300, 305, 310, 315; 525; 805, 810, 815) einer elektronischen Maschine (820), wobei das Verfahren aufweist:paralleles Verbinden (1000) einer oder mehrerer Komponenten mit der elektronischen Maschine, wobei jede Komponente eine Funktion für die eine oder mehrere elektronische Maschinen bereitstellt;Ermitteln (1010), ob die Komponenten ausgefallen sind;automatisches Verriegeln (1020) einer oder mehrerer der Komponenten mit der elektronischen Maschine, wenn die eine oder mehrere der Komponenten nicht ausgefallen sind, wobei das Verriegeln beinhaltet: Verwenden einer an jeder Komponente angebrachten Verriegelungseinheit (105; 215, 225; 700), die auf der Grundlage des Ermittlungsergebnisses selektiv zwischen einer Verriegelungsstellung und einer Freigabestellung wechselt, wobei durch das Verriegeln verhindert wird, dass die eine oder mehrere der Komponenten von der elektronischen Maschine getrennt werden; undautomatisches Freigeben (1030) der einen oder mehrerer der Komponenten von der elektronischen Maschine, wenn die eine oder mehrere der Komponenten ausgefallen sind, wobei das Freigeben ein Wechseln der Verriegelungseinheit in die Freigabestellung beinhaltet.
Abstract:
Embodiments relate to implementing a coherence protocol. An aspect includes sending a request for data to a remote processor and receiving by a processor a response from the remote processor. The response has a transaction status of a remote transaction on the remote processor. The processor adds the transaction status of the remote transaction on the remote processor in a local transaction interference tracking table.
Abstract:
Es werden eine Vorrichtung, ein Verfahren und ein Computerprogrammprodukt zum Verwalten einer oder mehrerer Komponenten einer elektronischen Maschine bereitgestellt. Ein Benutzer verbindet parallel eine oder mehrere Komponenten mit einer elektronischen Maschine. Die elektronische Maschine ermittelt, ob die Komponenten ausgefallen sind. Eine an jeder Komponente angebrachte Verriegelungseinheit verriegelt automatisch eine oder mehrere der Komponenten mit der elektronischen Maschine, wenn die eine oder mehrere der Komponenten nicht ausgefallen sind. Die elektromagnetische Verriegelungseinheit gibt automatisch die eine oder mehrere der Komponenten von der elektronischen Maschine frei, wenn die eine oder mehrere der Komponenten ausgefallen sind.
Abstract:
Ein Transaktionsspeichersystem stellt eine teilweise ausgeführte Hardware-Transaktion wieder her. Ein Prozessor des Transaktionsspeichersystems ermittelt Informationen über eine About-to-fail-Routine für die transaktionsorientierte Ausführung eines Codebereichs einer Hardware-Transaktion. Der Prozessor sichert Zustandsinformationen der Hardware-Transaktion, wobei die Zustandsinformationen verwendet werden können, um festzustellen, ob die Hardware-Transaktion wiederhergestellt oder abgebrochen werden soll. Der Prozessor erkennt während der transaktionsorientierten Ausführung der Hardware-Transaktion eine ”About-to-fail-Bedingung”. Der Prozessor führt auf der Grundlage des Erkennens die About-to-fail-Routine aus, wobei er die Informationen über die About-to-fail-Routine verwendet, wobei die About-to-fail-Routine feststellt, ob die Hardware-Transaktion wiederhergestellt oder abgebrochen werden soll.
Abstract:
Embodiments relate to implementing a coherence protocol. An aspect includes sending a request for data to a remote processor and receiving by a processor a response from the remote processor. The response has a transaction status of a remote transaction on the remote processor. The processor adds the transaction status of the remote transaction on the remote processor in a local transaction interference tracking table.
Abstract:
Las modalidades se relacionan con la implementación de un protocolo de coherencia. Un aspecto incluye enviar una petición de datos a un procesador remoto y recibir por medio de un procesador una respuesta del procesador remoto. La respuesta tiene un estado de transición de una transacción remota en el procesador remoto. El procesador agrega el estado de transacción de la transacción remota en el procesador remoto en la tabla de seguimiento de interferencia de transacción local.
Abstract:
Ein Verfahren, System und Computerprogrammprodukt werden zum Priorisieren von Transaktionen bereitgestellt. Ein Prozessor in einer Datenverarbeitungsumgebung initiiert die Ausführung einer Transaktion. Der Prozessor enthält einen transaktionsgebundenen Kern, und die Ausführung der Transaktion wird durch den transaktionsgebundenen Kern ausgeführt. Der Prozessor erhält gleichzeitig mit der Ausführung der Transaktion durch den transaktionsgebundenen Kern eine Angabe eines Konflikts zwischen der Transaktion und mindestens einer anderen Transaktion, die durch einen weiteren Kern in der Datenverarbeitungsumgebung ausgeführt wird. Der Prozessor bestimmt, ob der transaktionsgebundene Kern einen Indikator enthält, und auf Grundlage des Bestimmens, dass der transaktionsgebundene Kern einen Indikator enthält, ignoriert der Prozessor den Konflikt und verwendet den transaktionsgebundenen Kern, um die Ausführung der Transaktion abzuschließen.
Abstract:
Embodiments relate to implementing a coherence protocol. An aspect includes sending a request for data to a remote processor and receiving by a processor a response from the remote processor. The response has a transaction status of a remote transaction on the remote processor. The processor adds the transaction status of the remote transaction on the remote processor in a local transaction interference tracking table.