mirror of
https://github.com/VectorCamp/vectorscan.git
synced 2025-06-28 16:41:01 +03:00
Merge branch 'develop' into wip-isildur-g-cppcheck56
This commit is contained in:
commit
2e68780fb5
@ -1221,11 +1221,17 @@ if (NOT BUILD_STATIC_LIBS)
|
|||||||
endif ()
|
endif ()
|
||||||
|
|
||||||
add_subdirectory(util)
|
add_subdirectory(util)
|
||||||
add_subdirectory(unit)
|
|
||||||
|
|
||||||
if (EXISTS ${CMAKE_SOURCE_DIR}/tools/CMakeLists.txt)
|
option(BUILD_UNIT "Build Hyperscan unit tests (default TRUE)" TRUE)
|
||||||
|
if(BUILD_UNIT)
|
||||||
|
add_subdirectory(unit)
|
||||||
|
endif()
|
||||||
|
|
||||||
|
option(BUILD_TOOLS "Build Hyperscan tools (default TRUE)" TRUE)
|
||||||
|
if(EXISTS ${CMAKE_SOURCE_DIR}/tools/CMakeLists.txt AND BUILD_TOOLS)
|
||||||
add_subdirectory(tools)
|
add_subdirectory(tools)
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
if (EXISTS ${CMAKE_SOURCE_DIR}/chimera/CMakeLists.txt AND BUILD_CHIMERA)
|
if (EXISTS ${CMAKE_SOURCE_DIR}/chimera/CMakeLists.txt AND BUILD_CHIMERA)
|
||||||
add_subdirectory(chimera)
|
add_subdirectory(chimera)
|
||||||
endif()
|
endif()
|
||||||
@ -1240,4 +1246,7 @@ if(BUILD_BENCHMARKS)
|
|||||||
add_subdirectory(benchmarks)
|
add_subdirectory(benchmarks)
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
add_subdirectory(doc/dev-reference)
|
option(BUILD_DOC "Build the Hyperscan documentation (default TRUE)" TRUE)
|
||||||
|
if(BUILD_DOC)
|
||||||
|
add_subdirectory(doc/dev-reference)
|
||||||
|
endif()
|
||||||
|
@ -146,6 +146,7 @@ export CXX="/usr/pkg/gcc12/bin/g++"
|
|||||||
```
|
```
|
||||||
|
|
||||||
In FreeBSD similarly, you might want to install a different compiler.
|
In FreeBSD similarly, you might want to install a different compiler.
|
||||||
|
If you want to use gcc, it is recommended to use gcc12.
|
||||||
You will also, as in NetBSD, need to install cmake, sqlite, boost and ragel packages.
|
You will also, as in NetBSD, need to install cmake, sqlite, boost and ragel packages.
|
||||||
Using the example of gcc12 from pkg:
|
Using the example of gcc12 from pkg:
|
||||||
installing the desired compiler:
|
installing the desired compiler:
|
||||||
@ -164,7 +165,6 @@ the environment variables to point to this compiler:
|
|||||||
export CC="/usr/local/bin/gcc"
|
export CC="/usr/local/bin/gcc"
|
||||||
export CXX="/usr/local/bin/g++"
|
export CXX="/usr/local/bin/g++"
|
||||||
```
|
```
|
||||||
|
|
||||||
A further note in FreeBSD, on the PowerPC and ARM platforms,
|
A further note in FreeBSD, on the PowerPC and ARM platforms,
|
||||||
the gcc12 package installs to a slightly different name, on FreeBSD/ppc,
|
the gcc12 package installs to a slightly different name, on FreeBSD/ppc,
|
||||||
gcc12 will be found using:
|
gcc12 will be found using:
|
||||||
@ -175,12 +175,6 @@ export CXX="/usr/local/bin/g++12"
|
|||||||
|
|
||||||
Then continue with the build as below.
|
Then continue with the build as below.
|
||||||
|
|
||||||
A note about running in FreeBSD: if you built a dynamically linked binary
|
|
||||||
with an alternative compiler, the libraries specific to the compiler that
|
|
||||||
built the binary will probably not be found and the base distro libraries
|
|
||||||
in /lib will be found instead. Adjust LD_LIBRARY_PATH appropriately. For
|
|
||||||
example, with gcc12 installed from pkg, one would want to use
|
|
||||||
```export LD_LIBRARY_PATH=/usr/local/lib/gcc12/```
|
|
||||||
|
|
||||||
## Configure & build
|
## Configure & build
|
||||||
|
|
||||||
|
@ -26,32 +26,30 @@
|
|||||||
* POSSIBILITY OF SUCH DAMAGE.
|
* POSSIBILITY OF SUCH DAMAGE.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#include <iostream>
|
|
||||||
#include <chrono>
|
#include <chrono>
|
||||||
|
#include <cstdlib>
|
||||||
#include <cstring>
|
#include <cstring>
|
||||||
#include <ctime>
|
#include <ctime>
|
||||||
#include <cstdlib>
|
|
||||||
#include <memory>
|
|
||||||
#include <functional>
|
#include <functional>
|
||||||
|
#include <iostream>
|
||||||
|
#include <memory>
|
||||||
|
|
||||||
#include "benchmarks.hpp"
|
#include "benchmarks.hpp"
|
||||||
|
|
||||||
#define MAX_LOOPS 1000000000
|
#define MAX_LOOPS 1000000000
|
||||||
#define MAX_MATCHES 5
|
#define MAX_MATCHES 5
|
||||||
#define N 8
|
#define N 8
|
||||||
|
|
||||||
struct hlmMatchEntry {
|
struct hlmMatchEntry {
|
||||||
size_t to;
|
size_t to;
|
||||||
u32 id;
|
u32 id;
|
||||||
hlmMatchEntry(size_t end, u32 identifier) :
|
hlmMatchEntry(size_t end, u32 identifier) : to(end), id(identifier) {}
|
||||||
to(end), id(identifier) {}
|
|
||||||
};
|
};
|
||||||
|
|
||||||
std::vector<hlmMatchEntry> ctxt;
|
std::vector<hlmMatchEntry> ctxt;
|
||||||
|
|
||||||
static
|
static hwlmcb_rv_t hlmSimpleCallback(size_t to, u32 id,
|
||||||
hwlmcb_rv_t hlmSimpleCallback(size_t to, u32 id,
|
UNUSED struct hs_scratch *scratch) {
|
||||||
UNUSED struct hs_scratch *scratch) {
|
|
||||||
DEBUG_PRINTF("match @%zu = %u\n", to, id);
|
DEBUG_PRINTF("match @%zu = %u\n", to, id);
|
||||||
|
|
||||||
ctxt.push_back(hlmMatchEntry(to, id));
|
ctxt.push_back(hlmMatchEntry(to, id));
|
||||||
@ -59,10 +57,12 @@ hwlmcb_rv_t hlmSimpleCallback(size_t to, u32 id,
|
|||||||
return HWLM_CONTINUE_MATCHING;
|
return HWLM_CONTINUE_MATCHING;
|
||||||
}
|
}
|
||||||
|
|
||||||
template<typename InitFunc, typename BenchFunc>
|
template <typename InitFunc, typename BenchFunc>
|
||||||
static void run_benchmarks(int size, int loops, int max_matches, bool is_reverse, MicroBenchmark &bench, InitFunc &&init, BenchFunc &&func) {
|
static void run_benchmarks(int size, int loops, int max_matches,
|
||||||
|
bool is_reverse, MicroBenchmark &bench,
|
||||||
|
InitFunc &&init, BenchFunc &&func) {
|
||||||
init(bench);
|
init(bench);
|
||||||
double total_sec = 0.0;
|
double total_sec = 0.0;
|
||||||
u64a total_size = 0;
|
u64a total_size = 0;
|
||||||
double bw = 0.0;
|
double bw = 0.0;
|
||||||
double avg_bw = 0.0;
|
double avg_bw = 0.0;
|
||||||
@ -70,29 +70,31 @@ static void run_benchmarks(int size, int loops, int max_matches, bool is_reverse
|
|||||||
double avg_time = 0.0;
|
double avg_time = 0.0;
|
||||||
if (max_matches) {
|
if (max_matches) {
|
||||||
int pos = 0;
|
int pos = 0;
|
||||||
for(int j = 0; j < max_matches - 1; j++) {
|
for (int j = 0; j < max_matches - 1; j++) {
|
||||||
bench.buf[pos] = 'b';
|
bench.buf[pos] = 'b';
|
||||||
pos = (j+1) *size / max_matches ;
|
pos = (j + 1) * size / max_matches;
|
||||||
bench.buf[pos] = 'a';
|
bench.buf[pos] = 'a';
|
||||||
u64a actual_size = 0;
|
u64a actual_size = 0;
|
||||||
auto start = std::chrono::steady_clock::now();
|
auto start = std::chrono::steady_clock::now();
|
||||||
for(int i = 0; i < loops; i++) {
|
for (int i = 0; i < loops; i++) {
|
||||||
const u8 *res = func(bench);
|
const u8 *res = func(bench);
|
||||||
if (is_reverse)
|
if (is_reverse)
|
||||||
actual_size += bench.buf.data() + size - res;
|
actual_size += bench.buf.data() + size - res;
|
||||||
else
|
else
|
||||||
actual_size += res - bench.buf.data();
|
actual_size += res - bench.buf.data();
|
||||||
}
|
}
|
||||||
auto end = std::chrono::steady_clock::now();
|
auto end = std::chrono::steady_clock::now();
|
||||||
double dt = std::chrono::duration_cast<std::chrono::microseconds>(end - start).count();
|
double dt = std::chrono::duration_cast<std::chrono::microseconds>(
|
||||||
|
end - start)
|
||||||
|
.count();
|
||||||
total_sec += dt;
|
total_sec += dt;
|
||||||
/*convert microseconds to seconds*/
|
/*convert microseconds to seconds*/
|
||||||
/*calculate bandwidth*/
|
/*calculate bandwidth*/
|
||||||
bw = (actual_size / dt) * 1000000.0 / 1048576.0;
|
bw = (actual_size / dt) * 1000000.0 / 1048576.0;
|
||||||
/*std::cout << "act_size = " << act_size << std::endl;
|
/*std::cout << "act_size = " << act_size << std::endl;
|
||||||
std::cout << "dt = " << dt << std::endl;
|
std::cout << "dt = " << dt << std::endl;
|
||||||
std::cout << "bw = " << bw << std::endl;*/
|
std::cout << "bw = " << bw << std::endl;*/
|
||||||
avg_bw += bw;
|
avg_bw += bw;
|
||||||
/*convert to MB/s*/
|
/*convert to MB/s*/
|
||||||
max_bw = std::max(bw, max_bw);
|
max_bw = std::max(bw, max_bw);
|
||||||
/*calculate average time*/
|
/*calculate average time*/
|
||||||
@ -100,10 +102,9 @@ static void run_benchmarks(int size, int loops, int max_matches, bool is_reverse
|
|||||||
}
|
}
|
||||||
avg_time /= max_matches;
|
avg_time /= max_matches;
|
||||||
avg_bw /= max_matches;
|
avg_bw /= max_matches;
|
||||||
total_sec /= 1000000.0;
|
total_sec /= 1000000.0;
|
||||||
/*convert average time to us*/
|
/*convert average time to us*/
|
||||||
printf(KMAG "%s: %d matches, %d * %d iterations," KBLU " total elapsed time =" RST " %.3f s, "
|
printf("%-18s, %-12d, %-10d, %-6d, %-10.3f, %-9.3f, %-8.3f, %-7.3f\n",
|
||||||
KBLU "average time per call =" RST " %.3f μs," KBLU " max bandwidth = " RST " %.3f MB/s," KBLU " average bandwidth =" RST " %.3f MB/s \n",
|
|
||||||
bench.label, max_matches, size ,loops, total_sec, avg_time, max_bw, avg_bw);
|
bench.label, max_matches, size ,loops, total_sec, avg_time, max_bw, avg_bw);
|
||||||
} else {
|
} else {
|
||||||
auto start = std::chrono::steady_clock::now();
|
auto start = std::chrono::steady_clock::now();
|
||||||
@ -111,7 +112,9 @@ static void run_benchmarks(int size, int loops, int max_matches, bool is_reverse
|
|||||||
const u8 *res = func(bench);
|
const u8 *res = func(bench);
|
||||||
}
|
}
|
||||||
auto end = std::chrono::steady_clock::now();
|
auto end = std::chrono::steady_clock::now();
|
||||||
total_sec += std::chrono::duration_cast<std::chrono::microseconds>(end - start).count();
|
total_sec +=
|
||||||
|
std::chrono::duration_cast<std::chrono::microseconds>(end - start)
|
||||||
|
.count();
|
||||||
/*calculate transferred size*/
|
/*calculate transferred size*/
|
||||||
total_size = (u64a)size * (u64a)loops;
|
total_size = (u64a)size * (u64a)loops;
|
||||||
/*calculate average time*/
|
/*calculate average time*/
|
||||||
@ -122,117 +125,126 @@ static void run_benchmarks(int size, int loops, int max_matches, bool is_reverse
|
|||||||
max_bw = total_size / total_sec;
|
max_bw = total_size / total_sec;
|
||||||
/*convert to MB/s*/
|
/*convert to MB/s*/
|
||||||
max_bw /= 1048576.0;
|
max_bw /= 1048576.0;
|
||||||
printf(KMAG "%s: no matches, %d * %d iterations," KBLU " total elapsed time =" RST " %.3f s, "
|
printf("%-18s, %-12s, %-10d, %-6d, %-10.3f, %-9.3f, %-8.3f, %-7s\n",
|
||||||
KBLU "average time per call =" RST " %.3f μs ," KBLU " bandwidth = " RST " %.3f MB/s \n",
|
|
||||||
bench.label, size ,loops, total_sec, avg_time, max_bw );
|
bench.label, size ,loops, total_sec, avg_time, max_bw );
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
int main(){
|
int main() {
|
||||||
int matches[] = {0, MAX_MATCHES};
|
int matches[] = {0, MAX_MATCHES};
|
||||||
std::vector<size_t> sizes;
|
std::vector<size_t> sizes;
|
||||||
for (size_t i = 0; i < N; i++) sizes.push_back(16000 << i*2);
|
for (size_t i = 0; i < N; i++)
|
||||||
const char charset[] = "aAaAaAaAAAaaaaAAAAaaaaAAAAAAaaaAAaaa";
|
sizes.push_back(16000 << i * 2);
|
||||||
|
const char charset[] = "aAaAaAaAAAaaaaAAAAaaaaAAAAAAaaaAAaaa";
|
||||||
|
printf("%-18s, %-12s, %-10s, %-6s, %-10s, %-9s, %-8s, %-7s\n", "Matcher",
|
||||||
|
"max_matches", "size", "loops", "total_sec", "avg_time", "max_bw",
|
||||||
|
"avg_bw");
|
||||||
for (int m = 0; m < 2; m++) {
|
for (int m = 0; m < 2; m++) {
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
MicroBenchmark bench("Shufti", sizes[i]);
|
MicroBenchmark bench("Shufti", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
b.chars.set('a');
|
b.chars.set('a');
|
||||||
ue2::shuftiBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
ue2::shuftiBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
||||||
memset(b.buf.data(), 'b', b.size);
|
memset(b.buf.data(), 'b', b.size);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
return shuftiExec(b.lo, b.hi, b.buf.data(), b.buf.data() + b.size);
|
return shuftiExec(b.lo, b.hi, b.buf.data(),
|
||||||
}
|
b.buf.data() + b.size);
|
||||||
);
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
MicroBenchmark bench("Reverse Shufti", sizes[i]);
|
MicroBenchmark bench("Reverse Shufti", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], true, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], true, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
b.chars.set('a');
|
b.chars.set('a');
|
||||||
ue2::shuftiBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
ue2::shuftiBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
||||||
memset(b.buf.data(), 'b', b.size);
|
memset(b.buf.data(), 'b', b.size);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
return rshuftiExec(b.lo, b.hi, b.buf.data(), b.buf.data() + b.size);
|
return rshuftiExec(b.lo, b.hi, b.buf.data(),
|
||||||
}
|
b.buf.data() + b.size);
|
||||||
);
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
MicroBenchmark bench("Truffle", sizes[i]);
|
MicroBenchmark bench("Truffle", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
b.chars.set('a');
|
b.chars.set('a');
|
||||||
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
||||||
memset(b.buf.data(), 'b', b.size);
|
memset(b.buf.data(), 'b', b.size);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
return truffleExec(b.lo, b.hi, b.buf.data(), b.buf.data() + b.size);
|
return truffleExec(b.lo, b.hi, b.buf.data(),
|
||||||
}
|
b.buf.data() + b.size);
|
||||||
);
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
MicroBenchmark bench("Reverse Truffle", sizes[i]);
|
MicroBenchmark bench("Reverse Truffle", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], true, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], true, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
b.chars.set('a');
|
b.chars.set('a');
|
||||||
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
||||||
memset(b.buf.data(), 'b', b.size);
|
memset(b.buf.data(), 'b', b.size);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
return rtruffleExec(b.lo, b.hi, b.buf.data(), b.buf.data() + b.size);
|
return rtruffleExec(b.lo, b.hi, b.buf.data(),
|
||||||
}
|
b.buf.data() + b.size);
|
||||||
);
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
MicroBenchmark bench("Vermicelli", sizes[i]);
|
MicroBenchmark bench("Vermicelli", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
b.chars.set('a');
|
b.chars.set('a');
|
||||||
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
||||||
memset(b.buf.data(), 'b', b.size);
|
memset(b.buf.data(), 'b', b.size);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
return vermicelliExec('a', 'b', b.buf.data(), b.buf.data() + b.size);
|
return vermicelliExec('a', 'b', b.buf.data(),
|
||||||
}
|
b.buf.data() + b.size);
|
||||||
);
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
MicroBenchmark bench("Reverse Vermicelli", sizes[i]);
|
MicroBenchmark bench("Reverse Vermicelli", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], true, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], true, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
b.chars.set('a');
|
b.chars.set('a');
|
||||||
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
ue2::truffleBuildMasks(b.chars, (u8 *)&b.lo, (u8 *)&b.hi);
|
||||||
memset(b.buf.data(), 'b', b.size);
|
memset(b.buf.data(), 'b', b.size);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
return rvermicelliExec('a', 'b', b.buf.data(), b.buf.data() + b.size);
|
return rvermicelliExec('a', 'b', b.buf.data(),
|
||||||
}
|
b.buf.data() + b.size);
|
||||||
);
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
for (size_t i = 0; i < std::size(sizes); i++) {
|
for (size_t i = 0; i < std::size(sizes); i++) {
|
||||||
//we imitate the noodle unit tests
|
// we imitate the noodle unit tests
|
||||||
std::string str;
|
std::string str;
|
||||||
const size_t char_len = 5;
|
const size_t char_len = 5;
|
||||||
str.resize(char_len + 1);
|
str.resize(char_len + 1);
|
||||||
for (size_t j=0; j < char_len; j++) {
|
for (size_t j = 0; j < char_len; j++) {
|
||||||
srand (time(NULL));
|
srand(time(NULL));
|
||||||
int key = rand() % + 36 ;
|
int key = rand() % +36;
|
||||||
str[char_len] = charset[key];
|
str[char_len] = charset[key];
|
||||||
str[char_len + 1] = '\0';
|
str[char_len + 1] = '\0';
|
||||||
}
|
}
|
||||||
|
|
||||||
MicroBenchmark bench("Noodle", sizes[i]);
|
MicroBenchmark bench("Noodle", sizes[i]);
|
||||||
run_benchmarks(sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
run_benchmarks(
|
||||||
|
sizes[i], MAX_LOOPS / sizes[i], matches[m], false, bench,
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
ctxt.clear();
|
ctxt.clear();
|
||||||
memset(b.buf.data(), 'a', b.size);
|
memset(b.buf.data(), 'a', b.size);
|
||||||
@ -242,10 +254,10 @@ int main(){
|
|||||||
assert(b.nt != nullptr);
|
assert(b.nt != nullptr);
|
||||||
},
|
},
|
||||||
[&](MicroBenchmark &b) {
|
[&](MicroBenchmark &b) {
|
||||||
noodExec(b.nt.get(), b.buf.data(), b.size, 0, hlmSimpleCallback, &b.scratch);
|
noodExec(b.nt.get(), b.buf.data(), b.size, 0,
|
||||||
|
hlmSimpleCallback, &b.scratch);
|
||||||
return b.buf.data() + b.size;
|
return b.buf.data() + b.size;
|
||||||
}
|
});
|
||||||
);
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -26,44 +26,32 @@
|
|||||||
* POSSIBILITY OF SUCH DAMAGE.
|
* POSSIBILITY OF SUCH DAMAGE.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
#include "hwlm/hwlm_literal.h"
|
||||||
|
#include "hwlm/noodle_build.h"
|
||||||
|
#include "hwlm/noodle_engine.h"
|
||||||
|
#include "hwlm/noodle_internal.h"
|
||||||
#include "nfa/shufti.h"
|
#include "nfa/shufti.h"
|
||||||
#include "nfa/shufticompile.h"
|
#include "nfa/shufticompile.h"
|
||||||
#include "nfa/truffle.h"
|
#include "nfa/truffle.h"
|
||||||
#include "nfa/trufflecompile.h"
|
#include "nfa/trufflecompile.h"
|
||||||
#include "nfa/vermicelli.hpp"
|
#include "nfa/vermicelli.hpp"
|
||||||
#include "hwlm/noodle_build.h"
|
|
||||||
#include "hwlm/noodle_engine.h"
|
|
||||||
#include "hwlm/noodle_internal.h"
|
|
||||||
#include "hwlm/hwlm_literal.h"
|
|
||||||
#include "util/bytecode_ptr.h"
|
|
||||||
#include "scratch.h"
|
#include "scratch.h"
|
||||||
|
#include "util/bytecode_ptr.h"
|
||||||
|
|
||||||
/*define colour control characters*/
|
class MicroBenchmark {
|
||||||
#define RST "\x1B[0m"
|
|
||||||
#define KRED "\x1B[31m"
|
|
||||||
#define KGRN "\x1B[32m"
|
|
||||||
#define KYEL "\x1B[33m"
|
|
||||||
#define KBLU "\x1B[34m"
|
|
||||||
#define KMAG "\x1B[35m"
|
|
||||||
#define KCYN "\x1B[36m"
|
|
||||||
#define KWHT "\x1B[37m"
|
|
||||||
|
|
||||||
class MicroBenchmark
|
|
||||||
{
|
|
||||||
public:
|
public:
|
||||||
char const *label;
|
char const *label;
|
||||||
size_t size;
|
size_t size;
|
||||||
|
|
||||||
// Shufti/Truffle
|
// Shufti/Truffle
|
||||||
m128 lo, hi;
|
m128 lo, hi;
|
||||||
ue2::CharReach chars;
|
ue2::CharReach chars;
|
||||||
std::vector<u8> buf;
|
std::vector<u8> buf;
|
||||||
|
|
||||||
// Noodle
|
// Noodle
|
||||||
struct hs_scratch scratch;
|
struct hs_scratch scratch;
|
||||||
ue2::bytecode_ptr<noodTable> nt;
|
ue2::bytecode_ptr<noodTable> nt;
|
||||||
|
|
||||||
MicroBenchmark(char const *label_, size_t size_)
|
MicroBenchmark(char const *label_, size_t size_)
|
||||||
:label(label_), size(size_), buf(size_) {
|
: label(label_), size(size_), buf(size_){};
|
||||||
};
|
|
||||||
};
|
};
|
||||||
|
@ -6,10 +6,10 @@ if(CMAKE_SYSTEM_NAME MATCHES "FreeBSD")
|
|||||||
set(FREEBSD true)
|
set(FREEBSD true)
|
||||||
set(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
|
set(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
|
||||||
#FIXME: find a nicer and more general way of doing this
|
#FIXME: find a nicer and more general way of doing this
|
||||||
if(CMAKE_C_COMPILER MATCHES "/usr/local/bin/gcc12")
|
if(CMAKE_C_COMPILER MATCHES "/usr/local/bin/gcc13")
|
||||||
set(CMAKE_BUILD_RPATH "/usr/local/lib/gcc12")
|
|
||||||
elseif(CMAKE_C_COMPILER MATCHES "/usr/local/bin/gcc13")
|
|
||||||
set(CMAKE_BUILD_RPATH "/usr/local/lib/gcc13")
|
set(CMAKE_BUILD_RPATH "/usr/local/lib/gcc13")
|
||||||
|
elseif(ARCH_AARCH64 AND (CMAKE_C_COMPILER MATCHES "/usr/local/bin/gcc12"))
|
||||||
|
set(CMAKE_BUILD_RPATH "/usr/local/lib/gcc12")
|
||||||
endif()
|
endif()
|
||||||
endif(CMAKE_SYSTEM_NAME MATCHES "FreeBSD")
|
endif(CMAKE_SYSTEM_NAME MATCHES "FreeBSD")
|
||||||
|
|
||||||
|
@ -19,6 +19,7 @@ else()
|
|||||||
set(SPHINX_BUILD_DIR "${CMAKE_CURRENT_BINARY_DIR}/_build")
|
set(SPHINX_BUILD_DIR "${CMAKE_CURRENT_BINARY_DIR}/_build")
|
||||||
set(SPHINX_CACHE_DIR "${CMAKE_CURRENT_BINARY_DIR}/_doctrees")
|
set(SPHINX_CACHE_DIR "${CMAKE_CURRENT_BINARY_DIR}/_doctrees")
|
||||||
set(SPHINX_HTML_DIR "${CMAKE_CURRENT_BINARY_DIR}/html")
|
set(SPHINX_HTML_DIR "${CMAKE_CURRENT_BINARY_DIR}/html")
|
||||||
|
set(SPHINX_MAN_DIR "${CMAKE_CURRENT_BINARY_DIR}/man")
|
||||||
|
|
||||||
configure_file("${CMAKE_CURRENT_SOURCE_DIR}/conf.py.in"
|
configure_file("${CMAKE_CURRENT_SOURCE_DIR}/conf.py.in"
|
||||||
"${CMAKE_CURRENT_BINARY_DIR}/conf.py" @ONLY)
|
"${CMAKE_CURRENT_BINARY_DIR}/conf.py" @ONLY)
|
||||||
@ -32,4 +33,14 @@ add_custom_target(dev-reference
|
|||||||
"${SPHINX_HTML_DIR}"
|
"${SPHINX_HTML_DIR}"
|
||||||
DEPENDS dev-reference-doxygen
|
DEPENDS dev-reference-doxygen
|
||||||
COMMENT "Building HTML dev reference with Sphinx")
|
COMMENT "Building HTML dev reference with Sphinx")
|
||||||
|
|
||||||
|
add_custom_target(dev-reference-man
|
||||||
|
${SPHINX_BUILD}
|
||||||
|
-b man
|
||||||
|
-c "${CMAKE_CURRENT_BINARY_DIR}"
|
||||||
|
-d "${SPHINX_CACHE_DIR}"
|
||||||
|
"${CMAKE_CURRENT_SOURCE_DIR}"
|
||||||
|
"${SPHINX_MAN_DIR}"
|
||||||
|
DEPENDS dev-reference-doxygen
|
||||||
|
COMMENT "Building man page reference with Sphinx")
|
||||||
endif()
|
endif()
|
||||||
|
@ -11,10 +11,10 @@ Introduction
|
|||||||
************
|
************
|
||||||
|
|
||||||
Chimera is a software regular expression matching engine that is a hybrid of
|
Chimera is a software regular expression matching engine that is a hybrid of
|
||||||
Hyperscan and PCRE. The design goals of Chimera are to fully support PCRE
|
Vectorscan and PCRE. The design goals of Chimera are to fully support PCRE
|
||||||
syntax as well as to take advantage of the high performance nature of Hyperscan.
|
syntax as well as to take advantage of the high performance nature of Vectorscan.
|
||||||
|
|
||||||
Chimera inherits the design guideline of Hyperscan with C APIs for compilation
|
Chimera inherits the design guideline of Vectorscan with C APIs for compilation
|
||||||
and scanning.
|
and scanning.
|
||||||
|
|
||||||
The Chimera API itself is composed of two major components:
|
The Chimera API itself is composed of two major components:
|
||||||
@ -65,13 +65,13 @@ For a given database, Chimera provides several guarantees:
|
|||||||
.. note:: Chimera is designed to have the same matching behavior as PCRE,
|
.. note:: Chimera is designed to have the same matching behavior as PCRE,
|
||||||
including greedy/ungreedy, capturing, etc. Chimera reports both
|
including greedy/ungreedy, capturing, etc. Chimera reports both
|
||||||
**start offset** and **end offset** for each match like PCRE. Different
|
**start offset** and **end offset** for each match like PCRE. Different
|
||||||
from the fashion of reporting all matches in Hyperscan, Chimera only reports
|
from the fashion of reporting all matches in Vectorscan, Chimera only reports
|
||||||
non-overlapping matches. For example, the pattern :regexp:`/foofoo/` will
|
non-overlapping matches. For example, the pattern :regexp:`/foofoo/` will
|
||||||
match ``foofoofoofoo`` at offsets (0, 6) and (6, 12).
|
match ``foofoofoofoo`` at offsets (0, 6) and (6, 12).
|
||||||
|
|
||||||
.. note:: Since Chimera is a hybrid of Hyperscan and PCRE in order to support
|
.. note:: Since Chimera is a hybrid of Vectorscan and PCRE in order to support
|
||||||
full PCRE syntax, there will be extra performance overhead compared to
|
full PCRE syntax, there will be extra performance overhead compared to
|
||||||
Hyperscan-only solution. Please always use Hyperscan for better performance
|
Vectorscan-only solution. Please always use Vectorscan for better performance
|
||||||
unless you must need full PCRE syntax support.
|
unless you must need full PCRE syntax support.
|
||||||
|
|
||||||
See :ref:`chruntime` for more details
|
See :ref:`chruntime` for more details
|
||||||
@ -83,12 +83,12 @@ Requirements
|
|||||||
The PCRE library (http://pcre.org/) version 8.41 is required for Chimera.
|
The PCRE library (http://pcre.org/) version 8.41 is required for Chimera.
|
||||||
|
|
||||||
.. note:: Since Chimera needs to reference PCRE internal function, please place PCRE source
|
.. note:: Since Chimera needs to reference PCRE internal function, please place PCRE source
|
||||||
directory under Hyperscan root directory in order to build Chimera.
|
directory under Vectorscan root directory in order to build Chimera.
|
||||||
|
|
||||||
Beside this, both hardware and software requirements of Chimera are the same to Hyperscan.
|
Beside this, both hardware and software requirements of Chimera are the same to Vectorscan.
|
||||||
See :ref:`hardware` and :ref:`software` for more details.
|
See :ref:`hardware` and :ref:`software` for more details.
|
||||||
|
|
||||||
.. note:: Building Hyperscan will automatically generate Chimera library.
|
.. note:: Building Vectorscan will automatically generate Chimera library.
|
||||||
Currently only static library is supported for Chimera, so please
|
Currently only static library is supported for Chimera, so please
|
||||||
use static build type when configure CMake build options.
|
use static build type when configure CMake build options.
|
||||||
|
|
||||||
@ -119,7 +119,7 @@ databases:
|
|||||||
|
|
||||||
Compilation allows the Chimera library to analyze the given pattern(s) and
|
Compilation allows the Chimera library to analyze the given pattern(s) and
|
||||||
pre-determine how to scan for these patterns in an optimized fashion using
|
pre-determine how to scan for these patterns in an optimized fashion using
|
||||||
Hyperscan and PCRE.
|
Vectorscan and PCRE.
|
||||||
|
|
||||||
===============
|
===============
|
||||||
Pattern Support
|
Pattern Support
|
||||||
@ -134,7 +134,7 @@ Semantics
|
|||||||
=========
|
=========
|
||||||
|
|
||||||
Chimera supports the exact same semantics of PCRE library. Moreover, it supports
|
Chimera supports the exact same semantics of PCRE library. Moreover, it supports
|
||||||
multiple simultaneous pattern matching like Hyperscan and the multiple matches
|
multiple simultaneous pattern matching like Vectorscan and the multiple matches
|
||||||
will be reported in order by end offset.
|
will be reported in order by end offset.
|
||||||
|
|
||||||
.. _chruntime:
|
.. _chruntime:
|
||||||
|
@ -9,7 +9,7 @@ Compiling Patterns
|
|||||||
Building a Database
|
Building a Database
|
||||||
*******************
|
*******************
|
||||||
|
|
||||||
The Hyperscan compiler API accepts regular expressions and converts them into a
|
The Vectorscan compiler API accepts regular expressions and converts them into a
|
||||||
compiled pattern database that can then be used to scan data.
|
compiled pattern database that can then be used to scan data.
|
||||||
|
|
||||||
The API provides three functions that compile regular expressions into
|
The API provides three functions that compile regular expressions into
|
||||||
@ -24,7 +24,7 @@ databases:
|
|||||||
#. :c:func:`hs_compile_ext_multi`: compiles an array of expressions as above,
|
#. :c:func:`hs_compile_ext_multi`: compiles an array of expressions as above,
|
||||||
but allows :ref:`extparam` to be specified for each expression.
|
but allows :ref:`extparam` to be specified for each expression.
|
||||||
|
|
||||||
Compilation allows the Hyperscan library to analyze the given pattern(s) and
|
Compilation allows the Vectorscan library to analyze the given pattern(s) and
|
||||||
pre-determine how to scan for these patterns in an optimized fashion that would
|
pre-determine how to scan for these patterns in an optimized fashion that would
|
||||||
be far too expensive to compute at run-time.
|
be far too expensive to compute at run-time.
|
||||||
|
|
||||||
@ -48,10 +48,10 @@ To compile patterns to be used in streaming mode, the ``mode`` parameter of
|
|||||||
block mode requires the use of :c:member:`HS_MODE_BLOCK` and vectored mode
|
block mode requires the use of :c:member:`HS_MODE_BLOCK` and vectored mode
|
||||||
requires the use of :c:member:`HS_MODE_VECTORED`. A pattern database compiled
|
requires the use of :c:member:`HS_MODE_VECTORED`. A pattern database compiled
|
||||||
for one mode (streaming, block or vectored) can only be used in that mode. The
|
for one mode (streaming, block or vectored) can only be used in that mode. The
|
||||||
version of Hyperscan used to produce a compiled pattern database must match the
|
version of Vectorscan used to produce a compiled pattern database must match the
|
||||||
version of Hyperscan used to scan with it.
|
version of Vectorscan used to scan with it.
|
||||||
|
|
||||||
Hyperscan provides support for targeting a database at a particular CPU
|
Vectorscan provides support for targeting a database at a particular CPU
|
||||||
platform; see :ref:`instr_specialization` for details.
|
platform; see :ref:`instr_specialization` for details.
|
||||||
|
|
||||||
=====================
|
=====================
|
||||||
@ -75,14 +75,14 @@ characters exist in regular grammar like ``[``, ``]``, ``(``, ``)``, ``{``,
|
|||||||
While in pure literal case, all these meta characters lost extra meanings
|
While in pure literal case, all these meta characters lost extra meanings
|
||||||
expect for that they are just common ASCII codes.
|
expect for that they are just common ASCII codes.
|
||||||
|
|
||||||
Hyperscan is initially designed to process common regular expressions. It is
|
Vectorscan is initially designed to process common regular expressions. It is
|
||||||
hence embedded with a complex parser to do comprehensive regular grammar
|
hence embedded with a complex parser to do comprehensive regular grammar
|
||||||
interpretation. Particularly, the identification of above meta characters is the
|
interpretation. Particularly, the identification of above meta characters is the
|
||||||
basic step for the interpretation of far more complex regular grammars.
|
basic step for the interpretation of far more complex regular grammars.
|
||||||
|
|
||||||
However in real cases, patterns may not always be regular expressions. They
|
However in real cases, patterns may not always be regular expressions. They
|
||||||
could just be pure literals. Problem will come if the pure literals contain
|
could just be pure literals. Problem will come if the pure literals contain
|
||||||
regular meta characters. Supposing fed directly into traditional Hyperscan
|
regular meta characters. Supposing fed directly into traditional Vectorscan
|
||||||
compile API, all these meta characters will be interpreted in predefined ways,
|
compile API, all these meta characters will be interpreted in predefined ways,
|
||||||
which is unnecessary and the result is totally out of expectation. To avoid
|
which is unnecessary and the result is totally out of expectation. To avoid
|
||||||
such misunderstanding by traditional API, users have to preprocess these
|
such misunderstanding by traditional API, users have to preprocess these
|
||||||
@ -90,7 +90,7 @@ literal patterns by converting the meta characters into some other formats:
|
|||||||
either by adding a backslash ``\`` before certain meta characters, or by
|
either by adding a backslash ``\`` before certain meta characters, or by
|
||||||
converting all the characters into a hexadecimal representation.
|
converting all the characters into a hexadecimal representation.
|
||||||
|
|
||||||
In ``v5.2.0``, Hyperscan introduces 2 new compile APIs for pure literal patterns:
|
In ``v5.2.0``, Vectorscan introduces 2 new compile APIs for pure literal patterns:
|
||||||
|
|
||||||
#. :c:func:`hs_compile_lit`: compiles a single pure literal into a pattern
|
#. :c:func:`hs_compile_lit`: compiles a single pure literal into a pattern
|
||||||
database.
|
database.
|
||||||
@ -106,7 +106,7 @@ content directly into these APIs without worrying about writing regular meta
|
|||||||
characters in their patterns. No preprocessing work is needed any more.
|
characters in their patterns. No preprocessing work is needed any more.
|
||||||
|
|
||||||
For new APIs, the ``length`` of each literal pattern is a newly added parameter.
|
For new APIs, the ``length`` of each literal pattern is a newly added parameter.
|
||||||
Hyperscan needs to locate the end position of the input expression via clearly
|
Vectorscan needs to locate the end position of the input expression via clearly
|
||||||
knowing each literal's length, not by simply identifying character ``\0`` of a
|
knowing each literal's length, not by simply identifying character ``\0`` of a
|
||||||
string.
|
string.
|
||||||
|
|
||||||
@ -127,19 +127,19 @@ Supported flags: :c:member:`HS_FLAG_CASELESS`, :c:member:`HS_FLAG_SINGLEMATCH`,
|
|||||||
Pattern Support
|
Pattern Support
|
||||||
***************
|
***************
|
||||||
|
|
||||||
Hyperscan supports the pattern syntax used by the PCRE library ("libpcre"),
|
Vectorscan supports the pattern syntax used by the PCRE library ("libpcre"),
|
||||||
described at <http://www.pcre.org/>. However, not all constructs available in
|
described at <http://www.pcre.org/>. However, not all constructs available in
|
||||||
libpcre are supported. The use of unsupported constructs will result in
|
libpcre are supported. The use of unsupported constructs will result in
|
||||||
compilation errors.
|
compilation errors.
|
||||||
|
|
||||||
The version of PCRE used to validate Hyperscan's interpretation of this syntax
|
The version of PCRE used to validate Vectorscan's interpretation of this syntax
|
||||||
is 8.41 or above.
|
is 8.41 or above.
|
||||||
|
|
||||||
====================
|
====================
|
||||||
Supported Constructs
|
Supported Constructs
|
||||||
====================
|
====================
|
||||||
|
|
||||||
The following regex constructs are supported by Hyperscan:
|
The following regex constructs are supported by Vectorscan:
|
||||||
|
|
||||||
* Literal characters and strings, with all libpcre quoting and character
|
* Literal characters and strings, with all libpcre quoting and character
|
||||||
escapes.
|
escapes.
|
||||||
@ -177,7 +177,7 @@ The following regex constructs are supported by Hyperscan:
|
|||||||
:c:member:`HS_FLAG_SINGLEMATCH` flag is on for that pattern.
|
:c:member:`HS_FLAG_SINGLEMATCH` flag is on for that pattern.
|
||||||
|
|
||||||
* Lazy modifiers (:regexp:`?` appended to another quantifier, e.g.
|
* Lazy modifiers (:regexp:`?` appended to another quantifier, e.g.
|
||||||
:regexp:`\\w+?`) are supported but ignored (as Hyperscan reports all
|
:regexp:`\\w+?`) are supported but ignored (as Vectorscan reports all
|
||||||
matches).
|
matches).
|
||||||
|
|
||||||
* Parenthesization, including the named and unnamed capturing and
|
* Parenthesization, including the named and unnamed capturing and
|
||||||
@ -219,15 +219,15 @@ The following regex constructs are supported by Hyperscan:
|
|||||||
.. note:: At this time, not all patterns can be successfully compiled with the
|
.. note:: At this time, not all patterns can be successfully compiled with the
|
||||||
:c:member:`HS_FLAG_SOM_LEFTMOST` flag, which enables per-pattern support for
|
:c:member:`HS_FLAG_SOM_LEFTMOST` flag, which enables per-pattern support for
|
||||||
:ref:`som`. The patterns that support this flag are a subset of patterns that
|
:ref:`som`. The patterns that support this flag are a subset of patterns that
|
||||||
can be successfully compiled with Hyperscan; notably, many bounded repeat
|
can be successfully compiled with Vectorscan; notably, many bounded repeat
|
||||||
forms that can be compiled with Hyperscan without the Start of Match flag
|
forms that can be compiled with Vectorscan without the Start of Match flag
|
||||||
enabled cannot be compiled with the flag enabled.
|
enabled cannot be compiled with the flag enabled.
|
||||||
|
|
||||||
======================
|
======================
|
||||||
Unsupported Constructs
|
Unsupported Constructs
|
||||||
======================
|
======================
|
||||||
|
|
||||||
The following regex constructs are not supported by Hyperscan:
|
The following regex constructs are not supported by Vectorscan:
|
||||||
|
|
||||||
* Backreferences and capturing sub-expressions.
|
* Backreferences and capturing sub-expressions.
|
||||||
* Arbitrary zero-width assertions.
|
* Arbitrary zero-width assertions.
|
||||||
@ -246,32 +246,32 @@ The following regex constructs are not supported by Hyperscan:
|
|||||||
Semantics
|
Semantics
|
||||||
*********
|
*********
|
||||||
|
|
||||||
While Hyperscan follows libpcre syntax, it provides different semantics. The
|
While Vectorscan follows libpcre syntax, it provides different semantics. The
|
||||||
major departures from libpcre semantics are motivated by the requirements of
|
major departures from libpcre semantics are motivated by the requirements of
|
||||||
streaming and multiple simultaneous pattern matching.
|
streaming and multiple simultaneous pattern matching.
|
||||||
|
|
||||||
The major departures from libpcre semantics are:
|
The major departures from libpcre semantics are:
|
||||||
|
|
||||||
#. **Multiple pattern matching**: Hyperscan allows matches to be reported for
|
#. **Multiple pattern matching**: Vectorscan allows matches to be reported for
|
||||||
several patterns simultaneously. This is not equivalent to separating the
|
several patterns simultaneously. This is not equivalent to separating the
|
||||||
patterns by :regexp:`|` in libpcre, which evaluates alternations
|
patterns by :regexp:`|` in libpcre, which evaluates alternations
|
||||||
left-to-right.
|
left-to-right.
|
||||||
|
|
||||||
#. **Lack of ordering**: the multiple matches that Hyperscan produces are not
|
#. **Lack of ordering**: the multiple matches that Vectorscan produces are not
|
||||||
guaranteed to be ordered, although they will always fall within the bounds of
|
guaranteed to be ordered, although they will always fall within the bounds of
|
||||||
the current scan.
|
the current scan.
|
||||||
|
|
||||||
#. **End offsets only**: Hyperscan's default behaviour is only to report the end
|
#. **End offsets only**: Vectorscan's default behaviour is only to report the end
|
||||||
offset of a match. Reporting of the start offset can be enabled with
|
offset of a match. Reporting of the start offset can be enabled with
|
||||||
per-expression flags at pattern compile time. See :ref:`som` for details.
|
per-expression flags at pattern compile time. See :ref:`som` for details.
|
||||||
|
|
||||||
#. **"All matches" reported**: scanning :regexp:`/foo.*bar/` against
|
#. **"All matches" reported**: scanning :regexp:`/foo.*bar/` against
|
||||||
``fooxyzbarbar`` will return two matches from Hyperscan -- at the points
|
``fooxyzbarbar`` will return two matches from Vectorscan -- at the points
|
||||||
corresponding to the ends of ``fooxyzbar`` and ``fooxyzbarbar``. In contrast,
|
corresponding to the ends of ``fooxyzbar`` and ``fooxyzbarbar``. In contrast,
|
||||||
libpcre semantics by default would report only one match at ``fooxyzbarbar``
|
libpcre semantics by default would report only one match at ``fooxyzbarbar``
|
||||||
(greedy semantics) or, if non-greedy semantics were switched on, one match at
|
(greedy semantics) or, if non-greedy semantics were switched on, one match at
|
||||||
``fooxyzbar``. This means that switching between greedy and non-greedy
|
``fooxyzbar``. This means that switching between greedy and non-greedy
|
||||||
semantics is a no-op in Hyperscan.
|
semantics is a no-op in Vectorscan.
|
||||||
|
|
||||||
To support libpcre quantifier semantics while accurately reporting streaming
|
To support libpcre quantifier semantics while accurately reporting streaming
|
||||||
matches at the time they occur is impossible. For example, consider the pattern
|
matches at the time they occur is impossible. For example, consider the pattern
|
||||||
@ -299,7 +299,7 @@ as in block 3 -- which would constitute a better match for the pattern.
|
|||||||
Start of Match
|
Start of Match
|
||||||
==============
|
==============
|
||||||
|
|
||||||
In standard operation, Hyperscan will only provide the end offset of a match
|
In standard operation, Vectorscan will only provide the end offset of a match
|
||||||
when the match callback is called. If the :c:member:`HS_FLAG_SOM_LEFTMOST` flag
|
when the match callback is called. If the :c:member:`HS_FLAG_SOM_LEFTMOST` flag
|
||||||
is specified for a particular pattern, then the same set of matches is
|
is specified for a particular pattern, then the same set of matches is
|
||||||
returned, but each match will also provide the leftmost possible start offset
|
returned, but each match will also provide the leftmost possible start offset
|
||||||
@ -308,7 +308,7 @@ corresponding to its end offset.
|
|||||||
Using the SOM flag entails a number of trade-offs and limitations:
|
Using the SOM flag entails a number of trade-offs and limitations:
|
||||||
|
|
||||||
* Reduced pattern support: For many patterns, tracking SOM is complex and can
|
* Reduced pattern support: For many patterns, tracking SOM is complex and can
|
||||||
result in Hyperscan failing to compile a pattern with a "Pattern too
|
result in Vectorscan failing to compile a pattern with a "Pattern too
|
||||||
large" error, even if the pattern is supported in normal operation.
|
large" error, even if the pattern is supported in normal operation.
|
||||||
* Increased stream state: At scan time, state space is required to track
|
* Increased stream state: At scan time, state space is required to track
|
||||||
potential SOM offsets, and this must be stored in persistent stream state in
|
potential SOM offsets, and this must be stored in persistent stream state in
|
||||||
@ -316,20 +316,20 @@ Using the SOM flag entails a number of trade-offs and limitations:
|
|||||||
required to match a pattern.
|
required to match a pattern.
|
||||||
* Performance overhead: Similarly, there is generally a performance cost
|
* Performance overhead: Similarly, there is generally a performance cost
|
||||||
associated with tracking SOM.
|
associated with tracking SOM.
|
||||||
* Incompatible features: Some other Hyperscan pattern flags (such as
|
* Incompatible features: Some other Vectorscan pattern flags (such as
|
||||||
:c:member:`HS_FLAG_SINGLEMATCH` and :c:member:`HS_FLAG_PREFILTER`) can not be
|
:c:member:`HS_FLAG_SINGLEMATCH` and :c:member:`HS_FLAG_PREFILTER`) can not be
|
||||||
used in combination with SOM. Specifying them together with
|
used in combination with SOM. Specifying them together with
|
||||||
:c:member:`HS_FLAG_SOM_LEFTMOST` will result in a compilation error.
|
:c:member:`HS_FLAG_SOM_LEFTMOST` will result in a compilation error.
|
||||||
|
|
||||||
In streaming mode, the amount of precision delivered by SOM can be controlled
|
In streaming mode, the amount of precision delivered by SOM can be controlled
|
||||||
with the SOM horizon flags. These instruct Hyperscan to deliver accurate SOM
|
with the SOM horizon flags. These instruct Vectorscan to deliver accurate SOM
|
||||||
information within a certain distance of the end offset, and return a special
|
information within a certain distance of the end offset, and return a special
|
||||||
start offset of :c:member:`HS_OFFSET_PAST_HORIZON` otherwise. Specifying a
|
start offset of :c:member:`HS_OFFSET_PAST_HORIZON` otherwise. Specifying a
|
||||||
small or medium SOM horizon will usually reduce the stream state required for a
|
small or medium SOM horizon will usually reduce the stream state required for a
|
||||||
given database.
|
given database.
|
||||||
|
|
||||||
.. note:: In streaming mode, the start offset returned for a match may refer to
|
.. note:: In streaming mode, the start offset returned for a match may refer to
|
||||||
a point in the stream *before* the current block being scanned. Hyperscan
|
a point in the stream *before* the current block being scanned. Vectorscan
|
||||||
provides no facility for accessing earlier blocks; if the calling application
|
provides no facility for accessing earlier blocks; if the calling application
|
||||||
needs to inspect historical data, then it must store it itself.
|
needs to inspect historical data, then it must store it itself.
|
||||||
|
|
||||||
@ -341,7 +341,7 @@ Extended Parameters
|
|||||||
|
|
||||||
In some circumstances, more control over the matching behaviour of a pattern is
|
In some circumstances, more control over the matching behaviour of a pattern is
|
||||||
required than can be specified easily using regular expression syntax. For
|
required than can be specified easily using regular expression syntax. For
|
||||||
these scenarios, Hyperscan provides the :c:func:`hs_compile_ext_multi` function
|
these scenarios, Vectorscan provides the :c:func:`hs_compile_ext_multi` function
|
||||||
that allows a set of "extended parameters" to be set on a per-pattern basis.
|
that allows a set of "extended parameters" to be set on a per-pattern basis.
|
||||||
|
|
||||||
Extended parameters are specified using an :c:type:`hs_expr_ext_t` structure,
|
Extended parameters are specified using an :c:type:`hs_expr_ext_t` structure,
|
||||||
@ -383,18 +383,18 @@ section.
|
|||||||
Prefiltering Mode
|
Prefiltering Mode
|
||||||
=================
|
=================
|
||||||
|
|
||||||
Hyperscan provides a per-pattern flag, :c:member:`HS_FLAG_PREFILTER`, which can
|
Vectorscan provides a per-pattern flag, :c:member:`HS_FLAG_PREFILTER`, which can
|
||||||
be used to implement a prefilter for a pattern than Hyperscan would not
|
be used to implement a prefilter for a pattern than Vectorscan would not
|
||||||
ordinarily support.
|
ordinarily support.
|
||||||
|
|
||||||
This flag instructs Hyperscan to compile an "approximate" version of this
|
This flag instructs Vectorscan to compile an "approximate" version of this
|
||||||
pattern for use in a prefiltering application, even if Hyperscan does not
|
pattern for use in a prefiltering application, even if Vectorscan does not
|
||||||
support the pattern in normal operation.
|
support the pattern in normal operation.
|
||||||
|
|
||||||
The set of matches returned when this flag is used is guaranteed to be a
|
The set of matches returned when this flag is used is guaranteed to be a
|
||||||
superset of the matches specified by the non-prefiltering expression.
|
superset of the matches specified by the non-prefiltering expression.
|
||||||
|
|
||||||
If the pattern contains pattern constructs not supported by Hyperscan (such as
|
If the pattern contains pattern constructs not supported by Vectorscan (such as
|
||||||
zero-width assertions, back-references or conditional references) these
|
zero-width assertions, back-references or conditional references) these
|
||||||
constructs will be replaced internally with broader constructs that may match
|
constructs will be replaced internally with broader constructs that may match
|
||||||
more often.
|
more often.
|
||||||
@ -404,7 +404,7 @@ back-reference :regexp:`\\1`. In prefiltering mode, this pattern might be
|
|||||||
approximated by having its back-reference replaced with its referent, forming
|
approximated by having its back-reference replaced with its referent, forming
|
||||||
:regexp:`/\\w+ again \\w+/`.
|
:regexp:`/\\w+ again \\w+/`.
|
||||||
|
|
||||||
Furthermore, in prefiltering mode Hyperscan may simplify a pattern that would
|
Furthermore, in prefiltering mode Vectorscan may simplify a pattern that would
|
||||||
otherwise return a "Pattern too large" error at compile time, or for performance
|
otherwise return a "Pattern too large" error at compile time, or for performance
|
||||||
reasons (subject to the matching guarantee above).
|
reasons (subject to the matching guarantee above).
|
||||||
|
|
||||||
@ -422,22 +422,22 @@ matches for the pattern.
|
|||||||
Instruction Set Specialization
|
Instruction Set Specialization
|
||||||
******************************
|
******************************
|
||||||
|
|
||||||
Hyperscan is able to make use of several modern instruction set features found
|
Vectorscan is able to make use of several modern instruction set features found
|
||||||
on x86 processors to provide improvements in scanning performance.
|
on x86 processors to provide improvements in scanning performance.
|
||||||
|
|
||||||
Some of these features are selected when the library is built; for example,
|
Some of these features are selected when the library is built; for example,
|
||||||
Hyperscan will use the native ``POPCNT`` instruction on processors where it is
|
Vectorscan will use the native ``POPCNT`` instruction on processors where it is
|
||||||
available and the library has been optimized for the host architecture.
|
available and the library has been optimized for the host architecture.
|
||||||
|
|
||||||
.. note:: By default, the Hyperscan runtime is built with the ``-march=native``
|
.. note:: By default, the Vectorscan runtime is built with the ``-march=native``
|
||||||
compiler flag and (where possible) will make use of all instructions known by
|
compiler flag and (where possible) will make use of all instructions known by
|
||||||
the host's C compiler.
|
the host's C compiler.
|
||||||
|
|
||||||
To use some instruction set features, however, Hyperscan must build a
|
To use some instruction set features, however, Vectorscan must build a
|
||||||
specialized database to support them. This means that the target platform must
|
specialized database to support them. This means that the target platform must
|
||||||
be specified at pattern compile time.
|
be specified at pattern compile time.
|
||||||
|
|
||||||
The Hyperscan compiler API functions all accept an optional
|
The Vectorscan compiler API functions all accept an optional
|
||||||
:c:type:`hs_platform_info_t` argument, which describes the target platform
|
:c:type:`hs_platform_info_t` argument, which describes the target platform
|
||||||
for the database to be built. If this argument is NULL, the database will be
|
for the database to be built. If this argument is NULL, the database will be
|
||||||
targeted at the current host platform.
|
targeted at the current host platform.
|
||||||
@ -467,7 +467,7 @@ See :ref:`api_constants` for the full list of CPU tuning and feature flags.
|
|||||||
Approximate matching
|
Approximate matching
|
||||||
********************
|
********************
|
||||||
|
|
||||||
Hyperscan provides an experimental approximate matching mode, which will match
|
Vectorscan provides an experimental approximate matching mode, which will match
|
||||||
patterns within a given edit distance. The exact matching behavior is defined as
|
patterns within a given edit distance. The exact matching behavior is defined as
|
||||||
follows:
|
follows:
|
||||||
|
|
||||||
@ -492,7 +492,7 @@ follows:
|
|||||||
|
|
||||||
Here are a few examples of approximate matching:
|
Here are a few examples of approximate matching:
|
||||||
|
|
||||||
* Pattern :regexp:`/foo/` can match ``foo`` when using regular Hyperscan
|
* Pattern :regexp:`/foo/` can match ``foo`` when using regular Vectorscan
|
||||||
matching behavior. With approximate matching within edit distance 2, the
|
matching behavior. With approximate matching within edit distance 2, the
|
||||||
pattern will produce matches when scanned against ``foo``, ``foooo``, ``f00``,
|
pattern will produce matches when scanned against ``foo``, ``foooo``, ``f00``,
|
||||||
``f``, and anything else that lies within edit distance 2 of matching corpora
|
``f``, and anything else that lies within edit distance 2 of matching corpora
|
||||||
@ -513,7 +513,7 @@ matching support. Here they are, in a nutshell:
|
|||||||
* Reduced pattern support:
|
* Reduced pattern support:
|
||||||
|
|
||||||
* For many patterns, approximate matching is complex and can result in
|
* For many patterns, approximate matching is complex and can result in
|
||||||
Hyperscan failing to compile a pattern with a "Pattern too large" error,
|
Vectorscan failing to compile a pattern with a "Pattern too large" error,
|
||||||
even if the pattern is supported in normal operation.
|
even if the pattern is supported in normal operation.
|
||||||
* Additionally, some patterns cannot be approximately matched because they
|
* Additionally, some patterns cannot be approximately matched because they
|
||||||
reduce to so-called "vacuous" patterns (patterns that match everything). For
|
reduce to so-called "vacuous" patterns (patterns that match everything). For
|
||||||
@ -548,7 +548,7 @@ Logical Combinations
|
|||||||
********************
|
********************
|
||||||
|
|
||||||
For situations when a user requires behaviour that depends on the presence or
|
For situations when a user requires behaviour that depends on the presence or
|
||||||
absence of matches from groups of patterns, Hyperscan provides support for the
|
absence of matches from groups of patterns, Vectorscan provides support for the
|
||||||
logical combination of patterns in a given pattern set, with three operators:
|
logical combination of patterns in a given pattern set, with three operators:
|
||||||
``NOT``, ``AND`` and ``OR``.
|
``NOT``, ``AND`` and ``OR``.
|
||||||
|
|
||||||
@ -561,7 +561,7 @@ offset is *true* if the expression it refers to is *false* at this offset.
|
|||||||
For example, ``NOT 101`` means that expression 101 has not yet matched at this
|
For example, ``NOT 101`` means that expression 101 has not yet matched at this
|
||||||
offset.
|
offset.
|
||||||
|
|
||||||
A logical combination is passed to Hyperscan at compile time as an expression.
|
A logical combination is passed to Vectorscan at compile time as an expression.
|
||||||
This combination expression will raise matches at every offset where one of its
|
This combination expression will raise matches at every offset where one of its
|
||||||
sub-expressions matches and the logical value of the whole expression is *true*.
|
sub-expressions matches and the logical value of the whole expression is *true*.
|
||||||
|
|
||||||
@ -603,7 +603,7 @@ In a logical combination expression:
|
|||||||
* Whitespace is ignored.
|
* Whitespace is ignored.
|
||||||
|
|
||||||
To use a logical combination expression, it must be passed to one of the
|
To use a logical combination expression, it must be passed to one of the
|
||||||
Hyperscan compile functions (:c:func:`hs_compile_multi`,
|
Vectorscan compile functions (:c:func:`hs_compile_multi`,
|
||||||
:c:func:`hs_compile_ext_multi`) along with the :c:member:`HS_FLAG_COMBINATION` flag,
|
:c:func:`hs_compile_ext_multi`) along with the :c:member:`HS_FLAG_COMBINATION` flag,
|
||||||
which identifies the pattern as a logical combination expression. The patterns
|
which identifies the pattern as a logical combination expression. The patterns
|
||||||
referred to in the logical combination expression must be compiled together in
|
referred to in the logical combination expression must be compiled together in
|
||||||
@ -613,7 +613,7 @@ When an expression has the :c:member:`HS_FLAG_COMBINATION` flag set, it ignores
|
|||||||
all other flags except the :c:member:`HS_FLAG_SINGLEMATCH` flag and the
|
all other flags except the :c:member:`HS_FLAG_SINGLEMATCH` flag and the
|
||||||
:c:member:`HS_FLAG_QUIET` flag.
|
:c:member:`HS_FLAG_QUIET` flag.
|
||||||
|
|
||||||
Hyperscan will accept logical combination expressions at compile time that
|
Vectorscan will accept logical combination expressions at compile time that
|
||||||
evaluate to *true* when no patterns have matched, and report the match for
|
evaluate to *true* when no patterns have matched, and report the match for
|
||||||
combination at end of data if no patterns have matched; for example: ::
|
combination at end of data if no patterns have matched; for example: ::
|
||||||
|
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
# -*- coding: utf-8 -*-
|
# -*- coding: utf-8 -*-
|
||||||
#
|
#
|
||||||
# Hyperscan documentation build configuration file, created by
|
# Vectorscan documentation build configuration file, created by
|
||||||
# sphinx-quickstart on Tue Sep 29 15:59:19 2015.
|
# sphinx-quickstart on Tue Sep 29 15:59:19 2015.
|
||||||
#
|
#
|
||||||
# This file is execfile()d with the current directory set to its
|
# This file is execfile()d with the current directory set to its
|
||||||
@ -43,8 +43,8 @@ source_suffix = '.rst'
|
|||||||
master_doc = 'index'
|
master_doc = 'index'
|
||||||
|
|
||||||
# General information about the project.
|
# General information about the project.
|
||||||
project = u'Hyperscan'
|
project = u'Vectorscan'
|
||||||
copyright = u'2015-2018, Intel Corporation'
|
copyright = u'2015-2020, Intel Corporation; 2020-2024, VectorCamp; and other contributors'
|
||||||
|
|
||||||
# The version info for the project you're documenting, acts as replacement for
|
# The version info for the project you're documenting, acts as replacement for
|
||||||
# |version| and |release|, also used in various other places throughout the
|
# |version| and |release|, also used in various other places throughout the
|
||||||
@ -202,7 +202,7 @@ latex_elements = {
|
|||||||
# (source start file, target name, title,
|
# (source start file, target name, title,
|
||||||
# author, documentclass [howto, manual, or own class]).
|
# author, documentclass [howto, manual, or own class]).
|
||||||
latex_documents = [
|
latex_documents = [
|
||||||
('index', 'Hyperscan.tex', u'Hyperscan Documentation',
|
('index', 'Hyperscan.tex', u'Vectorscan Documentation',
|
||||||
u'Intel Corporation', 'manual'),
|
u'Intel Corporation', 'manual'),
|
||||||
]
|
]
|
||||||
|
|
||||||
@ -232,8 +232,8 @@ latex_documents = [
|
|||||||
# One entry per manual page. List of tuples
|
# One entry per manual page. List of tuples
|
||||||
# (source start file, name, description, authors, manual section).
|
# (source start file, name, description, authors, manual section).
|
||||||
man_pages = [
|
man_pages = [
|
||||||
('index', 'hyperscan', u'Hyperscan Documentation',
|
('index', 'vectorscan', u'Vectorscan Documentation',
|
||||||
[u'Intel Corporation'], 1)
|
[u'Intel Corporation'], 7)
|
||||||
]
|
]
|
||||||
|
|
||||||
# If true, show URL addresses after external links.
|
# If true, show URL addresses after external links.
|
||||||
@ -246,8 +246,8 @@ man_pages = [
|
|||||||
# (source start file, target name, title, author,
|
# (source start file, target name, title, author,
|
||||||
# dir menu entry, description, category)
|
# dir menu entry, description, category)
|
||||||
texinfo_documents = [
|
texinfo_documents = [
|
||||||
('index', 'Hyperscan', u'Hyperscan Documentation',
|
('index', 'Vectorscan', u'Vectorscan Documentation',
|
||||||
u'Intel Corporation', 'Hyperscan', 'High-performance regular expression matcher.',
|
u'Intel Corporation; VectorCamp', 'Vectorscan', 'High-performance regular expression matcher.',
|
||||||
'Miscellaneous'),
|
'Miscellaneous'),
|
||||||
]
|
]
|
||||||
|
|
||||||
|
@ -7,43 +7,41 @@ Getting Started
|
|||||||
Very Quick Start
|
Very Quick Start
|
||||||
****************
|
****************
|
||||||
|
|
||||||
#. Clone Hyperscan ::
|
#. Clone Vectorscan ::
|
||||||
|
|
||||||
cd <where-you-want-hyperscan-source>
|
cd <where-you-want-vectorscan-source>
|
||||||
git clone git://github.com/intel/hyperscan
|
git clone https://github.com/VectorCamp/vectorscan
|
||||||
|
|
||||||
#. Configure Hyperscan
|
#. Configure Vectorscan
|
||||||
|
|
||||||
Ensure that you have the correct :ref:`dependencies <software>` present,
|
Ensure that you have the correct :ref:`dependencies <software>` present,
|
||||||
and then:
|
and then:
|
||||||
|
|
||||||
::
|
::
|
||||||
|
|
||||||
cd <where-you-want-to-build-hyperscan>
|
cd <where-you-want-to-build-vectorscan>
|
||||||
mkdir <build-dir>
|
mkdir <build-dir>
|
||||||
cd <build-dir>
|
cd <build-dir>
|
||||||
cmake [-G <generator>] [options] <hyperscan-source-path>
|
cmake [-G <generator>] [options] <vectorscan-source-path>
|
||||||
|
|
||||||
Known working generators:
|
Known working generators:
|
||||||
* ``Unix Makefiles`` --- make-compatible makefiles (default on Linux/FreeBSD/Mac OS X)
|
* ``Unix Makefiles`` --- make-compatible makefiles (default on Linux/FreeBSD/Mac OS X)
|
||||||
* ``Ninja`` --- `Ninja <http://martine.github.io/ninja/>`_ build files.
|
* ``Ninja`` --- `Ninja <http://martine.github.io/ninja/>`_ build files.
|
||||||
* ``Visual Studio 15 2017`` --- Visual Studio projects
|
|
||||||
|
|
||||||
Generators that might work include:
|
Unsupported generators that might work include:
|
||||||
* ``Xcode`` --- OS X Xcode projects.
|
* ``Xcode`` --- OS X Xcode projects.
|
||||||
|
|
||||||
#. Build Hyperscan
|
#. Build Vectorscan
|
||||||
|
|
||||||
Depending on the generator used:
|
Depending on the generator used:
|
||||||
* ``cmake --build .`` --- will build everything
|
* ``cmake --build .`` --- will build everything
|
||||||
* ``make -j<jobs>`` --- use makefiles in parallel
|
* ``make -j<jobs>`` --- use makefiles in parallel
|
||||||
* ``ninja`` --- use Ninja build
|
* ``ninja`` --- use Ninja build
|
||||||
* ``MsBuild.exe`` --- use Visual Studio MsBuild
|
|
||||||
* etc.
|
* etc.
|
||||||
|
|
||||||
#. Check Hyperscan
|
#. Check Vectorscan
|
||||||
|
|
||||||
Run the Hyperscan unit tests: ::
|
Run the Vectorscan unit tests: ::
|
||||||
|
|
||||||
bin/unit-hyperscan
|
bin/unit-hyperscan
|
||||||
|
|
||||||
@ -55,20 +53,23 @@ Requirements
|
|||||||
Hardware
|
Hardware
|
||||||
========
|
========
|
||||||
|
|
||||||
Hyperscan will run on x86 processors in 64-bit (Intel\ |reg| 64 Architecture) and
|
Vectorscan will run on x86 processors in 64-bit (Intel\ |reg| 64 Architecture) and
|
||||||
32-bit (IA-32 Architecture) modes.
|
32-bit (IA-32 Architecture) modes as well as Arm v8.0+ aarch64, and POWER 8+ ppc64le
|
||||||
|
machines.
|
||||||
|
|
||||||
Hyperscan is a high performance software library that takes advantage of recent
|
Hyperscan is a high performance software library that takes advantage of recent
|
||||||
Intel architecture advances. At a minimum, support for Supplemental Streaming
|
architecture advances.
|
||||||
SIMD Extensions 3 (SSSE3) is required, which should be available on any modern
|
|
||||||
x86 processor.
|
|
||||||
|
|
||||||
Additionally, Hyperscan can make use of:
|
Additionally, Vectorscan can make use of:
|
||||||
|
|
||||||
* Intel Streaming SIMD Extensions 4.2 (SSE4.2)
|
* Intel Streaming SIMD Extensions 4.2 (SSE4.2)
|
||||||
* the POPCNT instruction
|
* the POPCNT instruction
|
||||||
* Bit Manipulation Instructions (BMI, BMI2)
|
* Bit Manipulation Instructions (BMI, BMI2)
|
||||||
* Intel Advanced Vector Extensions 2 (Intel AVX2)
|
* Intel Advanced Vector Extensions 2 (Intel AVX2)
|
||||||
|
* Arm NEON
|
||||||
|
* Arm SVE and SVE2
|
||||||
|
* Arm SVE2 BITPERM
|
||||||
|
* IBM Power8/Power9 VSX
|
||||||
|
|
||||||
if present.
|
if present.
|
||||||
|
|
||||||
@ -79,40 +80,34 @@ These can be determined at library compile time, see :ref:`target_arch`.
|
|||||||
Software
|
Software
|
||||||
========
|
========
|
||||||
|
|
||||||
As a software library, Hyperscan doesn't impose any particular runtime
|
As a software library, Vectorscan doesn't impose any particular runtime
|
||||||
software requirements, however to build the Hyperscan library we require a
|
software requirements, however to build the Vectorscan library we require a
|
||||||
modern C and C++ compiler -- in particular, Hyperscan requires C99 and C++11
|
modern C and C++ compiler -- in particular, Vectorscan requires C99 and C++17
|
||||||
compiler support. The supported compilers are:
|
compiler support. The supported compilers are:
|
||||||
|
|
||||||
* GCC, v4.8.1 or higher
|
* GCC, v9 or higher
|
||||||
* Clang, v3.4 or higher (with libstdc++ or libc++)
|
* Clang, v5 or higher (with libstdc++ or libc++)
|
||||||
* Intel C++ Compiler v15 or higher
|
|
||||||
* Visual C++ 2017 Build Tools
|
|
||||||
|
|
||||||
Examples of operating systems that Hyperscan is known to work on include:
|
Examples of operating systems that Vectorscan is known to work on include:
|
||||||
|
|
||||||
Linux:
|
Linux:
|
||||||
|
|
||||||
* Ubuntu 14.04 LTS or newer
|
* Ubuntu 20.04 LTS or newer
|
||||||
* RedHat/CentOS 7 or newer
|
* RedHat/CentOS 7 or newer
|
||||||
|
* Fedora 38 or newer
|
||||||
|
* Debian 10
|
||||||
|
|
||||||
FreeBSD:
|
FreeBSD:
|
||||||
|
|
||||||
* 10.0 or newer
|
* 10.0 or newer
|
||||||
|
|
||||||
Windows:
|
|
||||||
|
|
||||||
* 8 or newer
|
|
||||||
|
|
||||||
Mac OS X:
|
Mac OS X:
|
||||||
|
|
||||||
* 10.8 or newer, using XCode/Clang
|
* 10.8 or newer, using XCode/Clang
|
||||||
|
|
||||||
Hyperscan *may* compile and run on other platforms, but there is no guarantee.
|
Vectorscan *may* compile and run on other platforms, but there is no guarantee.
|
||||||
We currently have experimental support for Windows using Intel C++ Compiler
|
|
||||||
or Visual Studio 2017.
|
|
||||||
|
|
||||||
In addition, the following software is required for compiling the Hyperscan library:
|
In addition, the following software is required for compiling the Vectorscan library:
|
||||||
|
|
||||||
======================================================= =========== ======================================
|
======================================================= =========== ======================================
|
||||||
Dependency Version Notes
|
Dependency Version Notes
|
||||||
@ -132,20 +127,20 @@ Ragel, you may use Cygwin to build it from source.
|
|||||||
Boost Headers
|
Boost Headers
|
||||||
-------------
|
-------------
|
||||||
|
|
||||||
Compiling Hyperscan depends on a recent version of the Boost C++ header
|
Compiling Vectorscan depends on a recent version of the Boost C++ header
|
||||||
library. If the Boost libraries are installed on the build machine in the
|
library. If the Boost libraries are installed on the build machine in the
|
||||||
usual paths, CMake will find them. If the Boost libraries are not installed,
|
usual paths, CMake will find them. If the Boost libraries are not installed,
|
||||||
the location of the Boost source tree can be specified during the CMake
|
the location of the Boost source tree can be specified during the CMake
|
||||||
configuration step using the ``BOOST_ROOT`` variable (described below).
|
configuration step using the ``BOOST_ROOT`` variable (described below).
|
||||||
|
|
||||||
Another alternative is to put a copy of (or a symlink to) the boost
|
Another alternative is to put a copy of (or a symlink to) the boost
|
||||||
subdirectory in ``<hyperscan-source-path>/include/boost``.
|
subdirectory in ``<vectorscanscan-source-path>/include/boost``.
|
||||||
|
|
||||||
For example: for the Boost-1.59.0 release: ::
|
For example: for the Boost-1.59.0 release: ::
|
||||||
|
|
||||||
ln -s boost_1_59_0/boost <hyperscan-source-path>/include/boost
|
ln -s boost_1_59_0/boost <vectorscan-source-path>/include/boost
|
||||||
|
|
||||||
As Hyperscan uses the header-only parts of Boost, it is not necessary to
|
As Vectorscan uses the header-only parts of Boost, it is not necessary to
|
||||||
compile the Boost libraries.
|
compile the Boost libraries.
|
||||||
|
|
||||||
CMake Configuration
|
CMake Configuration
|
||||||
@ -168,11 +163,12 @@ Common options for CMake include:
|
|||||||
| | Valid options are Debug, Release, RelWithDebInfo, |
|
| | Valid options are Debug, Release, RelWithDebInfo, |
|
||||||
| | and MinSizeRel. Default is RelWithDebInfo. |
|
| | and MinSizeRel. Default is RelWithDebInfo. |
|
||||||
+------------------------+----------------------------------------------------+
|
+------------------------+----------------------------------------------------+
|
||||||
| BUILD_SHARED_LIBS | Build Hyperscan as a shared library instead of |
|
| BUILD_SHARED_LIBS | Build Vectorscan as a shared library instead of |
|
||||||
| | the default static library. |
|
| | the default static library. |
|
||||||
|
| | Default: Off |
|
||||||
+------------------------+----------------------------------------------------+
|
+------------------------+----------------------------------------------------+
|
||||||
| BUILD_STATIC_AND_SHARED| Build both static and shared Hyperscan libs. |
|
| BUILD_STATIC_LIBS | Build Vectorscan as a static library. |
|
||||||
| | Default off. |
|
| | Default: On |
|
||||||
+------------------------+----------------------------------------------------+
|
+------------------------+----------------------------------------------------+
|
||||||
| BOOST_ROOT | Location of Boost source tree. |
|
| BOOST_ROOT | Location of Boost source tree. |
|
||||||
+------------------------+----------------------------------------------------+
|
+------------------------+----------------------------------------------------+
|
||||||
@ -180,12 +176,64 @@ Common options for CMake include:
|
|||||||
+------------------------+----------------------------------------------------+
|
+------------------------+----------------------------------------------------+
|
||||||
| FAT_RUNTIME | Build the :ref:`fat runtime<fat_runtime>`. Default |
|
| FAT_RUNTIME | Build the :ref:`fat runtime<fat_runtime>`. Default |
|
||||||
| | true on Linux, not available elsewhere. |
|
| | true on Linux, not available elsewhere. |
|
||||||
|
| | Default: Off |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| USE_CPU_NATIVE | Native CPU detection is off by default, however it |
|
||||||
|
| | is possible to build a performance-oriented non-fat|
|
||||||
|
| | library tuned to your CPU. |
|
||||||
|
| | Default: Off |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| SANITIZE | Use libasan sanitizer to detect possible bugs. |
|
||||||
|
| | Valid options are address, memory and undefined. |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| SIMDE_BACKEND | Enable SIMDe backend. If this is chosen all native |
|
||||||
|
| | (SSE/AVX/AVX512/Neon/SVE/VSX) backends will be |
|
||||||
|
| | disabled and a SIMDe SSE4.2 emulation backend will |
|
||||||
|
| | be enabled. This will enable Vectorscan to build |
|
||||||
|
| | and run on architectures without SIMD. |
|
||||||
|
| | Default: Off |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| SIMDE_NATIVE | Enable SIMDe native emulation of x86 SSE4.2 |
|
||||||
|
| | intrinsics on the building platform. That is, |
|
||||||
|
| | SSE4.2 intrinsics will be emulated using Neon on |
|
||||||
|
| | an Arm platform, or VSX on a Power platform, etc. |
|
||||||
|
| | Default: Off |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
|
||||||
|
X86 platform specific options include:
|
||||||
|
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| Variable | Description |
|
||||||
|
+========================+====================================================+
|
||||||
|
| BUILD_AVX2 | Enable code for AVX2. |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| BUILD_AVX512 | Enable code for AVX512. Implies BUILD_AVX2. |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| BUILD_AVX512VBMI | Enable code for AVX512 with VBMI extension. Implies|
|
||||||
|
| | BUILD_AVX512. |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
|
||||||
|
Arm platform specific options include:
|
||||||
|
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| Variable | Description |
|
||||||
|
+========================+====================================================+
|
||||||
|
| BUILD_SVE | Enable code for SVE, like on AWS Graviton3 CPUs. |
|
||||||
|
| | Not much code is ported just for SVE , but enabling|
|
||||||
|
| | SVE code production, does improve code generation, |
|
||||||
|
| | see Benchmarks. |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| BUILD_SVE2 | Enable code for SVE2, implies BUILD_SVE. Most |
|
||||||
|
| | non-Neon code is written for SVE2. |
|
||||||
|
+------------------------+----------------------------------------------------+
|
||||||
|
| BUILD_SVE2_BITPERM | Enable code for SVE2_BITPERM harwdare feature, |
|
||||||
|
| | implies BUILD_SVE2. |
|
||||||
+------------------------+----------------------------------------------------+
|
+------------------------+----------------------------------------------------+
|
||||||
|
|
||||||
For example, to generate a ``Debug`` build: ::
|
For example, to generate a ``Debug`` build: ::
|
||||||
|
|
||||||
cd <build-dir>
|
cd <build-dir>
|
||||||
cmake -DCMAKE_BUILD_TYPE=Debug <hyperscan-source-path>
|
cmake -DCMAKE_BUILD_TYPE=Debug <vectorscan-source-path>
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@ -193,7 +241,7 @@ Build Type
|
|||||||
----------
|
----------
|
||||||
|
|
||||||
CMake determines a number of features for a build based on the Build Type.
|
CMake determines a number of features for a build based on the Build Type.
|
||||||
Hyperscan defaults to ``RelWithDebInfo``, i.e. "release with debugging
|
Vectorscan defaults to ``RelWithDebInfo``, i.e. "release with debugging
|
||||||
information". This is a performance optimized build without runtime assertions
|
information". This is a performance optimized build without runtime assertions
|
||||||
but with debug symbols enabled.
|
but with debug symbols enabled.
|
||||||
|
|
||||||
@ -201,7 +249,7 @@ The other types of builds are:
|
|||||||
|
|
||||||
* ``Release``: as above, but without debug symbols
|
* ``Release``: as above, but without debug symbols
|
||||||
* ``MinSizeRel``: a stripped release build
|
* ``MinSizeRel``: a stripped release build
|
||||||
* ``Debug``: used when developing Hyperscan. Includes runtime assertions
|
* ``Debug``: used when developing Vectorscan. Includes runtime assertions
|
||||||
(which has a large impact on runtime performance), and will also enable
|
(which has a large impact on runtime performance), and will also enable
|
||||||
some other build features like building internal unit
|
some other build features like building internal unit
|
||||||
tests.
|
tests.
|
||||||
@ -211,7 +259,7 @@ The other types of builds are:
|
|||||||
Target Architecture
|
Target Architecture
|
||||||
-------------------
|
-------------------
|
||||||
|
|
||||||
Unless using the :ref:`fat runtime<fat_runtime>`, by default Hyperscan will be
|
Unless using the :ref:`fat runtime<fat_runtime>`, by default Vectorscan will be
|
||||||
compiled to target the instruction set of the processor of the machine that
|
compiled to target the instruction set of the processor of the machine that
|
||||||
being used for compilation. This is done via the use of ``-march=native``. The
|
being used for compilation. This is done via the use of ``-march=native``. The
|
||||||
result of this means that a library built on one machine may not work on a
|
result of this means that a library built on one machine may not work on a
|
||||||
@ -223,7 +271,7 @@ CMake, or ``CMAKE_C_FLAGS`` and ``CMAKE_CXX_FLAGS`` on the CMake command line. F
|
|||||||
example, to set the instruction subsets up to ``SSE4.2`` using GCC 4.8: ::
|
example, to set the instruction subsets up to ``SSE4.2`` using GCC 4.8: ::
|
||||||
|
|
||||||
cmake -DCMAKE_C_FLAGS="-march=corei7" \
|
cmake -DCMAKE_C_FLAGS="-march=corei7" \
|
||||||
-DCMAKE_CXX_FLAGS="-march=corei7" <hyperscan-source-path>
|
-DCMAKE_CXX_FLAGS="-march=corei7" <vectorscan-source-path>
|
||||||
|
|
||||||
For more information, refer to :ref:`instr_specialization`.
|
For more information, refer to :ref:`instr_specialization`.
|
||||||
|
|
||||||
@ -232,17 +280,17 @@ For more information, refer to :ref:`instr_specialization`.
|
|||||||
Fat Runtime
|
Fat Runtime
|
||||||
-----------
|
-----------
|
||||||
|
|
||||||
A feature introduced in Hyperscan v4.4 is the ability for the Hyperscan
|
A feature introduced in Hyperscan v4.4 is the ability for the Vectorscan
|
||||||
library to dispatch the most appropriate runtime code for the host processor.
|
library to dispatch the most appropriate runtime code for the host processor.
|
||||||
This feature is called the "fat runtime", as a single Hyperscan library
|
This feature is called the "fat runtime", as a single Vectorscan library
|
||||||
contains multiple copies of the runtime code for different instruction sets.
|
contains multiple copies of the runtime code for different instruction sets.
|
||||||
|
|
||||||
.. note::
|
.. note::
|
||||||
|
|
||||||
The fat runtime feature is only available on Linux. Release builds of
|
The fat runtime feature is only available on Linux. Release builds of
|
||||||
Hyperscan will default to having the fat runtime enabled where supported.
|
Vectorscan will default to having the fat runtime enabled where supported.
|
||||||
|
|
||||||
When building the library with the fat runtime, the Hyperscan runtime code
|
When building the library with the fat runtime, the Vectorscan runtime code
|
||||||
will be compiled multiple times for these different instruction sets, and
|
will be compiled multiple times for these different instruction sets, and
|
||||||
these compiled objects are combined into one library. There are no changes to
|
these compiled objects are combined into one library. There are no changes to
|
||||||
how user applications are built against this library.
|
how user applications are built against this library.
|
||||||
@ -254,11 +302,11 @@ resolved so that the right version of each API function is used. There is no
|
|||||||
impact on function call performance, as this check and resolution is performed
|
impact on function call performance, as this check and resolution is performed
|
||||||
by the ELF loader once when the binary is loaded.
|
by the ELF loader once when the binary is loaded.
|
||||||
|
|
||||||
If the Hyperscan library is used on x86 systems without ``SSSE3``, the runtime
|
If the Vectorscan library is used on x86 systems without ``SSSE4.2``, the runtime
|
||||||
API functions will resolve to functions that return :c:member:`HS_ARCH_ERROR`
|
API functions will resolve to functions that return :c:member:`HS_ARCH_ERROR`
|
||||||
instead of potentially executing illegal instructions. The API function
|
instead of potentially executing illegal instructions. The API function
|
||||||
:c:func:`hs_valid_platform` can be used by application writers to determine if
|
:c:func:`hs_valid_platform` can be used by application writers to determine if
|
||||||
the current platform is supported by Hyperscan.
|
the current platform is supported by Vectorscan.
|
||||||
|
|
||||||
As of this release, the variants of the runtime that are built, and the CPU
|
As of this release, the variants of the runtime that are built, and the CPU
|
||||||
capability that is required, are the following:
|
capability that is required, are the following:
|
||||||
@ -299,6 +347,11 @@ capability that is required, are the following:
|
|||||||
|
|
||||||
cmake -DBUILD_AVX512VBMI=on <...>
|
cmake -DBUILD_AVX512VBMI=on <...>
|
||||||
|
|
||||||
|
Vectorscan add support for Arm processors and SVE, SV2 and SVE2_BITPERM.
|
||||||
|
example: ::
|
||||||
|
|
||||||
|
cmake -DBUILD_SVE=ON -DBUILD_SVE2=ON -DBUILD_SVE2_BITPERM=ON <...>
|
||||||
|
|
||||||
As the fat runtime requires compiler, libc, and binutils support, at this time
|
As the fat runtime requires compiler, libc, and binutils support, at this time
|
||||||
it will only be enabled for Linux builds where the compiler supports the
|
it will only be enabled for Linux builds where the compiler supports the
|
||||||
`indirect function "ifunc" function attribute
|
`indirect function "ifunc" function attribute
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
###############################################
|
###############################################
|
||||||
Hyperscan |version| Developer's Reference Guide
|
Vectorscan |version| Developer's Reference Guide
|
||||||
###############################################
|
###############################################
|
||||||
|
|
||||||
-------
|
-------
|
||||||
|
@ -5,11 +5,11 @@
|
|||||||
Introduction
|
Introduction
|
||||||
############
|
############
|
||||||
|
|
||||||
Hyperscan is a software regular expression matching engine designed with
|
Vectorscan is a software regular expression matching engine designed with
|
||||||
high performance and flexibility in mind. It is implemented as a library that
|
high performance and flexibility in mind. It is implemented as a library that
|
||||||
exposes a straightforward C API.
|
exposes a straightforward C API.
|
||||||
|
|
||||||
The Hyperscan API itself is composed of two major components:
|
The Vectorscan API itself is composed of two major components:
|
||||||
|
|
||||||
***********
|
***********
|
||||||
Compilation
|
Compilation
|
||||||
@ -17,7 +17,7 @@ Compilation
|
|||||||
|
|
||||||
These functions take a group of regular expressions, along with identifiers and
|
These functions take a group of regular expressions, along with identifiers and
|
||||||
option flags, and compile them into an immutable database that can be used by
|
option flags, and compile them into an immutable database that can be used by
|
||||||
the Hyperscan scanning API. This compilation process performs considerable
|
the Vectorscan scanning API. This compilation process performs considerable
|
||||||
analysis and optimization work in order to build a database that will match the
|
analysis and optimization work in order to build a database that will match the
|
||||||
given expressions efficiently.
|
given expressions efficiently.
|
||||||
|
|
||||||
@ -36,8 +36,8 @@ See :ref:`compilation` for more detail.
|
|||||||
Scanning
|
Scanning
|
||||||
********
|
********
|
||||||
|
|
||||||
Once a Hyperscan database has been created, it can be used to scan data in
|
Once a Vectorscan database has been created, it can be used to scan data in
|
||||||
memory. Hyperscan provides several scanning modes, depending on whether the
|
memory. Vectorscan provides several scanning modes, depending on whether the
|
||||||
data to be scanned is available as a single contiguous block, whether it is
|
data to be scanned is available as a single contiguous block, whether it is
|
||||||
distributed amongst several blocks in memory at the same time, or whether it is
|
distributed amongst several blocks in memory at the same time, or whether it is
|
||||||
to be scanned as a sequence of blocks in a stream.
|
to be scanned as a sequence of blocks in a stream.
|
||||||
@ -45,7 +45,7 @@ to be scanned as a sequence of blocks in a stream.
|
|||||||
Matches are delivered to the application via a user-supplied callback function
|
Matches are delivered to the application via a user-supplied callback function
|
||||||
that is called synchronously for each match.
|
that is called synchronously for each match.
|
||||||
|
|
||||||
For a given database, Hyperscan provides several guarantees:
|
For a given database, Vectorscan provides several guarantees:
|
||||||
|
|
||||||
* No memory allocations occur at runtime with the exception of two
|
* No memory allocations occur at runtime with the exception of two
|
||||||
fixed-size allocations, both of which should be done ahead of time for
|
fixed-size allocations, both of which should be done ahead of time for
|
||||||
@ -56,7 +56,7 @@ For a given database, Hyperscan provides several guarantees:
|
|||||||
call.
|
call.
|
||||||
- **Stream state**: in streaming mode only, some state space is required to
|
- **Stream state**: in streaming mode only, some state space is required to
|
||||||
store data that persists between scan calls for each stream. This allows
|
store data that persists between scan calls for each stream. This allows
|
||||||
Hyperscan to track matches that span multiple blocks of data.
|
Vectorscan to track matches that span multiple blocks of data.
|
||||||
|
|
||||||
* The sizes of the scratch space and stream state (in streaming mode) required
|
* The sizes of the scratch space and stream state (in streaming mode) required
|
||||||
for a given database are fixed and determined at database compile time. This
|
for a given database are fixed and determined at database compile time. This
|
||||||
@ -64,7 +64,7 @@ For a given database, Hyperscan provides several guarantees:
|
|||||||
time, and these structures can be pre-allocated if required for performance
|
time, and these structures can be pre-allocated if required for performance
|
||||||
reasons.
|
reasons.
|
||||||
|
|
||||||
* Any pattern that has successfully been compiled by the Hyperscan compiler can
|
* Any pattern that has successfully been compiled by the Vectorscan compiler can
|
||||||
be scanned against any input. There are no internal resource limits or other
|
be scanned against any input. There are no internal resource limits or other
|
||||||
limitations at runtime that could cause a scan call to return an error.
|
limitations at runtime that could cause a scan call to return an error.
|
||||||
|
|
||||||
@ -74,12 +74,12 @@ See :ref:`runtime` for more detail.
|
|||||||
Tools
|
Tools
|
||||||
*****
|
*****
|
||||||
|
|
||||||
Some utilities for testing and benchmarking Hyperscan are included with the
|
Some utilities for testing and benchmarking Vectorscan are included with the
|
||||||
library. See :ref:`tools` for more information.
|
library. See :ref:`tools` for more information.
|
||||||
|
|
||||||
************
|
************
|
||||||
Example Code
|
Example Code
|
||||||
************
|
************
|
||||||
|
|
||||||
Some simple example code demonstrating the use of the Hyperscan API is
|
Some simple example code demonstrating the use of the Vectorscan API is
|
||||||
available in the ``examples/`` subdirectory of the Hyperscan distribution.
|
available in the ``examples/`` subdirectory of the Vectorscan distribution.
|
||||||
|
@ -4,7 +4,7 @@
|
|||||||
Performance Considerations
|
Performance Considerations
|
||||||
##########################
|
##########################
|
||||||
|
|
||||||
Hyperscan supports a wide range of patterns in all three scanning modes. It is
|
Vectorscan supports a wide range of patterns in all three scanning modes. It is
|
||||||
capable of extremely high levels of performance, but certain patterns can
|
capable of extremely high levels of performance, but certain patterns can
|
||||||
reduce performance markedly.
|
reduce performance markedly.
|
||||||
|
|
||||||
@ -25,7 +25,7 @@ For example, caseless matching of :regexp:`/abc/` can be written as:
|
|||||||
* :regexp:`/(?i)abc(?-i)/`
|
* :regexp:`/(?i)abc(?-i)/`
|
||||||
* :regexp:`/abc/i`
|
* :regexp:`/abc/i`
|
||||||
|
|
||||||
Hyperscan is capable of handling all these constructs. Unless there is a
|
Vectorscan is capable of handling all these constructs. Unless there is a
|
||||||
specific reason otherwise, do not rewrite patterns from one form to another.
|
specific reason otherwise, do not rewrite patterns from one form to another.
|
||||||
|
|
||||||
As another example, matching of :regexp:`/foo(bar|baz)(frotz)?/` can be
|
As another example, matching of :regexp:`/foo(bar|baz)(frotz)?/` can be
|
||||||
@ -41,24 +41,24 @@ Library usage
|
|||||||
|
|
||||||
.. tip:: Do not hand-optimize library usage.
|
.. tip:: Do not hand-optimize library usage.
|
||||||
|
|
||||||
The Hyperscan library is capable of dealing with small writes, unusually large
|
The Vectorscan library is capable of dealing with small writes, unusually large
|
||||||
and small pattern sets, etc. Unless there is a specific performance problem
|
and small pattern sets, etc. Unless there is a specific performance problem
|
||||||
with some usage of the library, it is best to use Hyperscan in a simple and
|
with some usage of the library, it is best to use Vectorscan in a simple and
|
||||||
direct fashion. For example, it is unlikely for there to be much benefit in
|
direct fashion. For example, it is unlikely for there to be much benefit in
|
||||||
buffering input to the library into larger blocks unless streaming writes are
|
buffering input to the library into larger blocks unless streaming writes are
|
||||||
tiny (say, 1-2 bytes at a time).
|
tiny (say, 1-2 bytes at a time).
|
||||||
|
|
||||||
Unlike many other pattern matching products, Hyperscan will run faster with
|
Unlike many other pattern matching products, Vectorscan will run faster with
|
||||||
small numbers of patterns and slower with large numbers of patterns in a smooth
|
small numbers of patterns and slower with large numbers of patterns in a smooth
|
||||||
fashion (as opposed to, typically, running at a moderate speed up to some fixed
|
fashion (as opposed to, typically, running at a moderate speed up to some fixed
|
||||||
limit then either breaking or running half as fast).
|
limit then either breaking or running half as fast).
|
||||||
|
|
||||||
Hyperscan also provides high-throughput matching with a single thread of
|
Vectorscan also provides high-throughput matching with a single thread of
|
||||||
control per core; if a database runs at 3.0 Gbps in Hyperscan it means that a
|
control per core; if a database runs at 3.0 Gbps in Vectorscan it means that a
|
||||||
3000-bit block of data will be scanned in 1 microsecond in a single thread of
|
3000-bit block of data will be scanned in 1 microsecond in a single thread of
|
||||||
control, not that it is required to scan 22 3000-bit blocks of data in 22
|
control, not that it is required to scan 22 3000-bit blocks of data in 22
|
||||||
microseconds. Thus, it is not usually necessary to buffer data to supply
|
microseconds. Thus, it is not usually necessary to buffer data to supply
|
||||||
Hyperscan with available parallelism.
|
Vectorscan with available parallelism.
|
||||||
|
|
||||||
********************
|
********************
|
||||||
Block-based matching
|
Block-based matching
|
||||||
@ -72,7 +72,7 @@ accumulated before processing, it should be scanned in block rather than in
|
|||||||
streaming mode.
|
streaming mode.
|
||||||
|
|
||||||
Unnecessary use of streaming mode reduces the number of optimizations that can
|
Unnecessary use of streaming mode reduces the number of optimizations that can
|
||||||
be applied in Hyperscan and may make some patterns run slower.
|
be applied in Vectorscan and may make some patterns run slower.
|
||||||
|
|
||||||
If there is a mixture of 'block' and 'streaming' mode patterns, these should be
|
If there is a mixture of 'block' and 'streaming' mode patterns, these should be
|
||||||
scanned in separate databases except in the case that the streaming patterns
|
scanned in separate databases except in the case that the streaming patterns
|
||||||
@ -107,7 +107,7 @@ Allocate scratch ahead of time
|
|||||||
|
|
||||||
Scratch allocation is not necessarily a cheap operation. Since it is the first
|
Scratch allocation is not necessarily a cheap operation. Since it is the first
|
||||||
time (after compilation or deserialization) that a pattern database is used,
|
time (after compilation or deserialization) that a pattern database is used,
|
||||||
Hyperscan performs some validation checks inside :c:func:`hs_alloc_scratch` and
|
Vectorscan performs some validation checks inside :c:func:`hs_alloc_scratch` and
|
||||||
must also allocate memory.
|
must also allocate memory.
|
||||||
|
|
||||||
Therefore, it is important to ensure that :c:func:`hs_alloc_scratch` is not
|
Therefore, it is important to ensure that :c:func:`hs_alloc_scratch` is not
|
||||||
@ -329,7 +329,7 @@ Consequently, :regexp:`/foo.*bar/L` with a check on start of match values after
|
|||||||
the callback is considerably more expensive and general than
|
the callback is considerably more expensive and general than
|
||||||
:regexp:`/foo.{300}bar/`.
|
:regexp:`/foo.{300}bar/`.
|
||||||
|
|
||||||
Similarly, the :c:member:`hs_expr_ext::min_length` extended parameter can be
|
Similarly, the :cpp:member:`hs_expr_ext::min_length` extended parameter can be
|
||||||
used to specify a lower bound on the length of the matches for a pattern. Using
|
used to specify a lower bound on the length of the matches for a pattern. Using
|
||||||
this facility may be more lightweight in some circumstances than using the SOM
|
this facility may be more lightweight in some circumstances than using the SOM
|
||||||
flag and post-confirming match length in the calling application.
|
flag and post-confirming match length in the calling application.
|
||||||
|
@ -6,35 +6,35 @@ Preface
|
|||||||
Overview
|
Overview
|
||||||
********
|
********
|
||||||
|
|
||||||
Hyperscan is a regular expression engine designed to offer high performance, the
|
Vectorscan is a regular expression engine designed to offer high performance, the
|
||||||
ability to match multiple expressions simultaneously and flexibility in
|
ability to match multiple expressions simultaneously and flexibility in
|
||||||
scanning operation.
|
scanning operation.
|
||||||
|
|
||||||
Patterns are provided to a compilation interface which generates an immutable
|
Patterns are provided to a compilation interface which generates an immutable
|
||||||
pattern database. The scan interface then can be used to scan a target data
|
pattern database. The scan interface then can be used to scan a target data
|
||||||
buffer for the given patterns, returning any matching results from that data
|
buffer for the given patterns, returning any matching results from that data
|
||||||
buffer. Hyperscan also provides a streaming mode, in which matches that span
|
buffer. Vectorscan also provides a streaming mode, in which matches that span
|
||||||
several blocks in a stream are detected.
|
several blocks in a stream are detected.
|
||||||
|
|
||||||
This document is designed to facilitate code-level integration of the Hyperscan
|
This document is designed to facilitate code-level integration of the Vectorscan
|
||||||
library with existing or new applications.
|
library with existing or new applications.
|
||||||
|
|
||||||
:ref:`intro` is a short overview of the Hyperscan library, with more detail on
|
:ref:`intro` is a short overview of the Vectorscan library, with more detail on
|
||||||
the Hyperscan API provided in the subsequent sections: :ref:`compilation` and
|
the Vectorscan API provided in the subsequent sections: :ref:`compilation` and
|
||||||
:ref:`runtime`.
|
:ref:`runtime`.
|
||||||
|
|
||||||
:ref:`perf` provides details on various factors which may impact the
|
:ref:`perf` provides details on various factors which may impact the
|
||||||
performance of a Hyperscan integration.
|
performance of a Vectorscan integration.
|
||||||
|
|
||||||
:ref:`api_constants` and :ref:`api_files` provides a detailed summary of the
|
:ref:`api_constants` and :ref:`api_files` provides a detailed summary of the
|
||||||
Hyperscan Application Programming Interface (API).
|
Vectorscan Application Programming Interface (API).
|
||||||
|
|
||||||
********
|
********
|
||||||
Audience
|
Audience
|
||||||
********
|
********
|
||||||
|
|
||||||
This guide is aimed at developers interested in integrating Hyperscan into an
|
This guide is aimed at developers interested in integrating Vectorscan into an
|
||||||
application. For information on building the Hyperscan library, see the Quick
|
application. For information on building the Vectorscan library, see the Quick
|
||||||
Start Guide.
|
Start Guide.
|
||||||
|
|
||||||
***********
|
***********
|
||||||
|
@ -4,7 +4,7 @@
|
|||||||
Scanning for Patterns
|
Scanning for Patterns
|
||||||
#####################
|
#####################
|
||||||
|
|
||||||
Hyperscan provides three different scanning modes, each with its own scan
|
Vectorscan provides three different scanning modes, each with its own scan
|
||||||
function beginning with ``hs_scan``. In addition, streaming mode has a number
|
function beginning with ``hs_scan``. In addition, streaming mode has a number
|
||||||
of other API functions for managing stream state.
|
of other API functions for managing stream state.
|
||||||
|
|
||||||
@ -33,8 +33,8 @@ See :c:type:`match_event_handler` for more information.
|
|||||||
Streaming Mode
|
Streaming Mode
|
||||||
**************
|
**************
|
||||||
|
|
||||||
The core of the Hyperscan streaming runtime API consists of functions to open,
|
The core of the Vectorscan streaming runtime API consists of functions to open,
|
||||||
scan, and close Hyperscan data streams:
|
scan, and close Vectorscan data streams:
|
||||||
|
|
||||||
* :c:func:`hs_open_stream`: allocates and initializes a new stream for scanning.
|
* :c:func:`hs_open_stream`: allocates and initializes a new stream for scanning.
|
||||||
|
|
||||||
@ -57,14 +57,14 @@ will return immediately with :c:member:`HS_SCAN_TERMINATED`. The caller must
|
|||||||
still call :c:func:`hs_close_stream` to complete the clean-up process for that
|
still call :c:func:`hs_close_stream` to complete the clean-up process for that
|
||||||
stream.
|
stream.
|
||||||
|
|
||||||
Streams exist in the Hyperscan library so that pattern matching state can be
|
Streams exist in the Vectorscan library so that pattern matching state can be
|
||||||
maintained across multiple blocks of target data -- without maintaining this
|
maintained across multiple blocks of target data -- without maintaining this
|
||||||
state, it would not be possible to detect patterns that span these blocks of
|
state, it would not be possible to detect patterns that span these blocks of
|
||||||
data. This, however, does come at the cost of requiring an amount of storage
|
data. This, however, does come at the cost of requiring an amount of storage
|
||||||
per-stream (the size of this storage is fixed at compile time), and a slight
|
per-stream (the size of this storage is fixed at compile time), and a slight
|
||||||
performance penalty in some cases to manage the state.
|
performance penalty in some cases to manage the state.
|
||||||
|
|
||||||
While Hyperscan does always support a strict ordering of multiple matches,
|
While Vectorscan does always support a strict ordering of multiple matches,
|
||||||
streaming matches will not be delivered at offsets before the current stream
|
streaming matches will not be delivered at offsets before the current stream
|
||||||
write, with the exception of zero-width asserts, where constructs such as
|
write, with the exception of zero-width asserts, where constructs such as
|
||||||
:regexp:`\\b` and :regexp:`$` can cause a match on the final character of a
|
:regexp:`\\b` and :regexp:`$` can cause a match on the final character of a
|
||||||
@ -76,7 +76,7 @@ Stream Management
|
|||||||
=================
|
=================
|
||||||
|
|
||||||
In addition to :c:func:`hs_open_stream`, :c:func:`hs_scan_stream`, and
|
In addition to :c:func:`hs_open_stream`, :c:func:`hs_scan_stream`, and
|
||||||
:c:func:`hs_close_stream`, the Hyperscan API provides a number of other
|
:c:func:`hs_close_stream`, the Vectorscan API provides a number of other
|
||||||
functions for the management of streams:
|
functions for the management of streams:
|
||||||
|
|
||||||
* :c:func:`hs_reset_stream`: resets a stream to its initial state; this is
|
* :c:func:`hs_reset_stream`: resets a stream to its initial state; this is
|
||||||
@ -98,10 +98,10 @@ A stream object is allocated as a fixed size region of memory which has been
|
|||||||
sized to ensure that no memory allocations are required during scan
|
sized to ensure that no memory allocations are required during scan
|
||||||
operations. When the system is under memory pressure, it may be useful to reduce
|
operations. When the system is under memory pressure, it may be useful to reduce
|
||||||
the memory consumed by streams that are not expected to be used soon. The
|
the memory consumed by streams that are not expected to be used soon. The
|
||||||
Hyperscan API provides calls for translating a stream to and from a compressed
|
Vectorscan API provides calls for translating a stream to and from a compressed
|
||||||
representation for this purpose. The compressed representation differs from the
|
representation for this purpose. The compressed representation differs from the
|
||||||
full stream object as it does not reserve space for components which are not
|
full stream object as it does not reserve space for components which are not
|
||||||
required given the current stream state. The Hyperscan API functions for this
|
required given the current stream state. The Vectorscan API functions for this
|
||||||
functionality are:
|
functionality are:
|
||||||
|
|
||||||
* :c:func:`hs_compress_stream`: fills the provided buffer with a compressed
|
* :c:func:`hs_compress_stream`: fills the provided buffer with a compressed
|
||||||
@ -157,7 +157,7 @@ scanned in block mode.
|
|||||||
Scratch Space
|
Scratch Space
|
||||||
*************
|
*************
|
||||||
|
|
||||||
While scanning data, Hyperscan needs a small amount of temporary memory to store
|
While scanning data, Vectorscan needs a small amount of temporary memory to store
|
||||||
on-the-fly internal data. This amount is unfortunately too large to fit on the
|
on-the-fly internal data. This amount is unfortunately too large to fit on the
|
||||||
stack, particularly for embedded applications, and allocating memory dynamically
|
stack, particularly for embedded applications, and allocating memory dynamically
|
||||||
is too expensive, so a pre-allocated "scratch" space must be provided to the
|
is too expensive, so a pre-allocated "scratch" space must be provided to the
|
||||||
@ -170,7 +170,7 @@ databases, only a single scratch region is necessary: in this case, calling
|
|||||||
will ensure that the scratch space is large enough to support scanning against
|
will ensure that the scratch space is large enough to support scanning against
|
||||||
any of the given databases.
|
any of the given databases.
|
||||||
|
|
||||||
While the Hyperscan library is re-entrant, the use of scratch spaces is not.
|
While the Vectorscan library is re-entrant, the use of scratch spaces is not.
|
||||||
For example, if by design it is deemed necessary to run recursive or nested
|
For example, if by design it is deemed necessary to run recursive or nested
|
||||||
scanning (say, from the match callback function), then an additional scratch
|
scanning (say, from the match callback function), then an additional scratch
|
||||||
space is required for that context.
|
space is required for that context.
|
||||||
@ -219,11 +219,11 @@ For example:
|
|||||||
Custom Allocators
|
Custom Allocators
|
||||||
*****************
|
*****************
|
||||||
|
|
||||||
By default, structures used by Hyperscan at runtime (scratch space, stream
|
By default, structures used by Vectorscan at runtime (scratch space, stream
|
||||||
state, etc) are allocated with the default system allocators, usually
|
state, etc) are allocated with the default system allocators, usually
|
||||||
``malloc()`` and ``free()``.
|
``malloc()`` and ``free()``.
|
||||||
|
|
||||||
The Hyperscan API provides a facility for changing this behaviour to support
|
The Vectorscan API provides a facility for changing this behaviour to support
|
||||||
applications that use custom memory allocators.
|
applications that use custom memory allocators.
|
||||||
|
|
||||||
These functions are:
|
These functions are:
|
||||||
|
@ -4,7 +4,7 @@
|
|||||||
Serialization
|
Serialization
|
||||||
#############
|
#############
|
||||||
|
|
||||||
For some applications, compiling Hyperscan pattern databases immediately prior
|
For some applications, compiling Vectorscan pattern databases immediately prior
|
||||||
to use is not an appropriate design. Some users may wish to:
|
to use is not an appropriate design. Some users may wish to:
|
||||||
|
|
||||||
* Compile pattern databases on a different host;
|
* Compile pattern databases on a different host;
|
||||||
@ -14,9 +14,9 @@ to use is not an appropriate design. Some users may wish to:
|
|||||||
|
|
||||||
* Control the region of memory in which the compiled database is located.
|
* Control the region of memory in which the compiled database is located.
|
||||||
|
|
||||||
Hyperscan pattern databases are not completely flat in memory: they contain
|
Vectorscan pattern databases are not completely flat in memory: they contain
|
||||||
pointers and have specific alignment requirements. Therefore, they cannot be
|
pointers and have specific alignment requirements. Therefore, they cannot be
|
||||||
copied (or otherwise relocated) directly. To enable these use cases, Hyperscan
|
copied (or otherwise relocated) directly. To enable these use cases, Vectorscan
|
||||||
provides functionality for serializing and deserializing compiled pattern
|
provides functionality for serializing and deserializing compiled pattern
|
||||||
databases.
|
databases.
|
||||||
|
|
||||||
@ -40,10 +40,10 @@ The API provides the following functions:
|
|||||||
returns a string containing information about the database. This call is
|
returns a string containing information about the database. This call is
|
||||||
analogous to :c:func:`hs_database_info`.
|
analogous to :c:func:`hs_database_info`.
|
||||||
|
|
||||||
.. note:: Hyperscan performs both version and platform compatibility checks
|
.. note:: Vectorscan performs both version and platform compatibility checks
|
||||||
upon deserialization. The :c:func:`hs_deserialize_database` and
|
upon deserialization. The :c:func:`hs_deserialize_database` and
|
||||||
:c:func:`hs_deserialize_database_at` functions will only permit the
|
:c:func:`hs_deserialize_database_at` functions will only permit the
|
||||||
deserialization of databases compiled with (a) the same version of Hyperscan
|
deserialization of databases compiled with (a) the same version of Vectorscan
|
||||||
and (b) platform features supported by the current host platform. See
|
and (b) platform features supported by the current host platform. See
|
||||||
:ref:`instr_specialization` for more information on platform specialization.
|
:ref:`instr_specialization` for more information on platform specialization.
|
||||||
|
|
||||||
@ -51,17 +51,17 @@ The API provides the following functions:
|
|||||||
The Runtime Library
|
The Runtime Library
|
||||||
===================
|
===================
|
||||||
|
|
||||||
The main Hyperscan library (``libhs``) contains both the compiler and runtime
|
The main Vectorscan library (``libhs``) contains both the compiler and runtime
|
||||||
portions of the library. This means that in order to support the Hyperscan
|
portions of the library. This means that in order to support the Vectorscan
|
||||||
compiler, which is written in C++, it requires C++ linkage and has a
|
compiler, which is written in C++, it requires C++ linkage and has a
|
||||||
dependency on the C++ standard library.
|
dependency on the C++ standard library.
|
||||||
|
|
||||||
Many embedded applications require only the scanning ("runtime") portion of the
|
Many embedded applications require only the scanning ("runtime") portion of the
|
||||||
Hyperscan library. In these cases, pattern compilation generally takes place on
|
Vectorscan library. In these cases, pattern compilation generally takes place on
|
||||||
another host, and serialized pattern databases are delivered to the application
|
another host, and serialized pattern databases are delivered to the application
|
||||||
for use.
|
for use.
|
||||||
|
|
||||||
To support these applications without requiring the C++ dependency, a
|
To support these applications without requiring the C++ dependency, a
|
||||||
runtime-only version of the Hyperscan library, called ``libhs_runtime``, is also
|
runtime-only version of the Vectorscan library, called ``libhs_runtime``, is also
|
||||||
distributed. This library does not depend on the C++ standard library and
|
distributed. This library does not depend on the C++ standard library and
|
||||||
provides all Hyperscan functions other that those used to compile databases.
|
provides all Vectorscan functions other that those used to compile databases.
|
||||||
|
@ -4,14 +4,14 @@
|
|||||||
Tools
|
Tools
|
||||||
#####
|
#####
|
||||||
|
|
||||||
This section describes the set of utilities included with the Hyperscan library.
|
This section describes the set of utilities included with the Vectorscan library.
|
||||||
|
|
||||||
********************
|
********************
|
||||||
Quick Check: hscheck
|
Quick Check: hscheck
|
||||||
********************
|
********************
|
||||||
|
|
||||||
The ``hscheck`` tool allows the user to quickly check whether Hyperscan supports
|
The ``hscheck`` tool allows the user to quickly check whether Vectorscan supports
|
||||||
a group of patterns. If a pattern is rejected by Hyperscan's compiler, the
|
a group of patterns. If a pattern is rejected by Vectorscan's compiler, the
|
||||||
compile error is provided on standard output.
|
compile error is provided on standard output.
|
||||||
|
|
||||||
For example, given the following three patterns (the last of which contains a
|
For example, given the following three patterns (the last of which contains a
|
||||||
@ -34,7 +34,7 @@ syntax error) in a file called ``/tmp/test``::
|
|||||||
Benchmarker: hsbench
|
Benchmarker: hsbench
|
||||||
********************
|
********************
|
||||||
|
|
||||||
The ``hsbench`` tool provides an easy way to measure Hyperscan's performance
|
The ``hsbench`` tool provides an easy way to measure Vectorscan's performance
|
||||||
for a particular set of patterns and corpus of data to be scanned.
|
for a particular set of patterns and corpus of data to be scanned.
|
||||||
|
|
||||||
Patterns are supplied in the format described below in
|
Patterns are supplied in the format described below in
|
||||||
@ -44,7 +44,7 @@ easy control of how a corpus is broken into blocks and streams.
|
|||||||
|
|
||||||
.. note:: A group of Python scripts for constructing corpora databases from
|
.. note:: A group of Python scripts for constructing corpora databases from
|
||||||
various input types, such as PCAP network traffic captures or text files, can
|
various input types, such as PCAP network traffic captures or text files, can
|
||||||
be found in the Hyperscan source tree in ``tools/hsbench/scripts``.
|
be found in the Vectorscan source tree in ``tools/hsbench/scripts``.
|
||||||
|
|
||||||
Running hsbench
|
Running hsbench
|
||||||
===============
|
===============
|
||||||
@ -56,7 +56,7 @@ produce output like this::
|
|||||||
$ hsbench -e /tmp/patterns -c /tmp/corpus.db
|
$ hsbench -e /tmp/patterns -c /tmp/corpus.db
|
||||||
|
|
||||||
Signatures: /tmp/patterns
|
Signatures: /tmp/patterns
|
||||||
Hyperscan info: Version: 4.3.1 Features: AVX2 Mode: STREAM
|
Vectorscan info: Version: 5.4.11 Features: AVX2 Mode: STREAM
|
||||||
Expression count: 200
|
Expression count: 200
|
||||||
Bytecode size: 342,540 bytes
|
Bytecode size: 342,540 bytes
|
||||||
Database CRC: 0x6cd6b67c
|
Database CRC: 0x6cd6b67c
|
||||||
@ -77,7 +77,7 @@ takes to perform all twenty scans. The number of repeats can be changed with the
|
|||||||
``-n`` argument, and the results of each scan will be displayed if the
|
``-n`` argument, and the results of each scan will be displayed if the
|
||||||
``--per-scan`` argument is specified.
|
``--per-scan`` argument is specified.
|
||||||
|
|
||||||
To benchmark Hyperscan on more than one core, you can supply a list of cores
|
To benchmark Vectorscan on more than one core, you can supply a list of cores
|
||||||
with the ``-T`` argument, which will instruct ``hsbench`` to start one
|
with the ``-T`` argument, which will instruct ``hsbench`` to start one
|
||||||
benchmark thread per core given and compute the throughput from the time taken
|
benchmark thread per core given and compute the throughput from the time taken
|
||||||
to complete all of them.
|
to complete all of them.
|
||||||
@ -91,17 +91,17 @@ Correctness Testing: hscollider
|
|||||||
*******************************
|
*******************************
|
||||||
|
|
||||||
The ``hscollider`` tool, or Pattern Collider, provides a way to verify
|
The ``hscollider`` tool, or Pattern Collider, provides a way to verify
|
||||||
Hyperscan's matching behaviour. It does this by compiling and scanning patterns
|
Vectorscan's matching behaviour. It does this by compiling and scanning patterns
|
||||||
(either singly or in groups) against known corpora and comparing the results
|
(either singly or in groups) against known corpora and comparing the results
|
||||||
against another engine (the "ground truth"). Two sources of ground truth for
|
against another engine (the "ground truth"). Two sources of ground truth for
|
||||||
comparison are available:
|
comparison are available:
|
||||||
|
|
||||||
* The PCRE library (http://pcre.org/).
|
* The PCRE library (http://pcre.org/).
|
||||||
* An NFA simulation run on Hyperscan's compile-time graph representation. This
|
* An NFA simulation run on Vectorscan's compile-time graph representation. This
|
||||||
is used if PCRE cannot support the pattern or if PCRE execution fails due to
|
is used if PCRE cannot support the pattern or if PCRE execution fails due to
|
||||||
a resource limit.
|
a resource limit.
|
||||||
|
|
||||||
Much of Hyperscan's testing infrastructure is built on ``hscollider``, and the
|
Much of Vectorscan's testing infrastructure is built on ``hscollider``, and the
|
||||||
tool is designed to take advantage of multiple cores and provide considerable
|
tool is designed to take advantage of multiple cores and provide considerable
|
||||||
flexibility in controlling the test. These options are described in the help
|
flexibility in controlling the test. These options are described in the help
|
||||||
(``hscollider -h``) and include:
|
(``hscollider -h``) and include:
|
||||||
@ -116,11 +116,11 @@ flexibility in controlling the test. These options are described in the help
|
|||||||
Using hscollider to debug a pattern
|
Using hscollider to debug a pattern
|
||||||
===================================
|
===================================
|
||||||
|
|
||||||
One common use-case for ``hscollider`` is to determine whether Hyperscan will
|
One common use-case for ``hscollider`` is to determine whether Vectorscan will
|
||||||
match a pattern in the expected location, and whether this accords with PCRE's
|
match a pattern in the expected location, and whether this accords with PCRE's
|
||||||
behaviour for the same case.
|
behaviour for the same case.
|
||||||
|
|
||||||
Here is an example. We put our pattern in a file in Hyperscan's pattern
|
Here is an example. We put our pattern in a file in Vectorscan's pattern
|
||||||
format::
|
format::
|
||||||
|
|
||||||
$ cat /tmp/pat
|
$ cat /tmp/pat
|
||||||
@ -172,7 +172,7 @@ individual matches are displayed in the output::
|
|||||||
|
|
||||||
Total elapsed time: 0.00522815 secs.
|
Total elapsed time: 0.00522815 secs.
|
||||||
|
|
||||||
We can see from this output that both PCRE and Hyperscan find matches ending at
|
We can see from this output that both PCRE and Vectorscan find matches ending at
|
||||||
offset 33 and 45, and so ``hscollider`` considers this test case to have
|
offset 33 and 45, and so ``hscollider`` considers this test case to have
|
||||||
passed.
|
passed.
|
||||||
|
|
||||||
@ -180,13 +180,13 @@ passed.
|
|||||||
corpus alignment 0, and ``-T 1`` instructs us to only use one thread.)
|
corpus alignment 0, and ``-T 1`` instructs us to only use one thread.)
|
||||||
|
|
||||||
.. note:: In default operation, PCRE produces only one match for a scan, unlike
|
.. note:: In default operation, PCRE produces only one match for a scan, unlike
|
||||||
Hyperscan's automata semantics. The ``hscollider`` tool uses libpcre's
|
Vectorscan's automata semantics. The ``hscollider`` tool uses libpcre's
|
||||||
"callout" functionality to match Hyperscan's semantics.
|
"callout" functionality to match Vectorscan's semantics.
|
||||||
|
|
||||||
Running a larger scan test
|
Running a larger scan test
|
||||||
==========================
|
==========================
|
||||||
|
|
||||||
A set of patterns for testing purposes are distributed with Hyperscan, and these
|
A set of patterns for testing purposes are distributed with Vectorscan, and these
|
||||||
can be tested via ``hscollider`` on an in-tree build. Two CMake targets are
|
can be tested via ``hscollider`` on an in-tree build. Two CMake targets are
|
||||||
provided to do this easily:
|
provided to do this easily:
|
||||||
|
|
||||||
@ -202,10 +202,10 @@ Debugging: hsdump
|
|||||||
*****************
|
*****************
|
||||||
|
|
||||||
When built in debug mode (using the CMake directive ``CMAKE_BUILD_TYPE`` set to
|
When built in debug mode (using the CMake directive ``CMAKE_BUILD_TYPE`` set to
|
||||||
``Debug``), Hyperscan includes support for dumping information about its
|
``Debug``), Vectorscan includes support for dumping information about its
|
||||||
internals during pattern compilation with the ``hsdump`` tool.
|
internals during pattern compilation with the ``hsdump`` tool.
|
||||||
|
|
||||||
This information is mostly of use to Hyperscan developers familiar with the
|
This information is mostly of use to Vectorscan developers familiar with the
|
||||||
library's internal structure, but can be used to diagnose issues with patterns
|
library's internal structure, but can be used to diagnose issues with patterns
|
||||||
and provide more information in bug reports.
|
and provide more information in bug reports.
|
||||||
|
|
||||||
@ -215,7 +215,7 @@ and provide more information in bug reports.
|
|||||||
Pattern Format
|
Pattern Format
|
||||||
**************
|
**************
|
||||||
|
|
||||||
All of the Hyperscan tools accept patterns in the same format, read from plain
|
All of the Vectorscan tools accept patterns in the same format, read from plain
|
||||||
text files with one pattern per line. Each line looks like this:
|
text files with one pattern per line. Each line looks like this:
|
||||||
|
|
||||||
* ``<integer id>:/<regex>/<flags>``
|
* ``<integer id>:/<regex>/<flags>``
|
||||||
@ -227,12 +227,12 @@ For example::
|
|||||||
3:/^.{10,20}hatstand/m
|
3:/^.{10,20}hatstand/m
|
||||||
|
|
||||||
The integer ID is the value that will be reported when a match is found by
|
The integer ID is the value that will be reported when a match is found by
|
||||||
Hyperscan and must be unique.
|
Vectorscan and must be unique.
|
||||||
|
|
||||||
The pattern itself is a regular expression in PCRE syntax; see
|
The pattern itself is a regular expression in PCRE syntax; see
|
||||||
:ref:`compilation` for more information on supported features.
|
:ref:`compilation` for more information on supported features.
|
||||||
|
|
||||||
The flags are single characters that map to Hyperscan flags as follows:
|
The flags are single characters that map to Vectorscan flags as follows:
|
||||||
|
|
||||||
========= ================================= ===========
|
========= ================================= ===========
|
||||||
Character API Flag Description
|
Character API Flag Description
|
||||||
@ -256,7 +256,7 @@ between braces, separated by commas. For example::
|
|||||||
|
|
||||||
1:/hatstand.*teakettle/s{min_offset=50,max_offset=100}
|
1:/hatstand.*teakettle/s{min_offset=50,max_offset=100}
|
||||||
|
|
||||||
All Hyperscan tools will accept a pattern file (or a directory containing
|
All Vectorscan tools will accept a pattern file (or a directory containing
|
||||||
pattern files) with the ``-e`` argument. If no further arguments constraining
|
pattern files) with the ``-e`` argument. If no further arguments constraining
|
||||||
the pattern set are given, all patterns in those files are used.
|
the pattern set are given, all patterns in those files are used.
|
||||||
|
|
||||||
|
@ -4,7 +4,7 @@ libdir=@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_LIBDIR@
|
|||||||
includedir=@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_INCLUDEDIR@
|
includedir=@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_INCLUDEDIR@
|
||||||
|
|
||||||
Name: libhs
|
Name: libhs
|
||||||
Description: Intel(R) Hyperscan Library
|
Description: A portable fork of the high-performance regular expression matching library
|
||||||
Version: @HS_VERSION@
|
Version: @HS_VERSION@
|
||||||
Libs: -L${libdir} -lhs
|
Libs: -L${libdir} -lhs
|
||||||
Cflags: -I${includedir}/hs
|
Cflags: -I${includedir}/hs
|
||||||
|
2
simde
2
simde
@ -1 +1 @@
|
|||||||
Subproject commit aae22459fa284e9fc2b7d4b8e4571afa0418125f
|
Subproject commit 416091ebdb9e901b29d026633e73167d6353a0b0
|
249
src/dispatcher.c
249
src/dispatcher.c
@ -1,5 +1,6 @@
|
|||||||
/*
|
/*
|
||||||
* Copyright (c) 2016-2020, Intel Corporation
|
* Copyright (c) 2016-2020, Intel Corporation
|
||||||
|
* Copyright (c) 2024, VectorCamp PC
|
||||||
*
|
*
|
||||||
* Redistribution and use in source and binary forms, with or without
|
* Redistribution and use in source and binary forms, with or without
|
||||||
* modification, are permitted provided that the following conditions are met:
|
* modification, are permitted provided that the following conditions are met:
|
||||||
@ -30,6 +31,39 @@
|
|||||||
#include "hs_common.h"
|
#include "hs_common.h"
|
||||||
#include "hs_runtime.h"
|
#include "hs_runtime.h"
|
||||||
#include "ue2common.h"
|
#include "ue2common.h"
|
||||||
|
|
||||||
|
/* Streamlining the dispatch to eliminate runtime checking/branching:
|
||||||
|
* What we want to do is, first call to the function will run the resolve
|
||||||
|
* code and set the static resolved/dispatch pointer to point to the
|
||||||
|
* correct function. Subsequent calls to the function will go directly to
|
||||||
|
* the resolved ptr. The simplest way to accomplish this is, to
|
||||||
|
* initially set the pointer to the resolve function.
|
||||||
|
* To accomplish this in a manner invisible to the user,
|
||||||
|
* we do involve some rather ugly/confusing macros in here.
|
||||||
|
* There are four macros that assemble the code for each function
|
||||||
|
* we want to dispatch in this manner:
|
||||||
|
* CREATE_DISPATCH
|
||||||
|
* this generates the declarations for the candidate target functions,
|
||||||
|
* for the fat_dispatch function pointer, for the resolve_ function,
|
||||||
|
* points the function pointer to the resolve function, and contains
|
||||||
|
* most of the definition of the resolve function. The very end of the
|
||||||
|
* resolve function is completed by the next macro, because in the
|
||||||
|
* CREATE_DISPATCH macro we have the argument list with the arg declarations,
|
||||||
|
* which is needed to generate correct function signatures, but we
|
||||||
|
* can't generate from this, in a macro, a _call_ to one of those functions.
|
||||||
|
* CONNECT_ARGS_1
|
||||||
|
* this macro fills in the actual call at the end of the resolve function,
|
||||||
|
* with the correct arg list. hence the name connect args.
|
||||||
|
* CONNECT_DISPATCH_2
|
||||||
|
* this macro likewise gives up the beginning of the definition of the
|
||||||
|
* actual entry point function (the 'real name' that's called by the user)
|
||||||
|
* but again in the pass-through call, cannot invoke the target without
|
||||||
|
* getting the arg list , which is supplied by the final macro,
|
||||||
|
* CONNECT_ARGS_3
|
||||||
|
*
|
||||||
|
*/
|
||||||
|
|
||||||
|
|
||||||
#if defined(ARCH_IA32) || defined(ARCH_X86_64)
|
#if defined(ARCH_IA32) || defined(ARCH_X86_64)
|
||||||
#include "util/arch/x86/cpuid_inline.h"
|
#include "util/arch/x86/cpuid_inline.h"
|
||||||
#include "util/join.h"
|
#include "util/join.h"
|
||||||
@ -57,30 +91,38 @@
|
|||||||
return (RTYPE)HS_ARCH_ERROR; \
|
return (RTYPE)HS_ARCH_ERROR; \
|
||||||
} \
|
} \
|
||||||
\
|
\
|
||||||
/* resolver */ \
|
/* dispatch routing pointer for this function */ \
|
||||||
static RTYPE (*JOIN(resolve_, NAME)(void))(__VA_ARGS__) { \
|
/* initially point it at the resolve function */ \
|
||||||
if (check_avx512vbmi()) { \
|
static RTYPE JOIN(resolve_, NAME)(__VA_ARGS__); \
|
||||||
return JOIN(avx512vbmi_, NAME); \
|
static RTYPE (* JOIN(fat_dispatch_, NAME))(__VA_ARGS__) = \
|
||||||
} \
|
&JOIN(resolve_, NAME); \
|
||||||
if (check_avx512()) { \
|
|
||||||
return JOIN(avx512_, NAME); \
|
|
||||||
} \
|
|
||||||
if (check_avx2()) { \
|
|
||||||
return JOIN(avx2_, NAME); \
|
|
||||||
} \
|
|
||||||
if (check_sse42() && check_popcnt()) { \
|
|
||||||
return JOIN(corei7_, NAME); \
|
|
||||||
} \
|
|
||||||
if (check_ssse3()) { \
|
|
||||||
return JOIN(core2_, NAME); \
|
|
||||||
} \
|
|
||||||
/* anything else is fail */ \
|
|
||||||
return JOIN(error_, NAME); \
|
|
||||||
} \
|
|
||||||
\
|
\
|
||||||
/* function */ \
|
/* resolver */ \
|
||||||
HS_PUBLIC_API \
|
static RTYPE JOIN(resolve_, NAME)(__VA_ARGS__) { \
|
||||||
RTYPE NAME(__VA_ARGS__) __attribute__((ifunc("resolve_" #NAME)))
|
if (check_avx512vbmi()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(avx512vbmi_, NAME); \
|
||||||
|
} \
|
||||||
|
else if (check_avx512()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(avx512_, NAME); \
|
||||||
|
} \
|
||||||
|
else if (check_avx2()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(avx2_, NAME); \
|
||||||
|
} \
|
||||||
|
else if (check_sse42() && check_popcnt()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(corei7_, NAME); \
|
||||||
|
} \
|
||||||
|
else if (check_ssse3()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(core2_, NAME); \
|
||||||
|
} else { \
|
||||||
|
/* anything else is fail */ \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(error_, NAME); \
|
||||||
|
} \
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
/* the rest of the function is completed in the CONNECT_ARGS_1 macro. */
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
#elif defined(ARCH_AARCH64)
|
#elif defined(ARCH_AARCH64)
|
||||||
#include "util/arch/arm/cpuid_inline.h"
|
#include "util/arch/arm/cpuid_inline.h"
|
||||||
@ -97,99 +139,226 @@
|
|||||||
return (RTYPE)HS_ARCH_ERROR; \
|
return (RTYPE)HS_ARCH_ERROR; \
|
||||||
} \
|
} \
|
||||||
\
|
\
|
||||||
/* resolver */ \
|
/* dispatch routing pointer for this function */ \
|
||||||
static RTYPE (*JOIN(resolve_, NAME)(void))(__VA_ARGS__) { \
|
/* initially point it at the resolve function */ \
|
||||||
if (check_sve2()) { \
|
static RTYPE JOIN(resolve_, NAME)(__VA_ARGS__); \
|
||||||
return JOIN(sve2_, NAME); \
|
static RTYPE (* JOIN(fat_dispatch_, NAME))(__VA_ARGS__) = \
|
||||||
} \
|
&JOIN(resolve_, NAME); \
|
||||||
if (check_sve()) { \
|
|
||||||
return JOIN(sve_, NAME); \
|
|
||||||
} \
|
|
||||||
if (check_neon()) { \
|
|
||||||
return JOIN(neon_, NAME); \
|
|
||||||
} \
|
|
||||||
/* anything else is fail */ \
|
|
||||||
return JOIN(error_, NAME); \
|
|
||||||
} \
|
|
||||||
\
|
\
|
||||||
/* function */ \
|
/* resolver */ \
|
||||||
HS_PUBLIC_API \
|
static RTYPE JOIN(resolve_, NAME)(__VA_ARGS__) { \
|
||||||
RTYPE NAME(__VA_ARGS__) __attribute__((ifunc("resolve_" #NAME)))
|
if (check_sve2()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(sve2_, NAME); \
|
||||||
|
} \
|
||||||
|
else if (check_sve()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(sve_, NAME); \
|
||||||
|
} \
|
||||||
|
else if (check_neon()) { \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(neon_, NAME); \
|
||||||
|
} else { \
|
||||||
|
/* anything else is fail */ \
|
||||||
|
fat_dispatch_ ## NAME = &JOIN(error_, NAME); \
|
||||||
|
} \
|
||||||
|
|
||||||
|
|
||||||
|
/* the rest of the function is completed in the CONNECT_ARGS_1 macro. */
|
||||||
|
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
|
||||||
|
#define CONNECT_ARGS_1(RTYPE, NAME, ...) \
|
||||||
|
return (*fat_dispatch_ ## NAME)(__VA_ARGS__); \
|
||||||
|
} \
|
||||||
|
|
||||||
|
|
||||||
|
#define CONNECT_DISPATCH_2(RTYPE, NAME, ...) \
|
||||||
|
/* new function */ \
|
||||||
|
HS_PUBLIC_API \
|
||||||
|
RTYPE NAME(__VA_ARGS__) { \
|
||||||
|
|
||||||
|
|
||||||
|
#define CONNECT_ARGS_3(RTYPE, NAME, ...) \
|
||||||
|
return (*fat_dispatch_ ## NAME)(__VA_ARGS__); \
|
||||||
|
} \
|
||||||
|
|
||||||
|
|
||||||
#pragma GCC diagnostic push
|
#pragma GCC diagnostic push
|
||||||
#pragma GCC diagnostic ignored "-Wunused-parameter"
|
#pragma GCC diagnostic ignored "-Wunused-parameter"
|
||||||
#pragma GCC diagnostic push
|
#pragma GCC diagnostic push
|
||||||
#pragma GCC diagnostic ignored "-Wunused-function"
|
#pragma GCC diagnostic ignored "-Wunused-function"
|
||||||
|
|
||||||
|
/* this gets a bit ugly to compose the static redirect functions,
|
||||||
|
* as we necessarily need first the typed arg list and then just the arg
|
||||||
|
* names, twice in a row, to define the redirect function and the
|
||||||
|
* dispatch function call */
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_scan, const hs_database_t *db, const char *data,
|
CREATE_DISPATCH(hs_error_t, hs_scan, const hs_database_t *db, const char *data,
|
||||||
unsigned length, unsigned flags, hs_scratch_t *scratch,
|
unsigned length, unsigned flags, hs_scratch_t *scratch,
|
||||||
match_event_handler onEvent, void *userCtx);
|
match_event_handler onEvent, void *userCtx);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_scan, db, data, length, flags, scratch, onEvent, userCtx);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_scan, const hs_database_t *db, const char *data,
|
||||||
|
unsigned length, unsigned flags, hs_scratch_t *scratch,
|
||||||
|
match_event_handler onEvent, void *userCtx);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_scan, db, data, length, flags, scratch, onEvent, userCtx);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_stream_size, const hs_database_t *database,
|
CREATE_DISPATCH(hs_error_t, hs_stream_size, const hs_database_t *database,
|
||||||
size_t *stream_size);
|
size_t *stream_size);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_stream_size, database, stream_size);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_stream_size, const hs_database_t *database,
|
||||||
|
size_t *stream_size);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_stream_size, database, stream_size);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_database_size, const hs_database_t *db,
|
CREATE_DISPATCH(hs_error_t, hs_database_size, const hs_database_t *db,
|
||||||
size_t *size);
|
size_t *size);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_database_size, db, size);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_database_size, const hs_database_t *db,
|
||||||
|
size_t *size);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_database_size, db, size);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, dbIsValid, const hs_database_t *db);
|
CREATE_DISPATCH(hs_error_t, dbIsValid, const hs_database_t *db);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, dbIsValid, db);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, dbIsValid, const hs_database_t *db);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, dbIsValid, db);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_free_database, hs_database_t *db);
|
CREATE_DISPATCH(hs_error_t, hs_free_database, hs_database_t *db);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_free_database, db);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_free_database, hs_database_t *db);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_free_database, db);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_open_stream, const hs_database_t *db,
|
CREATE_DISPATCH(hs_error_t, hs_open_stream, const hs_database_t *db,
|
||||||
unsigned int flags, hs_stream_t **stream);
|
unsigned int flags, hs_stream_t **stream);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_open_stream, db, flags, stream);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_open_stream, const hs_database_t *db,
|
||||||
|
unsigned int flags, hs_stream_t **stream);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_open_stream, db, flags, stream);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_scan_stream, hs_stream_t *id, const char *data,
|
CREATE_DISPATCH(hs_error_t, hs_scan_stream, hs_stream_t *id, const char *data,
|
||||||
unsigned int length, unsigned int flags, hs_scratch_t *scratch,
|
unsigned int length, unsigned int flags, hs_scratch_t *scratch,
|
||||||
match_event_handler onEvent, void *ctxt);
|
match_event_handler onEvent, void *ctxt);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_scan_stream, id, data, length, flags, scratch, onEvent, ctxt);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_scan_stream, hs_stream_t *id, const char *data,
|
||||||
|
unsigned int length, unsigned int flags, hs_scratch_t *scratch,
|
||||||
|
match_event_handler onEvent, void *ctxt);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_scan_stream, id, data, length, flags, scratch, onEvent, ctxt);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_close_stream, hs_stream_t *id,
|
CREATE_DISPATCH(hs_error_t, hs_close_stream, hs_stream_t *id,
|
||||||
hs_scratch_t *scratch, match_event_handler onEvent, void *ctxt);
|
hs_scratch_t *scratch, match_event_handler onEvent, void *ctxt);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_close_stream, id, scratch, onEvent, ctxt);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_close_stream, hs_stream_t *id,
|
||||||
|
hs_scratch_t *scratch, match_event_handler onEvent, void *ctxt);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_close_stream, id, scratch, onEvent, ctxt);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_scan_vector, const hs_database_t *db,
|
CREATE_DISPATCH(hs_error_t, hs_scan_vector, const hs_database_t *db,
|
||||||
const char *const *data, const unsigned int *length,
|
const char *const *data, const unsigned int *length,
|
||||||
unsigned int count, unsigned int flags, hs_scratch_t *scratch,
|
unsigned int count, unsigned int flags, hs_scratch_t *scratch,
|
||||||
match_event_handler onevent, void *context);
|
match_event_handler onevent, void *context);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_scan_vector, db, data, length, count, flags, scratch, onevent, context);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_scan_vector, const hs_database_t *db,
|
||||||
|
const char *const *data, const unsigned int *length,
|
||||||
|
unsigned int count, unsigned int flags, hs_scratch_t *scratch,
|
||||||
|
match_event_handler onevent, void *context);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_scan_vector, db, data, length, count, flags, scratch, onevent, context);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_database_info, const hs_database_t *db, char **info);
|
CREATE_DISPATCH(hs_error_t, hs_database_info, const hs_database_t *db, char **info);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_database_info, db, info);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_database_info, const hs_database_t *db, char **info);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_database_info, db, info);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_copy_stream, hs_stream_t **to_id,
|
CREATE_DISPATCH(hs_error_t, hs_copy_stream, hs_stream_t **to_id,
|
||||||
const hs_stream_t *from_id);
|
const hs_stream_t *from_id);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_copy_stream, to_id, from_id);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_copy_stream, hs_stream_t **to_id,
|
||||||
|
const hs_stream_t *from_id);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_copy_stream, to_id, from_id);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_reset_stream, hs_stream_t *id,
|
CREATE_DISPATCH(hs_error_t, hs_reset_stream, hs_stream_t *id,
|
||||||
unsigned int flags, hs_scratch_t *scratch,
|
unsigned int flags, hs_scratch_t *scratch,
|
||||||
match_event_handler onEvent, void *context);
|
match_event_handler onEvent, void *context);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_reset_stream, id, flags, scratch, onEvent, context);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_reset_stream, hs_stream_t *id,
|
||||||
|
unsigned int flags, hs_scratch_t *scratch,
|
||||||
|
match_event_handler onEvent, void *context);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_reset_stream, id, flags, scratch, onEvent, context);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_reset_and_copy_stream, hs_stream_t *to_id,
|
CREATE_DISPATCH(hs_error_t, hs_reset_and_copy_stream, hs_stream_t *to_id,
|
||||||
const hs_stream_t *from_id, hs_scratch_t *scratch,
|
const hs_stream_t *from_id, hs_scratch_t *scratch,
|
||||||
match_event_handler onEvent, void *context);
|
match_event_handler onEvent, void *context);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_reset_and_copy_stream, to_id, from_id, scratch, onEvent, context);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_reset_and_copy_stream, hs_stream_t *to_id,
|
||||||
|
const hs_stream_t *from_id, hs_scratch_t *scratch,
|
||||||
|
match_event_handler onEvent, void *context);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_reset_and_copy_stream, to_id, from_id, scratch, onEvent, context);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_serialize_database, const hs_database_t *db,
|
CREATE_DISPATCH(hs_error_t, hs_serialize_database, const hs_database_t *db,
|
||||||
char **bytes, size_t *length);
|
char **bytes, size_t *length);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_serialize_database, db, bytes, length);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_serialize_database, const hs_database_t *db,
|
||||||
|
char **bytes, size_t *length);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_serialize_database, db, bytes, length);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_deserialize_database, const char *bytes,
|
CREATE_DISPATCH(hs_error_t, hs_deserialize_database, const char *bytes,
|
||||||
const size_t length, hs_database_t **db);
|
const size_t length, hs_database_t **db);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_deserialize_database, bytes, length, db);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_deserialize_database, const char *bytes,
|
||||||
|
const size_t length, hs_database_t **db);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_deserialize_database, bytes, length, db);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_deserialize_database_at, const char *bytes,
|
CREATE_DISPATCH(hs_error_t, hs_deserialize_database_at, const char *bytes,
|
||||||
const size_t length, hs_database_t *db);
|
const size_t length, hs_database_t *db);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_deserialize_database_at, bytes, length, db);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_deserialize_database_at, const char *bytes,
|
||||||
|
const size_t length, hs_database_t *db);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_deserialize_database_at, bytes, length, db);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_serialized_database_info, const char *bytes,
|
CREATE_DISPATCH(hs_error_t, hs_serialized_database_info, const char *bytes,
|
||||||
size_t length, char **info);
|
size_t length, char **info);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_serialized_database_info, bytes, length, info);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_serialized_database_info, const char *bytes,
|
||||||
|
size_t length, char **info);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_serialized_database_info, bytes, length, info);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_serialized_database_size, const char *bytes,
|
CREATE_DISPATCH(hs_error_t, hs_serialized_database_size, const char *bytes,
|
||||||
const size_t length, size_t *deserialized_size);
|
const size_t length, size_t *deserialized_size);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_serialized_database_size, bytes, length, deserialized_size);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_serialized_database_size, const char *bytes,
|
||||||
|
const size_t length, size_t *deserialized_size);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_serialized_database_size, bytes, length, deserialized_size);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_compress_stream, const hs_stream_t *stream,
|
CREATE_DISPATCH(hs_error_t, hs_compress_stream, const hs_stream_t *stream,
|
||||||
char *buf, size_t buf_space, size_t *used_space);
|
char *buf, size_t buf_space, size_t *used_space);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_compress_stream, stream,
|
||||||
|
buf, buf_space, used_space);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_compress_stream, const hs_stream_t *stream,
|
||||||
|
char *buf, size_t buf_space, size_t *used_space);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_compress_stream, stream,
|
||||||
|
buf, buf_space, used_space);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_expand_stream, const hs_database_t *db,
|
CREATE_DISPATCH(hs_error_t, hs_expand_stream, const hs_database_t *db,
|
||||||
hs_stream_t **stream, const char *buf,size_t buf_size);
|
hs_stream_t **stream, const char *buf,size_t buf_size);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_expand_stream, db, stream, buf,buf_size);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_expand_stream, const hs_database_t *db,
|
||||||
|
hs_stream_t **stream, const char *buf,size_t buf_size);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_expand_stream, db, stream, buf,buf_size);
|
||||||
|
|
||||||
CREATE_DISPATCH(hs_error_t, hs_reset_and_expand_stream, hs_stream_t *to_stream,
|
CREATE_DISPATCH(hs_error_t, hs_reset_and_expand_stream, hs_stream_t *to_stream,
|
||||||
const char *buf, size_t buf_size, hs_scratch_t *scratch,
|
const char *buf, size_t buf_size, hs_scratch_t *scratch,
|
||||||
match_event_handler onEvent, void *context);
|
match_event_handler onEvent, void *context);
|
||||||
|
CONNECT_ARGS_1(hs_error_t, hs_reset_and_expand_stream, to_stream,
|
||||||
|
buf, buf_size, scratch, onEvent, context);
|
||||||
|
CONNECT_DISPATCH_2(hs_error_t, hs_reset_and_expand_stream, hs_stream_t *to_stream,
|
||||||
|
const char *buf, size_t buf_size, hs_scratch_t *scratch,
|
||||||
|
match_event_handler onEvent, void *context);
|
||||||
|
CONNECT_ARGS_3(hs_error_t, hs_reset_and_expand_stream, to_stream,
|
||||||
|
buf, buf_size, scratch, onEvent, context);
|
||||||
|
|
||||||
/** INTERNALS **/
|
/** INTERNALS **/
|
||||||
|
|
||||||
CREATE_DISPATCH(u32, Crc32c_ComputeBuf, u32 inCrc32, const void *buf, size_t bufLen);
|
CREATE_DISPATCH(u32, Crc32c_ComputeBuf, u32 inCrc32, const void *buf, size_t bufLen);
|
||||||
|
CONNECT_ARGS_1(u32, Crc32c_ComputeBuf, inCrc32, buf, bufLen);
|
||||||
|
CONNECT_DISPATCH_2(u32, Crc32c_ComputeBuf, u32 inCrc32, const void *buf, size_t bufLen);
|
||||||
|
CONNECT_ARGS_3(u32, Crc32c_ComputeBuf, inCrc32, buf, bufLen);
|
||||||
|
|
||||||
#pragma GCC diagnostic pop
|
#pragma GCC diagnostic pop
|
||||||
#pragma GCC diagnostic pop
|
#pragma GCC diagnostic pop
|
||||||
|
|
||||||
|
@ -321,7 +321,7 @@ struct DAccelScheme {
|
|||||||
bool cd_a = buildDvermMask(a.double_byte);
|
bool cd_a = buildDvermMask(a.double_byte);
|
||||||
bool cd_b = buildDvermMask(b.double_byte);
|
bool cd_b = buildDvermMask(b.double_byte);
|
||||||
if (cd_a != cd_b) {
|
if (cd_a != cd_b) {
|
||||||
return cd_a > cd_b;
|
return cd_a;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -589,7 +589,7 @@ void getHighlanderReporters(const NGHolder &g, const NFAVertex accept,
|
|||||||
|
|
||||||
verts.insert(v);
|
verts.insert(v);
|
||||||
next_vertex:
|
next_vertex:
|
||||||
continue;
|
;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -314,7 +314,7 @@ void duplicateReport(NGHolder &g, ReportID r_old, ReportID r_new);
|
|||||||
|
|
||||||
/** Construct a reversed copy of an arbitrary NGHolder, mapping starts to
|
/** Construct a reversed copy of an arbitrary NGHolder, mapping starts to
|
||||||
* accepts. */
|
* accepts. */
|
||||||
void reverseHolder(const NGHolder &g, NGHolder &out);
|
void reverseHolder(const NGHolder &g_in, NGHolder &g);
|
||||||
|
|
||||||
/** \brief Returns the delay or ~0U if the graph cannot match with
|
/** \brief Returns the delay or ~0U if the graph cannot match with
|
||||||
* the trailing literal. */
|
* the trailing literal. */
|
||||||
|
@ -284,7 +284,7 @@ void ParsedLogical::parseLogicalCombination(unsigned id, const char *logical,
|
|||||||
if (logical[i] == '(') {
|
if (logical[i] == '(') {
|
||||||
paren += 1;
|
paren += 1;
|
||||||
} else if (logical[i] == ')') {
|
} else if (logical[i] == ')') {
|
||||||
if (paren <= 0) {
|
if (paren == 0) {
|
||||||
throw LocatedParseError("Not enough left parentheses");
|
throw LocatedParseError("Not enough left parentheses");
|
||||||
}
|
}
|
||||||
paren -= 1;
|
paren -= 1;
|
||||||
|
@ -1599,7 +1599,8 @@ void dedupeLeftfixesVariableLag(RoseBuildImpl &build) {
|
|||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
engine_groups[DedupeLeftKey(build, std::move(preds), left)].emplace_back(left);
|
auto preds_copy = std::move(preds);
|
||||||
|
engine_groups[DedupeLeftKey(build, preds_copy , left)].emplace_back(left);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* We don't bother chunking as we expect deduping to be successful if the
|
/* We don't bother chunking as we expect deduping to be successful if the
|
||||||
|
@ -68,7 +68,7 @@ namespace ue2 {
|
|||||||
#endif
|
#endif
|
||||||
|
|
||||||
void *aligned_malloc_internal(size_t size, size_t align) {
|
void *aligned_malloc_internal(size_t size, size_t align) {
|
||||||
void *mem;
|
void *mem= nullptr;;
|
||||||
int rv = posix_memalign(&mem, align, size);
|
int rv = posix_memalign(&mem, align, size);
|
||||||
if (rv != 0) {
|
if (rv != 0) {
|
||||||
DEBUG_PRINTF("posix_memalign returned %d when asked for %zu bytes\n",
|
DEBUG_PRINTF("posix_memalign returned %d when asked for %zu bytes\n",
|
||||||
|
@ -102,10 +102,10 @@ public:
|
|||||||
using category = boost::read_write_property_map_tag;
|
using category = boost::read_write_property_map_tag;
|
||||||
|
|
||||||
small_color_map(size_t n_in, const IndexMap &index_map_in)
|
small_color_map(size_t n_in, const IndexMap &index_map_in)
|
||||||
: n(n_in), index_map(index_map_in) {
|
: n(n_in),
|
||||||
size_t num_bytes = (n + entries_per_byte - 1) / entries_per_byte;
|
index_map(index_map_in),
|
||||||
data = std::make_shared<std::vector<unsigned char>>(num_bytes);
|
data(std::make_shared<std::vector<unsigned char>>((n_in + entries_per_byte - 1) / entries_per_byte)) {
|
||||||
fill(small_color::white);
|
fill(small_color::white);
|
||||||
}
|
}
|
||||||
|
|
||||||
void fill(small_color color) {
|
void fill(small_color color) {
|
||||||
|
@ -1145,7 +1145,7 @@ really_inline SuperVector<32> SuperVector<32>::loadu_maskz(void const *ptr, uint
|
|||||||
template<>
|
template<>
|
||||||
really_inline SuperVector<32> SuperVector<32>::alignr(SuperVector<32> &other, int8_t offset)
|
really_inline SuperVector<32> SuperVector<32>::alignr(SuperVector<32> &other, int8_t offset)
|
||||||
{
|
{
|
||||||
#if defined(HAVE__BUILTIN_CONSTANT_P) && !(defined(__GNUC__) && (__GNUC__ == 13))
|
#if defined(HAVE__BUILTIN_CONSTANT_P) && !(defined(__GNUC__) && ((__GNUC__ == 13) || (__GNUC__ == 14)))
|
||||||
if (__builtin_constant_p(offset)) {
|
if (__builtin_constant_p(offset)) {
|
||||||
if (offset == 16) {
|
if (offset == 16) {
|
||||||
return *this;
|
return *this;
|
||||||
@ -1801,7 +1801,7 @@ really_inline SuperVector<64> SuperVector<64>::pshufb_maskz(SuperVector<64> b, u
|
|||||||
template<>
|
template<>
|
||||||
really_inline SuperVector<64> SuperVector<64>::alignr(SuperVector<64> &l, int8_t offset)
|
really_inline SuperVector<64> SuperVector<64>::alignr(SuperVector<64> &l, int8_t offset)
|
||||||
{
|
{
|
||||||
#if defined(HAVE__BUILTIN_CONSTANT_P)
|
#if defined(HAVE__BUILTIN_CONSTANT_P) && !(defined(__GNUC__) && (__GNUC__ == 14))
|
||||||
if (__builtin_constant_p(offset)) {
|
if (__builtin_constant_p(offset)) {
|
||||||
if (offset == 16) {
|
if (offset == 16) {
|
||||||
return *this;
|
return *this;
|
||||||
|
@ -248,7 +248,7 @@ void EngineHyperscan::printStats() const {
|
|||||||
printf("Signature set: %s\n", compile_stats.sigs_name.c_str());
|
printf("Signature set: %s\n", compile_stats.sigs_name.c_str());
|
||||||
}
|
}
|
||||||
printf("Signatures: %s\n", compile_stats.signatures.c_str());
|
printf("Signatures: %s\n", compile_stats.signatures.c_str());
|
||||||
printf("Hyperscan info: %s\n", compile_stats.db_info.c_str());
|
printf("Vectorscan info: %s\n", compile_stats.db_info.c_str());
|
||||||
printf("Expression count: %'zu\n", compile_stats.expressionCount);
|
printf("Expression count: %'zu\n", compile_stats.expressionCount);
|
||||||
printf("Bytecode size: %'zu bytes\n", compile_stats.compiledSize);
|
printf("Bytecode size: %'zu bytes\n", compile_stats.compiledSize);
|
||||||
printf("Database CRC: 0x%x\n", compile_stats.crc32);
|
printf("Database CRC: 0x%x\n", compile_stats.crc32);
|
||||||
|
Loading…
x
Reference in New Issue
Block a user