[Agda] Agda speed in Ubuntu

Martin Escardo m.escardo at cs.bham.ac.uk
Wed Aug 28 21:45:32 CEST 2019


FYI, If one installs ghc-8.6.5 from ppa:hvr/ghc in Ubuntu 18.04, one 
gets the same type checking time as in 16.04 after reinstalling Agda. Martin

On 02/08/2019 20:17, Martin Escardo wrote:
> I accidentally discovered the following (because I booted in an old 
> partition to try to find a file, and then kept working on that partition):
> 
> A certain Agda file type checks in a core i5 Dell laptop 7th generation
> 
>   * In 70 seconds in Ubuntu 18.04 LTS
>   * In 50 seconds in Ubuntu 16.04 LTS
> 
> I couldn't believe this, and so I tested this in a core i5 HP laptop 6th 
> generation. The results where, respectively,
> 
>    * 70+delta
>    * 50+delta'
> 
> with the deltas < 3sec.
> 
> Of course we can try to blame the Intel bugs and their fixes for that. 
> But, still, both 16.04 and 18.04 are long-term support versions and are 
> supposed to incorporate the fixes.
> 
> In the four 2x2 cases, Haskell 8.0.2 and Agda 2.6.0.1 are used. Also, in 
> both cases nothing else is running in user space.
> 
> Can anybody reproduce this?
> 
> This is a significant difference: 50/70 is 70% of the time in 16.04. Way 
> faster.
> 
> Martin
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe


More information about the Agda mailing list