Refined memory/cpu cost models for ValueData and UnValueData

plutus-benchmark/memory-analysis/data/.gitignore

@@ -0,0 +1 @@
+*.svg

plutus-benchmark/memory-analysis/data/README.md

@@ -0,0 +1 @@
+# Directory to host generated plot images locally (ignored by git)

plutus-benchmark/memory-analysis/src/Main.hs

@@ -0,0 +1,13 @@
+module Main (main) where
+
+import PlutusBenchmark.MemoryAnalysis qualified as Analysis
+
+main :: IO ()
+main = do
+  measurements <- Analysis.generateMeasurements
+  -- Validation experiments (document design decisions)
+  Analysis.analyzeValueHeapPredictors measurements
+  Analysis.analyzeDataHeapPredictors measurements
+  Analysis.analyzeStructurePreservation measurements
+  -- Production model (coefficients used in ExMemoryUsage.hs)
+  Analysis.analyzeCrossConversionModels measurements

plutus-benchmark/memory-analysis/src/PlutusBenchmark/MemoryAnalysis.hs

@@ -0,0 +1,26 @@
+{-| Memory analysis for Value/Data conversions.
+This module has been refactored into submodules for better organization. -}
+module PlutusBenchmark.MemoryAnalysis
+  ( -- * Experiments
+    generateMeasurements
+  , analyzeValueHeapPredictors
+  , analyzeDataHeapPredictors
+  , analyzeStructurePreservation
+  , analyzeCrossConversionModels
+
+    -- * Types
+  , MeasurementActual (..)
+
+    -- * Generators
+  , generateUniformValue
+  , generateWorstCaseValue
+
+    -- * Utilities
+  , countNodes
+  , countValueNodes
+  ) where
+
+import PlutusBenchmark.MemoryAnalysis.Experiments
+import PlutusBenchmark.MemoryAnalysis.Generators (generateUniformValue, generateWorstCaseValue)
+import PlutusBenchmark.MemoryAnalysis.Helpers (countNodes, countValueNodes)
+import PlutusBenchmark.MemoryAnalysis.Types (MeasurementActual (..))