Probabilistic Data Structures

Latest stable Based on Bluetape4k release 1.11.0

Problem

In-memory probabilistic data structures for JVM applications. This manual connects that purpose to the current build, source entry points, tests, configuration resources, and lifecycle evidence instead of duplicating the README feature list.

When to use

Use bluetape4k-probabilistic when the application needs input contracts, value semantics, algorithmic cost, and deterministic output. Start with the source entry points below and confirm that their ownership and failure contracts match the calling component. Prefer a smaller standard-library or already-adopted module when it satisfies the same contract without another runtime boundary.

Coordinates

dependencies {
    implementation(platform("io.github.bluetape4k:bluetape4k-dependencies:<version>"))
    implementation("io.github.bluetape4k:bluetape4k-probabilistic")
}

Gradle project path: :bluetape4k-probabilistic. Source directory: utils/probabilistic.

Concepts

The first source-level concepts to inspect are BloomFilter, BloomFilterConfig, BloomFilters, BloomHasher, InMemoryBloomFilter, InMemoryMutableBloomFilter, InMemorySuspendBloomFilter, and MutableBloomFilter. File names are navigation anchors; read each declaration and its tests before treating it as a public contract.

Quick start

Add the coordinate above, refresh Gradle, and start from the smallest entry point that owns the required task. Open BloomFilter first; it is a concrete source entry point for the module.

API by task

Entry point	What to verify
`BloomFilter`	Inspect this declaration’s constructors, functions, and ownership contract.
`BloomFilterConfig`	Inspect this declaration’s constructors, functions, and ownership contract.
`BloomFilters`	Inspect this declaration’s constructors, functions, and ownership contract.
`BloomHasher`	Inspect this declaration’s constructors, functions, and ownership contract.
`InMemoryBloomFilter`	Inspect this declaration’s constructors, functions, and ownership contract.
`InMemoryMutableBloomFilter`	Inspect this declaration’s constructors, functions, and ownership contract.
`InMemorySuspendBloomFilter`	Inspect this declaration’s constructors, functions, and ownership contract.
`MutableBloomFilter`	Inspect this declaration’s constructors, functions, and ownership contract.
`SuspendBloomFilter`	Inspect this declaration’s constructors, functions, and ownership contract.

Patterns

The README evidence is organized around Gradle, Bloom Filter, Coroutine API, and Notes. Use those topics as a navigation map, then confirm behavior in source and tests. Keep adoption narrow and connect owned resources to the caller lifecycle.

Integrations

The current build declares these integration edges:

api(project(":bluetape4k-core"))
compileOnly(libs.kotlinx.coroutines.core)

Treat compileOnly edges as caller-provided capabilities and verify runtime availability before using their APIs.

Configuration

No module-level configuration resource was found under src/main/resources. Configuration is supplied through constructors, builders, function arguments, or the integrating framework; confirm defaults in source.

Failures

Failure semantics are defined by the linked entry points and tests, not inferred from the artifact name. Keep cancellation and timeout signals intact, close owned resources, and translate backend exceptions only at a boundary that can add a stable domain contract. Use the test anchors below to verify the exact behavior before adding retries or fallbacks.

Operations

Measure hot paths, bound input sizes, and monitor failures at the application boundary that calls the utility. Keep capacity, timeout, retry, and shutdown settings next to the component that owns the resource; avoid process-wide defaults that hide which caller accepted the trade-off.

Testing

Run the module test task:

./gradlew :bluetape4k-probabilistic:test --no-configuration-cache

Representative test anchors:

Workshops

No dedicated workshop path is registered in the manual manifest. Use the module README and the representative tests above as runnable evidence.

Limitations

This page documents the repository state represented by the linked source and tests. It does not turn optional backends into application defaults or claim performance without a benchmark artifact. Re-check compatibility and lifecycle notes when the module version changes.