Re: Will WASM be fast some time? (Was: thank you for the FLOPs)

Liste des GroupesRevenir à cl prolog 
Sujet : Re: Will WASM be fast some time? (Was: thank you for the FLOPs)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 04. Mar 2025, 10:13:40
Autres entêtes
Message-ID : <vq6g84$11g3t$1@solani.org>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20
Hi,
I made a test, you can run it from here, its CORS enabled:
:- ['https://www.dogelog.ch/module/bench/suite.pl'].
:- suite.
First a WASM Prolog, showing warm run:
nrev  % 2,995,946 inferences, 1.417 CPU in 1.417 seconds
crypt  % 4,169,360 inferences, 2.776 CPU in 2.776 seconds
deriv  % 2,100,600 inferences, 1.555 CPU in 1.555 seconds
poly  % 2,088,942 inferences, 1.681 CPU in 1.681 seconds
sortq  % 3,627,136 inferences, 1.923 CPU in 1.923 seconds
tictac  % 1,013,322 inferences, 2.659 CPU in 2.659 seconds
queens  % 4,599,283 inferences, 2.496 CPU in 2.496 seconds
query  % 8,645,933 inferences, 5.189 CPU in 5.189 seconds
mtak  % 3,946,569 inferences, 1.642 CPU in 1.642 seconds
perfect  % 3,243,474 inferences, 1.498 CPU in 1.498 seconds
calc  % 3,062,293 inferences, 1.791 CPU in 1.791 seconds
https://wasm.swi-prolog.org/wasm/tinker
Then a JavaScript Prolog, showing warm run:
nrev % Zeit 1413 ms, GC 0 ms, Lips 2127790, Uhr 04.03.2025 10:00
crypt % Zeit 1204 ms, GC 0 ms, Lips 3461555, Uhr 04.03.2025 10:00
deriv % Zeit 1270 ms, GC 0 ms, Lips 3094644, Uhr 04.03.2025 10:00
poly % Zeit 1068 ms, GC 0 ms, Lips 2336682, Uhr 04.03.2025 10:00
sortq % Zeit 1595 ms, GC 0 ms, Lips 2667571, Uhr 04.03.2025 10:00
tictac % Zeit 1596 ms, GC 0 ms, Lips 1087015, Uhr 04.03.2025 10:00
queens % Zeit 1718 ms, GC 0 ms, Lips 3322441, Uhr 04.03.2025 10:00
query % Zeit 2764 ms, GC 0 ms, Lips 3132399, Uhr 04.03.2025 10:00
mtak % Zeit 2129 ms, GC 8 ms, Lips 3936434, Uhr 04.03.2025 10:00
perfect % Zeit 1415 ms, GC 0 ms, Lips 3317768, Uhr 04.03.2025 10:00
calc % Zeit 1314 ms, GC 0 ms, Lips 2922571, Uhr 04.03.2025 10:00
https://www.xlog.ch/runtab/doclet/docs/04_tutor/basic/example01/package.html
Whats the cause of the discrepancy? 32-bit? Auto-Yield?
Bye
Mild Shock schrieb:
Hi,
 I wonder wether WASM will be fast some time.
I found this paper which draws a rather dim picture,
but the paper is already a little bit old:
 Understanding the Performance of WebAssembly Application
Weihang Wang et al. - 2021
https://weihang-wang.github.io/papers/imc21.pdf
 The take away is more or less that jitted JavaScript has
same speed as WASM. With sometimes WASM more favorable
outcome for Firefox than for Chrome and Edge:
 Java Script     Chrome    Firefox    Edge
D.1 Exec. Time (ms)    45.57    48.26    63.62
M.2 Exec. Time (ms)    249.60    167.03    201.68
 WASM    Chrome    Firefox    Edge
D.1 Exec. Time (ms)    65.23    39.65    83.53
M.2 Exec. Time (ms)    233.08    345.98    192.87
 Bye

