ferroid
ferroid is a Rust crate for generating
and parsing Snowflake and ULID identifiers.
Features
- ๐ Bit-level compatibility with major Snowflake and ULID formats
- ๐งฉ Pluggable clocks and RNGs via
TimeSourceandRandSource - ๐งต Lock-free, lock-based, and single-threaded generators
- ๐ Custom layouts via
define_snowflake_id!anddefine_ulid!macros - ๐ข Crockford base32 support with
base32feature flag
๐ฆ Supported Layouts
Snowflake
| Platform | Timestamp Bits | Machine ID Bits | Sequence Bits | Epoch |
|---|---|---|---|---|
| 41 | 10 | 12 | 2010-11-04 01:42:54.657 | |
| Discord | 42 | 10 | 12 | 2015-01-01 00:00:00.000 |
| 41 | 13 | 10 | 2011-01-01 00:00:00.000 | |
| Mastodon | 48 | 0 | 16 | 1970-01-01 00:00:00.000 |
Ulid
| Platform | Timestamp Bits | Random Bits | Epoch |
|---|---|---|---|
| ULID | 48 | 80 | 1970-01-01 00:00:00.000 |
๐ง Generator Comparison
| Snowflake Generator | Monotonic | Thread-Safe | Lock-Free | Throughput | Use Case |
|---|---|---|---|---|---|
BasicSnowflakeGenerator |
โ | โ | โ | Highest | Single-threaded or generator per thread |
LockSnowflakeGenerator |
โ | โ | โ | Medium | Fair multithreaded access |
AtomicSnowflakeGenerator |
โ | โ | โ | High | Fast concurrent generation (less fair) |
| Ulid Generator | Monotonic | Thread-Safe | Lock-Free | Throughput | Use Case |
|---|---|---|---|---|---|
BasicUlidGenerator |
โ | โ | โ | Highest | Single-threaded or generator per thread |
LockUlidGenerator |
โ | โ | โ | Medium | Fair multithreaded access |
๐ Usage
Generate an ID
Synchronous
Calling next_id() may yield Pending if the current sequence is exhausted. In
that case, you can spin, yield, or sleep depending on your environment:
Asynchronous
If you're in an async context (e.g., using Tokio or Smol), you can enable one of the following features:
async-tokioasync-smol
Custom Layouts
To define a custom layouts, use the define_* macros:
โ ๏ธ Note: All four sections (
reserved,timestamp,machine_id, andsequence) must be specified in the snowflake macro, even if a section uses 0 bits.reservedbits are always stored as zero and can be used for future expansion. Similarly, the ulid macro requries (reserved,timestamp, andrandom) fields.
Behavior
Snowflake
- If the clock advances: reset sequence to 0 โ
IdGenStatus::Ready - If the clock is unchanged: increment sequence โ
IdGenStatus::Ready - If the clock goes backward: return
IdGenStatus::Pending - If the sequence increment overflows: return
IdGenStatus::Pending
Ulid
This implementation respects monotonicity within the same millisecond in a single generator by incrementing the random portion of the ID and guarding against overflow.
- If the clock advances: generate new random โ
IdGenStatus::Ready - If the clock is unchanged: increment random โ
IdGenStatus::Ready - If the clock goes backward: return
IdGenStatus::Pending - If the random increment overflows: return
IdGenStatus::Pending
Probability of ID Collisions
When generating time-sortable IDs that use random bits, it's important to estimate the probability of collisions (i.e., two IDs being the same within the same millisecond), given your ID layout and system throughput.
Monotonic IDs with Multiple ULID Generators
If you have $g$ generators (e.g., distributed nodes), and each generator produces $k$ sequential (monotonic) IDs per millisecond by incrementing from a random starting point, the probability that any two generators produce overlapping IDs in the same millisecond is approximately:
$$P_\text{collision} \approx \frac{g(g-1)(2k-1)}{2 \cdot 2^r}$$
Where:
- $g$ = number of generators
- $k$ = number of monotonic IDs per generator per millisecond
- $r$ = number of random bits per ID
- $P_\text{collision}$ = probability of at least one collision
Note: The formula above uses the approximate (birthday bound) model, which assumes that:
- $k \ll 2r$ and $g \ll 2r$
- Each generator's range of $k$ IDs starts at a uniformly random position within the $r$-bit space
| Generators ($g$) | IDs per generator per ms ($k$) | $P_\text{collision}$ |
|---|---|---|
| 1 | 1 | $0$ (single generator; no collision possible) |
| 1 | 65,536 | $0$ (single generator; no collision possible) |
| 2 | 1 | $\displaystyle \frac{2 \times 1 \times 1}{2 \cdot 2{80}} \approx 8.27 \times 10{-25}$ |
| 2 | 65,536 | $\displaystyle \frac{2 \times 1 \times 131{,}071}{2 \cdot 2{80}} \approx 1.08 \times 10{-19}$ |
| 1,000 | 1 | $\displaystyle \frac{1{,}000 \times 999 \times 1}{2 \cdot 2{80}} \approx 4.13 \times 10{-19}$ |
| 1,000 | 65,536 | $\displaystyle \frac{1{,}000 \times 999 \times 131{,}071}{2 \cdot 2{80}} \approx 5.42 \times 10{-14}$ |
Serialize as padded string
Use .to_padded_string() or .encode() for sortable string representations:
๐ Benchmarks
Snowflake ID generation is theoretically capped by:
max IDs/sec = 2^sequence_bits ร 1000ms
For example, Twitter-style IDs (12 sequence bits) allow:
4096 IDs/ms ร 1000 ms/sec = ~4M IDs/sec
To benchmark this, we generate IDs in chunks of 4096, which aligns with the sequence limit per millisecond in Snowflake layouts. For ULIDs, we use the same chunk size for consistency, but this number does not represent a hard throughput cap - ULID generation is probabilistic: monotonicity within the same millisecond increments the random bit value. Chunking here primarily serves to keep the benchmark code consistent.
Async benchmarks are tricky because a single generator's performance is affected by task scheduling, which is not predictable and whose scheduler typically has a resolution of 1 millisecond. By the time a task is scheduled to execute (i.e., generate an ID), a millisecond may have already passed, potentially resetting any sequence counter or monotonic increment - thus, never truly testing the hot path. To mitigate this, async tests measure maximum throughput: each task generates a batch of IDs and may await on any of them. This approach offsets idle time on one generator with active work on another, yielding more representative throughput numbers.
Snowflake:
- Sync: Benchmarks the hot path without yielding to the clock.
- Async: Also uses 4096-ID batches, but may yield (sequence exhaustion/CAS failure) or await due to task scheduling, reducing throughput.
ULID:
- Sync & Async: Uses the same 4096-ID batches. Due to random number generation, monotonic increments may overflow randomly, reflecting real-world behavior. In general, it is rare for ULIDs to overflow.
Tests were ran on an M1 Macbook Pro 14", 32GB, 10 cores (8 performance, 2 efficiency).
Synchronous Generators
| Generator | Time per ID | Throughput |
|---|---|---|
| BasicSnowflakeGenerator | ~2.8 ns | ~353M IDs/sec |
| LockSnowflakeGenerator | ~8.9 ns | ~111M IDs/sec |
| AtomicSnowflakeGenerator | ~3.1 ns | ~320M IDs/sec |
| BasicUlidGenerator | ~3.4 ns | ~288M IDs/sec |
| LockUlidGenerator | ~9.2 ns | ~109M IDs/sec |
Async (Tokio Runtime) - Peak throughput
| Generator | Generators | Time per ID | Throughput |
|---|---|---|---|
| LockSnowflakeGenerator | 1024 | ~1.46 ns | ~687M IDs/sec |
| AtomicSnowflakeGenerator | 1024 | ~0.86 ns | ~1.17B IDs/sec |
| LockUlidGenerator | 1024 | ~1.57 ns | ~635M IDs/sec |
Async (Smol Runtime) - Peak throughput
| Generator | Generators | Time per ID | Throughput |
|---|---|---|---|
| LockSnowflakeGenerator | 1024 | ~1.40 ns | ~710M IDs/sec |
| AtomicSnowflakeGenerator | 1024 | ~0.62 ns | ~1.61B IDs/sec |
| LockUlidGenerator | 1024 | ~1.32 ns | ~756M IDs/sec |
To run all benchmarks:
๐งช Testing
Run all tests with:
๐ License
Licensed under either of:
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.