Hello Andrew !

In this case mean compiling with "-O3 -DNDEBUG -DWITH_SPLAYTREE" on Arm7, "-O3 -DNDEBUG -flto -march=native -ffp-contract=off -DWITH_SPLAYTREE" on x86_64 and "-O3 -DNDEBUG -flto -DWITH_SPLAYTREE" on wasm.

How are the parameters for the cut generations selected ?

Isn't strange that on wasm it's been faster than native ?

Doesn't this difference gives insight to select the parameter differently ?

Cheers !

On 22/9/20 17:56, Andrew Makhorin wrote:
On Tue, 2020-09-22 at 15:53 +0200, Domingo Alvarez Duarte wrote:
Hello again !

On an Android phone arm7 32bits Nexux-5 with chrome browser (wasm)
solving the "hashi.mod" with "--cuts" takes 98s and without it 909s,
using glpsol native compiled within termux takes 497s with "--cuts"
and
without it 925s.

What does "native" mean? Just changing, for example, optimization level
of the compiler may essentially change the set of generated cuts and
thus the solution time.


Arm7 32bits Nexus-5:

      wasm "--cuts -m hashi.mod" -> 98s

      wasm " -m hashi.mod" -> 909s

      native "--cuts -m hashi.mod" -> 497s

      native " -m hashi.mod" -> 925s


Laptop Linux 64bits I7:

      wasm "--cuts -m hashi.mod" -> 8s

      wasm " -m hashi.mod" -> 142s

      native "--cuts -m hashi.mod" -> 73s

      native " -m hashi.mod" -> 55s


On arm7 "--cuts" improves the performance in both wasm and native.

On x86_64 "--cuts" improves in wasm but degrade in native.

I hope this could give hints to improve GLPK solver performance by
inspecting the decision's criteria and eventually find a better ones.

Anyone can give any idea with this data ?

Cheers !

On 21/9/20 17:11, Andrew Makhorin wrote:
On Mon, 2020-09-21 at 16:09 +0200, Domingo Alvarez Duarte wrote:
Hello Andrew !

Are you saying that floating point calculations are more
efficient/precise in webassembly ?
No. I meant that due to floating-point computations running the same
computer program with the same data as a rule produces different
results
on different platforms.

Cheers !

On 21/9/20 15:08, Andrew Makhorin wrote:
Does someone can give a possible explanation ?
floating-point computations


Reply via email to