Исходное сообщение
"В ядро NetBSD добавлена поддержка расширений на языке Lua" Отправлено XoRe, 19-Окт-13 15:51
> Причем здесь опровержение Тюринга. Там не ставится задача "определить завершиться ли программа". > Там ставится задача "заблокировать потенциально опасные инструкции", например цикл с условием, > которое всегда истинно. Истинность можно сделать очень неочевидной. for(;a>b;) { a = 0; a = rand(9000); a = b+1; } Или цикл необязательно должен быть вечным, чтобы доставить проблем. for(;a<100500;) { a = a + 1; sleep 1; } Так что прорехи остаются. Хорошо, что это только модуль ядра, который можно и не загружать.