David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2018 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #include "bit_table.h" |
| 18 | |
David Srbecky | dd966bc | 2018-05-24 13:55:52 +0100 | [diff] [blame] | 19 | #include <map> |
| 20 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 21 | #include "gtest/gtest.h" |
| 22 | |
David Srbecky | dd966bc | 2018-05-24 13:55:52 +0100 | [diff] [blame] | 23 | #include "base/arena_allocator.h" |
| 24 | #include "base/bit_utils.h" |
| 25 | #include "base/malloc_arena_pool.h" |
| 26 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 27 | namespace art { |
| 28 | |
| 29 | TEST(BitTableTest, TestVarint) { |
| 30 | for (size_t start_bit_offset = 0; start_bit_offset <= 32; start_bit_offset++) { |
| 31 | uint32_t values[] = { 0, 1, 11, 12, 15, 16, 255, 256, ~1u, ~0u }; |
| 32 | for (uint32_t value : values) { |
| 33 | std::vector<uint8_t> buffer; |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 34 | BitMemoryWriter<std::vector<uint8_t>> writer(&buffer, start_bit_offset); |
| 35 | EncodeVarintBits(writer, value); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 36 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 37 | BitMemoryReader reader(buffer.data(), start_bit_offset); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 38 | uint32_t result = DecodeVarintBits(reader); |
David Srbecky | d160641 | 2018-07-31 15:05:14 +0100 | [diff] [blame^] | 39 | EXPECT_EQ(writer.NumberOfWrittenBits(), reader.NumberOfReadBits()); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 40 | EXPECT_EQ(value, result); |
| 41 | } |
| 42 | } |
| 43 | } |
| 44 | |
| 45 | TEST(BitTableTest, TestEmptyTable) { |
David Srbecky | dd966bc | 2018-05-24 13:55:52 +0100 | [diff] [blame] | 46 | MallocArenaPool pool; |
| 47 | ArenaStack arena_stack(&pool); |
| 48 | ScopedArenaAllocator allocator(&arena_stack); |
| 49 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 50 | std::vector<uint8_t> buffer; |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 51 | BitMemoryWriter<std::vector<uint8_t>> writer(&buffer); |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 52 | BitTableBuilderBase<1> builder(&allocator); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 53 | builder.Encode(writer); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 54 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 55 | BitMemoryReader reader(buffer.data()); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 56 | BitTableBase<1> table(reader); |
David Srbecky | d160641 | 2018-07-31 15:05:14 +0100 | [diff] [blame^] | 57 | EXPECT_EQ(writer.NumberOfWrittenBits(), reader.NumberOfReadBits()); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 58 | EXPECT_EQ(0u, table.NumRows()); |
| 59 | } |
| 60 | |
| 61 | TEST(BitTableTest, TestSingleColumnTable) { |
David Srbecky | dd966bc | 2018-05-24 13:55:52 +0100 | [diff] [blame] | 62 | MallocArenaPool pool; |
| 63 | ArenaStack arena_stack(&pool); |
| 64 | ScopedArenaAllocator allocator(&arena_stack); |
| 65 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 66 | constexpr uint32_t kNoValue = -1; |
| 67 | std::vector<uint8_t> buffer; |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 68 | BitMemoryWriter<std::vector<uint8_t>> writer(&buffer); |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 69 | BitTableBuilderBase<1> builder(&allocator); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 70 | builder.Add({42u}); |
| 71 | builder.Add({kNoValue}); |
| 72 | builder.Add({1000u}); |
| 73 | builder.Add({kNoValue}); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 74 | builder.Encode(writer); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 75 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 76 | BitMemoryReader reader(buffer.data()); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 77 | BitTableBase<1> table(reader); |
David Srbecky | d160641 | 2018-07-31 15:05:14 +0100 | [diff] [blame^] | 78 | EXPECT_EQ(writer.NumberOfWrittenBits(), reader.NumberOfReadBits()); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 79 | EXPECT_EQ(4u, table.NumRows()); |
| 80 | EXPECT_EQ(42u, table.Get(0)); |
| 81 | EXPECT_EQ(kNoValue, table.Get(1)); |
| 82 | EXPECT_EQ(1000u, table.Get(2)); |
| 83 | EXPECT_EQ(kNoValue, table.Get(3)); |
| 84 | EXPECT_EQ(10u, table.NumColumnBits(0)); |
| 85 | } |
| 86 | |
| 87 | TEST(BitTableTest, TestUnalignedTable) { |
David Srbecky | dd966bc | 2018-05-24 13:55:52 +0100 | [diff] [blame] | 88 | MallocArenaPool pool; |
| 89 | ArenaStack arena_stack(&pool); |
| 90 | ScopedArenaAllocator allocator(&arena_stack); |
| 91 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 92 | for (size_t start_bit_offset = 0; start_bit_offset <= 32; start_bit_offset++) { |
| 93 | std::vector<uint8_t> buffer; |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 94 | BitMemoryWriter<std::vector<uint8_t>> writer(&buffer, start_bit_offset); |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 95 | BitTableBuilderBase<1> builder(&allocator); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 96 | builder.Add({42u}); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 97 | builder.Encode(writer); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 98 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 99 | BitMemoryReader reader(buffer.data(), start_bit_offset); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 100 | BitTableBase<1> table(reader); |
David Srbecky | d160641 | 2018-07-31 15:05:14 +0100 | [diff] [blame^] | 101 | EXPECT_EQ(writer.NumberOfWrittenBits(), reader.NumberOfReadBits()); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 102 | EXPECT_EQ(1u, table.NumRows()); |
| 103 | EXPECT_EQ(42u, table.Get(0)); |
| 104 | } |
| 105 | } |
| 106 | |
| 107 | TEST(BitTableTest, TestBigTable) { |
David Srbecky | dd966bc | 2018-05-24 13:55:52 +0100 | [diff] [blame] | 108 | MallocArenaPool pool; |
| 109 | ArenaStack arena_stack(&pool); |
| 110 | ScopedArenaAllocator allocator(&arena_stack); |
| 111 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 112 | constexpr uint32_t kNoValue = -1; |
| 113 | std::vector<uint8_t> buffer; |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 114 | BitMemoryWriter<std::vector<uint8_t>> writer(&buffer); |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 115 | BitTableBuilderBase<4> builder(&allocator); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 116 | builder.Add({42u, kNoValue, 0u, static_cast<uint32_t>(-2)}); |
| 117 | builder.Add({62u, kNoValue, 63u, static_cast<uint32_t>(-3)}); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 118 | builder.Encode(writer); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 119 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 120 | BitMemoryReader reader(buffer.data()); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 121 | BitTableBase<4> table(reader); |
David Srbecky | d160641 | 2018-07-31 15:05:14 +0100 | [diff] [blame^] | 122 | EXPECT_EQ(writer.NumberOfWrittenBits(), reader.NumberOfReadBits()); |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 123 | EXPECT_EQ(2u, table.NumRows()); |
| 124 | EXPECT_EQ(42u, table.Get(0, 0)); |
| 125 | EXPECT_EQ(kNoValue, table.Get(0, 1)); |
| 126 | EXPECT_EQ(0u, table.Get(0, 2)); |
| 127 | EXPECT_EQ(static_cast<uint32_t>(-2), table.Get(0, 3)); |
| 128 | EXPECT_EQ(62u, table.Get(1, 0)); |
| 129 | EXPECT_EQ(kNoValue, table.Get(1, 1)); |
| 130 | EXPECT_EQ(63u, table.Get(1, 2)); |
| 131 | EXPECT_EQ(static_cast<uint32_t>(-3), table.Get(1, 3)); |
| 132 | EXPECT_EQ(6u, table.NumColumnBits(0)); |
| 133 | EXPECT_EQ(0u, table.NumColumnBits(1)); |
| 134 | EXPECT_EQ(7u, table.NumColumnBits(2)); |
| 135 | EXPECT_EQ(32u, table.NumColumnBits(3)); |
| 136 | } |
| 137 | |
David Srbecky | 159c9dd | 2018-05-24 14:56:51 +0100 | [diff] [blame] | 138 | TEST(BitTableTest, TestDedup) { |
| 139 | MallocArenaPool pool; |
| 140 | ArenaStack arena_stack(&pool); |
| 141 | ScopedArenaAllocator allocator(&arena_stack); |
| 142 | |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 143 | BitTableBuilderBase<2> builder(&allocator); |
| 144 | BitTableBuilderBase<2>::Entry value0{1, 2}; |
| 145 | BitTableBuilderBase<2>::Entry value1{3, 4}; |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 146 | EXPECT_EQ(0u, builder.Dedup(&value0)); |
| 147 | EXPECT_EQ(1u, builder.Dedup(&value1)); |
| 148 | EXPECT_EQ(0u, builder.Dedup(&value0)); |
| 149 | EXPECT_EQ(1u, builder.Dedup(&value1)); |
| 150 | EXPECT_EQ(2u, builder.size()); |
| 151 | } |
| 152 | |
| 153 | TEST(BitTableTest, TestBitmapTable) { |
| 154 | MallocArenaPool pool; |
| 155 | ArenaStack arena_stack(&pool); |
| 156 | ScopedArenaAllocator allocator(&arena_stack); |
| 157 | |
| 158 | std::vector<uint8_t> buffer; |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 159 | BitMemoryWriter<std::vector<uint8_t>> writer(&buffer); |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 160 | const uint64_t value = 0xDEADBEEF0BADF00Dull; |
| 161 | BitmapTableBuilder builder(&allocator); |
| 162 | std::multimap<uint64_t, size_t> indicies; // bitmap -> row. |
| 163 | for (size_t bit_length = 0; bit_length <= BitSizeOf<uint64_t>(); ++bit_length) { |
| 164 | uint64_t bitmap = value & MaxInt<uint64_t>(bit_length); |
| 165 | indicies.emplace(bitmap, builder.Dedup(&bitmap, MinimumBitsToStore(bitmap))); |
| 166 | } |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 167 | builder.Encode(writer); |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 168 | EXPECT_EQ(1 + static_cast<uint32_t>(POPCOUNT(value)), builder.size()); |
| 169 | |
David Srbecky | a38e6cf | 2018-06-26 18:13:49 +0100 | [diff] [blame] | 170 | BitMemoryReader reader(buffer.data()); |
David Srbecky | 078d7ba | 2018-06-21 15:36:48 +0100 | [diff] [blame] | 171 | BitTableBase<1> table(reader); |
David Srbecky | d160641 | 2018-07-31 15:05:14 +0100 | [diff] [blame^] | 172 | EXPECT_EQ(writer.NumberOfWrittenBits(), reader.NumberOfReadBits()); |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 173 | for (auto it : indicies) { |
| 174 | uint64_t expected = it.first; |
| 175 | BitMemoryRegion actual = table.GetBitMemoryRegion(it.second); |
| 176 | EXPECT_GE(actual.size_in_bits(), MinimumBitsToStore(expected)); |
| 177 | for (size_t b = 0; b < actual.size_in_bits(); b++, expected >>= 1) { |
| 178 | EXPECT_EQ(expected & 1, actual.LoadBit(b)) << "b=" << b; |
| 179 | } |
| 180 | } |
| 181 | } |
| 182 | |
| 183 | TEST(BitTableTest, TestCollisions) { |
| 184 | MallocArenaPool pool; |
| 185 | ArenaStack arena_stack(&pool); |
| 186 | ScopedArenaAllocator allocator(&arena_stack); |
David Srbecky | 159c9dd | 2018-05-24 14:56:51 +0100 | [diff] [blame] | 187 | FNVHash<MemoryRegion> hasher; |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 188 | |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 189 | BitTableBuilderBase<2>::Entry value0{56948505, 0}; |
| 190 | BitTableBuilderBase<2>::Entry value1{67108869, 0}; |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 191 | |
David Srbecky | cf7833e | 2018-06-14 16:45:22 +0100 | [diff] [blame] | 192 | BitTableBuilderBase<2> builder(&allocator); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 193 | EXPECT_EQ(hasher(MemoryRegion(&value0, sizeof(value0))), |
| 194 | hasher(MemoryRegion(&value1, sizeof(value1)))); |
David Srbecky | 159c9dd | 2018-05-24 14:56:51 +0100 | [diff] [blame] | 195 | EXPECT_EQ(0u, builder.Dedup(&value0)); |
| 196 | EXPECT_EQ(1u, builder.Dedup(&value1)); |
David Srbecky | 159c9dd | 2018-05-24 14:56:51 +0100 | [diff] [blame] | 197 | EXPECT_EQ(0u, builder.Dedup(&value0)); |
| 198 | EXPECT_EQ(1u, builder.Dedup(&value1)); |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 199 | EXPECT_EQ(2u, builder.size()); |
| 200 | |
| 201 | BitmapTableBuilder builder2(&allocator); |
David Srbecky | f325e28 | 2018-06-13 15:02:32 +0100 | [diff] [blame] | 202 | EXPECT_EQ(hasher(MemoryRegion(&value0, BitsToBytesRoundUp(MinimumBitsToStore(value0[0])))), |
| 203 | hasher(MemoryRegion(&value1, BitsToBytesRoundUp(MinimumBitsToStore(value1[0]))))); |
| 204 | EXPECT_EQ(0u, builder2.Dedup(&value0[0], MinimumBitsToStore(value0[0]))); |
| 205 | EXPECT_EQ(1u, builder2.Dedup(&value1[0], MinimumBitsToStore(value1[0]))); |
| 206 | EXPECT_EQ(0u, builder2.Dedup(&value0[0], MinimumBitsToStore(value0[0]))); |
| 207 | EXPECT_EQ(1u, builder2.Dedup(&value1[0], MinimumBitsToStore(value1[0]))); |
David Srbecky | 5513c2b | 2018-05-24 15:03:20 +0100 | [diff] [blame] | 208 | EXPECT_EQ(2u, builder2.size()); |
David Srbecky | 159c9dd | 2018-05-24 14:56:51 +0100 | [diff] [blame] | 209 | } |
| 210 | |
David Srbecky | 052f8ca | 2018-04-26 15:42:54 +0100 | [diff] [blame] | 211 | } // namespace art |