Преобразование Scala @suspendable Method в будущее

Предположим, что у меня есть функция сна:

def sleep(delay:Int) : Unit @suspendable = {
  ....
}

возможно ли иметь функцию будущего, которая создает асинхронную версию функции ожидания, которую можно ожидать синхронно.

def future(targetFunc: (Int => Unit @suspendable)) : (Int => Future) = {
    ....
}

class Future {
  def await : Unit @suspendable = {
     ....
  }
}

вы должны сделать что-то вроде этого:

reset {
  val sleepAsync = future(sleep)
  val future1 = sleepAsync(2000)
  val future2 = sleepAsync(3000)
  future1.await
  future2.await
  /* finishes after a delay of 3000 */
}

два вызова sleepAsync должны появиться сразу, и два вызова Future # ждут должны блокироваться. конечно, все они действительно падают с конца reset, а код после отвечает за вызов продолжения после задержки.

В противном случае существует альтернативный метод одновременного запуска двух параллельных функций @suspendable и ожидания завершения их обоих?

У меня есть компилятивная сущность с каркасом того, что я хочу сделать: https://gist.github.com/1191381

Ответы

Ответ 1

object Forks {

  import scala.util.continuations._

  case class Forker(forks: Vector[() => Unit @suspendable]) {
    def ~(block: => Unit @suspendable): Forker = Forker(forks :+ (() => block))
    def joinIf(pred: Int => Boolean): Unit @suspendable = shift { k: (Unit => Unit) =>
      val counter = new java.util.concurrent.atomic.AtomicInteger(forks.size)
      forks foreach { f =>
        reset {
          f()
          if (pred(counter.decrementAndGet)) k()
        }
      }
    }
    def joinAll() = joinIf(_ == 0)
    def joinAny() = joinIf(_ == forks.size - 1)
  }

  def fork(block: => Unit @suspendable): Forker = Forker(Vector(() => block))
}

используя fork(), мы можем теперь ждать много "suspendables". используйте ~(), чтобы объединить подстановочные элементы. используйте joinAll(), чтобы ждать все suspendables и joinAny(), чтобы ждать только одного. используйте команду joinIf() для настройки стратегии объединения.

object Tests extends App {

  import java.util.{Timer, TimerTask}
  import scala.util.continuations._

  implicit val timer = new Timer

  def sleep(ms: Int)(implicit timer: Timer): Unit @suspendable = {
    shift { k: (Unit => Unit) =>
      timer.schedule(new TimerTask {
        def run = k()
      }, ms)
    }
  }

  import Forks._

  reset {
    fork {
      println("sleeping for 2000 ms")
      sleep(2000)
      println("slept for 2000 ms")
    } ~ {
      println("sleeping for 4000 ms")
      sleep(4000)
      println("slept for 4000 ms")
    } joinAll()
    println("and we are done")
  }
  println("outside reset")
  readLine
  timer.cancel
}

и это результат. программа запускается в момент времени T:

sleeping for 2000 ms
sleeping for 4000 ms
outside reset         <<<<<< T + 0 second
slept for 2000 ms     <<<<<< T + 2 seconds
slept for 4000 ms     <<<<<< T + 4 seconds
and we are done       <<<<<< T + 4 seconds

Ответ 2

Я не уверен, что я полностью понимаю вопрос, но вот попытка:

import scala.util.continuations._

class Future(thread: Thread) {
  def await = thread.join
}

object Future {

  def sleep(delay: Long) = Thread.sleep(delay)

  def future[A,B](f: A => B) = (a: A) => shift { k: (Future => Unit) =>
    val thread = new Thread { override def run() { f(a) } }
    thread.start()

    k(new Future(thread))
  }

  def main(args:Array[String]) = reset {
    val sleepAsync = future(sleep)
    val future1 = sleepAsync(2000) // returns right away
    val future2 = sleepAsync(3000) // returns right away
    future1.await // returns after two seconds
    future2.await // returns after an additional one second
    // finished after a total delay of three seconds
  }
}

Здесь экземпляр Future представляет собой не что иное, как дескриптор на Thread, поэтому вы можете использовать его метод join для блокировки до его завершения.

Функция Future выполняет функцию типа A => B и возвращает функцию, которая при поставке с A запускает поток для запуска функции "futured" и завершает его в Future, который вводится обратно в продолжение, тем самым присваивая его val future1.

Это где-то близко к тому, что вы собираетесь делать?