Espresso

Espresso is a logic minimization software. Espresso takes as input a two-level representation of a two-valued (or multiple-valued) Boolean function, and produces a minimal equivalent representation. Implementation used was the same published with allocator Hoard.,

Inputs and trace's reports

We collect 4 traces of espresso's allocation when invocated with these inputs:
  1. 7 input e 10 output => report input 1
  2. 8 input ed 8 output => report input 2
  3. 24 input e 109 output => report input 3
  4. 16 input e 40 output => report input 4
You can find all MallocLab's traces for Espresso here.

Allocator's configurations

  1. BSA => Original BSA with page allocation and alternate split side (AS)
  2. TLSF => Two Level Segregate allocator
  3. BSA-- => BSA with no split or coalesce and no AS
  4. BSA++ 70 => BSA++ with no AS, popularity index threshold 70
  5. BSA++ (npa) 70 => BSA++ with no AS, no page allocatione (npa), popularity index threshold 70
  6. BSA++ AS 70 => BSA++ with AS, popularity index threshold 70
  7. BSA++ AVG 50 => BSA++ with no AS, average popularity threshold 50
  8. BSA++ AVG (npa) 50 => BSA++ with no AS, npa, average popularity threshold 50
  9. BSA++ AS AVG 50 => BSA++ with AS, npa, average popularity threshold 50
  10. BSA++ VAR 690 => BSA++ with no AS, popularity index threshold >= 15, variance popularity threshold 690
  11. BSA++ VAR (npa) 345 => BSA++ with no AS, npa, popularity index threshold >= 15, variance popularity threshold 345
  12. BSA++ VAR AS 690 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 690
Some of these allocators have been tested with different threshold: In this page we show only the winner for each type of allocator's configuration. Read BSA or BSA++ description in order to understand all features listed above.

Time

Space

Return to the main page