--- a/src/Pure/System/java_statistics.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/java_statistics.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,19 +7,16 @@
package isabelle
-object Java_Statistics
-{
+object Java_Statistics {
/* memory status */
- sealed case class Memory_Status(heap_size: Long, heap_free: Long)
- {
+ sealed case class Memory_Status(heap_size: Long, heap_free: Long) {
def heap_used: Long = (heap_size - heap_free) max 0
def heap_used_fraction: Double =
if (heap_size == 0) 0.0 else heap_used.toDouble / heap_size
}
- def memory_status(): Memory_Status =
- {
+ def memory_status(): Memory_Status = {
val heap_size = Runtime.getRuntime.totalMemory()
val heap_free = Runtime.getRuntime.freeMemory()
Memory_Status(heap_size, heap_free)
@@ -28,8 +25,7 @@
/* JVM statistics */
- def jvm_statistics(): Properties.T =
- {
+ def jvm_statistics(): Properties.T = {
val status = memory_status()
val threads = Thread.activeCount()
val workers = Isabelle_Thread.pool.getPoolSize