-
Notifications
You must be signed in to change notification settings - Fork 0
AC Int Tutorial #1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Changes from all commits
543779a
f747667
0f2484c
f8799b4
96fa399
650c395
72e06cd
b2a5c96
4fc53b4
4c81eaa
e3fc988
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,20 @@ | ||
| if(UNIX) | ||
| # Direct CMake to use dpcpp rather than the default C++ compiler/linker | ||
| set(CMAKE_CXX_COMPILER dpcpp) | ||
| else() # Windows | ||
| # Force CMake to use dpcpp rather than the default C++ compiler/linker | ||
| # (needed on Windows only) | ||
| include (CMakeForceCompiler) | ||
| CMAKE_FORCE_CXX_COMPILER (dpcpp IntelDPCPP) | ||
| include (Platform/Windows-Clang) | ||
| endif() | ||
|
|
||
| cmake_minimum_required (VERSION 3.4) | ||
|
|
||
| project(ACInt CXX) | ||
|
|
||
| set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}) | ||
| set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}) | ||
| set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}) | ||
|
|
||
| add_subdirectory (src) |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Copyright Intel Corporation | ||
|
|
||
| SPDX-License-Identifier: MIT | ||
| https://opensource.org/licenses/MIT | ||
|
|
||
| Permission is hereby granted, free of charge, to any person obtaining a copy | ||
| of this software and associated documentation files (the "Software"), to deal | ||
| in the Software without restriction, including without limitation the rights | ||
| to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | ||
| copies of the Software, and to permit persons to whom the Software is | ||
| furnished to do so, subject to the following conditions: | ||
|
|
||
| The above copyright notice and this permission notice shall be included in all | ||
| copies or substantial portions of the Software. | ||
|
|
||
| THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | ||
| IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | ||
| FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | ||
| AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | ||
| LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | ||
| OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE | ||
| SOFTWARE. | ||
|
|
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,249 @@ | ||
| # Using the Algorithmic C Integer Data-type 'ac_int' | ||
|
|
||
| This FPGA tutorial demonstrates how to use the Algorithmic C (AC) Data-type `ac_int` and some best practices. | ||
|
|
||
| ***Documentation***: The [DPC++ FPGA Code Samples Guide](https://software.intel.com/content/www/us/en/develop/articles/explore-dpcpp-through-intel-fpga-code-samples.html) helps you to navigate the samples and build your knowledge of DPC++ for FPGA. <br> | ||
| The [oneAPI DPC++ FPGA Optimization Guide](https://software.intel.com/content/www/us/en/develop/documentation/oneapi-fpga-optimization-guide) is the reference manual for targeting FPGAs through DPC++. <br> | ||
| The [oneAPI Programming Guide](https://software.intel.com/en-us/oneapi-programming-guide) is a general resource for target-independent DPC++ programming. | ||
|
|
||
| | Optimized for | Description | ||
| --- |--- | ||
| | OS | Linux* Ubuntu* 18.04/20.04, RHEL*/CentOS* 8, SUSE* 15; Windows* 10 | ||
| | Hardware | Intel® Programmable Acceleration Card (PAC) with Intel Arria® 10 GX FPGA <br> Intel® FPGA Programmable Acceleration Card (PAC) D5005 (with Intel Stratix® 10 SX) <br> Intel® FPGA 3rd party / custom platforms with oneAPI support <br> *__Note__: Intel® FPGA PAC hardware is only compatible with Ubuntu 18.04* | ||
| | Software | Intel® oneAPI DPC++ Compiler <br> Intel® FPGA Add-On for oneAPI Base Toolkit | ||
| | What you will learn | Using the `ac_int` data-type for basic operations <br> Efficiently using the left shift operation <br> Setting and reading certain bits of an `ac_int` number | ||
| | Time to complete | 20 minutes | ||
|
|
||
|
|
||
|
|
||
| ## Purpose | ||
|
|
||
| This FPGA tutorial shows how to use the `ac_int` type with some simple examples. | ||
|
|
||
| This data-type can be used in place of native integer types to generate area efficient and optimized designs for the FPGA. For example, operations which do not utilize all of the bits the native integer types are good candidates for replacement with `ac_int` type. | ||
|
|
||
|
|
||
| ### Simple Code Example | ||
|
|
||
| An `ac_int` number can be defined as follows: | ||
| ```cpp | ||
| ac_int<W, S> a; | ||
| ``` | ||
| Here W is the width and S is the sign of the number. Signed numbers use one of the W bits to store the sign information. | ||
|
|
||
| To use this type in your code, you must include the following header: | ||
|
|
||
| ```cpp | ||
| #include <sycl/ext/intel/ac_types/ac_int.hpp> | ||
| ``` | ||
| Additionally, you must use the flag `-qactypes` in order to ensure that the headers are correctly included. | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. cue the 'You didn't have to do that in HLS' complaints :) There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. You didn't have to for SYCL before either.
Owner
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. No, HLS branches are separate hence HLS is not affected. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Right. I am saying, if HLS wasn't being deprecated, it would have been updated too. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. @tyoungsc that... doesn't make it better. do you at least get a clear actionable error message if you try to use an ac-type without including
Owner
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. You'd get an include error - it will not be able to find the ac_types header. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. hmm. does the error literally say, "make sure you compile with
Owner
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Unfortunately no. But that is clearly highlighted on the first page of the AC types Documentation. Let me see what we can do to generate that error message. |
||
|
|
||
| For convenience, the following are predefined under the `ac_intN` namespace: | ||
| ``` | ||
| ac_int<N, true> are type defined as intN up to 63. | ||
| ac_int<N, false> are type defined as uintN up to 63. | ||
| ``` | ||
|
|
||
| For example, a 14 bit signed `ac_int` can be defined by using | ||
| ```cpp | ||
| ac_intN::int14 a; | ||
| ``` | ||
|
|
||
| ### Understanding the Tutorial Design | ||
|
|
||
| The tutorial consists of several functions, each of which contains a SYCL kernel that demonstrates a specific operation. The operations we will see are: | ||
| * Addition | ||
| * Division | ||
| * Multiplication | ||
| * Left shift | ||
| * Setting a bit of an `ac_int` number | ||
| * Reading a bit of an `ac_int` number | ||
|
|
||
| #### Basic Operations and Promotion Rules | ||
|
|
||
| When using `ac_int`, we can write Addition, Division, Multiplication operations to use precisely as many bits as are needed to store the results. This is demonstrated by the kernels `Add`, `Div` and `Mult`. | ||
|
|
||
| `ac_int` automatically promotes the result of all operations to the number of bits needed to represent all possible results without overflowing. For example, the addition of two 8-bit integers results in a 9-bit result to support overflow. | ||
|
|
||
| However, if the user attempts to store the result in an 8-bit container, `ac_int` will let the user do this, but this leads to the discard of the extra carry bit. The responsibility lies on the user to use the correct datatype. | ||
|
|
||
| These promotions rules are consistent across all architectures so the behavior should be equivalent on x86 or on FPGA. | ||
|
|
||
| #### Shift Operation | ||
|
|
||
| The behavior of a shift operation with an `ac_int` is slightly different from its behavior with native integer types. For full details, see the `ac_int` documentation in the file `ac_data_types_ref.pdf`. Some key points to remember are as follows: | ||
| - If the datatype of the shift amount is not explicitly `unsigned` (either using `ac_int<N, *false*>` or using the `unsigned` keyword), then the compiler will generate a more complex shifter that allows negative shifts and positive shifts. A right-shift by a negative amount is equivalent to a positive left-shift. | ||
| - Normally, you will not want to enable negative shifting, so you should use an `unsigned` datatype for the shift value to obtain a more resource efficient design. | ||
| - Shift values greater than the width of the data types are treated as a shift equal to the width of the datatype. | ||
| - The shift operation can be done more efficiently by specifying the amount to shift with the smallest possible `ac_int`. | ||
|
|
||
| For example, in the tutorial, two kernels perform the left shift operation: `ShiftLeft` and `EfficientShiftLeft`. Both operate on an 14 bits wide `ac_int`. The former stores the shift amount in an `ac_int` which is 14 bits wide and the latter stores it in an `ac_int` which is 4 bits wide. The latter will generate simpler hardware. | ||
|
|
||
| #### Bit Slice Operations | ||
|
|
||
| The kernels `GetBitSlice` and `SetBitSlice` show how to read from and write to specific bits of an `ac_int` number. Note that only static bit widths are supported with such "slice" operations. | ||
|
|
||
| For detailed documentation on the `set_slc` and `slc` APIs please see the file `ac_data_types_ref.pdf` | ||
|
|
||
| ## Key Concepts | ||
| * The `ac_int` data-type can be used to generate hardware for only as many bits as is needed by the operation as compared to native integer types which generate hardware for the entire type width. | ||
| * The left shift operation on `ac_int` can be implemented more efficiently when the amount to shift with is stored in a minimally sized ac_int``. | ||
| * The `ac_int` data-type offers functions for several useful operations including reading and writing of certain bits of an `ac_int` number. This can be very useful in creating bit masks. | ||
|
|
||
| ## License | ||
|
|
||
| Code samples are licensed under the MIT license. See | ||
| [License.txt](https://github.com/oneapi-src/oneAPI-samples/blob/master/License.txt) for details. | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. do we need a license for the ac_data_types_ref.pdf?
Owner
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Let me follow up on this. |
||
|
|
||
| ## Building the `ac_int` Tutorial | ||
|
|
||
| ### Include Files | ||
|
|
||
| The included header `dpc_common.hpp` is located at `%ONEAPI_ROOT%\dev-utilities\latest\include` on your development system. | ||
|
|
||
| ### Running Samples in DevCloud | ||
| If running a sample in the Intel DevCloud, remember that you must specify the type of compute node and whether to run in batch or interactive mode. Compiles to FPGA are only supported on fpga_compile nodes. Executing programs on FPGA hardware is only supported on fpga_runtime nodes of the appropriate type, such as fpga_runtime:arria10 or fpga_runtime:stratix10. Neither compiling nor executing programs on FPGA hardware are supported on the login nodes. For more information, see the Intel® oneAPI Base Toolkit Get Started Guide ([https://devcloud.intel.com/oneapi/documentation/base-toolkit/](https://devcloud.intel.com/oneapi/documentation/base-toolkit/)). | ||
|
|
||
| When compiling for FPGA hardware, it is recommended to increase the job timeout to 12h. | ||
|
|
||
| ### On a Linux* System | ||
|
|
||
| 1. Install the design in `build` directory from the design directory by running `cmake`: | ||
|
|
||
| ```bash | ||
| mkdir build | ||
| cd build | ||
| ``` | ||
|
|
||
| If you are compiling for the Intel® PAC with Intel Arria® 10 GX FPGA, run `cmake` using the command: | ||
|
|
||
| ```bash | ||
| cmake .. | ||
| ``` | ||
|
|
||
| Alternatively, to compile for the Intel® FPGA PAC D5005 (with Intel Stratix® 10 SX), run `cmake` using the command: | ||
|
|
||
| ```bash | ||
| cmake .. -DFPGA_BOARD=intel_s10sx_pac:pac_s10 | ||
| ``` | ||
| You can also compile for a custom FPGA platform. Ensure that the board support package is installed on your system. Then run `cmake` using the command: | ||
| ```bash | ||
| cmake .. -DFPGA_BOARD=<board-support-package>:<board-variant> | ||
| ``` | ||
|
|
||
| 2. Compile the design using the generated `Makefile`. The following four build targets are provided that match the recommended development flow: | ||
|
|
||
| * Compile and run for emulation (fast compile time, targets emulates an FPGA device) using: | ||
|
|
||
| ```bash | ||
| make fpga_emu | ||
| ``` | ||
|
|
||
| * Generate HTML optimization reports using: | ||
|
|
||
| ```bash | ||
| make report | ||
| ``` | ||
|
|
||
| * Compile and run on FPGA hardware (longer compile time, targets an FPGA device) using: | ||
|
|
||
| ```bash | ||
| make fpga | ||
| ``` | ||
|
|
||
| 3. (Optional) As the above hardware compile may take several hours to complete, FPGA precompiled binaries (compatible with Linux* Ubuntu* 18.04) can be downloaded <a href="https://iotdk.intel.com/fpga-precompiled-binaries/latest/ac_int.fpga.tar.gz" download>here</a>. | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. do we offer precompiled binaries for all the code samples? I don't recall seeing this before. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yes |
||
|
|
||
| ### On a Windows* System | ||
|
|
||
| 1. Generate the `Makefile` by running `cmake`. | ||
| ``` | ||
| mkdir build | ||
| cd build | ||
| ``` | ||
| To compile for the Intel® PAC with Intel Arria® 10 GX FPGA, run `cmake` using the command: | ||
| ``` | ||
| cmake -G "NMake Makefiles" .. | ||
| ``` | ||
| Alternatively, to compile for the Intel® FPGA PAC D5005 (with Intel Stratix® 10 SX), run `cmake` using the command: | ||
|
|
||
| ``` | ||
| cmake -G "NMake Makefiles" .. -DFPGA_BOARD=intel_s10sx_pac:pac_s10 | ||
| ``` | ||
| You can also compile for a custom FPGA platform. Ensure that the board support package is installed on your system. Then run `cmake` using the command: | ||
| ``` | ||
| cmake -G "NMake Makefiles" .. -DFPGA_BOARD=<board-support-package>:<board-variant> | ||
| ``` | ||
|
|
||
| 2. Compile the design through the generated `Makefile`. The following build targets are provided, matching the recommended development flow: | ||
|
|
||
| * Compile for emulation (fast compile time, targets emulated FPGA device): | ||
| ``` | ||
| nmake fpga_emu | ||
| ``` | ||
| * Generate the optimization report: | ||
| ``` | ||
| nmake report | ||
| ``` | ||
| * Compile for FPGA hardware (longer compile time, targets FPGA device): | ||
| ``` | ||
| nmake fpga | ||
| ``` | ||
|
|
||
| *Note:* The Intel® PAC with Intel Arria® 10 GX FPGA and Intel® FPGA PAC D5005 (with Intel Stratix® 10 SX) do not support Windows*. Compiling to FPGA hardware on Windows* requires a third-party or custom Board Support Package (BSP) with Windows* support. | ||
|
|
||
| ### In Third-Party Integrated Development Environments (IDEs) | ||
|
|
||
| You can compile and run this tutorial in the Eclipse* IDE (in Linux*) and the Visual Studio* IDE (in Windows*). | ||
| For instructions, refer to the following link: [Intel® oneAPI DPC++ FPGA Workflows on Third-Party IDEs](https://software.intel.com/en-us/articles/intel-oneapi-dpcpp-fpga-workflow-on-ide) | ||
|
|
||
| ## Examining the Reports | ||
|
|
||
| Locate the pair of `report.html` files in either: | ||
|
|
||
| * **Report-only compile**: `ac_int_report.prj` | ||
| * **FPGA hardware compile**: `ac_int.prj` | ||
|
|
||
| Navigate to the *System Viewer* report (*Views* > *System Viewer*) and step through the clusters generated for `ShiftLeft` by clicking on the cluster entires on the left hand side pane under `ShiftLeft` until you find the one that contains the left shift node (`<<`). Similarly locate the cluster containing the left shift node for `EfficientShiftLeft`. Observe that the compiler needs to generate extra logic to deal with the signedness of the b operand for the `ShiftLeft` kernel and hence generates more hardware than for the `EfficientShiftLeft` kernel. | ||
|
|
||
| ## Running the Sample | ||
|
|
||
| 1. Run the sample on the FPGA emulator (the kernel executes on the CPU): | ||
|
|
||
| ```bash | ||
| ./ac_int.fpga_emu # Linux | ||
| ac_int.fpga_emu.exe # Windows | ||
| ``` | ||
|
|
||
| 2. Run the sample on the FPGA device | ||
|
|
||
| ```bash | ||
| ./ac_int.fpga # Linux | ||
| ``` | ||
|
|
||
| ### Example of Output | ||
|
|
||
| ```txt | ||
| Arithmetic Operations: | ||
| ac_int: +1383 + +966 = +2349 | ||
| int: 1383 + 966 = 2349 | ||
| ac_int: +6249 * +966 = +6036534 | ||
| int: 6249 * 966 = 6036534 | ||
| ac_int: +2163 / +43 = +50 | ||
| int: 2163 / 43 = 50 | ||
|
|
||
| Bitwise Operations: | ||
| ac_int: +7423 << +2 = -3076 | ||
| int: 7423 << 2 = -3076 | ||
| ac_int: +6380 << 1 = -3624 | ||
| int: 6380 << 1 = -3624 | ||
| (+7373).slc<4>(5) = 6 | ||
| Running these two ops on +7373 | ||
| (+7373).set_slc(6, 10) = +7808 | ||
| a[3] = 0; a[2] = 0; a[1] = 0; a[0] = 0; | ||
| Result = +7808 | ||
| PASSED | ||
| ``` | ||
|
|
||
| ### Discussion of Results | ||
|
|
||
| `ac_int` can help minimize the generated hardware and achieve the same numerical result as standard integer types. This can be very useful when the logic does not need to utilize all of the bits provided by the standard integer type. | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,25 @@ | ||
| | ||
| Microsoft Visual Studio Solution File, Format Version 12.00 | ||
| # Visual Studio 15 | ||
| VisualStudioVersion = 15.0.28307.705 | ||
| MinimumVisualStudioVersion = 10.0.40219.1 | ||
| Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "ac_int", "ac_int.vcxproj", "{73FCAD5C-4C93-4786-B662-A7273C515E22}" | ||
| EndProject | ||
| Global | ||
| GlobalSection(SolutionConfigurationPlatforms) = preSolution | ||
| Debug|x64 = Debug|x64 | ||
| Release|x64 = Release|x64 | ||
| EndGlobalSection | ||
| GlobalSection(ProjectConfigurationPlatforms) = postSolution | ||
| {73FCAD5C-4C93-4786-B662-A7273C515E22}.Debug|x64.ActiveCfg = Debug|x64 | ||
| {73FCAD5C-4C93-4786-B662-A7273C515E22}.Debug|x64.Build.0 = Debug|x64 | ||
| {73FCAD5C-4C93-4786-B662-A7273C515E22}.Release|x64.ActiveCfg = Release|x64 | ||
| {73FCAD5C-4C93-4786-B662-A7273C515E22}.Release|x64.Build.0 = Release|x64 | ||
| EndGlobalSection | ||
| GlobalSection(SolutionProperties) = preSolution | ||
| HideSolutionNode = FALSE | ||
| EndGlobalSection | ||
| GlobalSection(ExtensibilityGlobals) = postSolution | ||
| SolutionGuid = {DE911CD1-4F98-4391-BD43-B02212357F5E} | ||
| EndGlobalSection | ||
| EndGlobal |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
How do we quantify this 'time to complete'? I think all the code samples are just 20 minutes :)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I view it as time to go through the README and observe the reports.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Correct, it is roughly "time to read to README, not including HW compile time". This is a crude estimate, but gives the reader a decent idea.