News for hackers. Stuff that matters.
Re:Compiling with Constraints by LoganDark on Monday March 18, 2024 @06:50PM (#39751003)
There sort of is, but isn't that why stuff like VLIW exists? So that the compiler can optimize the hell out of the machine code, and the CPU doesn't have to do its own OoO nonsense?
Re:Compiling with Constraints by philzook on Monday March 18, 2024 @07:09PM (#39751143)
VLIW is what the Unison project (the context behind this post) was attacking. https://unison-code.github.io/ My best understanding is that exposing the details of the CPU to the compiler via a more complex ISA has not worked that well. Possibly because the compilation problem just gets too hard, but maybe also for momeentum and ecosystem reasons. I think another lesson is that it is unwise to make your isa expose microarchitecture because microarchitecture changes quite a bit between generations and inidividual CPUs. Things like delay slots seem like misfeatures now.
Re:Compiling with Constraints by gsnedders on Monday March 18, 2024 @08:20PM (#39751649)
And it's worth noting VLIW survived longer in GPUs—where there isn't any expectation of ISA stability, which avoids that problem.
Re:Compiling with Constraints by remexre on Monday March 18, 2024 @09:39PM (#39752161)
And, perhaps also relevantly, your compute kernel probably fits in iCache, even with VLIW instructions.
Re:Compiling with Constraints by LoganDark on Monday March 18, 2024 @07:12PM (#39751184)
Not to be confused with the Unison language, I guess. https://www.unison-lang.org