system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-10-14 20:03:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tests/Kernel: Add tests to ensure we don't regress InodeVMObjects

Browse source
This commit is contained in:
Liav A 2022-08-07 22:09:54 +03:00
parent 83cd729dc3
commit b0d555163b
5 changed files with 180 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Tests/Kernel/CMakeLists.txt
View file

@ -33,7 +33,11 @@ serenity_test("crash.cpp" Kernel MAIN_ALREADY_DEFINED)
set(LIBTEST_BASED_SOURCES
TestEFault.cpp
TestEmptyPrivateInodeVMObject.cpp
TestEmptySharedInodeVMObject.cpp
TestInvalidUIDSet.cpp
TestSharedInodeVMObject.cpp
TestPrivateInodeVMObject.cpp
TestKernelAlarm.cpp
TestKernelFilePermissions.cpp
TestKernelPledge.cpp

39
Tests/Kernel/TestEmptyPrivateInodeVMObject.cpp Normal file
View file

@ -0,0 +1,39 @@
/*
* Copyright (c) 2022, Liav A. <liavalb@hotmail.co.il>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <LibTest/TestCase.h>
#include <errno.h>
#include <fcntl.h>
#include <signal.h>
#include <sys/mman.h>
static u8* private_ptr = nullptr;
static void private_zero_length_inode_vmobject_sync_signal_handler(int)
{
auto rc = msync(private_ptr, 0x1000, MS_ASYNC);
EXPECT(rc == 0);
rc = munmap(private_ptr, 0x1000);
EXPECT(rc == 0);
exit(0);
}
TEST_CASE(private_zero_length_inode_vmobject_sync)
{
{
struct sigaction new_action {
{ private_zero_length_inode_vmobject_sync_signal_handler }, 0, 0
};
int rc = sigaction(SIGBUS, &new_action, nullptr);
VERIFY(rc == 0);
}
int fd = open("/tmp/private_msync_test", O_RDWR | O_CREAT);
VERIFY(fd >= 0);
private_ptr = (u8*)mmap(nullptr, 0x1000, PROT_READ | PROT_WRITE, MAP_FILE | MAP_PRIVATE, fd, 0);
EXPECT(private_ptr != MAP_FAILED);
private_ptr[0] = 0x1;
VERIFY_NOT_REACHED();
}

39
Tests/Kernel/TestEmptySharedInodeVMObject.cpp Normal file
View file

@ -0,0 +1,39 @@
/*
* Copyright (c) 2022, Liav A. <liavalb@hotmail.co.il>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <LibTest/TestCase.h>
#include <errno.h>
#include <fcntl.h>
#include <signal.h>
#include <sys/mman.h>
static u8* shared_ptr = nullptr;
static void shared_zero_length_inode_vmobject_sync_signal_handler(int)
{
auto rc = msync(shared_ptr, 0x1000, MS_ASYNC);
EXPECT(rc == 0);
rc = munmap(shared_ptr, 0x1000);
EXPECT(rc == 0);
exit(0);
}
TEST_CASE(shared_zero_length_inode_vmobject_sync)
{
{
struct sigaction new_action {
{ shared_zero_length_inode_vmobject_sync_signal_handler }, 0, 0
};
int rc = sigaction(SIGBUS, &new_action, nullptr);
VERIFY(rc == 0);
}
int fd = open("/tmp/shared_msync_test", O_RDWR | O_CREAT);
VERIFY(fd >= 0);
shared_ptr = (u8*)mmap(nullptr, 0x1000, PROT_READ | PROT_WRITE, MAP_FILE | MAP_SHARED, fd, 0);
EXPECT(shared_ptr != MAP_FAILED);
shared_ptr[0] = 0x1;
VERIFY_NOT_REACHED();
}

49
Tests/Kernel/TestPrivateInodeVMObject.cpp Normal file
View file

@ -0,0 +1,49 @@
/*
* Copyright (c) 2022, Liav A. <liavalb@hotmail.co.il>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <LibTest/TestCase.h>
#include <errno.h>
#include <fcntl.h>
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/mman.h>
#include <unistd.h>
static u8* private_ptr = nullptr;
static void private_non_empty_inode_vmobject_sync_signal_handler(int)
{
auto rc = msync(private_ptr, 0x1000, MS_ASYNC);
EXPECT(rc == 0);
rc = munmap(private_ptr, 0x1000);
EXPECT(rc == 0);
exit(0);
}
TEST_CASE(private_non_empty_inode_vmobject_sync)
{
{
struct sigaction new_action {
{ private_non_empty_inode_vmobject_sync_signal_handler }, 0, 0
};
int rc = sigaction(SIGBUS, &new_action, nullptr);
VERIFY(rc == 0);
}
u8 buf[0x1000];
memset(buf, 0, sizeof(buf));
int fd = open("/tmp/private_non_empty_msync_test", O_RDWR | O_CREAT);
VERIFY(fd >= 0);
auto rc = write(fd, buf, sizeof(buf));
VERIFY(rc == sizeof(buf));
private_ptr = (u8*)mmap(nullptr, 0x2000, PROT_READ | PROT_WRITE, MAP_FILE | MAP_PRIVATE, fd, 0);
EXPECT(private_ptr != MAP_FAILED);
rc = msync(private_ptr, 0x2000, MS_ASYNC);
EXPECT(rc == 0);
private_ptr[0x1001] = 0x1;
VERIFY_NOT_REACHED();
}

49
Tests/Kernel/TestSharedInodeVMObject.cpp Normal file
View file

@ -0,0 +1,49 @@
/*
* Copyright (c) 2022, Liav A. <liavalb@hotmail.co.il>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <LibTest/TestCase.h>
#include <errno.h>
#include <fcntl.h>
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/mman.h>
#include <unistd.h>
static u8* shared_ptr = nullptr;
static void shared_non_empty_inode_vmobject_sync_signal_handler(int)
{
auto rc = msync(shared_ptr, 0x1000, MS_ASYNC);
EXPECT(rc == 0);
rc = munmap(shared_ptr, 0x1000);
EXPECT(rc == 0);
exit(0);
}
TEST_CASE(shared_non_empty_inode_vmobject_sync)
{
{
struct sigaction new_action {
{ shared_non_empty_inode_vmobject_sync_signal_handler }, 0, 0
};
int rc = sigaction(SIGBUS, &new_action, nullptr);
VERIFY(rc == 0);
}
u8 buf[0x1000];
memset(buf, 0, sizeof(buf));
int fd = open("/tmp/shared_non_empty_msync_test", O_RDWR | O_CREAT);
VERIFY(fd >= 0);
auto rc = write(fd, buf, sizeof(buf));
VERIFY(rc == sizeof(buf));
shared_ptr = (u8*)mmap(nullptr, 0x2000, PROT_READ | PROT_WRITE, MAP_FILE | MAP_SHARED, fd, 0);
EXPECT(shared_ptr != MAP_FAILED);
rc = msync(shared_ptr, 0x2000, MS_ASYNC);
EXPECT(rc == 0);
shared_ptr[0x1001] = 0x1;
VERIFY_NOT_REACHED();
}