公开(公告)号：DE102013209643A1

公开(公告)日：2013-12-05

申请号：DE102013209643

申请日：2013-05-24

Applicant: IBM

Inventor： MAMIDALA AMITH R ,  SALAPURA VALENTINA ,  WISNIEWSKI ROBERT W

IPC: G06F15/167 ,  G06F9/54 ,  G06F13/14

Abstract: Eine Unterstützung für Punkt-zu-Punkt-Nachrichtenaustausch innerhalb eines Nodelet für Nodelets auf einem einzelnen Chip, welche der MPI-Semantik gehorchen, kann bereitgestellt werden. In einem Aspekt wird ein lokaler Pufferungsmechanismus verwendet, welcher Standard-Datenübertragungsprotokollen für die Netzübertragung zwischen den in einem einzelnen Chip integrierten Nodelets gehorcht. Das Senden von Nachrichten von einem Nodelet an ein anderes Nodelet auf demselben Chip kann statt über das Netz durch Austauschen der Nachrichten in den Punkt-zu-Punkt-Nachrichtenaustausch-Buckets zwischen den Nodelets erfolgen. Die Nachrichtenaustausch-Buckets brauchen nicht Teil des Arbeitsspeichersystems der Nodelets zu sein. Spezial-Hardwarecontroller können verwendet werden, um Daten zwischen den Nodelets und jedem Nachrichtenaustausch-Bucket zu verschieben und eine einwandfreie Arbeitsweise des Netzprotokolls sicherzustellen.

公开(公告)号：DE112011104830T5

公开(公告)日：2013-10-31

申请号：DE112011104830

申请日：2011-11-21

Applicant: IBM

Inventor： WISNIEWSKI ROBERT W ,  TSAFRIR DAN

IPC: G06F9/26

Abstract: Ein Verfahren zum Prüfen der Programmkorrektheit kann ein Ausführen eines Programms auf einem Haupt-Hardware-Thread in einem spekulativen Ausführungsmodus in einem Hardwareausführungskontext auf einem Chip mit einer Vielzahl von Hardwareausführungskontexten beinhalten. In diesem Modus wird der Zustand des Haupt-Hardware-Thread nicht an den Hauptspeicher übergeben. Korrektheitsprüfungen durch eine Vielzahl von Helfer-Threads werden parallel zum Haupt-Hardware-Thread ausgeführt. Jeder Helfer-Thread wird auf dem Chip in einem separaten Hardwareausführungskontext parallel mit dem Haupt-Hardware-Thread ausgeführt. Die Korrektheitsprüfungen ermitteln einen sicheren Punkt im Programm, bis zu dem durch den Haupt-Hardware-Thread ausgeführte Operationen korrekt sind. Sobald der Haupt-Hardware-Thread den sicheren Punkt erreicht, wird der Ausführungsmodus des Haupt-Hardware-Thread in „nicht-spekulativ” geändert. Die Laufzeitumgebung veranlasst dann den Haupt-Thread, erneut in den spekulativen Ausführungsmodus einzutreten.

公开(公告)号：DE102013209643B4

公开(公告)日：2020-12-17

申请号：DE102013209643

申请日：2013-05-24

Applicant: IBM

Inventor： MAMIDALA AMITH R ,  SALAPURA VALENTINA ,  WISNIEWSKI ROBERT W

IPC: G06F15/167 ,  G06F9/54 ,  G06F13/14

Abstract: Eine Unterstützung für Punkt-zu-Punkt-Nachrichtenaustausch innerhalb eines Nodelet für Nodelets auf einem einzelnen Chip, welche der MPI-Semantik gehorchen, kann bereitgestellt werden. In einem Aspekt wird ein lokaler Pufferungsmechanismus verwendet, welcher Standard-Datenübertragungsprotokollen für die Netzübertragung zwischen den in einem einzelnen Chip integrierten Nodelets gehorcht. Das Senden von Nachrichten von einem Nodelet an ein anderes Nodelet auf demselben Chip kann statt über das Netz durch Austauschen der Nachrichten in den Punkt-zu-Punkt-Nachrichtenaustausch-Buckets zwischen den Nodelets erfolgen. Die Nachrichtenaustausch-Buckets brauchen nicht Teil des Arbeitsspeichersystems der Nodelets zu sein. Spezial-Hardwarecontroller können verwendet werden, um Daten zwischen den Nodelets und jedem Nachrichtenaustausch-Bucket zu verschieben und eine einwandfreie Arbeitsweise des Netzprotokolls sicherzustellen.

公开(公告)号：GB2502730A

公开(公告)日：2013-12-04

申请号：GB201315252

申请日：2011-11-21

Applicant: IBM

Inventor： TSAFRIR DAN ,  WISNIEWSKI ROBERT W

IPC: G06F11/14

Abstract: A method for checking program correctness may include executing a program on a main hardware thread in speculative execution mode on a hardware execution context on a chip having a plurality of hardware execution contexts. In this mode, the main hardware thread's state is not committed to main memory. Correctness checks by a plurality of helper threads are executed in parallel to the main hardware thread. Each helper thread runs on a separate hardware execution context on the chip in parallel with the main hardware thread. The correctness checks determine a safe point in the program up to which the operations executed by said main hardware thread are correct. Once the main hardware thread reaches the safe point, the mode of execution of the main hardware thread is switched to non-speculative. The runtime then causes the main thread to re-enter speculative mode of execution.