Heap.cpp 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275
  1. /*
  2. * Copyright (c) 2021, Jan de Visser <jan@de-visser.net>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/DeprecatedString.h>
  7. #include <AK/Format.h>
  8. #include <AK/QuickSort.h>
  9. #include <LibCore/IODevice.h>
  10. #include <LibCore/System.h>
  11. #include <LibSQL/Heap.h>
  12. #include <LibSQL/Serializer.h>
  13. #include <sys/stat.h>
  14. #include <sys/types.h>
  15. namespace SQL {
  16. Heap::Heap(DeprecatedString file_name)
  17. {
  18. set_name(move(file_name));
  19. }
  20. Heap::~Heap()
  21. {
  22. if (m_file && !m_write_ahead_log.is_empty()) {
  23. if (auto maybe_error = flush(); maybe_error.is_error())
  24. warnln("~Heap({}): {}", name(), maybe_error.error());
  25. }
  26. }
  27. ErrorOr<void> Heap::open()
  28. {
  29. size_t file_size = 0;
  30. struct stat stat_buffer;
  31. if (stat(name().characters(), &stat_buffer) != 0) {
  32. if (errno != ENOENT) {
  33. warnln("Heap::open({}): could not stat: {}"sv, name(), strerror(errno));
  34. return Error::from_string_literal("Heap::open(): could not stat file");
  35. }
  36. } else if (!S_ISREG(stat_buffer.st_mode)) {
  37. warnln("Heap::open({}): can only use regular files"sv, name());
  38. return Error::from_string_literal("Heap::open(): can only use regular files");
  39. } else {
  40. file_size = stat_buffer.st_size;
  41. }
  42. if (file_size > 0)
  43. m_next_block = m_end_of_file = file_size / BLOCKSIZE;
  44. auto file = TRY(Core::File::open(name(), Core::File::OpenMode::ReadWrite));
  45. m_file = TRY(Core::BufferedFile::create(move(file)));
  46. if (file_size > 0) {
  47. if (auto error_maybe = read_zero_block(); error_maybe.is_error()) {
  48. m_file = nullptr;
  49. return error_maybe.release_error();
  50. }
  51. } else {
  52. initialize_zero_block();
  53. }
  54. // FIXME: We should more gracefully handle version incompatibilities. For now, we drop the database.
  55. if (m_version != current_version) {
  56. dbgln_if(SQL_DEBUG, "Heap file {} opened has incompatible version {}. Deleting for version {}.", name(), m_version, current_version);
  57. m_file = nullptr;
  58. TRY(Core::System::unlink(name()));
  59. return open();
  60. }
  61. dbgln_if(SQL_DEBUG, "Heap file {} opened. Size = {}", name(), size());
  62. return {};
  63. }
  64. ErrorOr<ByteBuffer> Heap::read_block(u32 block)
  65. {
  66. if (!m_file) {
  67. warnln("Heap({})::read_block({}): Heap file not opened"sv, name(), block);
  68. return Error::from_string_literal("Heap()::read_block(): Heap file not opened");
  69. }
  70. if (auto buffer = m_write_ahead_log.get(block); buffer.has_value())
  71. return TRY(ByteBuffer::copy(*buffer));
  72. if (block >= m_next_block) {
  73. warnln("Heap({})::read_block({}): block # out of range (>= {})"sv, name(), block, m_next_block);
  74. return Error::from_string_literal("Heap()::read_block(): block # out of range");
  75. }
  76. dbgln_if(SQL_DEBUG, "Read heap block {}", block);
  77. TRY(seek_block(block));
  78. auto buffer = TRY(ByteBuffer::create_uninitialized(BLOCKSIZE));
  79. // FIXME: This should read the entire span.
  80. auto bytes = TRY(m_file->read_some(buffer));
  81. dbgln_if(SQL_DEBUG, "{:hex-dump}", bytes.trim(8));
  82. TRY(buffer.try_resize(bytes.size()));
  83. return buffer;
  84. }
  85. ErrorOr<void> Heap::write_block(u32 block, ByteBuffer& buffer)
  86. {
  87. if (!m_file) {
  88. warnln("Heap({})::write_block({}): Heap file not opened"sv, name(), block);
  89. return Error::from_string_literal("Heap()::write_block(): Heap file not opened");
  90. }
  91. if (block > m_next_block) {
  92. warnln("Heap({})::write_block({}): block # out of range (> {})"sv, name(), block, m_next_block);
  93. return Error::from_string_literal("Heap()::write_block(): block # out of range");
  94. }
  95. if (buffer.size() > BLOCKSIZE) {
  96. warnln("Heap({})::write_block({}): Oversized block ({} > {})"sv, name(), block, buffer.size(), BLOCKSIZE);
  97. return Error::from_string_literal("Heap()::write_block(): Oversized block");
  98. }
  99. dbgln_if(SQL_DEBUG, "Write heap block {} size {}", block, buffer.size());
  100. TRY(seek_block(block));
  101. if (auto current_size = buffer.size(); current_size < BLOCKSIZE) {
  102. TRY(buffer.try_resize(BLOCKSIZE));
  103. memset(buffer.offset_pointer(current_size), 0, BLOCKSIZE - current_size);
  104. }
  105. dbgln_if(SQL_DEBUG, "{:hex-dump}", buffer.bytes().trim(8));
  106. // FIXME: This should write the entire span.
  107. TRY(m_file->write_some(buffer));
  108. if (block == m_end_of_file)
  109. m_end_of_file++;
  110. return {};
  111. }
  112. ErrorOr<void> Heap::seek_block(u32 block)
  113. {
  114. if (!m_file) {
  115. warnln("Heap({})::seek_block({}): Heap file not opened"sv, name(), block);
  116. return Error::from_string_literal("Heap()::seek_block(): Heap file not opened");
  117. }
  118. if (block > m_end_of_file) {
  119. warnln("Heap({})::seek_block({}): Cannot seek beyond end of file at block {}"sv, name(), block, m_end_of_file);
  120. return Error::from_string_literal("Heap()::seek_block(): Cannot seek beyond end of file");
  121. }
  122. if (block == m_end_of_file)
  123. TRY(m_file->seek(0, SeekMode::FromEndPosition));
  124. else
  125. TRY(m_file->seek(block * BLOCKSIZE, SeekMode::SetPosition));
  126. return {};
  127. }
  128. u32 Heap::new_record_pointer()
  129. {
  130. VERIFY(m_file);
  131. if (m_free_list) {
  132. auto block_or_error = read_block(m_free_list);
  133. if (block_or_error.is_error()) {
  134. warnln("FREE LIST CORRUPTION");
  135. VERIFY_NOT_REACHED();
  136. }
  137. auto new_pointer = m_free_list;
  138. memcpy(&m_free_list, block_or_error.value().offset_pointer(0), sizeof(u32));
  139. update_zero_block();
  140. return new_pointer;
  141. }
  142. return m_next_block++;
  143. }
  144. ErrorOr<void> Heap::flush()
  145. {
  146. VERIFY(m_file);
  147. Vector<u32> blocks;
  148. for (auto& wal_entry : m_write_ahead_log) {
  149. blocks.append(wal_entry.key);
  150. }
  151. quick_sort(blocks);
  152. for (auto& block : blocks) {
  153. auto buffer_it = m_write_ahead_log.find(block);
  154. VERIFY(buffer_it != m_write_ahead_log.end());
  155. dbgln_if(SQL_DEBUG, "Flushing block {} to {}", block, name());
  156. TRY(write_block(block, buffer_it->value));
  157. }
  158. m_write_ahead_log.clear();
  159. dbgln_if(SQL_DEBUG, "WAL flushed. Heap size = {}", size());
  160. return {};
  161. }
  162. constexpr static auto FILE_ID = "SerenitySQL "sv;
  163. constexpr static auto VERSION_OFFSET = FILE_ID.length();
  164. constexpr static auto SCHEMAS_ROOT_OFFSET = VERSION_OFFSET + sizeof(u32);
  165. constexpr static auto TABLES_ROOT_OFFSET = SCHEMAS_ROOT_OFFSET + sizeof(u32);
  166. constexpr static auto TABLE_COLUMNS_ROOT_OFFSET = TABLES_ROOT_OFFSET + sizeof(u32);
  167. constexpr static auto FREE_LIST_OFFSET = TABLE_COLUMNS_ROOT_OFFSET + sizeof(u32);
  168. constexpr static auto USER_VALUES_OFFSET = FREE_LIST_OFFSET + sizeof(u32);
  169. ErrorOr<void> Heap::read_zero_block()
  170. {
  171. auto buffer = TRY(read_block(0));
  172. auto file_id_buffer = TRY(buffer.slice(0, FILE_ID.length()));
  173. auto file_id = StringView(file_id_buffer);
  174. if (file_id != FILE_ID) {
  175. warnln("{}: Zero page corrupt. This is probably not a {} heap file"sv, name(), FILE_ID);
  176. return Error::from_string_literal("Heap()::read_zero_block(): Zero page corrupt. This is probably not a SerenitySQL heap file");
  177. }
  178. dbgln_if(SQL_DEBUG, "Read zero block from {}", name());
  179. memcpy(&m_version, buffer.offset_pointer(VERSION_OFFSET), sizeof(u32));
  180. dbgln_if(SQL_DEBUG, "Version: {}.{}", (m_version & 0xFFFF0000) >> 16, (m_version & 0x0000FFFF));
  181. memcpy(&m_schemas_root, buffer.offset_pointer(SCHEMAS_ROOT_OFFSET), sizeof(u32));
  182. dbgln_if(SQL_DEBUG, "Schemas root node: {}", m_schemas_root);
  183. memcpy(&m_tables_root, buffer.offset_pointer(TABLES_ROOT_OFFSET), sizeof(u32));
  184. dbgln_if(SQL_DEBUG, "Tables root node: {}", m_tables_root);
  185. memcpy(&m_table_columns_root, buffer.offset_pointer(TABLE_COLUMNS_ROOT_OFFSET), sizeof(u32));
  186. dbgln_if(SQL_DEBUG, "Table columns root node: {}", m_table_columns_root);
  187. memcpy(&m_free_list, buffer.offset_pointer(FREE_LIST_OFFSET), sizeof(u32));
  188. dbgln_if(SQL_DEBUG, "Free list: {}", m_free_list);
  189. memcpy(m_user_values.data(), buffer.offset_pointer(USER_VALUES_OFFSET), m_user_values.size() * sizeof(u32));
  190. for (auto ix = 0u; ix < m_user_values.size(); ix++) {
  191. if (m_user_values[ix]) {
  192. dbgln_if(SQL_DEBUG, "User value {}: {}", ix, m_user_values[ix]);
  193. }
  194. }
  195. return {};
  196. }
  197. void Heap::update_zero_block()
  198. {
  199. dbgln_if(SQL_DEBUG, "Write zero block to {}", name());
  200. dbgln_if(SQL_DEBUG, "Version: {}.{}", (m_version & 0xFFFF0000) >> 16, (m_version & 0x0000FFFF));
  201. dbgln_if(SQL_DEBUG, "Schemas root node: {}", m_schemas_root);
  202. dbgln_if(SQL_DEBUG, "Tables root node: {}", m_tables_root);
  203. dbgln_if(SQL_DEBUG, "Table Columns root node: {}", m_table_columns_root);
  204. dbgln_if(SQL_DEBUG, "Free list: {}", m_free_list);
  205. for (auto ix = 0u; ix < m_user_values.size(); ix++) {
  206. if (m_user_values[ix]) {
  207. dbgln_if(SQL_DEBUG, "User value {}: {}", ix, m_user_values[ix]);
  208. }
  209. }
  210. // FIXME: Handle an OOM failure here.
  211. auto buffer = ByteBuffer::create_zeroed(BLOCKSIZE).release_value_but_fixme_should_propagate_errors();
  212. buffer.overwrite(0, FILE_ID.characters_without_null_termination(), FILE_ID.length());
  213. buffer.overwrite(VERSION_OFFSET, &m_version, sizeof(u32));
  214. buffer.overwrite(SCHEMAS_ROOT_OFFSET, &m_schemas_root, sizeof(u32));
  215. buffer.overwrite(TABLES_ROOT_OFFSET, &m_tables_root, sizeof(u32));
  216. buffer.overwrite(TABLE_COLUMNS_ROOT_OFFSET, &m_table_columns_root, sizeof(u32));
  217. buffer.overwrite(FREE_LIST_OFFSET, &m_free_list, sizeof(u32));
  218. buffer.overwrite(USER_VALUES_OFFSET, m_user_values.data(), m_user_values.size() * sizeof(u32));
  219. add_to_wal(0, buffer);
  220. }
  221. void Heap::initialize_zero_block()
  222. {
  223. m_version = current_version;
  224. m_schemas_root = 0;
  225. m_tables_root = 0;
  226. m_table_columns_root = 0;
  227. m_next_block = 1;
  228. m_free_list = 0;
  229. for (auto& user : m_user_values) {
  230. user = 0u;
  231. }
  232. update_zero_block();
  233. }
  234. }