BitFunnel / NativeJIT
- вторник, 6 сентября 2016 г. в 03:14:48
C++
Open sourcing a JIT. Documentation not yet ready for public consumption
NativeJIT is an open-source cross-platform library for high-performance just-in-time compilation of expressions involving C data structures. The compiler is light weight and fast and it takes no dependencies beyond the standard C++ runtime. It runs on Linux, OSX, and Windows. The generated code is optimized with particular attention paid to register allocation.
The compiler was developed by the Bing team for use in the Bing search engine. One important use is scoring documents containing keywords that match a user's query. The scoring process attempts to gauge how well each document matches the user's intent, and as such, depends on the specifics of how each query was phrased. Bing formulates a custom expression for each query and then uses NativeJIT to compile the expression into x64 code that will be run on a large set of candidate documents spread across a cluster of machines.
We knew from the get go that throughput and latency would be essential when processing queries at scale, so we put a lot of effort in to making NativeJIT run fast.
Our design point was scenarios where
Here's trivial "Hello, world" level example that computes the area of a circle:
#include "NativeJIT/CodeGen/ExecutionBuffer.h"
#include "NativeJIT/CodeGen/FunctionBuffer.h"
#include "NativeJIT/Function.h"
#include "Temporary/Allocator.h"
#include <iostream>
using NativeJIT::Allocator;
using NativeJIT::ExecutionBuffer;
using NativeJIT::Function;
using NativeJIT::FunctionBuffer;
int main()
{
// Create allocator and buffers for pre-compiled and post-compiled code.
ExecutionBuffer codeAllocator(8192);
Allocator allocator(8192);
FunctionBuffer code(codeAllocator, 8192);
// Create the factory for expression nodes.
// Our area expression will take a single float parameter and return a float.
Function<float, float> expression(allocator, code);
// Multiply input parameter by itself to get radius squared.
auto & rsquared = expression.Mul(expression.GetP1(), expression.GetP1());
// Multiply by PI.
const float PI = 3.14159265358979f;
auto & area = expression.Mul(rsquared, expression.Immediate(PI));
// Compile expression into a function.
auto function = expression.Compile(area);
// Now run our expression!
float radius = 2.0;
std::cout << "The area of a circle with radius " << radius
<< " is " << function(radius);
return 0;
}
Here is the generated assembly code on Windows:
PI_CONSTANT:
db 0f 49 40 ; PI constant is stored in memory.
ENTRY_POINT:
sub rsp,8 ; Standard function prologue.
mov qword ptr [rsp],rbp ; Standard function prologue.
lea rbp,[rsp+8] ; Standard function prologue.
mulss xmm0,xmm0 ; Multiply by radius parameter by itself.
mulss xmm0,dword ptr [29E2A580000h] ; Multiply by PI.
mov rbp,qword ptr [rsp] ; Standard function epilogue.
add rsp,8 ; Standard function epilogue.
This example shows an expression that multiplies a number by itself. We also support a wide variety of arithmetic and logical operations, pointer and array operations, conditionals, accessing structure fields, and calling out to C functions. See our preliminary API docs for more information.
In order to build NativeJIT you will need CMake (2.8.11+), and a modern C++ compiler (gcc 5+, clang 3.4+, or VC 2015+). You can run CMake directly to generate the appropriate build setup for your platform. Alternately, we have some scripts that have the defaults that we use available.
For *nix platforms (including OS X),
./Configure_Make.sh
cd build-make
make
make test
If you're on Ubuntu 15+, you can install dependencies with:
sudo apt-get install clang cmake
On Ubuntu 14 and below, you'll need to install a newer version of CMake. To
install a new-enough CMake, see this link.
If you're using gcc, you'll also need to make sure you have gcc-5 (sudo apt-get install g++-5
).
To override the default compiler, set the CXX
and CC
environment variables.
For example, if you have clang-3.8 installed as clang-3.8
and are using bash:
export CXX="clang++-3.8"
export CC="clang-3.8"
Install XCode and then run the following command to install required packages using Homebrew (http://brew.sh/):
brew install cmake
NativeJIT can be built on OS X using either standard *nix makefiles or XCode.
In order to generate and build makefiles, in the root NativeJIT
directory run:
If you want to create an Xcode project instead of using Makefiles, run:
./Configure_XCode.sh
Install the following tools:
You can get the free version of Visual Studio here. Note that if you're installing Visual Studio for the first time and select the default install options, you won't get a C++ compiler. To force the install of the C++ compiler, you need to either create a new C++ project or open an existing C++ project.
In order to configure solution for Visual Studio 2015 run the following
commands from the root NativeJIT
directory:
.\Configure_MSVC.bat
From now on you can use the generated solution build-msvc\NativeJIT.sln
from Visual Studio
or build from command line using cmake
.