METHOD OF THREAD SAFETY VERIFICATION AND FEEDBACK

摘要

A computer-implemented method, computer program product, and computer system for testing thread hazards in a multi-threaded software program. The present invention uses UML (Universal Modeling Language) models and system KPIs (Key Performance Indicators) to check whether a multi-threaded software program is thread safe and within performance boundaries. The present invention provides solutions for resolving the thread safety problems or provides the designer feedback for helping a designer of multi-threaded software program avoid the thread safety problems.

主权项

1. A computer-implemented method for testing thread hazards in a multi-threaded software program, comprising steps of:
receiving, for respective threads, priorities which are initially assigned based on Universal Modeling Language; selecting, from one or more threads that have not been tested, a thread with a lowest priority as a current thread; raising a priority of the current thread just above a lowest competing thread that has not been tested; and testing the current thread for key performance indicators.