Implementation of grammar extemsion based automatic mutex
Hong Yang · Journal of Sichuan University · 2008
To aim at the situation that in multiprogramming environment,the use of mutex has such disadvantages as different standards,complex rules,prone to deadlock,a new method is proposed which extends the C++ standard grammar to incorporate in some critical resource define and access .Through hiding the concept and implementation of mutex,the development complexity is reduced and the programming is OS independent.Based on the grammar extension,the branched-stack algorithm is proposed to conduct critical resource access sequence and match integrity checking in code.As a result,hidden troubles brought by deadlock will decreased and reliability will enhanced effectively.