2 ms·
> the implementation may assume any thread will eventually do one of the following: terminate, call a library I/O function, access a volatile glvalue, or perfor
by Aardwolf 15d ago
> the implementation may assume any thread will eventually do one of the following: terminate, call a library I/O function, access a volatile glvalue, or perform a synchronization or atomic operation
Why is that rule needed? I could make my for loop try to solve the halting problem and it'll never finish either, circumventing that rule
- layer8 14d agoSee https://news.ycombinator.com/item?id=49760653 https://news.ycombinator.com/item?id=49760653.
- mitxela 14d agoSo the compiler can merge two computation loops without proving termination.
- cryptonector 14d agoCompute the Ackermann function, write the result, terminate.. when the sun goes red giant and swallows the earth.