shared3p_bloom.sc

shared3p_bloom.sc

Module with bloom filter functions.

Functions:

bloomInsertMany

function for inserting into the bloom filter

Detailed Description

D - shared3p protection domain

Supported types - xor_uint32

Function Overloads

D bool bloomInsertMany(D xor_uint32[[1]] elem, D bool[[1]] filter, uint32[[1]] seed)

Parameters

elem

- the elements to add

filter

- filter data structure

seed

- seed

returns the filter data structure

None

bloomQueryMany

function for querying from the bloom filter

Detailed Description

D - shared3p protection domain

Supported types - xor_uint32

Function Overloads

D bool bloomQueryMany(D xor_uint32[[1]] elem, D bool[[1]] filter, uint32[[1]] seed)

Parameters

elem

- the elements to look for

filter

- filter data structure

seed

- seed

returns a pointwise boolean vector whether the element is in the filter (may give false positive) or not (never gives false negative)

None