NixOS RISC-V | 235 Members | |
| NixOS on RISC-V https://wiki.nixos.org/wiki/RISC-V https://pad.lassul.us/NixOS-riscv64-linux https://github.com/orgs/NixOS/teams/risc-v | 71 Servers |
| Sender | Message | Time |
|---|---|---|
| 4 Apr 2024 | ||
| You can always build GHC with an unregisterised backend (via C), and use that to bootstrap. But that is painfully slow. There is no NCG backend and not runtime linker yet, but that's in progress. The LLVM backend "works" as of 9.6 (or 9.4 with newer llvm like in debian). | 10:39:52 | |
| 11:21:01 | ||
In reply to @skeuchel:matrix.org In my testing using an unregisterised boot GHC, it usually takes around 20 hours to natively build GHC on the JH7110 SoC. Longer if other builds are running in parallel (I've had one GHC build take ~35 hours). I can't comment on how much faster registerised via LLVM is because my registerised builds keep segfaulting... | 12:19:51 | |
| Here are my estimates On the pioneer: Unregisterised release+profiled_libs: >30h Unregisterised quick+no_profiled_libs: 18h Registerised release+profiled_libs: 12h Registerised quick+no_profiled_libs: 9h Using qemu user-mode Registerised release+profiled_libs: 8h Registerised quick+no_profiled_libs: 6h | 12:24:11 | |
| GHC is quite tricky to compile, so I'd be pleasantly surprised if Sulong were capable of handling it. Historically, using Hugs to run GHC on itself has been an option, but AFAIK Hugs doesn't support 64-bit ISAs and it also has a relatively low limit on program size that makes bootstrapping GHC even on x86 a nightmare. I don't know what it would take to support RV64GC and I haven't explored patching Hugs to raise the program size limitations. | 12:24:58 | |
| Also Hugs requires an ancient version of GCC. | 12:25:47 | |
| Looking into Sulong, apparently it's not a Haskell compiler/interpreter but an LLVM bitcode interpreter? That doesn't seem suitable for compiling GHC (Haskell code) from source. | 12:29:37 | |
| Graal and Sulong are able to produce a native image of Haskell code | 12:41:42 | |
| Graal provides two runtimes: JVM and Truffle. Sulong is the LLVM implementation on Truffle | 12:42:09 | |
| Hugs is even older than Eta, so I doubt very much it can compile any modern Haskell code at all? | 12:42:35 | |
In reply to @skeuchel:matrix.org Yeah, the multi-core interconnects are only present to connect the cores, not much more. i.e. not how 64-cores are interconnected on threadrippers/eypcs; So here, qemu-emulation on x86 will be faster tbh | 12:43:10 | |
In reply to @thefossguy:matrix.orgMost of the stuff I compile is quicker on the pioneer than user-mode emulations, so there's still something GHC-specific to it. Compiling w/o ilbnuma? Larger caches on x86? More "symbolic computations" in comparison to gcc? | 12:57:44 | |
| There's obviously a lot of moving parts to this :) | 12:58:43 | |
| What I meant to say was, you're not actually using all 64-cores on the pioneer "efficiently" because the interconnects aren't well. It's a first gen product. Impressive that they could even pull it off, a first gen product nonetheless. | 12:59:42 | |
In reply to @shalokshalom:kde.orgIt doesn't need to. It only needs to be able to interpret an old version of GHC, then the build can work its way up to a modern GHC. | 13:43:26 | |
| Yeah, true. | 14:03:45 | |
| Well then, Eta might be a choice. It has a native Haskell compiler for 7 and even some features of 8, probably better than Hugs 🤷 | 14:05:07 | |
| 15:23:24 | ||
| 16:22:35 | ||
| Redacted or Malformed Event | 18:06:30 | |
| sorry not what i meant to post | 18:06:52 | |
| i finally got a build failure that was just tests | 18:07:10 | |
| this is going to make things difficult,,, | 18:07:19 | |
| catch2-3.5.2-riscv64-linux | 18:07:20 | |
| the C910 has two classes of issues:
| 18:24:49 | |
| I can't imagine a consistent standard which would (a) rule out the use of the C910 for non-test builds (b) not rule out every other piece of hardware which exists in the past and future for the same reason | 18:25:50 | |
| The SiFive J74 cores in the Unmatched and the VF2 are pretty spec compliant AFAIK | 18:30:07 | |
| are those the ones that can't correctly handle a sfence instruction with a nonzero virtual address and get the trap PC wrong when you jump to a negative noncanonical VA? | 18:32:03 | |
| sifive is better at communicating errata in english, I'll give them that much | 18:32:36 | |
| I specifically want to avoid a policy which requires no public errata, because that will just push us towards vendors that treat all errata as trade secrets | 18:33:04 | |