Hi Daniel,
On Wed, Apr 03, 2019 at 03:14:49PM +0200, Daniel Vetter wrote:
On Fri, Mar 29, 2019 at 06:09:18PM -0700, Ronan KERYELL wrote:
I am adding linux-fpga@vger.kernel.org, since this is why I missed this thread in the first place...
> On Fri, 29 Mar 2019 14:56:17 +1000, Dave Airlie airlied@gmail.com said:
Hi Dave!
Dave> On Thu, 28 Mar 2019 at 10:14, Sonal Santan <sonals@xilinx.com> wrote: >>> From: Daniel Vetter [mailto:daniel.vetter@ffwll.ch][...]
>>> Note: There's no expectation for the fully optimizing compiler, >>> and we're totally ok if there's an optimizing proprietary >>> compiler and a basic open one (amd, and bunch of other >>> companies all have such dual stacks running on top of drm >>> kernel drivers). But a basic compiler that can convert basic >>> kernels into machine code is expected. >> Although the compiler is not open source the compilation flow >> lets users examine output from various stages. For example if you >> write your kernel in OpenCL/C/C++ you can view the RTL >> (Verilog/VHDL) output produced by first stage of compilation. >> Note that the compiler is really generating a custom circuit >> given a high level input which in the last phase gets synthesized >> into bitstream. Expert hardware designers can handcraft a circuit >> in RTL and feed it to the compiler. Our FPGA tools let you view >> the generated hardware design, the register map, etc. You can get >> more information about a compiled design by running XRT tool like >> xclbinutil on the generated file. >> In essence compiling for FPGAs is quite different than compiling >> for GPU/CPU/DSP. Interestingly FPGA compilers can run anywhere >> from 30 mins to a few hours to compile a testcase. Dave> So is there any open source userspace generator for what this Dave> interface provides? Is the bitstream format that gets fed into Dave> the FPGA proprietary and is it signed?Short answer:
a bitstream is an opaque content similar to various firmware handled by Linux, EFI capsules, x86 microcode, WiFi modems, etc.
there is no open-source generator for what the interface consume;
I do not know if it is signed;
it is probably similar to what Intel FPGA (not GPU) drivers provide already inside the Linux kernel and I guess there is no pure open-source way to generate their bit-stream either.
Yeah, drivers/gpu folks wouldn't ever have merged drivers/fpga, and I think there's pretty strong consensus over here that merging fpga stuff without having clear specs (in the form of an executable open source compiler/synthesizer/whatever) was a mistake.
I don't totally understand this statement. You don't go out and ask people to open source their EDA tools that are used to create the ASICs on any piece of HW (NIC, GPU, USB controller,...) out there.
FPGAs are no different.
I think you need to distinguish between the general FPGA as a means to implement a HW solution and *FPGA based devices* that implement flows such as OpenCL etc. For the latter I'm more inclined to buy the equivalence to GPUs argument.
We just had a similar huge discussions around the recently merged habanalabs driver in drivers/misc, for neural network accel. There was a proposed drivers/accel for these. gpu folks objected, Greg and Olof were happy with merging.
And the exact same arguments has come up tons of times for gpus too, with lots proposals to merge a kernel driver with just the kernel driver being open source, or just the state tracker/runtime, but most definitely not anything looking like the compiler. Because $reasons.
Conclusion was that drivers/gpu people will continue to reject these, everyone else will continue to take whatever, but just don't complain to us if it all comes crashing down :-)
Long answer:
processors, GPU and other digital circuits are designed from a lot of elementary transistors, wires, capacitors, resistors... using some very complex (and expensive) tools from some EDA companies but at the end, after months of work, they come often with a "simple" public interface, the... instruction set! So it is rather "easy" at the end to generate some instructions with a compiler such as LLVM from a description of this ISA or some reverse engineering. Note that even if the ISA is public, it is very difficult to make another efficient processor from scratch just from this ISA, so there is often no concern about making this ISA public to develop the ecosystem ;
FPGA are field-programmable gate arrays, made also from a lot of elementary transistors, wires, capacitors, resistors... but organized in billions of very low-level elementary gates, memory elements, DSP blocks, I/O blocks, clock generators, specific accelerators... directly exposed to the user and that can be programmed according to a configuration memory (the bitstream) that details how to connect each part, routing element, configuring each elemental piece of hardware. So instead of just writing instructions like on a CPU or a GPU, you need to configure each bit of the architecture in such a way it does something interesting for you. Concretely, you write some programs in RTL languages (Verilog, VHDL) or higher-level (C/C++, OpenCL, SYCL...) and you use some very complex (and expensive) tools from some EDA companies to generate the bitstream implementing an equivalent circuit with the same semantics. Since the architecture is so low level, there is a direct mapping between the configuration memory (bitstream) and the hardware architecture itself, so if it is public then it is easy to duplicate the FPGA itself and to start a new FPGA company. That is unfortunately something the existing FPGA companies do not want... ;-)
i.e. you have a use case where you absolutely need an offline compiler. Like with gpus (in some use cases), the only difference is that for gpus the latency requirement that's too high is measured in milliseconds, cause that would cause dropped frames, and worst case compiling takes seconds for some big shaders. With FPGAs it's just 1000x higher limits, same problem.
As I said above, you'd do the same thing when you design any other piece of hardware out there, except for with FPGAs you'd be able to change stuff, whereas with an ASIC your netlist gets fixed at tape-out date.
To summarize:
on a CPU & GPU, the vendor used the expensive EDA tools once already for you and provide the simpler ISA interface;
on an FPGA, you have access to a pile of low-level hardware and it is up to you to use the lengthy process of building your own computing architecture using the heavy expensive very subtle EDA tools that will run for hours or days to generate some good-enough placement for your pleasure.
There is some public documentation on-line: https://www.xilinx.com/products/silicon-devices/fpga/virtex-ultrascale-plus....
To have an idea of the elementary architecture: https://www.xilinx.com/support/documentation/user_guides/ug574-ultrascale-cl... https://www.xilinx.com/support/documentation/user_guides/ug579-ultrascale-ds... https://www.xilinx.com/support/documentation/user_guides/ug573-ultrascale-me...
Even on the configuration and the file format, but without any detailed semantics: https://www.xilinx.com/support/documentation/user_guides/ug570-ultrascale-co...
The Xilinx compiler xocc taking for example some LLVM IR and generating some bitstream is not open-source and will probably never be for the reasons above... :-(
Xilinx is open-sourcing all what can reasonably be open-sourced:
the user-level and system run-time, including the OpenCL runtime: https://github.com/Xilinx/XRT to handle the bitstreams generated by some close-source tools
the kernel device drivers which are already in https://github.com/Xilinx/XRT but we want to upstream into the Linux kernel to make life easier (this is the matter of this e-mail thread);
to generate some real code in the most (modern and) open-source way, there is an open-source framework to compile some SYCL C++ including some Xilinx FPGA-specific extensions down to SPIR LLVM IR using Clang/LLVM and to feed the close-source xocc tool with it https://github.com/triSYCL/triSYCL
You can see starting from https://github.com/triSYCL/triSYCL/blob/master/tests/Makefile#L322 how to start from C++ code, generate some SPIR LLVM IR and to feed xocc and build a fat binary that will use the XRT runtime.
Some documentation in https://github.com/triSYCL/triSYCL/blob/master/doc/architecture.rst
There are other more official ways to generate bitstream (they are called products instead of research projects like triSYCL :-) ).
We are also working on an other open-source SYCL compiler with Intel to have a better common implementation https://github.com/intel/llvm/wiki and to upstream this into Clang/LLVM.
Yeah, there's been plenty of gpu stacks with "everything open sourced that can be open sourced", except the compiler, for gpus. We didn't take those drivers either.
And I looked at the entire stack already to see what's there and what's missing.
So for Xilinx FPGA, you can see the LLVM IR as the equivalent of PTX for nVidia. But xocc is close-source for some more fundamental reasons: it would expose all the details of the FPGA. I guess this is exactly the same for Xilinx FPGA.
Yeah, neither did we merge a driver with just some IR as the "compiler", and most definitely not PTX (since that's just nv lock-in, spirv is the cross vendor solution that at least seems to have a fighting chance). We want the low level stuff (and if the high level compiler is the dumbest, least optimizing thing ever that can't run any real world workload yet, that's fine, it can be fixed). The low level stuff is what matters from an uapi perspective.
Note that probably most of the tool chains used to generate the low-level firmware for the various CPU (microcode), GPU, etc. are also close-source.
Yup. None have been successfully used to merge stuff into drivers/gpu.
Note that we're perfectly fine with closed source stacks running on top of drivers/gpu, with lots of additional secret sauce/value add/customer lock in/whatever compared to the basic open source stack. There's plenty of vendors doing that. But for the uapi review, and making sure we can at least keep the basic stack working, it needs to be the full open stack. End to end.
I guess I need to actually type that article on my blog about why exactly we're so much insisting on this, seems to become a bit an FAQ.
Cheers, Daniel
Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch
Cheers, Moritz