Crate vectorscan

source ·
Expand description

Wrapper for the vectorscan C regex library.

Quirks

The vectorscan library (originally hyperscan, from Intel) supports high-performance pattern matching using a subset of PCRE syntax. It was originally written for extremely low-latency network traffic monitoring, so it has some interface quirks that may be unfamiliar:

  • Vectorscan Callback API: Matches are “returned” to the user when vectorscan executes a user-provided C ABI method call, so overlapping matches and other interactive feedback with the matching engine are much easier to support compared to a synchronous method call.
  • Highly Expressive Pattern Set Matching: expression::ExpressionSet supports the full range of searching and matching operations available to individual expression::Expression instances. This is rare: most other regex engines e.g. do not support finding match offsets, but instead only which expressions in a set matched.
  • Mutable State and String Searching: Vectorscan requires the user to explicitly provide a “scratch” space with state::Scratch to each search method. This state is not very large, but most other regex engines attempt to present an interface without any mutable state, even if internally they use constructions like lazy DFAs.

Feature Flags

This library uses spack-rs to configure the build of the vectorscan codebase using spack, so it can be precise about which native dependencies it brings in:

  • "static" (default): link against vectorscan statically. Conflicts with "dynamic".
  • "dynamic": link against vectorscan dynamically. Conflicts with "static", "chimera", and "alloc". Because of spack’s caching and RPATH rewriting, the same dynamic library can be shared by every dependency of this crate.
  • "compiler" (default): whether to bring in the entire libhs library, or just libhs_runtime, which is unable to compile patterns but can deserialize them. This significantly reduces the size of the code added to the binary.
  • "chimera": whether to link against PCRE and add in extra vectorscan code to provide the chimera PCRE compatible search library. Conflicts with "dynamic" and requires "compiler".

Feature flags are also used to gate certain functionality to minimize external dependencies when not in use:

Modules

  • allocalloc
    Routines for overriding the allocators used in several components of vectorscan.
  • Compile state machines from expressions or deserialize them from bytes.
  • Errors returned by methods in this library.
  • expressioncompiler
    FFI wrappers for different types of pattern strings.
  • flagscompiler
    Integer bitsets used to configure pattern compilation.
  • Types used in vectorscan match callbacks.
  • Wrappers for types of string data which can be searched and indexed.
  • Allocate and initialize mutable scratch space required for string searching.
  • streamstream
    Higher-level wrappers to manage state needed for stream parsing.

Functions