用于保存资源的 DSL

Question

谁能帮我构建一个 DSL 来保存资源？我想像Java的synchronized一样使用它，这样如果一个资源（java：对象监视器）已经被获取，它就不会再次被获取！ （对于以下示例，资源假定为 Int 类型）

object Holding {
  def main(args : Array[String]) : Unit = {

    HoldResource(1,2,3) {
      // holding resource 1,2,3
      println("!")
      HoldResource(3) {
        // still holding resource 1,2,3 (but not acquiring resource 3 again!!!)
        println("*")
      }
      println("!!")
      HoldResource(4,5) {
        // holding resource 1,2,3,4,5
        println("#")
      }
      println("!!!")
    }
    // all resources are freed
  }
}

到目前为止，我的粗略方法看起来像这样（这意味着我知道 try { ... } finally { ... } 资源模式。）：

object HoldResource {
  class Context(val resources: Seq[Int]) {
    def apply[A](f: => A): A = {
      try { f } finally {
        // free resources
      }
    }
  }
  def apply[A](resources: Int*): Context = {
    // lock/acquire resources
    new Context(resources)
  }
}

非常感谢！

Answer 1

看起来您正在寻找软件事务内存。

尝试这些文章来帮助您入门：

• Scala 中的 STM
• 使用 MVCC 改进 STM

还有一些有关资源管理的有用材料：

• 文章：Scala 中的 ARM 块< /a>
• Github：scala-arm