dius 0.1.0
Loading...
Searching...
No Matches
process.h
Go to the documentation of this file.
1#pragma once
2
3#include "di/assert/prelude.h"
4#include "di/container/path/path.h"
5#include "di/container/string/prelude.h"
6#include "di/container/tree/tree_map.h"
7#include "di/container/vector/prelude.h"
8#include "di/util/prelude.h"
9#include "dius/error.h"
10#include "dius/platform_process.h"
11#include "dius/sync_file.h"
12#include "dius/tty.h"
13
14namespace dius::system {
16public:
17 explicit ProcessResult(int exit_code_or_signal, bool signaled)
18 : m_exit_code_or_signal(exit_code_or_signal), m_signaled(signaled) {}
19
20 auto signaled() const -> bool { return m_signaled; }
21 auto exited() const -> bool { return !m_signaled; }
22
23 auto exit_code() const -> int {
24 ASSERT(exited());
25 return m_exit_code_or_signal;
26 }
27
28 auto signal() const -> int {
29 ASSERT(signaled());
30 return m_exit_code_or_signal;
31 }
32
33private:
34 int m_exit_code_or_signal { 0 };
35 bool m_signaled { false };
36};
37
39public:
40 static auto self() -> ProcessHandle;
41
42 ProcessHandle() = default;
43 constexpr explicit ProcessHandle(ProcessId id) : m_id(id) {}
44
45 constexpr auto id() const -> ProcessId { return m_id; }
46
47 auto wait() -> di::Result<ProcessResult>;
48
49 auto signal(Signal signal) -> di::Result<>;
50
51private:
52 ProcessId m_id { -1 };
53};
54
55class Process {
56 struct FileAction {
57 enum class Type {
58 Open,
59 Dup,
60 Close,
61 };
62
63 Type type { Type::Dup };
64 i32 arg0 = 0;
65 i32 arg1 = 0;
66 i32 arg2 = 0;
67 di::Path path;
68 };
69
70public:
71 explicit Process(di::Vector<di::TransparentString> arguments) : m_arguments(di::move(arguments)) {}
72
73 auto with_file_open(i32 fd, di::Path path, OpenMode open_mode, u16 create_mode = 0666) && -> Process {
74 m_file_actions.push_back(
75 { FileAction::Type::Open, fd, static_cast<i32>(open_mode), i32(create_mode), di::move(path) });
76 return di::move(*this);
77 }
78
79 auto with_file_close(i32 fd) && -> Process {
80 m_file_actions.push_back({ FileAction::Type::Close, fd, 0, 0, {} });
81 return di::move(*this);
82 }
83
84 auto with_file_dup(i32 old_fd, i32 new_fd) && -> Process {
85 m_file_actions.push_back({ FileAction::Type::Dup, old_fd, new_fd, 0, {} });
86 return di::move(*this);
87 }
88
89 auto with_tty_window_size(int fd, tty::WindowSize const& size) && -> Process {
90 m_tty_window_size = { fd, size };
91 return di::move(*this).use_fork();
92 }
93
94 auto with_controlling_tty(int fd) && -> Process {
95 m_controlling_tty = fd;
96 return di::move(*this).use_fork();
97 }
98
100 m_new_session = true;
101 return di::move(*this);
102 }
103
104 auto with_env(di::TransparentString key, di::TransparentString value) && -> Process {
105 m_extra_env_vars.insert_or_assign(di::move(key), di::move(value));
106 return di::move(*this);
107 }
108
109 auto use_fork(bool b = true) && -> Process {
110 m_use_fork = b;
111 return di::move(*this);
112 }
113
114 auto spawn() && -> di::Result<ProcessHandle>;
115
116 auto spawn_and_wait() && -> di::Result<ProcessResult> {
117 auto handle = TRY(di::move(*this).spawn());
118 return handle.wait();
119 }
120
121private:
122 auto spawn_with_fork() && -> di::Result<ProcessHandle>;
123 auto spawn_with_posix_spawn() && -> di::Result<ProcessHandle>;
124
125 di::Vector<di::TransparentString> m_arguments;
126 di::Vector<FileAction> m_file_actions;
127 di::TreeMap<di::TransparentString, di::TransparentString> m_extra_env_vars;
128 di::Optional<di::Tuple<i32, tty::WindowSize>> m_tty_window_size;
129 di::Optional<i32> m_controlling_tty;
130 bool m_new_session { false };
131 bool m_use_fork { false };
132};
133
135auto mask_signal(Signal signal) -> di::Result<void>;
136auto wait_for_signal(Signal signal) -> di::Result<Signal>;
137
141[[noreturn]] void exit_thread();
142
143[[noreturn]] void exit_process(int status_code);
144}
auto wait() -> di::Result< ProcessResult >
constexpr ProcessHandle(ProcessId id)
Definition process.h:43
static auto self() -> ProcessHandle
auto signal(Signal signal) -> di::Result<>
constexpr auto id() const -> ProcessId
Definition process.h:45
auto signaled() const -> bool
Definition process.h:20
ProcessResult(int exit_code_or_signal, bool signaled)
Definition process.h:17
auto exited() const -> bool
Definition process.h:21
auto exit_code() const -> int
Definition process.h:23
auto signal() const -> int
Definition process.h:28
auto with_file_dup(i32 old_fd, i32 new_fd) &&-> Process
Definition process.h:84
auto use_fork(bool b=true) &&-> Process
Definition process.h:109
auto with_env(di::TransparentString key, di::TransparentString value) &&-> Process
Definition process.h:104
auto with_file_close(i32 fd) &&-> Process
Definition process.h:79
auto spawn() &&-> di::Result< ProcessHandle >
auto with_controlling_tty(int fd) &&-> Process
Definition process.h:94
auto with_file_open(i32 fd, di::Path path, OpenMode open_mode, u16 create_mode=0666) &&-> Process
Definition process.h:73
auto spawn_and_wait() &&-> di::Result< ProcessResult >
Definition process.h:116
auto with_tty_window_size(int fd, tty::WindowSize const &size) &&-> Process
Definition process.h:89
auto with_new_session() &&-> Process
Definition process.h:99
Process(di::Vector< di::TransparentString > arguments)
Definition process.h:71
Definition error.h:7
Definition process.h:14
void exit_process(int status_code)
void install_dummy_signal_handler(Signal signal)
auto mask_signal(Signal signal) -> di::Result< void >
auto wait_for_signal(Signal signal) -> di::Result< Signal >
void exit_thread()
Exit the currently executing thread.
pid_t ProcessId
Definition platform_process.h:7
OpenMode
Definition sync_file.h:109
Signal
Definition platform_process.h:9
Definition tty.h:7