Abstract: Systems and methods for enhancing performance in a multithreaded computing system are provided. The method comprises receiving a plurality of values associated with a performance characteristic common to a plurality of threads; clusterizing the plurality of threads based on the performance characteristic; analyzing an inter-thread communication between the plurality of threads for identifying a plurality of threads adversely affecting the performance of different parts of the multithreaded program; calculating a performance factor corresponding to the performance characteristic to determine a type of performance improvement activity to be performed on the plurality of threads.

Abstract: Systems and methods for enhancing performance in a multithreaded computing system are provided. The method comprises receiving a plurality of values associated with a performance characteristic common to a plurality of threads; clusterizing the plurality of threads based on the performance characteristic; analyzing an inter-thread communication between the plurality of threads for identifying a plurality of threads adversely affecting the performance of different parts of the multithreaded program; calculating a performance factor corresponding to the performance characteristic to determine a type of performance improvement activity to be performed on the plurality of threads.

Abstract: Systems and methods for enhancing performance in a multithreaded computing system are provided. The method comprises receiving a plurality of values associated with a performance characteristic common to a plurality of threads; clusterizing the plurality of threads based on the performance characteristic; analyzing an inter-thread communication between the plurality of threads for identifying a plurality of threads adversely affecting the performance of different parts of the multithreaded program; calculating a performance factor corresponding to the performance characteristic to determine a type of performance improvement activity to be performed on the plurality of threads.

Abstract: A computer implemented method, an apparatus and a computer program product for instrumentation coverage. The method comprising: determining an instrumentation coverage model of a system having components, the instrumentation coverage model defining instrumentation tasks of the system, wherein each instrumentation task defines a subset of the components to be monitored; and monitoring the system by a computer, wherein during said monitoring applying a plurality of partial instrumentation tasks defining strict subsets of the components to be monitored.

Abstract: Systems and methods for enhancing performance in a multithreaded computing system are provided. The method comprises receiving a plurality of values associated with a performance characteristic common to a plurality of threads; clusterizing the plurality of threads based on the performance characteristic; analyzing an inter-thread communication between the plurality of threads for identifying a plurality of threads adversely affecting the performance of different parts of the multithreaded program; calculating a performance factor corresponding to the performance characteristic to determine a type of performance improvement activity to be performed on the plurality of threads.

Abstract: Expert system may utilize multiple metrics to estimate whether a performance improvement activity has a potential to improve performance in respect to a predetermined performance metric. The multiple metrics may be propagated based on whether or not they may be affected by the activity and based on an associated value that may take into account the current value of the metric. An Index Propagation Graph may be further utilized to represent a propagation function which may propagate the potential of improvement of each metric in respect to the predetermined performance metric.

Abstract: Expert system may utilize multiple metrics to estimate whether a performance improvement activity has a potential to improve performance in respect to a predetermined performance metric. The multiple metrics may be propagated based on whether or not they may be affected by the activity and based on an associated value that may take into account the current value of the metric. An Index Propagation Graph may be further utilized to represent a propagation function which may propagate the potential of improvement of each metric in respect to the predetermined performance metric.

Abstract: A tool is provided for modifying the code of a multi-threaded computer program undergoing testing. The program executes in an environment that has a governing memory model. It is assumed that there is a global heap and a thread-local heap, which are synchronized from time to time. The modifications are of two types: (1) code instructions are reordered while remaining in compliance with the memory model; and (2) thread-local variables are added to functions, together with inserted heap synchronizing instructions. The modified programs are then used by a test generator to prepare test cases for execution. The modifications have the effect of changing the interleavings that occur among different threads, and increase the likelihood of exposing flaws that may become evident under different memory models.

Abstract: A system for automated bug detection and solution including a testing tool operative to record execution behavior and output of a computer program, and a determiner including a bug pattern detector operative to analyze the program execution behavior and output to identify a bug pattern therein and propose at least one program modification for effecting a solution to eliminate the bug pattern, a solution query & search module operative to iteratively define a plurality of subsets of the proposed solutions in accordance with a predefined selection criterion, and a bug solution inserter operative to iteratively apply the subsets of proposed solutions to the program.

