2023-02-01 01:53:35 +02:00
|
|
|
#pragma once
|
|
|
|
|
2023-02-02 23:24:12 +02:00
|
|
|
#include <BAN/NoCopyMove.h>
|
2023-04-10 21:03:41 +03:00
|
|
|
#include <BAN/RefPtr.h>
|
2023-07-19 17:47:12 +03:00
|
|
|
#include <BAN/UniqPtr.h>
|
2023-05-28 16:24:41 +03:00
|
|
|
#include <kernel/Memory/VirtualRange.h>
|
2023-02-01 01:53:35 +02:00
|
|
|
|
2023-07-21 18:58:17 +03:00
|
|
|
#include <signal.h>
|
2023-03-16 12:17:04 +02:00
|
|
|
#include <sys/types.h>
|
|
|
|
|
2023-02-01 01:53:35 +02:00
|
|
|
namespace Kernel
|
|
|
|
{
|
|
|
|
|
2023-03-16 12:17:04 +02:00
|
|
|
class Process;
|
|
|
|
|
2023-03-30 19:13:28 +03:00
|
|
|
class Thread
|
2023-02-01 01:53:35 +02:00
|
|
|
{
|
2023-03-30 19:13:28 +03:00
|
|
|
BAN_NON_COPYABLE(Thread);
|
|
|
|
BAN_NON_MOVABLE(Thread);
|
2024-01-24 14:43:46 +02:00
|
|
|
|
2023-02-01 01:53:35 +02:00
|
|
|
public:
|
2023-03-09 15:25:39 +02:00
|
|
|
using entry_t = void(*)(void*);
|
|
|
|
|
2023-04-09 22:18:12 +03:00
|
|
|
enum class State
|
|
|
|
{
|
|
|
|
NotStarted,
|
|
|
|
Executing,
|
2023-07-28 18:06:20 +03:00
|
|
|
Terminated
|
|
|
|
};
|
|
|
|
|
2023-03-09 15:25:39 +02:00
|
|
|
public:
|
2023-05-28 16:24:41 +03:00
|
|
|
static BAN::ErrorOr<Thread*> create_kernel(entry_t, void*, Process*);
|
2023-05-31 19:25:53 +03:00
|
|
|
static BAN::ErrorOr<Thread*> create_userspace(Process*);
|
2023-02-01 01:53:35 +02:00
|
|
|
~Thread();
|
|
|
|
|
2024-03-22 14:48:33 +02:00
|
|
|
BAN::ErrorOr<Thread*> clone(Process*, uintptr_t sp, uintptr_t ip);
|
2023-05-31 20:56:29 +03:00
|
|
|
void setup_exec();
|
2023-07-28 18:06:20 +03:00
|
|
|
void setup_process_cleanup();
|
2023-05-28 18:08:26 +03:00
|
|
|
|
2023-12-06 13:02:17 +02:00
|
|
|
// Adds pending signals to thread if possible and
|
|
|
|
// returns true, if thread is going to trigger signal
|
|
|
|
bool is_interrupted_by_signal();
|
|
|
|
|
|
|
|
// Returns true if pending signal can be added to thread
|
|
|
|
bool can_add_signal_to_execute() const;
|
|
|
|
bool will_execute_signal() const;
|
2023-07-29 16:54:31 +03:00
|
|
|
void handle_signal(int signal = 0);
|
|
|
|
bool add_signal(int signal);
|
2023-07-23 18:33:10 +03:00
|
|
|
|
2024-02-09 15:18:34 +02:00
|
|
|
// blocks semaphore and returns either on unblock, eintr, spuriously or after timeout
|
|
|
|
BAN::ErrorOr<void> block_or_eintr_indefinite(Semaphore& semaphore);
|
|
|
|
BAN::ErrorOr<void> block_or_eintr_or_timeout(Semaphore& semaphore, uint64_t timeout_ms, bool etimedout);
|
|
|
|
BAN::ErrorOr<void> block_or_eintr_or_waketime(Semaphore& semaphore, uint64_t wake_time_ms, bool etimedout);
|
2023-12-06 16:13:07 +02:00
|
|
|
|
2024-03-22 14:48:33 +02:00
|
|
|
void set_return_sp(uintptr_t& sp) { m_return_sp = &sp; }
|
|
|
|
void set_return_ip(uintptr_t& ip) { m_return_ip = &ip; }
|
|
|
|
uintptr_t return_sp() { ASSERT(m_return_sp); return *m_return_sp; }
|
|
|
|
uintptr_t return_ip() { ASSERT(m_return_ip); return *m_return_ip; }
|
2023-07-21 18:58:17 +03:00
|
|
|
|
2023-03-16 12:17:04 +02:00
|
|
|
pid_t tid() const { return m_tid; }
|
2023-02-01 01:53:35 +02:00
|
|
|
|
2024-03-22 14:48:33 +02:00
|
|
|
void set_sp(uintptr_t sp) { m_sp = sp; validate_stack(); }
|
|
|
|
void set_ip(uintptr_t ip) { m_ip = ip; }
|
|
|
|
uintptr_t sp() const { return m_sp; }
|
|
|
|
uintptr_t ip() const { return m_ip; }
|
2023-03-07 19:17:49 +02:00
|
|
|
|
2023-04-09 22:18:12 +03:00
|
|
|
void set_started() { ASSERT(m_state == State::NotStarted); m_state = State::Executing; }
|
|
|
|
State state() const { return m_state; }
|
2023-02-01 01:53:35 +02:00
|
|
|
|
2023-05-28 16:24:41 +03:00
|
|
|
vaddr_t stack_base() const { return m_stack->vaddr(); }
|
|
|
|
size_t stack_size() const { return m_stack->size(); }
|
2023-09-28 21:07:14 +03:00
|
|
|
VirtualRange& stack() { return *m_stack; }
|
2023-10-30 12:17:08 +02:00
|
|
|
VirtualRange& interrupt_stack() { return *m_interrupt_stack; }
|
2023-04-12 00:22:08 +03:00
|
|
|
|
2023-05-28 16:24:41 +03:00
|
|
|
vaddr_t interrupt_stack_base() const { return m_interrupt_stack ? m_interrupt_stack->vaddr() : 0; }
|
|
|
|
size_t interrupt_stack_size() const { return m_interrupt_stack ? m_interrupt_stack->size() : 0; }
|
2023-04-25 14:48:58 +03:00
|
|
|
|
2024-01-03 02:06:49 +02:00
|
|
|
static Thread& current();
|
2023-05-28 16:18:18 +03:00
|
|
|
static pid_t current_tid();
|
|
|
|
|
2023-04-19 00:34:18 +03:00
|
|
|
Process& process();
|
2024-03-26 02:46:51 +02:00
|
|
|
const Process& process() const;
|
2023-04-20 00:45:41 +03:00
|
|
|
bool has_process() const { return m_process; }
|
2023-03-16 12:17:04 +02:00
|
|
|
|
2023-05-28 20:53:10 +03:00
|
|
|
bool is_userspace() const { return m_is_userspace; }
|
|
|
|
|
2023-09-30 21:15:46 +03:00
|
|
|
size_t virtual_page_count() const { return m_stack->size() / PAGE_SIZE; }
|
2023-09-30 22:11:45 +03:00
|
|
|
size_t physical_page_count() const { return virtual_page_count(); }
|
2023-09-30 21:15:46 +03:00
|
|
|
|
2023-09-23 02:28:25 +03:00
|
|
|
#if __enable_sse
|
2024-01-03 02:06:49 +02:00
|
|
|
void save_sse();
|
|
|
|
void load_sse();
|
|
|
|
static Thread* sse_thread();
|
2023-09-23 02:28:25 +03:00
|
|
|
#endif
|
2023-07-31 22:28:57 +03:00
|
|
|
|
2023-02-01 01:53:35 +02:00
|
|
|
private:
|
2023-04-19 00:34:18 +03:00
|
|
|
Thread(pid_t tid, Process*);
|
2023-02-02 23:24:12 +02:00
|
|
|
void on_exit();
|
2024-01-24 14:43:46 +02:00
|
|
|
|
2023-05-16 00:27:49 +03:00
|
|
|
void validate_stack() const;
|
|
|
|
|
|
|
|
private:
|
2023-09-28 12:30:27 +03:00
|
|
|
static constexpr size_t m_kernel_stack_size = PAGE_SIZE * 4;
|
2023-07-19 17:47:12 +03:00
|
|
|
static constexpr size_t m_userspace_stack_size = PAGE_SIZE * 2;
|
|
|
|
static constexpr size_t m_interrupt_stack_size = PAGE_SIZE * 2;
|
|
|
|
BAN::UniqPtr<VirtualRange> m_interrupt_stack;
|
|
|
|
BAN::UniqPtr<VirtualRange> m_stack;
|
2024-03-22 14:48:33 +02:00
|
|
|
uintptr_t m_ip { 0 };
|
|
|
|
uintptr_t m_sp { 0 };
|
2023-07-19 17:47:12 +03:00
|
|
|
const pid_t m_tid { 0 };
|
|
|
|
State m_state { State::NotStarted };
|
|
|
|
Process* m_process { nullptr };
|
|
|
|
bool m_is_userspace { false };
|
2023-05-16 00:27:49 +03:00
|
|
|
|
2024-03-22 14:48:33 +02:00
|
|
|
uintptr_t* m_return_sp { nullptr };
|
|
|
|
uintptr_t* m_return_ip { nullptr };
|
2023-07-23 18:33:10 +03:00
|
|
|
|
2023-07-29 16:54:31 +03:00
|
|
|
uint64_t m_signal_pending_mask { 0 };
|
|
|
|
uint64_t m_signal_block_mask { 0 };
|
2024-03-01 01:31:28 +02:00
|
|
|
SpinLock m_signal_lock;
|
2023-07-21 18:58:17 +03:00
|
|
|
static_assert(_SIGMAX < 64);
|
|
|
|
|
2023-09-23 02:28:25 +03:00
|
|
|
#if __enable_sse
|
2023-08-11 00:26:43 +03:00
|
|
|
alignas(16) uint8_t m_sse_storage[512] {};
|
2023-09-23 02:28:25 +03:00
|
|
|
#endif
|
2023-07-31 22:28:57 +03:00
|
|
|
|
2023-04-09 22:18:12 +03:00
|
|
|
friend class Scheduler;
|
2023-02-01 01:53:35 +02:00
|
|
|
};
|
2023-09-09 22:52:03 +03:00
|
|
|
|
2024-01-24 14:43:46 +02:00
|
|
|
}
|