-
-
Notifications
You must be signed in to change notification settings - Fork 2
Metrics and Objective Functions
Andrew Johnson edited this page Jan 29, 2024
·
13 revisions
The compiler chooses from among equivalent candidate functions and data to minimize the final objective metric.
Metrics are integer tuples. Zero is the perfect score.
0 < 1 < (1 1) < (1 (0 2))
A single expression may yield multiple metrics such as memory pressure or cpu pressure.
cpu( e ) = (2,34,(5,67))
memory( e ) = (8,(9,1011))
Objective functions are optimization goals that can be tweaked and weighted.
Goal: min( 0.8 * cpu(program) + 0.2 * memory(program) )
The λ☶ source code and documentation are released under the terms of the attached permissive MIT license. This license is intended only to protect the future development of the project while otherwise allowing people to use the code and IP as they would like. Please, just be nice.