5 ms·

s/ARM/RISK-V, and you have instantly nailed a top 1% upvoted post

• redshirt 9y ago
  Problem with RISC-V is exactly what makes it strong. The lack of verified software ecosystem will keep it from being main stream for at least a decade(something that until recently has held back the Arm server market, well, that and not having a reasonable server core..fixed with the ThunderX2). The fact that you can add instructions quickly is another problem, well, that and the lack of a standardized verification suite for the ISA so that software devs know that implementations are up to spec when they write code for them. I can definitely see RISC-V accelerators taking off though, driven by a more stable x86/Arm/Power core. To me, that path for RISC-V makes a lot of sense.
  • nickik 9y ago
    > The fact that you can add instructions quickly is another problem, well, that and the lack of a standardized verification suite for the ISA so that software devs know that implementations are up to spec when they write code for them. There is a formal specification of both the ISA and the memory model. There are 2 working groups extending the formal models to the standard extensions. Plus these formal efforts there is also a working group defining a sweet of verification tests that you have to pass in order to be qualified RISC-V. The standard profile defined for Linux that will primary be used in the server space is RV65GC and most processor in this space will probably not have non-standardised extensions. I would expect a server core to have maybe vector and crypto extensions.