• Tejashree Ghadge
• Prasad Renukdas

Abstract- Concurrent programs might sometimes do not stop when they are tested dynamically due to some processes getting stuck in infinite loops or livelocks are formed due to execution of some loops. Old-fashioned way of controlling this problem is interrupting the execution of concurrent program when a predefined maximum time is exceeded. This paper proposes that when the execution of tested process get stuck in infinite loops or form a livelock, is stopped spontaneously using a dynamic effective testing method by means of heuristic algorithms. We propose two models for two different conditions for forming of loops. First is when two processes are independent of each other’s termination condition. In other model we give a brief idea of how to resolve the interdependency and terminate the processes dynamically without causing extra work.

Keywords- Concurrent programs; livelocks; dynamic effective testing; heuristic.

"Spontaneous Detection and Termination of Livelocks on Concurrent Programs", International Journal of Emerging Technologies and Innovative Research (www.jetir.org), ISSN:2349-5162, Vol.1, Issue 7, page no.609-611, December-2014, Available :http://www.jetir.org/papers/JETIR1407003.pdf

"Spontaneous Detection and Termination of Livelocks on Concurrent Programs", International Journal of Emerging Technologies and Innovative Research (www.jetir.org | UGC and issn Approved), ISSN:2349-5162, Vol.1, Issue 7, page no. pp609-611, December-2014, Available at : http://www.jetir.org/papers/JETIR1407003.pdf