Язык или framework с time constraint-ами.

Интересно, Ада такое умеет?

На тредах же делается. Скажем, для PHP примеры в комментах: http://ru.php.net/manual/en/function.set-time-limit.php

Понятно, что делается. Как сделать, я прекрасно понимаю. Но не имею желания изображать гения и городить велосипед.

Ответ про PHP из серии «внезапно». Не ожидал. И наверное предрочел бы другой язык, но все равно спасибо.

Про ADA в гугле упоминание в одной книжке и не очень внятное. Не понятно как делали и что можно.

Это для линейного синхронного кода или асинхронных операций?

Желательно общее решение.

http://www.erlang.org/doc/man/timer.html

The following coding example illustrates a process which performs a certain action and if this action is not completed within a certain limit, then the process is killed.

Pid = spawn(mod, fun, [foo, bar]),
%% If pid is not finished in 10 seconds, kill him
{ok, R} = timer:kill_after(timer:seconds(10), Pid),
...
%% We change our mind...
timer:cancel(R),
...

А это нормально в эрланге килять поток? Просто в большинстве языков при этом Undefined behaviour. Но у эрланга же свои потоки.

В JUnit есть ограничение по времени исполнения тестов. Можно поглядеть, как это у них реализовано.

А это нормально в эрланге килять поток?

Это (лёгкий) процесс - нормально, там в основном всё строится на том, что процессы можно создавать сотнями тысяч. Сам процесс это функция выполняемая асинхронно, сами функции могут отправлять / принимать сообщения другим / от других процессов (тоже асинхронно запущенных функций). Вообще, акторы (лёгкие процессы и асинхронные сообщения) + актор timer [+ soft real-time] это возможное общее решение такой задачи.

Основы Эрланга я знаю.

А вот специфику: Что будет если процесс занят тяжелой задачей? Он умрет когда закончит или раньше? Если есть открытые дескрипторы, что с ними будет?

По исходникам, я чего-то не понимаю, или они оставляют просроченный поток висеть. Это не кавай ни разу.

[code] exit_after/3

Send an exit signal with reason Reason1 to Pid Pid. Returns {ok, TRef}, or {error, Reason2}. exit_after/2

Same as exit_after(Time, self(), Reason1). kill_after/2

Same as exit_after(Time, Pid, kill). kill_after/1

Same as exit_after(Time, self(), kill). [/code]

пока до receive не дойдёт не умрёт.

exit_after/3

   Send an exit signal with reason Reason1 to Pid Pid. Returns {ok, TRef}, or {error, Reason2}.

exit_after/2

   Same as exit_after(Time, self(), Reason1).

kill_after/2

   Same as exit_after(Time, Pid, kill).

kill_after/1

   Same as exit_after(Time, self(), kill). 

пока до receive не дойдёт не умрёт.

Грустно.

http://docs.racket-lang.org/reference/Sandboxed_Evaluation.html?q=with-limits...))

ЕМНИП, в Ada 2005 есть возможность устанавливать дедлайны задачам.

http://www.eetimes.com/design/embedded/4025713/Programming-real-time-with-Ada...

Кое-какая информация есть в «Rationale for Ada 2005: 4 Tasking and Real-Time», только имей в виду, что компиляторы Ады обычно дорогие :)

Да... Ада красава. Еще бы были компиляторы доступные...

Кстати GNAT вроде поддерживает всю Core Ada 2005. Правда не знаю, это Core feature или нет.

Не скажу точно про GNAT, но скорее всего, что да. Правда, я с ним только игрался. Тут на ЛОРе есть люди, которые много дольше меня использовали его.

Кстати, вот по-видимому ответ:

task Worker is 
  pragma Relative_Deadline (Milliseconds (20));
  ..
end Worker;

Я понимаю. Проверить возможности нет сейчас.

Что будет если процесс занят тяжелой задачей? Он умрет когда закончит или раньше? Если есть открытые дескрипторы, что с ними будет?

Ну как в эрланге это делают - на уровне мелочей это receive/after и try/of/catch/after, в масштабе приложения - то как общаются процессы, например, master/worker:

-module(test).
-compile(export_all).
-import(timer).

master(Wait, Timeout) ->
    process_flag(trap_exit, true),
    io:format("master: take resources~n"),
    Worker = spawn_link(?MODULE, worker, [self()]),
    Worker ! {work, Wait},
    timer:exit_after(timer:seconds(Timeout), Worker, timeout),
    receive
        done ->
            io:format("master: done~n"),
            io:format("master: free resources~n"),
            exit(done);
        {'EXIT', _, timeout} ->
            io:format("master: timeout~n"),
            io:format("master: free resources~n"),
            exit(timeout)
    end.

worker(Master) ->
    receive
        {work, Wait} ->
            io:format("worker: do the hard work~n"),
            timer:sleep(timer:seconds(Wait)),
            io:format("worker: send result to master~n"),
            Master ! done,
            io:format("worker: done~n")
    end.

$ erl
Erlang R13B03 (erts-5.7.4) [source] [smp:2:2] [rq:2] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.7.4  (abort with ^G)
1> c(test).
{ok,test}
2> timer:tc(test, master, [1, 2]).
master: take resources
worker: do the hard work
worker: send result to master
worker: done
master: done
master: free resources
{1001501,{'EXIT',done}}
3> timer:tc(test, master, [10, 2]).
master: take resources
worker: do the hard work
master: timeout
master: free resources
{2001087,{'EXIT',timeout}}
4> 

Для питона:

with Timeout(3):
   <your stuff>

http://common-lisp.net/project/trivial-timeout/