我正在使用Akka和Scala进行SAT求解器，现在它解决了MiniSAT在6分钟内在30秒内解决的问题。所以我想必须有很多优化空间。
但我是Scala，Akka和JVM的新手，我敢打赌，我可以做一些简单而微不足道的优化 - 比如调整JVM堆大小。或者也许我应该避免在Scala中有类。
我还想知道可以使用哪些工具来逐行分析Scala代码，或者至少逐个方法分析Scala代码，这样除了运行hprof之外我还可以识别代码中的热点。
Akka分析工具也很有趣。
（对不起开放性，但它也很有用，很容易使用搜索引擎搜索。它应该出现在使用Scala在JVM上优化Akka的许多搜索中。）
可以在http://github.com/roehst/akka-sat找到代码。
一些快速实施细节＆amp;注意到：