Abstract: A method for testing a computer program that includes software code arranged to be executed in multiple threads, including at least a first thread and one or more other threads. The method includes identifying an output statement in the first thread, running the software code so as to generate an output due to the output statement, and intervening in the program so that when the program is run, execution of the first thread is blocked prior to the output statement while the one or more other threads continue to execute. The output generated after intervening in the program is examined in order to detect a fault in the program.

Abstract: A system and method to synchronize independent local clocks in multi-core processing system are disclosed. A shared counter or a shared memory/file is provided to establish a partial happened-before relationship (e1<e2 in the happened-before order if we know that the event e1 happened before the event e2) and a synchronizer device is utilized to generate a global time of events in threads or processes.

Abstract: A system and method to synchronize independent local clocks in multi-core processing system are disclosed. A shared counter or a shared memory/file is provided to establish a partial happened-before relationship (e1<e2 in the happened-before order if we know that the event e1 happened before the event e2) and a synchronizer device is utilized to generate a global time of events in threads or processes. The synchronizer device estimates each clock's start time and approximates elapsed time between events in threads or processes by executing an all-pair shortest-path algorithm.

Abstract: A method for determining a required solution subset from a set of solutions for eliminating a computer program execution error is provided.

Abstract: A taxonomy for annotations found in program code. The taxonomy includes a set of meta-annotations associated with an annotation definition and a set of values for each meta-annotation. The meta-annotations describes properties of each annotation. The values describe one quality of its associated meta-annotation. The taxonomy is used in a method for instrumenting a piece of code. The method includes reviewing meta-annotations attached to each annotation definition within the piece of code to determine how to proceed with instrumenting the piece of code.

Abstract: A tool is provided for modifying the code of a multi-threaded computer program undergoing testing. The program executes in an environment that has a governing memory model. It is assumed that there is a global heap and a thread-local heap, which are synchronized from time to time. The modifications are of two types: (1) code instructions are reordered while remaining in compliance with the memory model; and (2) thread-local variables are added to functions, together with inserted heap synchronizing instructions. The modified programs are then used by a test generator to prepare test cases for execution. The modifications have the effect of changing the interleavings that occur among different threads, and increase the likelihood of exposing flaws that may become evident under different memory models.

Abstract: A system and method for detecting the mutability of fields and classes in an arbitrary program component written in an object oriented programming language is disclosed. A variable is considered to be mutable if a new value is stored into it, as well as if any of its reachable variables are mutable. The system and method uses a static analysis algorithm which can be applied to any software component rather than whole programs. The analysis classifies fields and classes as either mutable or immutable. In order to facilitate open-world analysis, the algorithm identifies situations that expose variables to potential modification by code outside the component, as well as situations where variables are modified by the analyzed code. An implementation of the analysis is presented which focuses on detecting mutability of class variables, so as to avoid isolation problems. The implementation incorporates intra- and inter-procedural data-flow analyses and is shown to be highly scalable.

Abstract: A system for automated bug detection and solution including a testing tool operative to record execution behavior and output of a computer program, and a determiner including a bug pattern detector operative to analyze the program execution behavior and output to identify a bug pattern therein and propose at least one program modification for effecting a solution to eliminate the bug pattern, a solution query & search module operative to iteratively define a plurality of subsets of the proposed solutions in accordance with a predefined selection criterion, and a bug solution inserter operative to iteratively apply the subsets of proposed solutions to the program.

Abstract: A method for testing a computer program that includes software code arranged to be executed in multiple threads, including at least a first thread and one or more other threads. The method includes identifying an output statement in the first thread, running the software code so as to generate an output due to the output statement, and intervening in the program so that when the program is run, execution of the first thread is blocked prior to the output statement while the one or more other threads continue to execute. The output generated after intervening in the program is examined in order to detect a fault in the program.