Я прохожу курс General Game Playing (GGP) Coursera Майкла Дженесерета. В GGP игроку дается фиксированное количество времени, чтобы сделать ход. Я пишу свои плееры на Scala. (Основной кодовой базой GGP является Java.) Предоставляет ли Scala какую-либо поддержку (или существуют ли какие-либо библиотеки Scala), которые можно использовать, чтобы гарантировать, что вычисления будут выполняться в заданное время.
Scala и ограниченная по времени обработка
Ответы (1)
Вы можете использовать Futures и получить результат с помощью Await.result(future, duration)
или один из подходов в Scala Futures - встроенный тайм-аут?.
person
Alexey Romanov
schedule
30.04.2014
Спасибо. Я посмотрю на них.
- person RussAbbott; 01.05.2014
Теперь я вижу другой вариант — использовать Актеры и их метод
context.setReceiveTimeout
а>.
- person RussAbbott; 01.05.2014