Sujet : Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it])
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.theory comp.lang.c comp.lang.javaDate : 30. Jul 2026, 21:41:13
Autres entêtes
Message-ID : <114gct8$mn2q$3@solani.org>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:140.0) Gecko/20100101 Firefox/140.0 SeaMonkey/2.53.24
Hi,
Another choice for naming Hack, would be
to call it an intermediate format. But
this is typically used here:
The intermediate representation, or
IR for short, is an in-memory data
structure that represents executable code.
https://www.llvmpy.org/llvmpy-doc/dev/doc/llvm_concepts.html#ssa-form-and-phi-nodesSo I still like the term abstract machine,
as already used in the past by David H. D. Warren
for the famous, and in my opinion infamous:
Warren Abstract Machine 1983
https://en.wikipedia.org/wiki/Warren_Abstract_MachineMaybe you can take the term abstract machine
as a hint that it is more lower level, and
more imperative. Not something highlevel, that
is easily malleable. But abstract also captures
the notion that there is still a level further
down, making it concrete. And you find
many Prolog systems that did just that, they
compile WAM into a further instruction stream,
like x86 or whatever, for binary compiled code,
that is not interpreted WAM.
Bye
Mild Shock schrieb:
> Hi,
>
> There is Prolog compiler which spits out Hack.
> From there on your are free to develop
> and/or use any Hack realization that goes
>
> from abstract to concrete. You could
> replace the CPU backends that realize
> a Hack VM by MIPS. Shouldn't be difficult.
>
> Basically I refused to think in Huffman
> Coding (*) while designing Hack VM. On the
> other hand the MIPS architecture looks
>
> like a big Huffman mess. Already its
> initial design has 3 instructions types:
>
> Type format (bits)
> R opcode(6) rs(5) rt(5) rd(5) shamt(5) funct(6)
> I opcode(6) rs(5) rt(5) imme(16)
> J opcode(6) addr(26)
>
> While my Hack has only 1 instruction
> type, when binary encoded for Hack VM,
> the currently used design looks as follows:
>
> Type format (bits)
> AD opcode(4) mode(4) cond(4) imme(10) addr(10)
>
> But since its an abstract machine, nothing
> prevents you from translating Hack code
> into MIPS before executing it.
>
> In has far you have to distinguish Hack,
> which is specified in Prolog. And Hack VM
> which is a virtual machine, with the above
>
> instruction packing. And which has currently
> a JavaScript runtime, a Python runtime
> and a Java runtime.
>
> Bye
>
> (*)
>
https://en.wikipedia.org/wiki/Huffman_coding >
| Date | Sujet | # | | Auteur |
| 29 Jul 26 |  A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) | 39 | | Mild Shock |
| 29 Jul 26 |  Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] | 34 | | Mild Shock |
| 29 Jul 26 |  I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) | 4 | | Mild Shock |
| 4 Aug 26 |  Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) | 3 | | Mild Shock |
| 4 Aug 26 |  You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) | 2 | | Mild Shock |
| 4 Aug 26 |  How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) | 1 | | Mild Shock |
| 29 Jul 26 | Re: Postgres is in C! | 16 | | Ross Finlayson |
| 29 Jul 26 | Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) | 1 | | Mild Shock |
| 29 Jul 26 | Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) | 1 | | Mild Shock |
| 30 Jul 26 | Re: Mars, the MIPS emulator in Java | 13 | | Ross Finlayson |
| 30 Jul 26 | Re: Mars, the MIPS emulator in Java | 1 | | Ross Finlayson |
| 30 Jul 26 | Re: Mars, the MIPS emulator in Java | 11 | | Ross Finlayson |
| 30 Jul 26 | Re: Mars, the MIPS emulator in Java | 2 | | Ross Finlayson |
| 31 Jul 26 | Re: Decorum | 1 | | Ross Finlayson |
| 5 Aug 26 | Re: Mars, the MIPS emulator in Java | 8 | | Ross Finlayson |
| 5 Aug 26 | Re: Mars, the MIPS emulator in Java | 3 | | Chris M. Thomasson |
| 5 Aug 26 | Re: Mars, the MIPS emulator in Java | 2 | | Ross Finlayson |
| 5 Aug 26 | Re: Mars, the MIPS emulator in Java | 1 | | Chris M. Thomasson |
| 6 Aug 26 | Re: Mars, the MIPS emulator in Java | 3 | | Ross Finlayson |
| 7 Aug 26 | Re: Mars, the MIPS emulator in Java | 2 | | Ross Finlayson |
| 7 Aug 26 | Re: Mars, the MIPS emulator in Java | 1 | | Ross Finlayson |
| 7 Aug 26 | Re: Mars, the MIPS emulator in Java | 1 | | Ross Finlayson |
| 29 Jul 26 | Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) | 12 | | Mild Shock |
| 29 Jul 26 | A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) | 3 | | Mild Shock |
| 30 Jul 26 | Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) | 2 | | Mild Shock |
| 12 Aug 26 | Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) | 1 | | Mild Shock |
| 30 Jul 26 | I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) | 6 | | Mild Shock |
| 30 Jul 26 | For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) | 2 | | Mild Shock |
| 30 Jul 26 | Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) | 1 | | Mild Shock |
| 30 Jul 26 | MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) | 2 | | Mild Shock |
| 30 Jul 26 | Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) | 1 | | Mild Shock |
| 31 Jul 26 | Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) | 1 | | Mild Shock |
| 1 Aug 26 | RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) | 1 | | Mild Shock |
| 1 Aug 26 | Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) | 1 | | Mild Shock |
| 29 Jul 26 | Re: Postgres is in C! | 1 | | Cóilín Nioclásín Glostéir |
| 1 Aug 26 | He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) | 4 | | Mild Shock |
| 1 Aug 26 | Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) | 3 | | Mild Shock |
| 1 Aug 26 | NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) | 2 | | Mild Shock |
| 1 Aug 26 | NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) | 1 | | Mild Shock |
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal