News for hackers. Stuff that matters.

A comment on Lua in the Kernel?. Parent comment

Re:Lua in the Kernel? by coldtea on Friday September 18, 2020 @05:32AM (#24514736)
>You can't prevent infinite loops unless you've solved the halting problem right?

Only in general arbitrary turing complete runtimes. For restricted subsets of instructions and specific implementations of runtimes you can. E.g. one could trivially disallow "jump" control flow, and limit loops to N iterations.

[ Parent | on HN ]
Re:Lua in the Kernel? by DarkWiiPlayer on Friday September 18, 2020 @07:00AM (#24515233)
It's more simple than that: pull the plug on the entire turing machine. Lua runs in a VM, so you can stop it from the outside, which wouldn't be possible if the code was running directly in the CPU (Without an OS underneath it, that is).
[ Parent | on HN ]
Re:Lua in the Kernel? by mikevin on Friday September 18, 2020 @03:44PM (#24521104)
You could argue this doesn't really count as preventing though. It's preventing a symptom instead of the underlying problem.
[ Parent | on HN ]