DYNAMIC DEADLOCK DETECTION UNDER THE OR REQUIREMENT MODEL

Dynamic deadlock detection under the OR requirement model

Deadlock detection is one of the most discussed problems in the literature.Although several al- MSM SOOTHING MASSAGE RUB gorithms have been proposed, the problem is still open.In general, the correct operation of an algorithm depends on the requirement model being considered.This article introduces a deadlock detection algorithm for the OR model.Th

read more