Изменения

'''shared int''' label[N] '''init''' 0

'''def''' lock:

label[id] = '''max'''(label!='''inf''') + 1

'''while''' '''exists''' k: k != id '''and'''

(label[k], k) < (label[id], id)) :

'''pass'''