rewritten the checkpointing model (#250)

* Updated the checkpointing system to use SimTrace. The checkpoint model can now also scale, which means the interval between checkpoints can increase or decrease over time.

* spotless kotlin

* Fixed tests

* spotless apply

1 files changed, 17 insertions, 1 deletions

diff --git a/opendc-experiments/opendc-experiments-tf20/src/main/kotlin/org/opendc/experiments/tf20/core/SimTFDevice.kt b/opendc-experiments/opendc-experiments-tf20/src/main/kotlin/org/opendc/experiments/tf20/core/SimTFDevice.kt
index b14e499c..1a99cedf 100644
--- a/opendc-experiments/opendc-experiments-tf20/src/main/kotlin/org/opendc/experiments/tf20/core/SimTFDevice.kt
+++ b/opendc-experiments/opendc-experiments-tf20/src/main/kotlin/org/opendc/experiments/tf20/core/SimTFDevice.kt
@@ -117,9 +117,25 @@ public class SimTFDevice(
                 output = null
             }
 
+            override fun makeSnapshot(now: Long) {}
+
             override fun setOffset(now: Long) {}
 
-            override fun snapshot(): SimWorkload = throw UnsupportedOperationException()
+            override fun getSnapshot(): SimWorkload = throw UnsupportedOperationException()
+
+            override fun createCheckpointModel() {}
+
+            override fun getCheckpointInterval(): Long {
+                return -1
+            }
+
+            override fun getCheckpointDuration(): Long {
+                return -1
+            }
+
+            override fun getCheckpointIntervalScaling(): Double {
+                return -1.0
+            }
 
             override fun onUpdate(
                 ctx: FlowStage,