New progress properties TAS lock client: acq i acq while(true)t local succ. ac go succ: false rel(; while(! succ i print(1); e(); succ: =cas(L, 0, 1): It may not print 1 Deadlock freedom (even with fair scheuu fe re But there always exists a method call that returns unless the lock is never releasedNew progress properties acq() { local succ; succ := false; while( ! succ ) { succ := cas(L, 0, 1); } } rel() { L := 0; } TAS lock acq(); rel(); print(1); while(true){ acq(); rel(); } client: It may not print 1 (even with fair scheduling). But there always exists a method call that returns, unless the lock is never released. Deadlock￾freedom