mirror of https://github.com/facebook/rocksdb.git
Foreign function interface (Panama) blog (#11760)
Summary: We did some experimental work with FFI and native memory as a potential improvement to the Java API. The work lives (unmerged) in https://github.com/facebook/rocksdb/pull/11095 This is the report text from that branch, extract as a blog post. Along with some supporting files (png, pdf of graphs). Pull Request resolved: https://github.com/facebook/rocksdb/pull/11760 Reviewed By: hx235 Differential Revision: D53943442 Pulled By: ajkr fbshipit-source-id: 7c9f800e25be22c10e736cdd3b0d65422ecfc826
This commit is contained in:
Alan Paxton
Facebook GitHub Bot
parent
ca99a8f153
commit
003197f005
|
|
@ -0,0 +1,271 @@
|
|||
---
|
||||
title: Java Foreign Function Interface
|
||||
layout: post
|
||||
author: alanpaxton
|
||||
category: blog
|
||||
---
|
||||
# Java Foreign Function Interface (FFI)
|
||||
|
||||
Java19 introduces a new [FFI Preview](https://openjdk.org/jeps/424) which is described as *an API by which Java programs can interoperate with code and data outside of the Java runtime. By efficiently invoking foreign functions (i.e., code outside the JVM), and by safely accessing foreign memory (i.e., memory not managed by the JVM), the API enables Java programs to call native libraries and process native data without the brittleness and danger of JNI*.
|
||||
|
||||
If the twin promises of efficiency and safety are realised, then using FFI as a mechanism to support a future RocksDB API may be of significant benefit.
|
||||
|
||||
- Remove the complexity of `JNI` access to `C++ RocksDB`
|
||||
- Improve RocksDB Java API performance
|
||||
- Reduce the opportunity for coding errors in the RocksDB Java API
|
||||
|
||||
## Process
|
||||
|
||||
We have
|
||||
|
||||
- created a prototype FFI branch
|
||||
- updated the RocksDB Java build to use Java 19
|
||||
- implemented an `FFI Preview API` version of core RocksDB feature (`get()`)
|
||||
- Extended the current JMH benchmarks to also benchmark the new FFI methods. Usefully, JNI and FFI can co-exist peacefully, so we use the existing RocksDB Java to do support work around the FFI-based `get()` implementation.
|
||||
|
||||
## Implementation
|
||||
|
||||
### How JNI Works
|
||||
|
||||
`JNI` requires a preprocessing step during build/compilation to generate header files which are linked into by Pure Java code. `C++` implementations of the methods in the headers are implemented. Corresponding `native` methods are declared in Java and the whole is linked together.
|
||||
|
||||
Code in the `C++` methods uses what amounts to a `JNI` library to access Java values and objects and to create Java objects in response.
|
||||
|
||||
### How FFI Works
|
||||
|
||||
`FFI` provides the facility for Java to call existing native (in our case C++) code from Pure Java without having to generate support files during compilation steps. `FFI` does support an external tool (`jextract`) which makes generating common boilerplate easier and less error prone, but we choose to start prototyping without it, in part better to understand how things really work.
|
||||
|
||||
`FFI` does its job by providing 2 things
|
||||
1. A model for allocating, reading and writing native memory and native structures within that memory
|
||||
2. A model for discovering and calling native methods with parameters consisting of native memory references and/or values
|
||||
|
||||
The called `C++` is invoked entirely natively. It does not have to access any Java objects to retrieve data it needs. Therefore existing packages in `C++` and other sufficiently low level languages can be called from `Java` without having to implement stubs in the `C++`.
|
||||
|
||||
### Our Approach
|
||||
|
||||
While we could in principle avoid writing any C++, C++ objects and classes are not easily defined in the FFI model, so to begin with it is easier to write some very simple `C`-like methods/stubs in C++ which can immediately call into the object-oriented core of RocksDB. We define structures with which to pass parameters to and receive results from the `C`-like method(s) we implement.
|
||||
|
||||
#### `C++` Side
|
||||
|
||||
The first method we implement is
|
||||
```C
|
||||
extern "C" int rocksdb_ffi_get_pinnable(
|
||||
ROCKSDB_NAMESPACE::DB* db, ROCKSDB_NAMESPACE::ReadOptions* read_options,
|
||||
ROCKSDB_NAMESPACE::ColumnFamilyHandle* cf, rocksdb_input_slice_t* key,
|
||||
rocksdb_pinnable_slice_t* value);
|
||||
```
|
||||
our input structure is
|
||||
```C
|
||||
typedef struct rocksdb_input_slice {
|
||||
const char* data;
|
||||
size_t size;
|
||||
} rocksdb_input_slice_t;
|
||||
```
|
||||
and our output structure is a pinnable slice (of which more later)
|
||||
```C
|
||||
typedef struct rocksdb_pinnable_slice {
|
||||
const char* data;
|
||||
size_t size;
|
||||
ROCKSDB_NAMESPACE::PinnableSlice* pinnable_slice;
|
||||
bool is_pinned;
|
||||
} rocksdb_pinnable_slice_t;
|
||||
```
|
||||
|
||||
#### `Java` Side
|
||||
|
||||
We implement an `FFIMethod` class to advertise a `java.lang.invoke.MethodHandle` for each of our helper stubs
|
||||
|
||||
```java
|
||||
public static MethodHandle GetPinnable; // handle which refers to the rocksdb_ffi_get_pinnable method in C++
|
||||
public static MethodHandle ResetPinnable; // handle which refers to the rocksdb_ffi_reset_pinnable method in C++
|
||||
```
|
||||
We also implement an `FFILayout` class to describe each of the passed structures (`rocksdb_input_slice` , `rocksdb_pinnable_slice` and `rocksdb_output_slice`) in `Java` terms
|
||||
|
||||
```java
|
||||
public static class InputSlice {
|
||||
static final GroupLayout Layout = ...
|
||||
static final VarHandle Data = ...
|
||||
static final VarHandle Size = ...
|
||||
};
|
||||
|
||||
public static class PinnableSlice {
|
||||
static final GroupLayout Layout = ...
|
||||
static final VarHandle Data = ...
|
||||
static final VarHandle Size = ...
|
||||
static final VarHandle IsPinned = ...
|
||||
};
|
||||
|
||||
public static class OutputSlice {
|
||||
static final GroupLayout Layout = ...
|
||||
static final VarHandle Data = ...
|
||||
static final VarHandle Size = ...
|
||||
};
|
||||
```
|
||||
|
||||
The `FFIDB` class, which implements the public Java FFI API methods, makes use of `FFIMethod` and `FFILayout` to make the code for each individual method as idiomatic and efficient as possible. This class also contains `java.lang.foreign.MemorySession` and `java.lang.foreign.SegmentAllocator` objects which control the lifetime of native memory sessions and allow us to allocate lifetime-limited native memory which can be written and read by Java, and passed to native methods.
|
||||
|
||||
At the user level, we then present a method which wraps the details of use of `FFIMethod` and `FFILayout` to implement our single, core Java API `get()` method
|
||||
|
||||
```java
|
||||
public GetPinnableSlice getPinnableSlice(final ReadOptions readOptions,
|
||||
final ColumnFamilyHandle columnFamilyHandle, final MemorySegment keySegment,
|
||||
final GetParams getParams)
|
||||
```
|
||||
|
||||
The flow of implementation of `getPinnableSlice()`, in common with any other core RocksDB FFI API method becomes:
|
||||
1. Allocate `MemorySegment`s for `C++` structures using `Layout`s from `FFILayout`
|
||||
2. Write to the allocated structures using `VarHandle`s from `FFILayout`
|
||||
3. Invoke the native method using the `MethodHandle` from `FFIMethod` and addresses of instantiated `MemorySegment`s, or value types, as parameters
|
||||
4. Read the call result and the output parameter(s), again using `VarHandle`s from `FFILayout` to perform the mapping.
|
||||
|
||||
For the `getPinnableSlice()` method, on successful return from an invocation of `rocksdb_ffi_get()`, the `PinnableSlice` object will contain the `data` and `size` fields of a pinnable slice (see below) containing the requested value. A `MemorySegment` referring to the native memory of the pinnable slice is then constructed, and used by the client to retrieve the value in whatever fashion they choose.
|
||||
|
||||
### Pinnable Slices
|
||||
|
||||
RocksDB offers core (C++) API methods using the concept of a [`PinnableSlice`](http://rocksdb.org/blog/2017/08/24/pinnableslice.html) to return fetched data values while reducing copies to a minimum. We take advantage of this to base our central `get()` method(s) on `PinnableSlice`s. Methods mirroring the existing `JNI`-based API can then be implemented in pure Java by wrapping the core `getPinnableSlice()`.
|
||||
|
||||
So we implement
|
||||
```java
|
||||
public record GetPinnableSlice(Status.Code code, Optional<FFIPinnableSlice> pinnableSlice) {}
|
||||
|
||||
public GetPinnableSlice getPinnableSlice(
|
||||
final ColumnFamilyHandle columnFamilyHandle, final byte[] key)
|
||||
```
|
||||
and we wrap that to provide
|
||||
```java
|
||||
public record GetBytes(Status.Code code, byte[] value, long size) {}
|
||||
|
||||
public GetBytes get(final ColumnFamilyHandle columnFamilyHandle, final byte[] key)
|
||||
```
|
||||
|
||||
## Benchmark Results
|
||||
|
||||
We extended existing RocksDB Java JNI benchmarks with new benchmarks based on FFI. Full benchmark run on Ubuntu, including new benchmarks.
|
||||
|
||||
```bash
|
||||
java --enable-preview --enable-native-access=ALL-UNNAMED -jar target/rocksdbjni-jmh-1.0-SNAPSHOT-benchmarks.jar -p keyCount=100000 -p keySize=128 -p valueSize=4096,65536 -p columnFamilyTestType="no_column_family" -rf csv org.rocksdb.jmh.GetBenchmarks
|
||||
```
|
||||
|
||||
[Results](./jmh/plot/jmh-result.csv, ./jmh/plot/jmh-result-fixed2.csv)
|
||||
|
||||
|
||||
|
||||
### Discussion
|
||||
|
||||
We have plotted the performance (more operations is better) of a selection of benchmarks,
|
||||
```bash
|
||||
q "select Benchmark,Score from ./plot/jmh-result-fixed.csv where \"Param: keyCount\"=100000 and \"Param: valueSize\"=65536 -d, -H
|
||||
```
|
||||
|
||||
- JNI versions of benchmarks are previously implemented `jmh` benchmarks for measuring the performance of the current RocksDB Java interface.
|
||||
- FFI versions of benchmarks are equivalent benchmarks (as far as possible) implemented using the FFI mechanisms.
|
||||
|
||||
We can see that for all benchmarks which have equivalent FFI and JNI pairs, the JNI version is only very marginally faster. FFI has successfully optimized away most of the extra safety-checking of the new invocation mechanism.
|
||||
|
||||
Our initial implementation of FFI benchmarks lagged the JNI benchmarks quite significantly, but we have received extremely helpful support from Maurizio Cimadamore of the Panama Dev team, to help us optimize the performance of our FFI implementation. We consider that the small remaining performance gap is a feature of the remaining extra bounds checking of FFI.
|
||||
|
||||
For basic `get()` the result buffer is allocated by the method, so that there is a cost of allocation associated with each request.
|
||||
- `ffiGet` vs `get`
|
||||
- The JNI version is very marginally faster than FFI
|
||||
|
||||
For preallocated `get()` where the result buffer is supplied to the method, we avoid an allocation of a fresh result buffer on each call, and the test recycles its result buffers. Then the same small difference persists
|
||||
- JNI is very marginally faster than FFI
|
||||
- `preallocatedGet()` is a lot faster than basic `get()`
|
||||
|
||||
We implemented some methods where the key for the `get()` is randomized, so that any ordering effects can be accounted for. The same differences persisted.
|
||||
|
||||
The FFI interface gives us a natural way to expose RocksDB's [pinnable slice](http://rocksdb.org/blog/2017/08/24/pinnableslice.html) mechanism. When we provide a benchmark which accesses the raw `PinnableSlice` API, as expected this is the fastest method of any; however we are not comparing like with like:
|
||||
- `ffiGetPinnableSlice()` returns a handle to the RocksDB memory containing the slice, and presents that as an FFI `MemorySegment`. No copying of the memory in the segment occurs.
|
||||
|
||||
As noted above, we implement the new FFI-based `get()` methods using the new FFI-based `getPinnableSlice()` method, and copying out the result. So the `ffiGet` and `ffiPreallocatedGet` benchmarks use this mechanism underneath.
|
||||
|
||||
In an effort to discover whether using the Java APIs to copy from the pinnable slice backed `MemorySegment` was a problem, we implemented a separate `ffiGetOutputSlice()` benchmark which copies the result into a (Java allocated native memory) segment at the C++ side.
|
||||
- `ffiGetOutputSlice()` is faster than `ffiPreallocatedGet()` and is in fact at least as fast as `preallocatedGet()`, which is an almost exact analogue in the JNI world.
|
||||
|
||||
So it appears that we can build an FFI-based API with equal performance to the JNI-based one.
|
||||
|
||||
Thinking about the (very small, but probably statistically significant) difference between our `ffiGetPinnableSlice()`-based FFI calls and the JNI-based calls, it is reasonable to expect that some of the cost is the extra FFI call to C++ to release the pinned slice as a separate operation. A null FFI method call is extremely fast, but it does take some time.
|
||||
|
||||
- We would recommend looking again the performance of the FFI-based implementation when Panama is release post-Preview in Java 21. It seems that at least with Java 20 the performance is of our FFI benchmarks is not significantly different from that of the Java 19 version.
|
||||
|
||||
### Copies versus Calls
|
||||
|
||||
The second method call over the FFI boundary to release a pinnable slice has a cost. We compared the `ffiGetOutputSlice()` and `ffiGetPinnableSlice()` benchmarks in order to examine this cost. We ran it with a fixed ky size (128 bytes); the key size is likely to be pretty much irrelevant anyway; we varied the value size read from 16 bytes to 16k, and we found a crossover point between 1k and 4k for performance:
|
||||
|
||||
|
||||
|
||||
- `ffiGetOutputSlice()` is faster when values read are 1k in size or smaller. The cost of an extra copy in the C++ side from the pinnable slice buffer into the supplied buffer allocated by Java Foreign Memory API is less than the cost of the extra call to release a pinnable slice.
|
||||
- `ffiGetPinnableSlice()` is faster when values read are 4k in size, or larger. Consistent with intuition, the advantage grows with larger read values.
|
||||
|
||||
The way that the RocksDB API is constructed means that of the 2 methods compared, `ffiGetOutputSlice()` will always make exactly 1 more copy than `ffiGetPinnableSlice()`. The underlying RocksDB C++ API will always copy into its own temporary buffer if it decides that it cannot pin an internal buffer, and that will be returned as the pinnable slice. There is a potential optimization where the temporary buffer could be replaced by an output buffer, such as that supplied by `ffiGetOutputSlice()`; in practice that is a hard fix to hack in. Its effectiveness depends on how often RocksDB fails to pin an internal buffer.
|
||||
|
||||
A solution which either filled a buffer *or* returned a pinnable slice would give us the best of both worlds.
|
||||
|
||||
## Other Conclusions
|
||||
|
||||
### Build Processing
|
||||
|
||||
- It is easier to implement an interface using FFI than JNI. No intermediate build processing or code generation steps were needed to implement this protoype.
|
||||
|
||||
- For a production version, we would urge using `jextract` to automate the process of generating Java API methods from the set of supporting stubs we generate.
|
||||
|
||||
### Safety
|
||||
|
||||
- The use of `jextract` will give a similar level of type security to the use of JNI, when crossing the language boundary. But we do not believe FFI is significantly more type-safe than JNI for method invocation. Neither is it less safe, though.
|
||||
|
||||
### Native Memory
|
||||
|
||||
Panama's *Foreign-Memory Access API* appears to us to be the most significant part of the whole project. At the `Java` side of RocksDB it gives us a clean mechanism (a `MemorySegment`) for holding RocksDB data (e.g. as from the result of a `get()`) call pending its forwarding to client code or network buffers.
|
||||
|
||||
We have taken advantage of this mechanism to provide the core `FFIDB.getPinnableSlice()` method in our Panama-based API. The rest of our prototype `get()` API, duplicating the existing *JNI*-based API, is then a *Pure Java* library on top of `FFIDB.getPinnableSlice()` and `FFIPinnableSlice.reset()`.
|
||||
|
||||
The common standard for foreign memory opens up the possibility of efficient interoperation between RocksDB and Java clients (e.g. Kafka). We think that this is really the key to higher performing, more integrated Java-based systems:
|
||||
- This could result in data never being copied into Java memory, or a significant reduction in copies, as native `MemorySegment`s are handed off between co-operating Java clients of fundamentally native APIs. This extra potential performance can be extremely useful when 2 or more clients are interoperating; we still need to provide a simplest possible API wrapping these calls (like our prototype `get()`), which operates at a similar level to the current Java API.
|
||||
- Some thought should be applied to how this architecture would interact with the cache layer(s) in RocksDB, and whether it can be accommodated within the present RocksDB architecture. How long can 3rd-party applications *pin* pages in the RocksDB cache without disrupting RocksDB normal behaviour (e.g. compaction) ?
|
||||
|
||||
## Summary
|
||||
|
||||
1. Panama/FFI (in [Preview](https://openjdk.org/jeps/424)) is a highly capable technology for (re)building the RocksDB Java API, although the supported language level of RocksDB and the planned release schedule for Panama mean that it could not replace JNI in production for some time to come.
|
||||
2. Panama/FFI would seem to offer comparable performance to JNI; there is no strong performance argument *for* a re-implementation of a standalone RocksDB Java API. But the opportunity to provide a natural pinnable slice-based API gives a lot of flexibility; not least because an efficient API could be built mostly in Java with only a small underlying layer implementing the pinnable slice interface.
|
||||
3. Panama/FFI can remove some boilerplate (native method declarations) and allow Java programs to access `C` libraries without stub code, but calling a `C++`-based library still requires `C` stubs; a possible approach would be to use the RocksDB `C` API as the basis for a rebuilt Java API. This would allow us to remove all the existing JNI boilerplate, and concentrate support effort on the `C` API. An alternative approach would be to build a robust API based on [Reference Counting](https://github.com/facebook/rocksdb/pull/10736), but using FFI.
|
||||
4. Panama/FFI really shines as a foreign memory standard for a Java API that can allow efficient interoperation between RocksDB Java clients and other (Java and native) components of a system. Foreign Memory gives us a model for how to efficiently return data from RocksDB; as pinnable slices with their contents presented in `MemorySegment`s. If we focus on designing an API *for native interoperability* we think this can be highly productive in opening RocksDB to new uses and opportunities in future.
|
||||
|
||||
## Appendix
|
||||
|
||||
### Running
|
||||
|
||||
Edit this to give you what you want...
|
||||
```bash
|
||||
java --enable-preview --enable-native-access=ALL-UNNAMED -jar target/rocksdbjni-jmh-1.0-SNAPSHOT-benchmarks.jar -p keyCount=100000 -p keySize=128 -p valueSize=4096,65536 -p columnFamilyTestType="no_column_family" -rf csv org.rocksdb.jmh.GetBenchmarks -wi 1 -to 1m -i 1
|
||||
```
|
||||
|
||||
### Processing
|
||||
|
||||
Use [`q`](http://harelba.github.io/q/) to select the csv output for analysis and graphing.
|
||||
|
||||
- Note that we edited the column headings for easier processing
|
||||
|
||||
```bash
|
||||
q "select Benchmark,Score,Error from ./plot/jmh-result.csv where keyCount=100000 and valueSize=65536" -d, -H -C readwrite
|
||||
```
|
||||
|
||||
### Java 19 installation
|
||||
|
||||
I followed the instructions to install [Azul](https://docs.azul.com/core/zulu-openjdk/install/debian). Then you still need to pick the right java locally:
|
||||
```bash
|
||||
sudo update-alternatives --config java
|
||||
sudo update-alternatives --config javac
|
||||
```
|
||||
And set `JAVA_HOME` appropriately. In my case, `sudo update-alternatives --config java` listed a few JVMs thus:
|
||||
```
|
||||
0 /usr/lib/jvm/bellsoft-java8-full-amd64/bin/java 20803123 auto mode
|
||||
1 /usr/lib/jvm/bellsoft-java8-full-amd64/bin/java 20803123 manual mode
|
||||
2 /usr/lib/jvm/java-11-openjdk-amd64/bin/java 1111 manual mode
|
||||
* 3 /usr/lib/jvm/zulu19/bin/java 2193001 manual mode
|
||||
```
|
||||
so I did this:
|
||||
```bash
|
||||
export JAVA_HOME=/usr/lib/jvm/zulu19
|
||||
```
|
||||
|
||||
The default maven on ubuntu (3.6.3) is incompatible with Java 19. You will need to install a later [Maven](https://maven.apache.org/install.html), and use it. I used `3.8.7` successfully.
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 12 KiB |
Binary file not shown.
Binary file not shown.
|
After Width: | Height: | Size: 15 KiB |
Loading…
Reference in New Issue