aboutsummaryrefslogtreecommitdiff
path: root/kernel/kapi
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/kapi')
-rw-r--r--kernel/kapi/filesystem.cpp58
-rw-r--r--kernel/kapi/filesystem.tests.cpp72
2 files changed, 57 insertions, 73 deletions
diff --git a/kernel/kapi/filesystem.cpp b/kernel/kapi/filesystem.cpp
index 24a3adf3..f84949da 100644
--- a/kernel/kapi/filesystem.cpp
+++ b/kernel/kapi/filesystem.cpp
@@ -6,7 +6,6 @@
#include <kstd/memory.hpp>
#include <kstd/system_error.hpp>
-#include <kstd/unikstd.h>
#include <cstddef>
#include <expected>
@@ -14,62 +13,45 @@
namespace kapi::filesystem
{
- auto mount(std::string_view source, std::string_view target) -> kstd::ssize_t
+ auto mount(std::string_view source, std::string_view target) -> std::expected<void, kstd::error_code>
{
- if (kernel::filesystem::vfs::get().do_mount(source, target) == kernel::filesystem::vfs::operation_result::success)
- {
- return 0;
- }
- return -1;
+ return kernel::filesystem::vfs::get().do_mount(source, target);
}
- auto umount(std::string_view target) -> kstd::ssize_t
+ auto umount(std::string_view target) -> std::expected<void, kstd::error_code>
{
- if (kernel::filesystem::vfs::get().unmount(target) == kernel::filesystem::vfs::operation_result::success)
- {
- return 0;
- }
- return -1;
+ return kernel::filesystem::vfs::get().unmount(target);
}
auto open(std::string_view path) -> std::expected<std::size_t, kstd::error_code>
{
- return kernel::filesystem::vfs::get().open(path).transform([](auto dentry) {
+ return kernel::filesystem::vfs::get().open(path).and_then([](auto dentry) {
auto open_file_descriptor = kstd::make_shared<kernel::filesystem::open_file_descriptor>(dentry);
return kernel::filesystem::open_file_table::get().add_file(open_file_descriptor);
});
}
- auto close(size_t file_descriptor) -> kstd::ssize_t
+ auto close(size_t file_descriptor) -> std::expected<void, kstd::error_code>
{
- if (auto open_file_descriptor = kernel::filesystem::open_file_table::get().file(file_descriptor))
- {
- if (kernel::filesystem::vfs::get().close(open_file_descriptor->get_dentry()->absolute_path()) ==
- kernel::filesystem::vfs::operation_result::success)
- {
- return kernel::filesystem::open_file_table::get().remove_file(file_descriptor);
- }
- }
- return -1;
+ return kernel::filesystem::open_file_table::get()
+ .file(file_descriptor)
+ .transform([](auto file) { return file->get_dentry()->absolute_path(); })
+ .and_then([](auto path) { return kernel::filesystem::vfs::get().close(path); })
+ .and_then([=]() { return kernel::filesystem::open_file_table::get().remove_file(file_descriptor); })
+ .transform([](auto) { return; });
}
- auto read(size_t file_descriptor, void * buffer, size_t size) -> kstd::ssize_t
+ auto read(size_t file_descriptor, void * buffer, size_t size) -> std::expected<std::size_t, kstd::error_code>
{
- if (auto open_file_descriptor = kernel::filesystem::open_file_table::get().file(file_descriptor))
- {
- return open_file_descriptor->read(buffer, size);
- }
-
- return -1;
+ return kernel::filesystem::open_file_table::get().file(file_descriptor).transform([=](auto descriptor) {
+ return descriptor->read(buffer, size);
+ });
}
- auto write(size_t file_descriptor, void const * buffer, size_t size) -> kstd::ssize_t
+ auto write(size_t file_descriptor, void const * buffer, size_t size) -> std::expected<std::size_t, kstd::error_code>
{
- if (auto open_file_descriptor = kernel::filesystem::open_file_table::get().file(file_descriptor))
- {
- return open_file_descriptor->write(buffer, size);
- }
-
- return -1;
+ return kernel::filesystem::open_file_table::get().file(file_descriptor).transform([=](auto descriptor) {
+ return descriptor->write(buffer, size);
+ });
}
} // namespace kapi::filesystem \ No newline at end of file
diff --git a/kernel/kapi/filesystem.tests.cpp b/kernel/kapi/filesystem.tests.cpp
index 37d0c20d..d1e01db6 100644
--- a/kernel/kapi/filesystem.tests.cpp
+++ b/kernel/kapi/filesystem.tests.cpp
@@ -2,6 +2,8 @@
#include <kernel/test_support/filesystem/storage_boot_module_vfs_fixture.hpp>
+#include <kstd/system_error.hpp>
+
#include <catch2/catch_test_macros.hpp>
#include <algorithm>
@@ -29,12 +31,12 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
auto buffer = std::vector<std::byte>(6);
auto bytes_read = kapi::filesystem::read(fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
- std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(bytes_read)};
+ std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(*bytes_read)};
REQUIRE(buffer_as_str == "info_1");
- REQUIRE(kapi::filesystem::close(fd) == 0);
+ REQUIRE(kapi::filesystem::close(fd));
}
THEN("files can be opened through absolute symbolic link, read and closed again")
@@ -43,12 +45,12 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
auto buffer = std::vector<std::byte>(6);
auto bytes_read = kapi::filesystem::read(fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
- std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(bytes_read)};
+ std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(*bytes_read)};
REQUIRE(buffer_as_str == "info_1");
- REQUIRE(kapi::filesystem::close(fd) == 0);
+ REQUIRE(kapi::filesystem::close(fd));
}
THEN("files can be opened through relative symbolic link, read and closed again")
@@ -57,57 +59,57 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
auto buffer = std::vector<std::byte>(6);
auto bytes_read = kapi::filesystem::read(fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
- std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(bytes_read)};
+ std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(*bytes_read)};
REQUIRE(buffer_as_str == "info_1");
- REQUIRE(kapi::filesystem::close(fd) == 0);
+ REQUIRE(kapi::filesystem::close(fd));
}
THEN("files can be opened through relative symbolic link over multiple mount points, read and closed again")
{
- kapi::filesystem::mount("/archiv/2024.img", "/information");
+ CHECK(kapi::filesystem::mount("/archiv/2024.img", "/information"));
auto fd = kapi::filesystem::open("/information/symlinks/traverse_back_twice/information/sheep_1.txt").value();
auto buffer = std::vector<std::byte>(7);
auto bytes_read = kapi::filesystem::read(fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
- std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(bytes_read)};
+ std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(*bytes_read)};
REQUIRE(buffer_as_str == "sheep_1");
- REQUIRE(kapi::filesystem::close(fd) == 0);
+ REQUIRE(kapi::filesystem::close(fd));
}
THEN("a filesystem can be mounted, files can be opened, read and closed again and unmounted")
{
- REQUIRE(kapi::filesystem::mount("/dev/ram16", "/information") == 0);
+ REQUIRE(kapi::filesystem::mount("/dev/ram16", "/information"));
auto fd = kapi::filesystem::open("/information/monkey_house/monkey_1.txt").value();
auto buffer = std::vector<std::byte>(8);
auto bytes_read = kapi::filesystem::read(fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
- std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(bytes_read)};
+ std::string_view buffer_as_str{reinterpret_cast<char *>(buffer.data()), static_cast<size_t>(*bytes_read)};
REQUIRE(buffer_as_str == "monkey_1");
- REQUIRE(kapi::filesystem::close(fd) == 0);
- REQUIRE(kapi::filesystem::umount("/information") == 0);
+ REQUIRE(kapi::filesystem::close(fd));
+ REQUIRE(kapi::filesystem::umount("/information"));
}
THEN("a filesystem cannot be unmounted if files are still open and can be unmounted after files are closed")
{
- REQUIRE(kapi::filesystem::mount("/dev/ram16", "/information") == 0);
+ REQUIRE(kapi::filesystem::mount("/dev/ram16", "/information"));
auto fd = kapi::filesystem::open("/information/monkey_house/monkey_1.txt").value();
- REQUIRE(kapi::filesystem::umount("/information") < 0);
+ REQUIRE(!kapi::filesystem::umount("/information"));
- REQUIRE(kapi::filesystem::close(fd) == 0);
- REQUIRE(kapi::filesystem::umount("/information") == 0);
+ REQUIRE(kapi::filesystem::close(fd));
+ REQUIRE(kapi::filesystem::umount("/information"));
}
THEN("device can be opened as file and read from")
@@ -116,9 +118,9 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
auto buffer = std::vector<std::byte>(512);
auto bytes_read = kapi::filesystem::read(fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
- REQUIRE(kapi::filesystem::close(fd) == 0);
+ REQUIRE(kapi::filesystem::close(fd));
}
THEN("device can be opened as file and written to and read from again")
@@ -127,28 +129,28 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
auto buffer = std::vector<std::byte>(512, std::byte{0xAB});
auto bytes_written = kapi::filesystem::write(read_fd, buffer.data(), buffer.size());
- REQUIRE(bytes_written >= 0);
+ REQUIRE(bytes_written);
auto write_fd = kapi::filesystem::open("/dev/ram16").value();
auto read_buffer = std::vector<std::byte>(512);
auto bytes_read = kapi::filesystem::read(write_fd, read_buffer.data(), read_buffer.size());
- REQUIRE(bytes_read >= 0);
+ REQUIRE(bytes_read);
REQUIRE(std::equal(buffer.begin(), buffer.end(), read_buffer.begin()));
- REQUIRE(kapi::filesystem::close(write_fd) == 0);
- REQUIRE(kapi::filesystem::close(read_fd) == 0);
+ REQUIRE(kapi::filesystem::close(write_fd));
+ REQUIRE(kapi::filesystem::close(read_fd));
}
THEN("invalid paths cannot be mounted or unmounted")
{
- REQUIRE(kapi::filesystem::mount("/dev/ram16", "invalid_path") < 0);
+ REQUIRE(!kapi::filesystem::mount("/dev/ram16", "invalid_path"));
}
THEN("invalid paths cannot be unmounted")
{
- REQUIRE(kapi::filesystem::umount("invalid_path") < 0);
+ REQUIRE(!kapi::filesystem::umount("invalid_path"));
}
THEN("non existent files cannot be opened")
@@ -159,15 +161,15 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
THEN("not opened files cannot closed")
{
- REQUIRE(kapi::filesystem::close(999) < 0);
+ REQUIRE(!kapi::filesystem::close(999));
}
THEN("same file cannot be closed twice")
{
auto fd = kapi::filesystem::open("/information/info_1.txt").value();
- REQUIRE(kapi::filesystem::close(fd) == 0);
- REQUIRE(kapi::filesystem::close(fd) < 0);
+ REQUIRE(kapi::filesystem::close(fd));
+ REQUIRE(!kapi::filesystem::close(fd));
}
THEN("not opened files cannot be read from")
@@ -175,7 +177,7 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
std::vector<std::byte> buffer(10);
auto const invalid_fd = 999uz;
auto bytes_read = kapi::filesystem::read(invalid_fd, buffer.data(), buffer.size());
- REQUIRE(bytes_read < 0);
+ REQUIRE(!bytes_read);
}
THEN("not opened files cannot be written to")
@@ -183,7 +185,7 @@ SCENARIO_METHOD(kernel::tests::filesystem::storage_boot_module_vfs_fixture, "Kap
std::vector<std::byte> buffer(10);
auto const invalid_fd = 999uz;
auto bytes_written = kapi::filesystem::write(invalid_fd, buffer.data(), buffer.size());
- REQUIRE(bytes_written < 0);
+ REQUIRE(!bytes_written);
}
}
}