Skip to content

perf(builtins): optimize listToArray implementation and costing #7468

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
zeme-wana merged 11 commits into from
Dec 3, 2025
Merged

perf(builtins): optimize listToArray implementation and costing #7468

Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
d0fb0d8
perf(cost-model): optimize listToArray implementation and costing
Unisay Nov 28, 2025
dfa0aec
perf(cost-model): update listToArray CPU cost parameters
Unisay Nov 28, 2025
9e204d0
docs(cost-models): add visualization pages for array builtins
Unisay Nov 28, 2025
39c1a95
test(conformance): update listToArray budget expectations
Unisay Nov 28, 2025
ac0d673
refactor(core): add PlutusCore.Unroll module for static loop unrolling
Unisay Dec 1, 2025
13719fa
refactor(cek): use PlutusCore.Unroll in StepCounter
Unisay Dec 1, 2025
57867a6
perf(costing): use statically unrolled drop for list memoryUsage
Unisay Dec 1, 2025
16e0c85
Update CPU slope in cost models A, B, and C to improve performance es…
Unisay Dec 1, 2025
baf0499
test(conformance): update listToArray-02 budget expectation
Unisay Dec 2, 2025
5922fcf
fix(cost-models): use Nop*o pattern for overhead calculation in JS
Unisay Dec 2, 2025
7788ef1
fix(cost-models): regenerate indexArray and lengthOfArray CPU costs
Unisay Dec 2, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 27 additions & 0 deletions doc/cost-models/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,9 @@
<li><a href="unvaluedata/index.html">UnValueData</a></li>
<li><a href="valuecontains/index.html">ValueContains</a></li>
<li><a href="lookupcoin/index.html">LookupCoin</a></li>
<li><a href="listtoarray/index.html">ListToArray</a></li>
<li><a href="lengthofarray/index.html">LengthOfArray</a></li>
<li><a href="indexarray/index.html">IndexArray</a></li>
</ul>
</nav>

Expand Down Expand Up @@ -79,6 +82,30 @@ <h2>Available Visualizations</h2>
(2D visualization: Value Size vs Time)
</p>
</li>

<li>
<a href="listtoarray/index.html">ListToArray</a>
<p class="description">
Converts a Plutus list to an array representation.
(2D visualization: List Size vs Time)
</p>
</li>

<li>
<a href="lengthofarray/index.html">LengthOfArray</a>
<p class="description">
Returns the length of a Plutus array in O(1) time.
(2D visualization: Array Size vs Time - constant cost)
</p>
</li>

<li>
<a href="indexarray/index.html">IndexArray</a>
<p class="description">
Retrieves an element at a given index from a Plutus array in O(1) time.
(2D visualization: Array Size vs Time - constant cost)
</p>
</li>
</ul>
</section>

Expand Down
133 changes: 133 additions & 0 deletions doc/cost-models/indexarray/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,133 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>IndexArray - Plutus Cost Model Visualization</title>
<link rel="stylesheet" href="../shared/styles.css">
<script src="https://cdn.plot.ly/plotly-2.27.0.min.js"></script>
</head>
<body>
<nav>
<ul>
<li><a href="../index.html">Home</a></li>
<li><a href="../valuedata/index.html">ValueData</a></li>
<li><a href="../unvaluedata/index.html">UnValueData</a></li>
<li><a href="../valuecontains/index.html">ValueContains</a></li>
<li><a href="../lookupcoin/index.html">LookupCoin</a></li>
<li><a href="../listtoarray/index.html">ListToArray</a></li>
<li><a href="../lengthofarray/index.html">LengthOfArray</a></li>
<li><a href="../indexarray/index.html" class="active">IndexArray</a></li>
</ul>
</nav>

<div class="container">
<h1>IndexArray Cost Model Visualization</h1>
<p>
Interactive visualization of benchmark data and fitted cost model for the <code>IndexArray</code> builtin function.
This function retrieves an element at a given index from a Plutus array in O(1) time.
</p>

<div class="controls" id="data-source-controls">
<h3 id="data-source-toggle">Data Source Configuration</h3>
<div class="controls-content">
<div class="control-group-vertical">
<label for="branch-name">Branch name:</label>
<div class="branch-input-row">
<input type="text" id="branch-name" placeholder="master">
<button id="copy-link" title="Copy shareable link">Copy Link</button>
</div>
</div>
<div class="control-group-vertical">
<label for="csv-url">CSV file URL:</label>
<input type="text" id="csv-url" style="width: 100%; font-family: monospace;">
</div>
<div class="control-group-vertical">
<label for="json-url">JSON file URL:</label>
<input type="text" id="json-url" style="width: 100%; font-family: monospace;">
</div>
<div class="control-group">
<button id="reload-data">Load Data</button>
</div>
</div>
</div>

<div class="controls" id="plot-controls">
<h3 id="plot-controls-toggle">Plot Controls</h3>
<div class="controls-content">
<div class="control-group">
<input type="checkbox" id="show-model" checked>
<label for="show-model">Show model predictions</label>
</div>
<div class="control-group">
<label for="y-axis-mode">Y-axis range:</label>
<select id="y-axis-mode">
<option value="zero">Start from 0</option>
<option value="auto">Auto-scale from min</option>
</select>
</div>
</div>
</div>

<div class="plot-wrapper">
<div id="plot-container">
<div class="loading">Loading data and generating plot...</div>
</div>

<div class="info-panel">
<h3>Plot Information</h3>

<div class="info-section">
<dl>
<dt>X-axis:</dt>
<dd id="info-x-axis">Array Size</dd>

<dt>Y-axis:</dt>
<dd id="info-y-axis">Time (nanoseconds)</dd>

<dt>Description:</dt>
<dd id="info-description">Each point represents one benchmark run (constant time regardless of array size or index)</dd>
</dl>
</div>

<div class="info-section">
<dt>Cost Model Type:</dt>
<dd id="info-model-type">Loading...</dd>

<dt>Model Formula (net):</dt>
<dd class="formula" id="info-model-formula">Loading...</dd>

<dt>Overhead:</dt>
<dd id="info-overhead">Loading...</dd>
</div>

<div class="info-section">
<dl>
<dt>Data points:</dt>
<dd id="info-data-points">-</dd>

<dt>Array Size range:</dt>
<dd id="info-x-range">-</dd>

<dt>Time range:</dt>
<dd id="info-time-range">-</dd>
</dl>
</div>

<div class="info-section">
<dt>Data sources:</dt>
<dd><a href="https://github.com/IntersectMBO/plutus/blob/master/plutus-core/cost-model/data/benching-conway.csv" target="_blank">benching-conway.csv</a></dd>
<dd><a href="https://github.com/IntersectMBO/plutus/blob/master/plutus-core/cost-model/data/builtinCostModelC.json" target="_blank">builtinCostModelC.json</a></dd>
</div>
</div>
</div>
</div>

<footer>
<p>Plutus Cost Model Visualization | <a href="https://github.com/IntersectMBO/plutus" target="_blank">Plutus Repository</a></p>
</footer>

<script src="../shared/utils.js"></script>
<script src="plot.js"></script>
</body>
</html>
Loading