1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
//! Bincode-based FFI API for physics SM functions.
use Deserialize;
use crateBincodeBuffer;
use cratefrom_bincode_buffer;
use crateto_bincode_buffer;
use crateFfiResult;
use crate; // Alias for clarity if needed
/// Solves the 2D advection-diffusion equation using spectral methods via bincode serialization.
///
/// The advection-diffusion equation ∂u/∂t + c·∇u = D∇²u models transport phenomena
/// combining convective transport (advection) and diffusive spreading. Spectral methods
/// use Fourier basis functions for high-order accuracy.
///
/// # Arguments
///
/// * `buffer` - A bincode-encoded buffer containing:
/// - `initial_condition`: Initial scalar field u(x,y,0) as flattened vector
/// - `config`: Configuration including:
/// - `nx`, `ny`: Grid dimensions
/// - `dx`, `dy`: Spatial steps
/// - `cx`, `cy`: Advection velocities in x and y directions
/// - `d`: Diffusion coefficient D
/// - `dt`: Time step size
/// - `steps`: Number of time steps
///
/// # Returns
///
/// A bincode-encoded buffer containing `FfiResult<Vec<f64>, String>` with
/// the final scalar field u(x,y,t) as a flattened vector.
///
/// # Safety
///
/// This function is unsafe because it receives a raw bincode buffer that must be
/// valid and properly encoded.
///
/// # Safety
///
/// This function is unsafe because it dereferences raw pointers as part of the FFI boundary.
/// The caller must ensure:
/// 1. All pointer arguments are valid and point to initialized memory.
/// 2. The memory layout of passed structures matches the expected C-ABI layout.
/// 3. Any pointers returned by this function are managed according to the API's ownership rules.
pub unsafe extern "C"