coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq CPU recommendations

From: Benjamin Barenblat <bbaren AT mit.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq CPU recommendations
Date: Tue, 16 Jun 2015 12:17:54 -0400
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAAXNSR0IArs4c6QAAABtQTFRF /Pv689bTLxoUpnBhGAkHkl5QWzkx////1KCWgOLzuQAAAmhJREFUOMtdkzFv2zAQhVUUjTKGBZpo LaMIWWOWAmeVEDrWZkhkbBST8CijAzNGJuzez+5RFqW0NGDD9/Hd4x3ustzjGb8yn078m+X9/D/7 D4zX/aV5GeBqAvkCvjhXWW7f3oOoO7qOUuqoe/vX41PlqJSIqL1JhhH0G0eprHhHXbV+Dz6igFZP BDaVczczyP111cU4IQHBz+W5+7rB5AOCwlB6/x5Iq2OckFNHbUrl/WvdAIxxcsSceQKouCUkAUn/ LKkOz1O8QND8mgvsD+sZlKX8urTk8JBA2Ep5u7RkNSQAKyl/LN3diGQOJ9ncn4FHxaMYzomgCGX7 PAE833YRgLECgFYPSxM/3w8E4Ogcks4+LOa/vw8gAnedBdiIYXlu7wJePjrOoBiBn8z94ejoruAa 6zmJt8XcX3DX7Iqxk8D++Kw/dxf7a62e2lKsRJ5nCfQ7roZYOH7qZp338yQGGBAEhoWc5DgpWTaC V0IGEsRRYTnUrpfZ3WOaYAQoAZxafTUqRhcSuFZQK8EieLqazL0vasGVtsCYoVprdXMuEGdOIxAC GI4jAiYSeGXmdgAApmmFAsZTqj3D6xGYso0KPm9RAAgMwWPXWlTU2Ugw3SU+lA0FL7eoUKqed7DH 60CCaajToyKBvYahAL5tusncT8+6kDsAjhMqK8ykeVL0K9lqg/tT4i9mMgnst6VsMI4gKgydCuyv JZ64ulJWSrNVc1Z8OFU0AocCXCKt6VnRB17GEK4iJtScm5aO9V1qbWRc9KhoVa23rh3BijO2kaUs o/edQoFpY0v2d4op3jWSRqcX7KM1d38BibBplv6MuqwAAAAASUVORK5CYII=

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Hi all,

Does anybody have recommendations for hardware that runs Coq especially
well? I would like Coq to run as quickly as possible using standard,
commercial off-the-shelf hardware like Intel’s i7-4790K.

I’m also curious about Coq’s CPU cache usage. When Coq runs slowly, is
it actually CPU-bound, or is it bound by RAM bandwidth?

Thanks in advance,
Benjamin
-----BEGIN PGP SIGNATURE-----

iQF8BAEBCgBmBQJVgEwyXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU73iIH/iHru9cbiHYPhtBmL577KNhg
hU4dyLHKeBbp4jocj+k5UbxMIvW1HS8QSyEVzN2RzzhSd+YHhIjE7My0qnnycRpk
VqzijnfeKl4m8IHmbi2+WhstZzVp9wWnE9+3HDc3XJV8IGYv2gyAALuy2ma43JmS
RJnqB5m+s4mvejsPCGWkIUxzlIdSi4uarC2WrkFE2vkASgObSc7mBmTLV2iqNmfT
ELaEKYHyWMwBfOGgEgAieoAf4lkz70uKNo/oIRLl53ANIR2X9RbTJboEKxZMMNUk
eu1oVXQeVKKy+mOyCmPexYTXRzl+0WIhjWdz3SO6b3f7ee9TsfwQ2V8EOjaRGSQ=
=qWuU
-----END PGP SIGNATURE-----

[Coq-Club] Coq CPU recommendations, Benjamin Barenblat, 06/16/2015
- Re: [Coq-Club] Coq CPU recommendations, Eric Mullen, 06/16/2015
  - Re: [Coq-Club] Coq CPU recommendations, Timothy Carstens, 06/16/2015
    - Re: [Coq-Club] Coq CPU recommendations, Eric Mullen, 06/16/2015
      - Re: [Coq-Club] Coq CPU recommendations, Timothy Carstens, 06/16/2015
        
        Re: [Coq-Club] Coq CPU recommendations, Adam Chlipala, 06/16/2015
  - Re: [Coq-Club] Coq CPU recommendations, George Van Treeck, 06/16/2015
    - RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/17/2015
      - RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/17/2015
        
        Re: [Coq-Club] Coq CPU recommendations, Enrico Tassi, 06/17/2015
        
        Re: [Coq-Club] Coq CPU recommendations, Matthieu Sozeau, 06/17/2015