2012-09-27 02:00:13 +00:00
|
|
|
% Rust Foreign Function Interface Tutorial
|
|
|
|
|
|
|
|
# Introduction
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
This tutorial will use the [snappy](https://code.google.com/p/snappy/)
|
|
|
|
compression/decompression library as an introduction to writing bindings for
|
|
|
|
foreign code. Rust is currently unable to call directly into a C++ library, but
|
|
|
|
snappy includes a C interface (documented in
|
|
|
|
[`snappy-c.h`](https://code.google.com/p/snappy/source/browse/trunk/snappy-c.h)).
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The following is a minimal example of calling a foreign function which will compile if snappy is
|
|
|
|
installed:
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-01-22 03:39:45 +00:00
|
|
|
~~~~ {.xfail-test}
|
2013-05-23 20:06:29 +00:00
|
|
|
use std::libc::size_t;
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
#[link_args = "-lsnappy"]
|
|
|
|
extern {
|
|
|
|
fn snappy_max_compressed_length(source_length: size_t) -> size_t;
|
2012-09-05 18:20:04 +00:00
|
|
|
}
|
|
|
|
|
2012-12-23 07:58:27 +00:00
|
|
|
fn main() {
|
2013-04-12 03:05:06 +00:00
|
|
|
let x = unsafe { snappy_max_compressed_length(100) };
|
|
|
|
println(fmt!("max compressed length of a 100 byte buffer: %?", x));
|
2012-09-05 18:20:04 +00:00
|
|
|
}
|
|
|
|
~~~~
|
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The `extern` block is a list of function signatures in a foreign library, in this case with the
|
|
|
|
platform's C ABI. The `#[link_args]` attribute is used to instruct the linker to link against the
|
|
|
|
snappy library so the symbols are resolved.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Foreign functions are assumed to be unsafe so calls to them need to be wrapped with `unsafe {}` as a
|
|
|
|
promise to the compiler that everything contained within truly is safe. C libraries often expose
|
|
|
|
interfaces that aren't thread-safe, and almost any function that takes a pointer argument isn't
|
|
|
|
valid for all possible inputs since the pointer could be dangling, and raw pointers fall outside of
|
|
|
|
Rust's safe memory model.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
When declaring the argument types to a foreign function, the Rust compiler will not check if the
|
|
|
|
declaration is correct, so specifying it correctly is part of keeping the binding correct at
|
|
|
|
runtime.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The `extern` block can be extended to cover the entire snappy API:
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-01-22 03:39:45 +00:00
|
|
|
~~~~ {.xfail-test}
|
2013-05-23 20:06:29 +00:00
|
|
|
use std::libc::{c_int, size_t};
|
2013-04-12 03:05:06 +00:00
|
|
|
|
|
|
|
#[link_args = "-lsnappy"]
|
|
|
|
extern {
|
|
|
|
fn snappy_compress(input: *u8,
|
|
|
|
input_length: size_t,
|
|
|
|
compressed: *mut u8,
|
|
|
|
compressed_length: *mut size_t) -> c_int;
|
|
|
|
fn snappy_uncompress(compressed: *u8,
|
|
|
|
compressed_length: size_t,
|
|
|
|
uncompressed: *mut u8,
|
|
|
|
uncompressed_length: *mut size_t) -> c_int;
|
|
|
|
fn snappy_max_compressed_length(source_length: size_t) -> size_t;
|
|
|
|
fn snappy_uncompressed_length(compressed: *u8,
|
|
|
|
compressed_length: size_t,
|
|
|
|
result: *mut size_t) -> c_int;
|
|
|
|
fn snappy_validate_compressed_buffer(compressed: *u8,
|
|
|
|
compressed_length: size_t) -> c_int;
|
2012-09-05 18:20:04 +00:00
|
|
|
}
|
|
|
|
~~~~
|
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
# Creating a safe interface
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 07:14:26 +00:00
|
|
|
The raw C API needs to be wrapped to provide memory safety and make use of higher-level concepts
|
|
|
|
like vectors. A library can choose to expose only the safe, high-level interface and hide the unsafe
|
2013-04-12 03:05:06 +00:00
|
|
|
internal details.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Wrapping the functions which expect buffers involves using the `vec::raw` module to manipulate Rust
|
|
|
|
vectors as pointers to memory. Rust's vectors are guaranteed to be a contiguous block of memory. The
|
|
|
|
length is number of elements currently contained, and the capacity is the total size in elements of
|
|
|
|
the allocated memory. The length is less than or equal to the capacity.
|
|
|
|
|
|
|
|
~~~~ {.xfail-test}
|
|
|
|
pub fn validate_compressed_buffer(src: &[u8]) -> bool {
|
|
|
|
unsafe {
|
|
|
|
snappy_validate_compressed_buffer(vec::raw::to_ptr(src), src.len() as size_t) == 0
|
|
|
|
}
|
2012-09-05 18:20:04 +00:00
|
|
|
}
|
|
|
|
~~~~
|
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The `validate_compressed_buffer` wrapper above makes use of an `unsafe` block, but it makes the
|
|
|
|
guarantee that calling it is safe for all inputs by leaving off `unsafe` from the function
|
|
|
|
signature.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The `snappy_compress` and `snappy_uncompress` functions are more complex, since a buffer has to be
|
|
|
|
allocated to hold the output too.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The `snappy_max_compressed_length` function can be used to allocate a vector with the maximum
|
|
|
|
required capacity to hold the compressed output. The vector can then be passed to the
|
|
|
|
`snappy_compress` function as an output parameter. An output parameter is also passed to retrieve
|
|
|
|
the true length after compression for setting the length.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-01-22 03:39:45 +00:00
|
|
|
~~~~ {.xfail-test}
|
2013-04-12 03:05:06 +00:00
|
|
|
pub fn compress(src: &[u8]) -> ~[u8] {
|
|
|
|
unsafe {
|
|
|
|
let srclen = src.len() as size_t;
|
|
|
|
let psrc = vec::raw::to_ptr(src);
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
let mut dstlen = snappy_max_compressed_length(srclen);
|
|
|
|
let mut dst = vec::with_capacity(dstlen as uint);
|
|
|
|
let pdst = vec::raw::to_mut_ptr(dst);
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
snappy_compress(psrc, srclen, pdst, &mut dstlen);
|
|
|
|
vec::raw::set_len(&mut dst, dstlen as uint);
|
|
|
|
dst
|
|
|
|
}
|
|
|
|
}
|
|
|
|
~~~~
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Decompression is similar, because snappy stores the uncompressed size as part of the compression
|
|
|
|
format and `snappy_uncompressed_length` will retrieve the exact buffer size required.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
~~~~ {.xfail-test}
|
|
|
|
pub fn uncompress(src: &[u8]) -> Option<~[u8]> {
|
|
|
|
unsafe {
|
|
|
|
let srclen = src.len() as size_t;
|
|
|
|
let psrc = vec::raw::to_ptr(src);
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
let mut dstlen: size_t = 0;
|
|
|
|
snappy_uncompressed_length(psrc, srclen, &mut dstlen);
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
let mut dst = vec::with_capacity(dstlen as uint);
|
|
|
|
let pdst = vec::raw::to_mut_ptr(dst);
|
|
|
|
|
|
|
|
if snappy_uncompress(psrc, srclen, pdst, &mut dstlen) == 0 {
|
|
|
|
vec::raw::set_len(&mut dst, dstlen as uint);
|
|
|
|
Some(dst)
|
|
|
|
} else {
|
|
|
|
None // SNAPPY_INVALID_INPUT
|
|
|
|
}
|
2012-09-05 18:20:04 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
~~~~
|
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
For reference, the examples used here are also available as an [library on
|
|
|
|
GitHub](https://github.com/thestinger/rust-snappy).
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-26 02:08:29 +00:00
|
|
|
# Destructors
|
|
|
|
|
|
|
|
Foreign libraries often hand off ownership of resources to the calling code,
|
|
|
|
which should be wrapped in a destructor to provide safety and guarantee their
|
|
|
|
release.
|
|
|
|
|
|
|
|
A type with the same functionality as owned boxes can be implemented by
|
|
|
|
wrapping `malloc` and `free`:
|
|
|
|
|
|
|
|
~~~~
|
2013-05-25 02:35:29 +00:00
|
|
|
use std::cast;
|
2013-05-23 20:06:29 +00:00
|
|
|
use std::libc::{c_void, size_t, malloc, free};
|
2013-05-25 02:35:29 +00:00
|
|
|
use std::ptr;
|
2013-05-23 20:06:29 +00:00
|
|
|
use std::unstable::intrinsics;
|
2013-04-26 02:08:29 +00:00
|
|
|
|
|
|
|
// a wrapper around the handle returned by the foreign code
|
|
|
|
pub struct Unique<T> {
|
|
|
|
priv ptr: *mut T
|
|
|
|
}
|
|
|
|
|
2013-05-08 19:03:39 +00:00
|
|
|
pub impl<T: Owned> Unique<T> {
|
2013-04-26 02:08:29 +00:00
|
|
|
fn new(value: T) -> Unique<T> {
|
|
|
|
unsafe {
|
2013-05-23 20:06:29 +00:00
|
|
|
let ptr = malloc(std::sys::size_of::<T>() as size_t) as *mut T;
|
2013-04-26 02:08:29 +00:00
|
|
|
assert!(!ptr::is_null(ptr));
|
2013-05-05 01:53:43 +00:00
|
|
|
// `*ptr` is uninitialized, and `*ptr = value` would attempt to destroy it
|
|
|
|
intrinsics::move_val_init(&mut *ptr, value);
|
2013-04-26 02:08:29 +00:00
|
|
|
Unique{ptr: ptr}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-05-08 19:03:39 +00:00
|
|
|
// the 'r lifetime results in the same semantics as `&*x` with ~T
|
|
|
|
fn borrow<'r>(&'r self) -> &'r T {
|
|
|
|
unsafe { cast::copy_lifetime(self, &*self.ptr) }
|
2013-04-26 02:08:29 +00:00
|
|
|
}
|
|
|
|
|
2013-05-08 19:03:39 +00:00
|
|
|
// the 'r lifetime results in the same semantics as `&mut *x` with ~T
|
|
|
|
fn borrow_mut<'r>(&'r mut self) -> &'r mut T {
|
|
|
|
unsafe { cast::copy_mut_lifetime(self, &mut *self.ptr) }
|
2013-04-26 02:08:29 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unsafe_destructor]
|
|
|
|
impl<T: Owned> Drop for Unique<T> {
|
|
|
|
fn finalize(&self) {
|
|
|
|
unsafe {
|
2013-05-31 17:00:31 +00:00
|
|
|
let x = intrinsics::init(); // dummy value to swap in
|
2013-05-11 02:03:23 +00:00
|
|
|
// moving the object out is needed to call the destructor
|
2013-05-31 14:21:29 +00:00
|
|
|
ptr::replace_ptr(self.ptr, x);
|
2013-04-26 02:08:29 +00:00
|
|
|
free(self.ptr as *c_void)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// A comparison between the built-in ~ and this reimplementation
|
|
|
|
fn main() {
|
|
|
|
{
|
|
|
|
let mut x = ~5;
|
|
|
|
*x = 10;
|
|
|
|
} // `x` is freed here
|
|
|
|
|
|
|
|
{
|
|
|
|
let mut y = Unique::new(5);
|
|
|
|
*y.borrow_mut() = 10;
|
|
|
|
} // `y` is freed here
|
|
|
|
}
|
|
|
|
~~~~
|
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
# Linking
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
In addition to the `#[link_args]` attribute for explicitly passing arguments to the linker, an
|
|
|
|
`extern mod` block will pass `-lmodname` to the linker by default unless it has a `#[nolink]`
|
|
|
|
attribute applied.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
# Unsafe blocks
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Some operations, like dereferencing unsafe pointers or calling functions that have been marked
|
|
|
|
unsafe are only allowed inside unsafe blocks. Unsafe blocks isolate unsafety and are a promise to
|
|
|
|
the compiler that the unsafety does not leak out of the block.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Unsafe functions, on the other hand, advertise it to the world. An unsafe function is written like
|
|
|
|
this:
|
2012-09-05 18:20:04 +00:00
|
|
|
|
|
|
|
~~~~
|
2013-04-12 03:05:06 +00:00
|
|
|
unsafe fn kaboom(ptr: *int) -> int { *ptr }
|
2012-09-05 18:20:04 +00:00
|
|
|
~~~~
|
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
This function can only be called from an `unsafe` block or another `unsafe` function.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
# Foreign calling conventions
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Most foreign code exposes a C ABI, and Rust uses the platform's C calling convention by default when
|
|
|
|
calling foreign functions. Some foreign functions, most notably the Windows API, use other calling
|
|
|
|
conventions. Rust provides the `abi` attribute as a way to hint to the compiler which calling
|
|
|
|
convention to use:
|
2012-09-05 18:20:04 +00:00
|
|
|
|
|
|
|
~~~~
|
2013-04-12 03:05:06 +00:00
|
|
|
#[cfg(target_os = "win32")]
|
|
|
|
#[abi = "stdcall"]
|
2013-05-09 21:14:42 +00:00
|
|
|
#[link_name = "kernel32"]
|
|
|
|
extern {
|
2013-04-12 03:05:06 +00:00
|
|
|
fn SetEnvironmentVariableA(n: *u8, v: *u8) -> int;
|
2012-09-26 23:41:14 +00:00
|
|
|
}
|
2013-04-12 03:05:06 +00:00
|
|
|
~~~~
|
2012-09-26 23:41:14 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The `abi` attribute applies to a foreign module (it cannot be applied to a single function within a
|
|
|
|
module), and must be either `"cdecl"` or `"stdcall"`. The compiler may eventually support other
|
|
|
|
calling conventions.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
# Interoperability with foreign code
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Rust guarantees that the layout of a `struct` is compatible with the platform's representation in C.
|
|
|
|
A `#[packed]` attribute is available, which will lay out the struct members without padding.
|
|
|
|
However, there are currently no guarantees about the layout of an `enum`.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Rust's owned and managed boxes use non-nullable pointers as handles which point to the contained
|
2013-04-12 10:31:54 +00:00
|
|
|
object. However, they should not be manually created because they are managed by internal
|
|
|
|
allocators. Borrowed pointers can safely be assumed to be non-nullable pointers directly to the
|
|
|
|
type. However, breaking the borrow checking or mutability rules is not guaranteed to be safe, so
|
|
|
|
prefer using raw pointers (`*`) if that's needed because the compiler can't make as many assumptions
|
|
|
|
about them.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
Vectors and strings share the same basic memory layout, and utilities are available in the `vec` and
|
|
|
|
`str` modules for working with C APIs. Strings are terminated with `\0` for interoperability with C,
|
|
|
|
but it should not be assumed because a slice will not always be nul-terminated. Instead, the
|
|
|
|
`str::as_c_str` function should be used.
|
2012-09-05 18:20:04 +00:00
|
|
|
|
2013-04-12 03:05:06 +00:00
|
|
|
The standard library includes type aliases and function definitions for the C standard library in
|
|
|
|
the `libc` module, and Rust links against `libc` and `libm` by default.
|