1*b11a5709SKyle Evans /*
2*b11a5709SKyle Evans * SPDX-License-Identifier: BSD-2-Clause
3*b11a5709SKyle Evans *
4*b11a5709SKyle Evans * Copyright 2023 Baptiste Daroussin <bapt@FreeBSD.org>
5*b11a5709SKyle Evans * Copyright (C) 2025 Kyle Evans <kevans@FreeBSD.org>
6*b11a5709SKyle Evans *
7*b11a5709SKyle Evans * Redistribution and use in source and binary forms, with or without
8*b11a5709SKyle Evans * modification, are permitted providing that the following conditions~
9*b11a5709SKyle Evans * are met:
10*b11a5709SKyle Evans * 1. Redistributions of source code must retain the above copyright
11*b11a5709SKyle Evans * notice, this list of conditions and the following disclaimer.
12*b11a5709SKyle Evans * 2. Redistributions in binary form must reproduce the above copyright
13*b11a5709SKyle Evans * notice, this list of conditions and the following disclaimer in the
14*b11a5709SKyle Evans * documentation and/or other materials provided with the distribution.
15*b11a5709SKyle Evans *
16*b11a5709SKyle Evans * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17*b11a5709SKyle Evans * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18*b11a5709SKyle Evans * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19*b11a5709SKyle Evans * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
20*b11a5709SKyle Evans * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21*b11a5709SKyle Evans * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22*b11a5709SKyle Evans * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23*b11a5709SKyle Evans * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
24*b11a5709SKyle Evans * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
25*b11a5709SKyle Evans * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26*b11a5709SKyle Evans * POSSIBILITY OF SUCH DAMAGE.
27*b11a5709SKyle Evans */
28*b11a5709SKyle Evans
29*b11a5709SKyle Evans #include <sys/wait.h>
30*b11a5709SKyle Evans
31*b11a5709SKyle Evans #include <errno.h>
32*b11a5709SKyle Evans #include <fcntl.h>
33*b11a5709SKyle Evans #include <spawn.h>
34*b11a5709SKyle Evans #include <stdbool.h>
35*b11a5709SKyle Evans #include <string.h>
36*b11a5709SKyle Evans #include <stdio.h>
37*b11a5709SKyle Evans #include <unistd.h>
38*b11a5709SKyle Evans
39*b11a5709SKyle Evans #include <lua.h>
40*b11a5709SKyle Evans #include "lauxlib.h"
41*b11a5709SKyle Evans #include "lfbsd.h"
42*b11a5709SKyle Evans
43*b11a5709SKyle Evans #include "bootstrap.h"
44*b11a5709SKyle Evans
45*b11a5709SKyle Evans #define FBSD_PROCESSHANDLE "fbsd_process_t*"
46*b11a5709SKyle Evans
47*b11a5709SKyle Evans struct fbsd_process {
48*b11a5709SKyle Evans int pid;
49*b11a5709SKyle Evans int stdin_fileno;
50*b11a5709SKyle Evans int stdout_fileno;
51*b11a5709SKyle Evans };
52*b11a5709SKyle Evans
53*b11a5709SKyle Evans extern char **environ;
54*b11a5709SKyle Evans
55*b11a5709SKyle Evans static const char**
luaL_checkarraystrings(lua_State * L,int arg)56*b11a5709SKyle Evans luaL_checkarraystrings(lua_State *L, int arg)
57*b11a5709SKyle Evans {
58*b11a5709SKyle Evans const char **ret;
59*b11a5709SKyle Evans lua_Integer n, i;
60*b11a5709SKyle Evans int t;
61*b11a5709SKyle Evans int abs_arg = lua_absindex(L, arg);
62*b11a5709SKyle Evans luaL_checktype(L, abs_arg, LUA_TTABLE);
63*b11a5709SKyle Evans n = lua_rawlen(L, abs_arg);
64*b11a5709SKyle Evans ret = lua_newuserdata(L, (n+1)*sizeof(char*));
65*b11a5709SKyle Evans for (i=0; i<n; i++) {
66*b11a5709SKyle Evans t = lua_rawgeti(L, abs_arg, i+1);
67*b11a5709SKyle Evans if (t == LUA_TNIL)
68*b11a5709SKyle Evans break;
69*b11a5709SKyle Evans luaL_argcheck(L, t == LUA_TSTRING, arg, "expected array of strings");
70*b11a5709SKyle Evans ret[i] = lua_tostring(L, -1);
71*b11a5709SKyle Evans lua_pop(L, 1);
72*b11a5709SKyle Evans }
73*b11a5709SKyle Evans ret[i] = NULL;
74*b11a5709SKyle Evans return ret;
75*b11a5709SKyle Evans }
76*b11a5709SKyle Evans
77*b11a5709SKyle Evans static void
close_pipes(int pipes[2])78*b11a5709SKyle Evans close_pipes(int pipes[2])
79*b11a5709SKyle Evans {
80*b11a5709SKyle Evans
81*b11a5709SKyle Evans if (pipes[0] != -1)
82*b11a5709SKyle Evans close(pipes[0]);
83*b11a5709SKyle Evans if (pipes[1] != -1)
84*b11a5709SKyle Evans close(pipes[1]);
85*b11a5709SKyle Evans }
86*b11a5709SKyle Evans
87*b11a5709SKyle Evans static int
lua_exec(lua_State * L)88*b11a5709SKyle Evans lua_exec(lua_State *L)
89*b11a5709SKyle Evans {
90*b11a5709SKyle Evans struct fbsd_process *proc;
91*b11a5709SKyle Evans int r;
92*b11a5709SKyle Evans posix_spawn_file_actions_t action;
93*b11a5709SKyle Evans int stdin_pipe[2] = {-1, -1};
94*b11a5709SKyle Evans int stdout_pipe[2] = {-1, -1};
95*b11a5709SKyle Evans pid_t pid;
96*b11a5709SKyle Evans const char **argv;
97*b11a5709SKyle Evans int n = lua_gettop(L);
98*b11a5709SKyle Evans bool capture_stdout;
99*b11a5709SKyle Evans luaL_argcheck(L, n > 0 && n <= 2, n >= 2 ? 2 : n,
100*b11a5709SKyle Evans "fbsd.exec takes exactly one or two arguments");
101*b11a5709SKyle Evans
102*b11a5709SKyle Evans capture_stdout = lua_toboolean(L, 2);
103*b11a5709SKyle Evans if (pipe(stdin_pipe) < 0) {
104*b11a5709SKyle Evans lua_pushnil(L);
105*b11a5709SKyle Evans lua_pushstring(L, strerror(errno));
106*b11a5709SKyle Evans lua_pushinteger(L, errno);
107*b11a5709SKyle Evans return (3);
108*b11a5709SKyle Evans }
109*b11a5709SKyle Evans if (capture_stdout && pipe(stdout_pipe) < 0) {
110*b11a5709SKyle Evans close_pipes(stdin_pipe);
111*b11a5709SKyle Evans lua_pushnil(L);
112*b11a5709SKyle Evans lua_pushstring(L, strerror(errno));
113*b11a5709SKyle Evans lua_pushinteger(L, errno);
114*b11a5709SKyle Evans return (3);
115*b11a5709SKyle Evans }
116*b11a5709SKyle Evans
117*b11a5709SKyle Evans proc = lua_newuserdata(L, sizeof(*proc));
118*b11a5709SKyle Evans proc->stdin_fileno = stdin_pipe[1];
119*b11a5709SKyle Evans proc->stdout_fileno = stdout_pipe[1];
120*b11a5709SKyle Evans posix_spawn_file_actions_init(&action);
121*b11a5709SKyle Evans posix_spawn_file_actions_adddup2(&action, stdin_pipe[0], STDIN_FILENO);
122*b11a5709SKyle Evans posix_spawn_file_actions_addclose(&action, stdin_pipe[1]);
123*b11a5709SKyle Evans if (stdin_pipe[0] != STDIN_FILENO)
124*b11a5709SKyle Evans posix_spawn_file_actions_addclose(&action, stdin_pipe[0]);
125*b11a5709SKyle Evans
126*b11a5709SKyle Evans /*
127*b11a5709SKyle Evans * Setup stdout to be captured if requested. Otherwise, we just let it
128*b11a5709SKyle Evans * go to our own stdout.
129*b11a5709SKyle Evans */
130*b11a5709SKyle Evans if (stdout_pipe[0] != -1) {
131*b11a5709SKyle Evans posix_spawn_file_actions_adddup2(&action, stdout_pipe[0],
132*b11a5709SKyle Evans STDOUT_FILENO);
133*b11a5709SKyle Evans posix_spawn_file_actions_addclose(&action, stdout_pipe[1]);
134*b11a5709SKyle Evans if (stdout_pipe[0] != STDOUT_FILENO) {
135*b11a5709SKyle Evans posix_spawn_file_actions_addclose(&action,
136*b11a5709SKyle Evans stdout_pipe[0]);
137*b11a5709SKyle Evans }
138*b11a5709SKyle Evans }
139*b11a5709SKyle Evans
140*b11a5709SKyle Evans argv = luaL_checkarraystrings(L, 1);
141*b11a5709SKyle Evans if (0 != (r = posix_spawnp(&pid, argv[0], &action, NULL,
142*b11a5709SKyle Evans (char*const*)argv, environ))) {
143*b11a5709SKyle Evans close_pipes(stdin_pipe);
144*b11a5709SKyle Evans close_pipes(stdout_pipe);
145*b11a5709SKyle Evans posix_spawn_file_actions_destroy(&action);
146*b11a5709SKyle Evans lua_pop(L, 2); /* Pop off the process handle and args. */
147*b11a5709SKyle Evans
148*b11a5709SKyle Evans lua_pushnil(L);
149*b11a5709SKyle Evans lua_pushstring(L, strerror(r));
150*b11a5709SKyle Evans lua_pushinteger(L, r);
151*b11a5709SKyle Evans return (3);
152*b11a5709SKyle Evans }
153*b11a5709SKyle Evans
154*b11a5709SKyle Evans lua_pop(L, 1);
155*b11a5709SKyle Evans
156*b11a5709SKyle Evans close(stdin_pipe[0]);
157*b11a5709SKyle Evans if (stdout_pipe[0] != -1)
158*b11a5709SKyle Evans close(stdout_pipe[0]);
159*b11a5709SKyle Evans posix_spawn_file_actions_destroy(&action);
160*b11a5709SKyle Evans
161*b11a5709SKyle Evans proc->pid = pid;
162*b11a5709SKyle Evans luaL_setmetatable(L, FBSD_PROCESSHANDLE);
163*b11a5709SKyle Evans
164*b11a5709SKyle Evans return (1);
165*b11a5709SKyle Evans }
166*b11a5709SKyle Evans
167*b11a5709SKyle Evans static int
lua_process_close(lua_State * L)168*b11a5709SKyle Evans lua_process_close(lua_State *L)
169*b11a5709SKyle Evans {
170*b11a5709SKyle Evans struct fbsd_process *proc;
171*b11a5709SKyle Evans int pstat, r;
172*b11a5709SKyle Evans
173*b11a5709SKyle Evans proc = luaL_checkudata(L, 1, FBSD_PROCESSHANDLE);
174*b11a5709SKyle Evans while (waitpid(proc->pid, &pstat, 0) == -1) {
175*b11a5709SKyle Evans if ((r = errno) != EINTR) {
176*b11a5709SKyle Evans lua_pushnil(L);
177*b11a5709SKyle Evans lua_pushstring(L, strerror(r));
178*b11a5709SKyle Evans lua_pushinteger(L, r);
179*b11a5709SKyle Evans return (3);
180*b11a5709SKyle Evans }
181*b11a5709SKyle Evans }
182*b11a5709SKyle Evans
183*b11a5709SKyle Evans if (!WIFEXITED(pstat) || WEXITSTATUS(pstat) != 0) {
184*b11a5709SKyle Evans lua_pushnil(L);
185*b11a5709SKyle Evans lua_pushstring(L, "Abnormal termination");
186*b11a5709SKyle Evans return (2);
187*b11a5709SKyle Evans }
188*b11a5709SKyle Evans
189*b11a5709SKyle Evans if (proc->stdin_fileno >= 0) {
190*b11a5709SKyle Evans close(proc->stdin_fileno);
191*b11a5709SKyle Evans proc->stdin_fileno = -1;
192*b11a5709SKyle Evans }
193*b11a5709SKyle Evans
194*b11a5709SKyle Evans if (proc->stdout_fileno >= 0) {
195*b11a5709SKyle Evans close(proc->stdout_fileno);
196*b11a5709SKyle Evans proc->stdout_fileno = -1;
197*b11a5709SKyle Evans }
198*b11a5709SKyle Evans
199*b11a5709SKyle Evans lua_pushboolean(L, 1);
200*b11a5709SKyle Evans return (1);
201*b11a5709SKyle Evans }
202*b11a5709SKyle Evans
203*b11a5709SKyle Evans static int
lua_process_makestdio(lua_State * L,int fd,const char * mode)204*b11a5709SKyle Evans lua_process_makestdio(lua_State *L, int fd, const char *mode)
205*b11a5709SKyle Evans {
206*b11a5709SKyle Evans luaL_Stream *p;
207*b11a5709SKyle Evans FILE *fp;
208*b11a5709SKyle Evans int r;
209*b11a5709SKyle Evans
210*b11a5709SKyle Evans if (fd == -1) {
211*b11a5709SKyle Evans lua_pushnil(L);
212*b11a5709SKyle Evans lua_pushstring(L, "Stream not captured");
213*b11a5709SKyle Evans return (2);
214*b11a5709SKyle Evans }
215*b11a5709SKyle Evans
216*b11a5709SKyle Evans fp = fdopen(fd, mode);
217*b11a5709SKyle Evans if (fp == NULL) {
218*b11a5709SKyle Evans r = errno;
219*b11a5709SKyle Evans
220*b11a5709SKyle Evans lua_pushnil(L);
221*b11a5709SKyle Evans lua_pushstring(L, strerror(r));
222*b11a5709SKyle Evans lua_pushinteger(L, r);
223*b11a5709SKyle Evans return (3);
224*b11a5709SKyle Evans }
225*b11a5709SKyle Evans
226*b11a5709SKyle Evans p = lua_newuserdata(L, sizeof(*p));
227*b11a5709SKyle Evans p->closef = &lua_process_close;
228*b11a5709SKyle Evans p->f = fp;
229*b11a5709SKyle Evans luaL_setmetatable(L, LUA_FILEHANDLE);
230*b11a5709SKyle Evans return (1);
231*b11a5709SKyle Evans }
232*b11a5709SKyle Evans
233*b11a5709SKyle Evans static int
lua_process_stdin(lua_State * L)234*b11a5709SKyle Evans lua_process_stdin(lua_State *L)
235*b11a5709SKyle Evans {
236*b11a5709SKyle Evans struct fbsd_process *proc;
237*b11a5709SKyle Evans
238*b11a5709SKyle Evans proc = luaL_checkudata(L, 1, FBSD_PROCESSHANDLE);
239*b11a5709SKyle Evans return (lua_process_makestdio(L, proc->stdin_fileno, "w"));
240*b11a5709SKyle Evans }
241*b11a5709SKyle Evans
242*b11a5709SKyle Evans static int
lua_process_stdout(lua_State * L)243*b11a5709SKyle Evans lua_process_stdout(lua_State *L)
244*b11a5709SKyle Evans {
245*b11a5709SKyle Evans struct fbsd_process *proc;
246*b11a5709SKyle Evans
247*b11a5709SKyle Evans proc = luaL_checkudata(L, 1, FBSD_PROCESSHANDLE);
248*b11a5709SKyle Evans return (lua_process_makestdio(L, proc->stdout_fileno, "r"));
249*b11a5709SKyle Evans }
250*b11a5709SKyle Evans
251*b11a5709SKyle Evans #define PROCESS_SIMPLE(n) { #n, lua_process_ ## n }
252*b11a5709SKyle Evans static const struct luaL_Reg fbsd_process[] = {
253*b11a5709SKyle Evans PROCESS_SIMPLE(close),
254*b11a5709SKyle Evans PROCESS_SIMPLE(stdin),
255*b11a5709SKyle Evans PROCESS_SIMPLE(stdout),
256*b11a5709SKyle Evans { NULL, NULL },
257*b11a5709SKyle Evans };
258*b11a5709SKyle Evans
259*b11a5709SKyle Evans static const struct luaL_Reg fbsd_process_meta[] = {
260*b11a5709SKyle Evans { "__index", NULL },
261*b11a5709SKyle Evans { "__gc", lua_process_close },
262*b11a5709SKyle Evans { "__close", lua_process_close },
263*b11a5709SKyle Evans { NULL, NULL },
264*b11a5709SKyle Evans };
265*b11a5709SKyle Evans
266*b11a5709SKyle Evans #define REG_SIMPLE(n) { #n, lua_ ## n }
267*b11a5709SKyle Evans static const struct luaL_Reg fbsd_lib[] = {
268*b11a5709SKyle Evans REG_SIMPLE(exec),
269*b11a5709SKyle Evans { NULL, NULL },
270*b11a5709SKyle Evans };
271*b11a5709SKyle Evans #undef REG_SIMPLE
272*b11a5709SKyle Evans
273*b11a5709SKyle Evans int
luaopen_fbsd(lua_State * L)274*b11a5709SKyle Evans luaopen_fbsd(lua_State *L)
275*b11a5709SKyle Evans {
276*b11a5709SKyle Evans luaL_newlib(L, fbsd_lib);
277*b11a5709SKyle Evans
278*b11a5709SKyle Evans luaL_newmetatable(L, FBSD_PROCESSHANDLE);
279*b11a5709SKyle Evans luaL_setfuncs(L, fbsd_process_meta, 0);
280*b11a5709SKyle Evans
281*b11a5709SKyle Evans luaL_newlibtable(L, fbsd_process);
282*b11a5709SKyle Evans luaL_setfuncs(L, fbsd_process, 0);
283*b11a5709SKyle Evans lua_setfield(L, -2, "__index");
284*b11a5709SKyle Evans lua_pop(L, 1);
285*b11a5709SKyle Evans
286*b11a5709SKyle Evans return (1);
287*b11a5709SKyle Evans }
288*b11a5709SKyle Evans
289*b11a5709SKyle Evans FLUA_MODULE(fbsd);
290