公开(公告)号：DE112020003634T5

公开(公告)日：2022-06-09

申请号：DE112020003634

申请日：2020-07-24

Applicant: IBM

Inventor： IRELAND IAIN ALEXANDER ,  COPELAND REID ,  KIELSTRA ALLAN ,  SIEGWART DAVID KEVIN ,  KOJU TOSHIHIKO

IPC: G06F8/40

Abstract: Ein Verfahren zur automatischen Verifizierung der Optimierung von Konstrukten auf hoher Ebene weist das Erstellen eines ersten ausführbaren Codes durch Kompilieren eines Computerprogramms auf, das ein Konstrukt auf hoher Ebene aufweist. Das Kompilieren weist das Erstellen eines ersten Satzes von Maschinenanweisungen zu dem Konstrukt auf hoher Ebene und das Speichern von Kompilierzeitinformationen zu dem Konstrukt auf hoher Ebene auf. Das Verfahren weist ferner das Optimieren des ersten ausführbaren Codes auf, das das Konvertieren des ersten ausführbaren Codes in eine Zwischensprachendarstellung aufweist. Die Optimierung weist ferner das Erstellen eines zweiten ausführbaren Codes auf. Hierfür weist das Verfahren das Erstellen eines zweiten Satzes von Maschinenanweisungen zu dem Konstrukt auf hoher Ebene aus der Zwischensprachendarstellung auf. Wenn das Verhalten des ersten Satzes von Maschinenanweisungen und des zweiten Satzes von Maschinenanweisungen übereinstimmen, wird der zweite Satz von Maschinenanweisungen in den zweiten ausführbaren Code aufgenommen, anderenfalls wird der erste Satz von Maschinenanweisungen aufgenommen.

公开(公告)号：GB2501434A

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

申请号：GB201313798

申请日：2012-01-05

Applicant: IBM

Inventor： SIEGWART DAVID KEVIN ,  LEVINE FRANK ELIOT ,  PINEDA ENIO MANUEL

IPC: G06F11/34

Abstract: An activity recording system for a concurrent software environment executing software threads in a computer system, the activity recording system comprising: a thread state indicator for recording an indication of a synchronisation state of a software thread in which the software thread ceases to execute in a processor of the computer system, the indication being associated with an identification of the software thread; a time profiler for identifying a processor of the computer system being idle and recording an indication that the processor is idle; a dispatch monitor for identifying the dispatch of the software thread to the processor and, responsive to the indication that the processor is idle and the indication of a synchronisation state of the software thread, generating a record attributing the idleness of the processor to the software thread and the indicated synchronisation state.

公开(公告)号：GB2501434B

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

申请号：GB201313798

申请日：2012-01-05

Applicant: IBM

Inventor： SIEGWART DAVID KEVIN ,  LEVINE FRANK ELIOT ,  PINEDA ENIO MANUEL

IPC: G06F11/34

公开(公告)号：DE112012000245T5

公开(公告)日：2013-08-14

申请号：DE112012000245

申请日：2012-01-05

Applicant: IBM

Inventor： LEVINE FRANK ELIOT ,  SIEGWART DAVID KEVIN ,  PINEDA ENIO MANUEL

IPC: G06F9/50

Abstract: Ein Aktivitätsaufzeichnungssystem für eine parallele Softwareumgebung, die Software-Threads in einem Computersystem ausführt, wobei das Aktivitätsaufzeichnungssystem aufweist: einen Thread-Zustandsanzeiger zum Aufzeichnen einer Anzeige eines Synchronisierungszustandes eines Software-Thread, in dem der Software-Thread aufhört, in einem Prozessor des Computersystems ausgeführt zu werden, wobei die Anzeige einer Kennzeichnung des Software-Thread zugeordnet ist; einen Zeit-Profiler zum Erkennen, dass ein Prozessor des Computersystems inaktiv ist, und Aufzeichnen einer Anzeige, dass der Prozessor inaktiv ist; einen Zuteilungsüberwacher zum Erkennen der Zuteilung des Software-Thread zum Prozessor und als Reaktion auf die Anzeige, dass der Prozessor inaktiv ist, und die Anzeige des Synchronisierungszustands des Software-Thread Erzeugen eines Datensatzes, der die Inaktivität des Prozessors dem Software-Thread und dem angezeigten Synchronisierungszustand zuschreibt.