Date Sujet#  Auteur
1 Sep 24 * Holy Shit: AI is cheaper than Humans (Was: The road to Artificial Intelligence)34Mild Shock
1 Sep 24 +* AI robots from Disney (Was: Holy Shit: AI is cheaper than Humans)10Mild Shock
3 Sep 24 i`* I can't stand Mira Murati's Eyewash (Was: AI robots from Disney (Was: Holy Shit: AI is cheaper than Humans))9Mild Shock
3 Sep 24 i `* After blue, green why not start yellow (Re: I can't stand Mira Murati's Eyewash)8Mild Shock
25 Sep 24 i  `* miramurati bye bye (Re: After blue, green why not start yellow)7Mild Shock
1 Dec 24 i   +- Im memoriam Doug Lenant (1950 - 2023) (Re: miramurati bye bye)1Mild Shock
1 Dec 24 i   `* "superhumaness" excels "stackoverflow reputation" (Was: Im memoriam Doug Lenant (1950 - 2023)5Mild Shock
1 Dec 24 i    +- para-governemental institution of violence (Re: "superhumaness" excels "stackoverflow reputation")1Mild Shock
14 Mar 25 i    `* Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation")3Mild Shock
14 Mar 25 i     +- Re: Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation")1Mild Shock
19 May09:54 i     `- Splitting up the Prologue to Prolog1Mild Shock
5 Sep 24 +* Safe Superintelligence (SSI): Now they are dancing9Mild Shock
5 Sep 24 i`* Re: Safe Superintelligence (SSI): Now they are dancing8Mild Shock
9 Sep 24 i +* Salem Aleikum: Maxwella's Equations2Mild Shock
10 Sep 24 i i`- non judicium, sed latrocinium (Re: Salem Aleikum: Maxwella's Equations)1Mild Shock
13 Sep 24 i `* Internet was made for cats (Re: Safe Superintelligence (SSI): Now they are dancing)5Mild Shock
13 Sep 24 i  +* I was there, 3000 years ago (Re: Internet was made for cats)2Mild Shock
13 Sep 24 i  i`- Even Haitians are now voting for Trump (Re: I was there, 3000 years ago (Re: Internet was made for cats))1Mild Shock
17 Sep 24 i  `* supply chain attack (Was: Internet was made for cats(2Mild Shock
11 Oct 24 i   `- Polyfill Supply Chain Attack (Was: supply chain attack)1Mild Shock
15 Sep 24 `* USA is shitting its pants (Was: Holy Shit: AI is cheaper than Humans)14Mild Shock
18 Sep 24  +* scryer prolog is dead, BILAI instead? (Was: USA is shitting its pants)11Mild Shock
8 Oct 24  i+* Microsoft is plagiarizing my Invention [LLMs under the hood]2Mild Shock
8 Oct 24  ii`- Geoffrey Hinton / Nobelpreis für Physik [Re: Microsoft is plagiarizing my Invention [LLMs under the hood]]1Mild Shock
1 Dec 24  i`* thank you for the FLOPs (Was: scryer prolog is dead, BILAI instead?)8Mild Shock
24 Jan 25  i +* Is old school mode directed compilation dead? (Was: thank you for the FLOPs)5Mild Shock
24 Jan 25  i i`* Re: Is old school mode directed compilation dead? (Was: thank you for the FLOPs)4Mild Shock
25 Jan 25  i i +- format/2 doesn't agree with Trealla or SWI (Was: Is old school mode directed compilation dead?)1Mild Shock
25 Jan 25  i i `* DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?)2Mild Shock
25 Jan 25  i i  `- Re: DCG Translation with Unification Spillling (Was: Is old school mode directed compilation dead?)1Mild Shock
4 Mar 25  i `* Will WASM be fast some time? (Was: thank you for the FLOPs)2Mild Shock
4 Mar 25  i  `- Re: Will WASM be fast some time? (Was: thank you for the FLOPs)1Mild Shock
14 Nov 24  `* Book Project: WomanLogic (Re: USA is shitting its pants)2Mild Shock
14 Nov 24   `- Re: Book Project: WomanLogic (Re: USA is shitting its pants)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal