Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation

Table 1

Behavior permissiveness of the proposed deadlock prevention policy.

𝑝1,𝑝10,𝑝11-𝑝15	𝑣1,𝑣2,𝑣3/𝐿𝑖	𝐵𝑝	𝐵𝐿	𝐵𝑐/Li^′𝑠	𝐵𝑐/𝐵𝐿/Li^′𝑠
(1)3,3,1,1,1,1,1	[1,1,1]^𝑇/[1,1,1]^𝑇	73	54	54/54	100%/100%
(2)4,4,2,2,2,2,2	[3,3,3]^𝑇/[3,3,2]^𝑇	1093	1047	1032/941	94.419%/89.876%
(3)5,5,3,3,3,3,3	[5,5,5]^𝑇/[5,5,3]^𝑇	5767	5705	5680/5151	99.562%/90.290%
(4)6,6,4,4,4,4,4	[7,7,7]^𝑇/[7,7,3]^𝑇	20324	20263	20234/18517	99.857%/91.383%
(5)7,7,5,5,5,5,5	[9,9,9]^𝑇/[9,9,5]^𝑇	57450	57390	57360/52995	99.948%/92.342%
(6)8,8,6,6,6,6,6	[11,11,11]^𝑇/[11,11,6]^𝑇	140703	140643	140613/13100	99.977%/93.144%
(7)9,9,7,7,7,7,7	[13,13,13]^𝑇/[13,13,7]^𝑇	310783	310723	310693/292363	99.990%/93.770%
(8)10,10,8,8,8,8,8	[15,15,15]^𝑇/[15,15,8]^𝑇	634173	634113	634083/597853	99.995%/94.282%
(9)11,11,9,9,9,9,9	[17,17,17]^𝑇/[17,17,9]^𝑇	1214679	1214619	1214589/1150189	99.998%/94.695%
(10)12,12,10,10,10,10,10	[19,19,19]^𝑇/[19,19,10]^𝑇	2208445	2208385	2208355/2098887	99.990%/95.042%