Icicle Programmer's Guide
Compute APIs
ICICLE offers a variety of compute APIs, including Number Theoretic Transforms (NTT), Multi Scalar Multiplication (MSM), vector operations, Elliptic Curve NTT (ECNTT), polynomials, and more. These APIs follow a consistent structure, making it straightforward to apply the same usage patterns across different operations.
Check out all details about compute APIs here.
Common Structure of Compute APIs
Each compute API in Icicle typically involves the following components:
-
Inputs and Outputs: The data to be processed and the resulting output are passed to the API functions. These can reside either on the host (CPU) or on a device (GPU).
-
Parameters: Parameters such as the size of data to be processed are provided to control the computation.
-
Configuration Struct: A configuration struct is used to specify additional options for the computation. This struct has default values but can be customized as needed.
The configuration struct allows users to modify settings such as:
- Specifying whether inputs and outputs are on the host or device.
- Adjusting the data layout for specific optimizations.
- Passing custom options to the backend implementation through an extension mechanism, such as setting the number of CPU cores to use.
Example (C++)
#include "icicle/vec_ops.h"
// Create config struct for vector add
VecOpsConfig config = default_vec_ops_config();
// optionally modify the config struct here
// Call the API
eIcicleError err = vector_add(vec_a, vec_b, size, config, vec_res);
Where VecOpsConfig
is defined in icicle/vec_ops.h
:
struct VecOpsConfig {
icicleStreamHandle stream; /**< Stream for asynchronous execution. */
bool is_a_on_device; /**< True if `a` is on the device, false if it is not. Default value: false. */
bool is_b_on_device; /**< True if `b` is on the device, false if it is not. Default value: false. OPTIONAL. */
bool is_result_on_device; /**< If true, the output is preserved on the device, otherwise on the host. Default value: false. */
bool is_async; /**< Whether to run the vector operations asynchronously. */
ConfigExtension* ext = nullptr; /**< Backend-specific extension. */
};
This pattern is consistent across most Icicle APIs, in C++/Rust/Go, providing flexibility while maintaining a familiar structure. For NTT, MSM, and other operations, include the corresponding header and call the template APIs.
Config struct extension
In special cases, where an application wants to specify backend specific options, this is achieved with a config-extension struct. For example the CPU backend has an option regarding how many threads to use for a vector addition looks as follows:
#include "icicle/vec_ops.h"
// Create config struct for vector add
VecOpsConfig config = default_vec_ops_config();
ConfigExtension ext;
config.ext = &ext;
ext.set("n_threads", 8); // tell the CPU backend to use 8 threads
// Call the API
eIcicleError err = vector_add(vec_a, vec_b, size, config, vec_res);
This is not device-agnostic behavior, meaning such code is aware of the backend. Having said that, it is not an error to pass options to a backend that is not aware of them.
Device Abstraction
ICICLE provides a device abstraction layer that allows you to interact with different compute devices such as CPUs and GPUs seamlessly. The device abstraction ensures that your code can work across multiple hardware platforms without modification.
Device Management
- Loading Backends: Backends are loaded dynamically based on the environment configuration or a specified path.
- Setting Active Device: The active device for a thread can be set, allowing for targeted computation on a specific device.
Streams
Streams in ICICLE allow for asynchronous execution and memory operations, enabling parallelism and non-blocking execution. Streams are associated with specific devices, and you can create, destroy, and synchronize streams to manage your workflow.
For compute APIs, streams go into the config.stream
field along with the is_async=true
config flag.
Memory Management
Icicle provides functions for allocating, freeing, and managing memory across devices. Memory operations can be performed synchronously or asynchronously, depending on the use case.
Data Transfer
Data transfer between the host and devices, or between different devices, is handled through a set of APIs that ensure efficient and error-checked operations. Asynchronous operations are supported to maximize performance.
Synchronization
Synchronization ensures that all previous operations on a stream or device are completed. This is crucial when coordinating between multiple operations that depend on one another.
Additional Information
- Error Handling: Icicle uses a specific error enumeration (
eIcicleError
) to handle and return error states across its APIs. - Device Properties: You can query various properties of devices to tailor operations according to the hardware capabilities.