Heap.cpp 11 KB

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