← Back to context Comment by NetMageSCW 1 day ago How is “this system doesn’t deadlock” not the same as the halting problem? 2 comments NetMageSCW Reply pvillano 1 hour ago Deadlock is literally a halting problem.We can't know for every possible program if it halts or not, but the complexity of programs we can determine is increasing as tools and techniques get better xjm 4 hours ago Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)
pvillano 1 hour ago Deadlock is literally a halting problem.We can't know for every possible program if it halts or not, but the complexity of programs we can determine is increasing as tools and techniques get better
xjm 4 hours ago Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)
Deadlock is literally a halting problem.
We can't know for every possible program if it halts or not, but the complexity of programs we can determine is increasing as tools and techniques get better
Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)