SODA

A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software

Abbaspour Assadollah, Sara and Saadatmand, Mehrdad and Eldh, Sigrid and Sundmark, Daniel and Hansson, Hans (2016) A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software. In: ASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs, Singapore.

Full text not available from this repository.

Abstract

With the development of multicore hardware, concurrent, parallel and multicore software are becoming increasingly popular. Software companies are spending a huge amount of time and resources to nd and debug the bugs. Among all types of software bugs, concurrency bugs are also important and troublesome. This type of bugs is increasingly becoming an issue particularly due to the growing prevalence of multicore hardware. In this position paper, we propose a model for monitoring and debugging Starvation bugs as a type of concurrency bugs in multicore software. The model is composed into three phases: monitoring, detecting and debugging. The monitoring phase can support detecting phase by storing collected data from the system execution. The detecting phase can support debugging phase by comparing the stored data with starvation bug's properties, and the debugging phase can help in reproducing and removing the Starvation bug from multicore software. Our intention is that our model is the basis for developing tool(s) to enable solving Starvation bugs in software for multicore platforms.

Item Type:Conference or Workshop Item (Paper)
ID Code:6075
Deposited By:Mehrdad Saadatmand
Deposited On:03 Nov 2016 10:50
Last Modified:03 Nov 2016 10:50

Repository Staff Only: item control page