TCL - вызов специальной функции, если скрипты идут в бесконечном цикле

Question

Есть ли какой-либо механизм в TCL, с помощью которого я могу проверить TCL Script для перехода в бесконечный цикл?

Например, У меня есть Test.tcl, из которого я хочу проверить, что мой a.tcl переходит в бесконечный цикл или нет? Если мой a.tcl переходит в бесконечный цикл, можно ли вызвать определенную функцию, что «ваш a.tcl переходит в бесконечный цикл».

Тип таймеров в c.

Надеюсь, что я понятен.

Благодаря

Answer 1

Посмотрите на interp limit функций, что позволяет что-то подобное.

Обнаружение бесконечного цикла похоже на halting problem, поэтому вы можете установить только время ожидания, которое вы хотите подождать, но на самом деле не обнаруживаете, действительно ли существует бесконечный цикл в общем случае.

В некоторых особых случаях Tcl предупреждает вас, если вы пытаетесь создать бесконечный цикл, особенно при попытке запустить цикл событий (через vwait forever), когда источник событий не зарегистрирован.

Для interp limit смотрите документацию по адресу: http://www.tcl.tk/man/tcl/TclCmd/interp.htm#M22

Он имеет пример для прекращения бесконечного цикла в subinterpreter после определенного количества команд, выполняемых.

set i [interp create] 
interp limit $i command -value 1000 
interp eval $i { 
    set x 0 
    while {1} { 
     puts "Counting up... [incr x]" 
    } 
} 

Вы также можете ограничить время, разрешенное для выполнения.

set i [interp create] 
# set a limit to now + 1 seconds 
interp limit $i time -seconds [expr {[clock seconds] + 1}] 
interp eval $i { 
    set x 0 
    while {1} { 
     puts "Counting up... [incr x]" 
    } 
}