Re: [HTCondor-users] check for cpu instruction?

[Thomas Patrick Downes <downes@xxxxxxx>]

Michael D:

What Greg means is that it is impossible for HTCondor to determine (with 100% certainty) which set of instructions will be executed in a binary given a set of input data. The more general problem is called the halting problem because the question is posed at "will the program exit?" but you can also re-pose the question as "will the program reach this particular instruction?"

It is not uncommon for compilers / authors to build binaries that detect the instruction set environment at runtime and execute different instructions on different platforms. So the mere presence of an AVX512 instruction inside a binary does not, in fact, mean it won't run on a system without AVX512.

Tom
     
    -----Original Message-----
    From: HTCondor-users [mailto:htcondor-users-bounces@xxxxxxxxxxx] On Behalf Of Michael Di Domenico
    Sent: Thursday, May 17, 2018 8:30 AM
    To: HTCondor-Users Mail List <htcondor-users@xxxxxxxxxxx>
    Subject: [External] Re: [HTCondor-users] check for cpu instruction?
    
    On Wed, May 16, 2018 at 5:33 PM, Greg Thain <gthain@xxxxxxxxxxx> wrote:
    >
    > There is no way for condor to do this.  To do this completely would 
    > require solving the halting problem, which is beyond the scope of our research.
    
    i don't understand "the halting problem".  but i agree this is a one off and probably not high on anyone's (even my) list