-
公开(公告)号:US20220027213A1
公开(公告)日:2022-01-27
申请号:US16939289
申请日:2020-07-27
Applicant: International Business Machines Corporation
Inventor: Jing Lu , Bao Zhang , Ming Ran Liu , Tie Liu , Xiao Yan Tang , Xiang Zu
IPC: G06F9/52
Abstract: Provided is a method for preventing deadlocks between competing threads. The method includes receiving a lock request from a first thread and, in response, identifying a potential deadlock with a second thread. In response, the method includes determining whether to deny the lock request, which includes: determining whether a first duration for which the first thread will hold the lock to complete its job is longer than a second duration for which the second thread will hold the lock to complete its job; determining whether the second thread will start to use the lock soon relative to the first duration; and determining whether both the first and second threads will complete their respective jobs within a time limit if the lock is denied to the first thread while the second thread completes its job. The method further includes denying the request for the requested lock from the first thread.
-
公开(公告)号:US11675651B2
公开(公告)日:2023-06-13
申请号:US17198450
申请日:2021-03-11
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor: Naijie Li , Bao Zhang , Jin Hong Fu , Jing Lu , Xiang Zu
CPC classification number: G06F11/0793 , G06F9/30065 , G06F9/3861 , G06F9/5016 , G06F11/0772
Abstract: Methods, apparatus, computer program products for handling critical problem exceptions during an execution of an application are provided. The method comprises: detecting, by one or more processing units, an occurrence of a certain type of critical problem exception during an execution of an application, the critical problem exception resulting in a termination of the application; instructing, by one or more processing units, to call a Super Handling Routine (SHR) corresponding to the type of the critical problem exception at a pre-configured address based on a pre-determined context registered by the application, the SHR being configured to handle critical problem exceptions; and handing, by one or more processing units, control to the SHR to handle the type of the critical problem exception.
-
公开(公告)号:US11288105B2
公开(公告)日:2022-03-29
申请号:US16939289
申请日:2020-07-27
Applicant: International Business Machines Corporation
Inventor: Jing Lu , Bao Zhang , Ming Ran Liu , Tie Liu , Xiao Yan Tang , Xiang Zu
Abstract: Provided is a method for preventing deadlocks between competing threads. The method includes receiving a lock request from a first thread and, in response, identifying a potential deadlock with a second thread. In response, the method includes determining whether to deny the lock request, which includes: determining whether a first duration for which the first thread will hold the lock to complete its job is longer than a second duration for which the second thread will hold the lock to complete its job; determining whether the second thread will start to use the lock soon relative to the first duration; and determining whether both the first and second threads will complete their respective jobs within a time limit if the lock is denied to the first thread while the second thread completes its job. The method further includes denying the request for the requested lock from the first thread.
-
公开(公告)号:US11675593B2
公开(公告)日:2023-06-13
申请号:US17462071
申请日:2021-08-31
Applicant: International Business Machines Corporation
Inventor: Jing Lu , Dong Hui Liu , Xiao Yan Tang , Yong Yin , Peng Hui Jiang , Xiang Zu , Jia Yu
CPC classification number: G06F9/3838 , G06F8/65 , G06F8/656 , G06F9/34 , G06F9/44521 , G06F9/541
Abstract: Embodiments of the invention are directed to updating a dynamic library. Aspects include receiving an indication that the dynamic library has been updated and identifying all program modules that depend on the dynamic library. Aspects also include, for each program module that depends on the dynamic library, reassigning an application program interface (API) address for a current version of the dynamic library to an API address of the updated version of the dynamic library.
-
公开(公告)号:US20230061270A1
公开(公告)日:2023-03-02
申请号:US17462071
申请日:2021-08-31
Applicant: International Business Machines Corporation
Inventor: Jing Lu , Dong Hui Liu , Xiao Yan Tang , Yong Yin , Peng Hui Jiang , Xiang Zu , Jia Yu
Abstract: Embodiments of the invention are directed to updating a dynamic library. Aspects include receiving an indication that the dynamic library has been updated and identifying all program modules that depend on the dynamic library. Aspects also include, for each program module that depends on the dynamic library, reassigning an application program interface (API) address for a current version of the dynamic library to an API address of the updated version of the dynamic library.
-
公开(公告)号:US20220291988A1
公开(公告)日:2022-09-15
申请号:US17198450
申请日:2021-03-11
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor: Naijie Li , Bao Zhang , Jin Hong Fu , Jing Lu , Xiang Zu
Abstract: Methods, apparatus, computer program products for handling critical problem exceptions during an execution of an application are provided. The method comprises: detecting, by one or more processing units, an occurrence of a certain type of critical problem exception during an execution of an application, the critical problem exception resulting in a termination of the application; instructing, by one or more processing units, to call a Super Handling Routine (SHR) corresponding to the type of the critical problem exception at a pre-configured address based on a pre-determined context registered by the application, the SHR being configured to handle critical problem exceptions; and handing, by one or more processing units, control to the SHR to handle the type of the critical problem exception.
-
公开(公告)号:US11379468B1
公开(公告)日:2022-07-05
申请号:US17318158
申请日:2021-05-12
Applicant: International Business Machines Corporation
Inventor: Bao Zhang , Shi Chong Ma , Jin Hong Fu , He Huang , Jia Tian Zhong , Xing Xing Shen , Xiang Zu , Jia Yu
IPC: G06F9/44 , G06F16/23 , G06F16/901 , G06F8/41
Abstract: Aspects of the invention include computer-implemented method that includes generating a preliminary control flow graph from memory dump data and compiler listing data in response to an exception event at a computing program. Code segments associated with each block of the preliminary control flow graph are translated to Boolean statements. Each Boolean statement is determined to be either satisfied or unsatisfied based on input values retrieved from the memory dump data. An edge property value of a first edge and a second edge of a plurality of edges of the preliminary control flow graph based are calculated based on a satisfaction of the Boolean statements. The edge property value of the first edge is compared to the edge property value of the second edge. The preliminary control flow graph is refined by deleting the first edge of the plurality of edges based at least in part on the comparison.
-
-
-
-
-
-