Commit 6b4e0316 authored by nagayama15's avatar nagayama15

Improve computational complexity of the function ordering method

parent 1fd7d8a7
...@@ -14,26 +14,6 @@ namespace kyut::watermarker { ...@@ -14,26 +14,6 @@ namespace kyut::watermarker {
constexpr auto factorialBitLengthTable = std::array<std::size_t, 21>{ constexpr auto factorialBitLengthTable = std::array<std::size_t, 21>{
0, 0, 1, 2, 4, 6, 9, 12, 15, 18, 21, 25, 28, 32, 36, 40, 44, 48, 52, 56, 61, 0, 0, 1, 2, 4, 6, 9, 12, 15, 18, 21, 25, 28, 32, 36, 40, 44, 48, 52, 56, 61,
}; };
/**
* @brief Move the `element` in [begin, end) to the beginning of the range.
* The order of elements other than `element` is maintained.
*
* @tparam BidirectionalIterator Bidirectional iterator type.
* @param begin Bidirectional iterator to the initial position in a sequence.
* @param end Bidirectional iterator to the final position in a sequence.
* @param element Bidirectional iterator to the element to be moved.
* `element` must be in the range of [begin, end).
*/
template <typename BidirectionalIterator>
void moveToFront(BidirectionalIterator begin, BidirectionalIterator end, BidirectionalIterator element) {
assert(std::distance(begin, element) >= 0);
assert(std::distance(begin, element) < std::distance(begin, end));
auto tmp = std::move(*element);
std::move_backward(begin, element, std::next(element));
*begin = std::move(tmp);
}
} // namespace } // namespace
std::size_t embedFunctionOrdering(wasm::Module &module, CircularBitStreamReader &stream, std::size_t maxChunkSize) { std::size_t embedFunctionOrdering(wasm::Module &module, CircularBitStreamReader &stream, std::size_t maxChunkSize) {
...@@ -69,7 +49,7 @@ namespace kyut::watermarker { ...@@ -69,7 +49,7 @@ namespace kyut::watermarker {
const auto n = watermark % distance; const auto n = watermark % distance;
watermark /= distance; watermark /= distance;
moveToFront(it, chunkEnd, it + n); std::swap(*it, *(it + n));
} }
numBits += numBitsEmbeddedInChunk; numBits += numBitsEmbeddedInChunk;
...@@ -112,19 +92,24 @@ namespace kyut::watermarker { ...@@ -112,19 +92,24 @@ namespace kyut::watermarker {
std::uint64_t watermark = 0; std::uint64_t watermark = 0;
std::uint64_t base = 1; std::uint64_t base = 1;
auto funcBegin = std::begin(functions);
const auto funcEnd = std::end(functions);
for (auto it = chunkBegin; it != chunkEnd; ++it) { for (auto it = chunkBegin; it != chunkEnd; ++it) {
assert(std::distance(it, chunkEnd) == std::distance(funcBegin, funcEnd));
// Get index of the function `*it` // Get index of the function `*it`
const auto pos = std::find_if( const auto pos = std::find_if(funcBegin, funcEnd, [it](const auto &f) { return f == it->get(); });
std::begin(functions), std::end(functions), [it](const auto &f) { return f == it->get(); }); assert(pos != funcEnd);
assert(pos != std::end(functions));
const std::size_t index = std::distance(std::begin(functions), pos); const std::size_t index = std::distance(funcBegin, pos);
watermark += index * base; watermark += index * base;
base *= functions.size(); base *= std::distance(funcBegin, funcEnd);
// Remove the function found in this step // Remove the function found in this step
functions.erase(pos); std::swap(*funcBegin, *pos);
++funcBegin;
} }
stream.write(watermark, numBitsEmbeddedInChunk); stream.write(watermark, numBitsEmbeddedInChunk);
......
...@@ -67,8 +67,8 @@ BOOST_AUTO_TEST_CASE(embed_function_ordering) { ...@@ -67,8 +67,8 @@ BOOST_AUTO_TEST_CASE(embed_function_ordering) {
BOOST_REQUIRE_EQUAL(module.functions[1]->name, "g2"); BOOST_REQUIRE_EQUAL(module.functions[1]->name, "g2");
BOOST_REQUIRE_EQUAL(module.functions[2]->name, "g3"); BOOST_REQUIRE_EQUAL(module.functions[2]->name, "g3");
BOOST_REQUIRE_EQUAL(module.functions[3]->name, "f3"); BOOST_REQUIRE_EQUAL(module.functions[3]->name, "f3");
BOOST_REQUIRE_EQUAL(module.functions[4]->name, "f1"); BOOST_REQUIRE_EQUAL(module.functions[4]->name, "f2");
BOOST_REQUIRE_EQUAL(module.functions[5]->name, "f2"); BOOST_REQUIRE_EQUAL(module.functions[5]->name, "f1");
} }
// Embed 0b11 // Embed 0b11
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment