Scala中的Iteratees使用惰性求值或融合?

时间:2012-11-14 12:54:32

标签: scala scalaz iterate

我听说迭代是懒惰的,但它们是多么懒惰 ?或者,迭代可以与后处理函数融合,以便不必构建中间数据结构吗?

我可以在我的iteratee中例如从Stream[Option[String]] 构建一个100万个项目java.io.BufferedReader ,然后过滤出None个组合方式,不需要将整个Stream保存在内存中?同时保证我不会砸堆栈?或类似的东西 - 它不必使用Stream

我目前正在使用Scalaz 6,但如果其他iteratee实现能够以更好的方式执行此操作,我有兴趣知道。

请提供完整的解决方案,包括关闭BufferedReader并致电unsafePerformIO,如果适用的话。

2 个答案:

答案 0 :(得分:12)

这是一个使用Scalaz 7库的快速迭代示例,它演示了您感兴趣的属性:常量内存和堆栈使用情况。

问题

首先假设我们在每一行都有一个带有十进制数字字符串的大文本文件,我们希望找到包含至少二十个零的所有行。我们可以生成一些这样的样本数据:

val w = new java.io.PrintWriter("numbers.txt")
val r = new scala.util.Random(0)

(1 to 1000000).foreach(_ =>
  w.println((1 to 100).map(_ => r.nextInt(10)).mkString)
)

w.close()

现在我们有一个名为numbers.txt的文件。让我们用BufferedReader

打开它
val reader = new java.io.BufferedReader(new java.io.FileReader("numbers.txt"))

它不是太大(~97兆字节),但它足够大,我们可以很容易地看到我们的内存使用是否实际上在我们处理时保持不变。

设置我们的枚举器

首先进行一些进口:

import scalaz._, Scalaz._, effect.IO, iteratee.{ Iteratee => I }

和一位普查员(请注意我为了方便而将IoExceptionOr更改为Option s:

val enum = I.enumReader(reader).map(_.toOption)

Scalaz 7目前没有提供枚举文件行的好方法,所以我们一次将一个字符分块。这当然会非常缓慢,但我不会在这里担心,因为这个演示的目标是表明我们可以在恒定的内存中处理这个大型文件,而不会破坏堆栈。这个答案的最后一部分提供了一种具有更好性能的方法,但在这里我们只是分开换行符:

val split = I.splitOn[Option[Char], List, IO](_.cata(_ != '\n', false))

如果splitOn采用指定分割的谓词的事实让您感到困惑,那么您并不孤单。 split是我们的第一个枚举示例。我们将继续将我们的枚举器包装在其中:

val lines = split.run(enum).map(_.sequence.map(_.mkString))

现在我们在Option[String] monad中有一个IO的枚举器。

使用枚举

过滤文件

接下来是我们的谓词 - 请记住我们说过我们想要至少有二十个零的行:

val pred = (_: String).count(_ == '0') >= 20

我们可以把它变成一个过滤枚举器并将我们的枚举器包装成:

val filtered = I.filter[Option[String], IO](_.cata(pred, true)).run(lines)

我们将设置一个简单的操作,只打印通过此过滤器的所有操作:

val printAction = (I.putStrTo[Option[String]](System.out) &= filtered).run

当然我们还没有读过任何东西。为此,我们使用unsafePerformIO

printAction.unsafePerformIO()

现在我们可以看到Some("0946943140969200621607610...")慢慢滚动,同时我们的内存使用量保持不变。它很慢,错误处理和输出有点笨拙,但我认为大约有9行代码也不错。

从iteratee获取输出

那是foreach - ish用法。我们还可以创建一个更像折叠的迭代 - 例如,收集通过过滤器并将它们返回到列表中的元素。只需重复上面的所有内容,直到printAction定义,然后再写下来:

val gatherAction = (I.consume[Option[String], IO, List] &= filtered).run

关闭这个动作:

val xs: Option[List[String]] = gatherAction.unsafePerformIO().sequence

现在去喝咖啡(可能需要相当远的地方)。当你回来时,你会有一个None(在途中的某个地方IOException)或一个包含1,943个字符串列表的Some

自动关闭文件的完整(更快)示例

要回答关于关闭阅读器的问题,这里有一个完整的工作示例,大致相当于上面的第二个程序,但是有一个负责打开和关闭阅读器的枚举器。它也快得多,因为它读取的是行,而不是字符。首先是进口和一些辅助方法:

import java.io.{ BufferedReader, File, FileReader }
import scalaz._, Scalaz._, effect._, iteratee.{ Iteratee => I, _ }

def tryIO[A, B](action: IO[B]) = I.iterateeT[A, IO, Either[Throwable, B]](
  action.catchLeft.map(
    r => I.sdone(r, r.fold(_ => I.eofInput, _ => I.emptyInput))
  )
)

def enumBuffered(r: => BufferedReader) =
  new EnumeratorT[Either[Throwable, String], IO] {
    lazy val reader = r
    def apply[A] = (s: StepT[Either[Throwable, String], IO, A]) => s.mapCont(
      k =>
        tryIO(IO(reader.readLine())).flatMap {
          case Right(null) => s.pointI
          case Right(line) => k(I.elInput(Right(line))) >>== apply[A]
          case e => k(I.elInput(e))
        }
    )
  }

现在是调查员:

def enumFile(f: File): EnumeratorT[Either[Throwable, String], IO] =
  new EnumeratorT[Either[Throwable, String], IO] {
    def apply[A] = (s: StepT[Either[Throwable, String], IO, A]) => s.mapCont(
      k =>
        tryIO(IO(new BufferedReader(new FileReader(f)))).flatMap {
          case Right(reader) => I.iterateeT(
            enumBuffered(reader).apply(s).value.ensuring(IO(reader.close()))
          )
          case Left(e) => k(I.elInput(Left(e)))
        }
      )
  }

我们准备好了:

val action = (
  I.consume[Either[Throwable, String], IO, List] %=
  I.filter(_.fold(_ => true, _.count(_ == '0') >= 20)) &=
  enumFile(new File("numbers.txt"))
).run

现在处理完毕后,读者将被关闭。

答案 1 :(得分:0)

我应该再读一点......这正是枚举的意思。枚举在Scalaz 7和Play 2中定义,但在Scalaz 6中没有定义。

枚举词用于“垂直”构图(在“垂直整合行业”的意义上),而普通迭代词以“水平”方式单独构成。