source: project/chicken/trunk/posixunix.scm @ 16117

Last change on this file since 16117 was 16117, checked in by Kon Lovett, 10 years ago

Fix for file position wider than a fixnum.

File size: 91.9 KB
Line 
1;;;; posixunix.scm - Miscellaneous file- and process-handling routines
2;
3; Copyright (c) 2000-2007, Felix L. Winkelmann
4; Copyright (c) 2008-2009, The Chicken Team
5; All rights reserved.
6;
7; Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following
8; conditions are met:
9;
10;   Redistributions of source code must retain the above copyright notice, this list of conditions and the following
11;     disclaimer.
12;   Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following
13;     disclaimer in the documentation and/or other materials provided with the distribution.
14;   Neither the name of the author nor the names of its contributors may be used to endorse or promote
15;     products derived from this software without specific prior written permission.
16;
17; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS
18; OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
19; AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
20; CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21; CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22; SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23; THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
24; OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25; POSSIBILITY OF SUCH DAMAGE.
26
27
28(declare
29  (unit posix)
30  (uses scheduler regex extras utils files ports)
31  (disable-interrupts)
32  (usual-integrations)
33  (hide ##sys#stat group-member _get-groups _ensure-groups posix-error
34        ##sys#terminal-check
35        check-time-vector)
36  (not inline ##sys#interrupt-hook ##sys#user-interrupt-hook)
37  (foreign-declare #<<EOF
38#include <signal.h>
39#include <errno.h>
40#include <math.h>
41
42static int C_not_implemented(void);
43int C_not_implemented() { return -1; }
44
45static C_TLS int C_wait_status;
46
47#include <unistd.h>
48#include <sys/types.h>
49#include <sys/time.h>
50#include <sys/wait.h>
51#include <sys/utsname.h>
52#include <sys/stat.h>
53#include <sys/ioctl.h>
54#include <fcntl.h>
55#include <dirent.h>
56#include <pwd.h>
57
58#if defined(__sun__) && defined(__svr4__)
59# include <sys/tty.h>
60#endif
61
62#ifdef HAVE_GRP_H
63#include <grp.h>
64#endif
65
66#include <sys/mman.h>
67#include <time.h>
68
69#ifndef O_FSYNC
70# define O_FSYNC O_SYNC
71#endif
72
73#ifndef PIPE_BUF
74# ifdef __CYGWIN__
75#  define PIPE_BUF       _POSIX_PIPE_BUF
76# else
77#  define PIPE_BUF 1024
78# endif
79#endif
80
81#ifndef O_BINARY
82# define O_BINARY        0
83#endif
84#ifndef O_TEXT
85# define O_TEXT          0
86#endif
87
88#ifndef ARG_MAX
89# define ARG_MAX 256
90#endif
91
92#ifndef MAP_FILE
93# define MAP_FILE    0
94#endif
95
96#ifndef MAP_ANON
97# define MAP_ANON    0
98#endif
99
100#if defined(HAVE_CRT_EXTERNS_H)
101# include <crt_externs.h>
102# define C_getenventry(i)       ((*_NSGetEnviron())[ i ])
103#elif defined(C_MACOSX)
104# define C_getenventry(i)       NULL
105#else
106extern char **environ;
107# define C_getenventry(i)       (environ[ i ])
108#endif
109
110#ifndef ENV_MAX
111# define ENV_MAX        1024
112#endif
113
114#ifndef FILENAME_MAX
115# define FILENAME_MAX          1024
116#endif
117
118static C_TLS char *C_exec_args[ ARG_MAX ];
119static C_TLS char *C_exec_env[ ENV_MAX ];
120static C_TLS struct utsname C_utsname;
121static C_TLS struct flock C_flock;
122static C_TLS DIR *temphandle;
123static C_TLS struct passwd *C_user;
124#ifdef HAVE_GRP_H
125static C_TLS struct group *C_group;
126#else
127static C_TLS struct {
128  char *gr_name, gr_passwd;
129  int gr_gid;
130  char *gr_mem[ 1 ];
131} C_group = { "", "", 0, { "" } };
132#endif
133static C_TLS int C_pipefds[ 2 ];
134static C_TLS time_t C_secs;
135static C_TLS struct tm C_tm;
136static C_TLS fd_set C_fd_sets[ 2 ];
137static C_TLS struct timeval C_timeval;
138static C_TLS char C_hostbuf[ 256 ];
139static C_TLS struct stat C_statbuf;
140
141#define C_mkdir(str)        C_fix(mkdir(C_c_string(str), S_IRWXU | S_IRWXG | S_IRWXO))
142#define C_chdir(str)        C_fix(chdir(C_c_string(str)))
143#define C_rmdir(str)        C_fix(rmdir(C_c_string(str)))
144
145#define C_opendir(x,h)      C_set_block_item(h, 0, (C_word) opendir(C_c_string(x)))
146#define C_closedir(h)       (closedir((DIR *)C_block_item(h, 0)), C_SCHEME_UNDEFINED)
147#define C_readdir(h,e)      C_set_block_item(e, 0, (C_word) readdir((DIR *)C_block_item(h, 0)))
148#define C_foundfile(e,b)    (strcpy(C_c_string(b), ((struct dirent *) C_block_item(e, 0))->d_name), C_fix(strlen(((struct dirent *) C_block_item(e, 0))->d_name)))
149
150#define C_curdir(buf)       (getcwd(C_c_string(buf), 256) ? C_fix(strlen(C_c_string(buf))) : C_SCHEME_FALSE)
151
152#define open_binary_input_pipe(a, n, name)   C_mpointer(a, popen(C_c_string(name), "r"))
153#define open_text_input_pipe(a, n, name)     open_binary_input_pipe(a, n, name)
154#define open_binary_output_pipe(a, n, name)  C_mpointer(a, popen(C_c_string(name), "w"))
155#define open_text_output_pipe(a, n, name)    open_binary_output_pipe(a, n, name)
156#define close_pipe(p)                        C_fix(pclose(C_port_file(p)))
157
158#define C_set_file_ptr(port, ptr)  (C_set_block_item(port, 0, (C_block_item(ptr, 0))), C_SCHEME_UNDEFINED)
159
160#define C_fork              fork
161#define C_waitpid(id, o)    C_fix(waitpid(C_unfix(id), &C_wait_status, C_unfix(o)))
162#define C_getpid            getpid
163#define C_getppid           getppid
164#define C_kill(id, s)       C_fix(kill(C_unfix(id), C_unfix(s)))
165#define C_getuid            getuid
166#define C_getgid            getgid
167#define C_geteuid           geteuid
168#define C_getegid           getegid
169#define C_chown(fn, u, g)   C_fix(chown(C_data_pointer(fn), C_unfix(u), C_unfix(g)))
170#define C_chmod(fn, m)      C_fix(chmod(C_data_pointer(fn), C_unfix(m)))
171#define C_setuid(id)        C_fix(setuid(C_unfix(id)))
172#define C_setgid(id)        C_fix(setgid(C_unfix(id)))
173#define C_seteuid(id)       C_fix(seteuid(C_unfix(id)))
174#define C_setegid(id)       C_fix(setegid(C_unfix(id)))
175#define C_setsid(dummy)     C_fix(setsid())
176#define C_setpgid(x, y)     C_fix(setpgid(C_unfix(x), C_unfix(y)))
177#define C_getpgid(x)        C_fix(getpgid(C_unfix(x)))
178#define C_symlink(o, n)     C_fix(symlink(C_data_pointer(o), C_data_pointer(n)))
179#define C_readlink(f, b)    C_fix(readlink(C_data_pointer(f), C_data_pointer(b), FILENAME_MAX))
180#define C_getpwnam(n)       C_mk_bool((C_user = getpwnam((char *)C_data_pointer(n))) != NULL)
181#define C_getpwuid(u)       C_mk_bool((C_user = getpwuid(C_unfix(u))) != NULL)
182#ifdef HAVE_GRP_H
183#define C_getgrnam(n)       C_mk_bool((C_group = getgrnam((char *)C_data_pointer(n))) != NULL)
184#define C_getgrgid(u)       C_mk_bool((C_group = getgrgid(C_unfix(u))) != NULL)
185#else
186#define C_getgrnam(n)       C_SCHEME_FALSE
187#define C_getgrgid(n)       C_SCHEME_FALSE
188#endif
189#define C_pipe(d)           C_fix(pipe(C_pipefds))
190#define C_truncate(f, n)    C_fix(truncate((char *)C_data_pointer(f), C_num_to_int(n)))
191#define C_ftruncate(f, n)   C_fix(ftruncate(C_unfix(f), C_num_to_int(n)))
192#define C_uname             C_fix(uname(&C_utsname))
193#define C_fdopen(a, n, fd, m) C_mpointer(a, fdopen(C_unfix(fd), C_c_string(m)))
194#define C_C_fileno(p)       C_fix(fileno(C_port_file(p)))
195#define C_dup(x)            C_fix(dup(C_unfix(x)))
196#define C_dup2(x, y)        C_fix(dup2(C_unfix(x), C_unfix(y)))
197#define C_alarm             alarm
198#define C_setvbuf(p, m, s)  C_fix(setvbuf(C_port_file(p), NULL, C_unfix(m), C_unfix(s)))
199#define C_access(fn, m)     C_fix(access((char *)C_data_pointer(fn), C_unfix(m)))
200#define C_close(fd)         C_fix(close(C_unfix(fd)))
201#define C_sleep             sleep
202
203#define C_stat(fn)          C_fix(stat((char *)C_data_pointer(fn), &C_statbuf))
204#define C_lstat(fn)         C_fix(lstat((char *)C_data_pointer(fn), &C_statbuf))
205#define C_fstat(f)          C_fix(fstat(C_unfix(f), &C_statbuf))
206
207#define C_islink            ((C_statbuf.st_mode & S_IFMT) == S_IFLNK)
208#define C_isreg             ((C_statbuf.st_mode & S_IFMT) == S_IFREG)
209#define C_isdir             ((C_statbuf.st_mode & S_IFMT) == S_IFDIR)
210#define C_ischr             ((C_statbuf.st_mode & S_IFMT) == S_IFCHR)
211#define C_isblk             ((C_statbuf.st_mode & S_IFMT) == S_IFBLK)
212#define C_isfifo            ((C_statbuf.st_mode & S_IFMT) == S_IFIFO)
213#ifdef S_IFSOCK
214#define C_issock            ((C_statbuf.st_mode & S_IFMT) == S_IFSOCK)
215#else
216#define C_issock            ((C_statbuf.st_mode & S_IFMT) == 0140000)
217#endif
218
219#ifdef C_GNU_ENV
220# define C_unsetenv(s)      (unsetenv((char *)C_data_pointer(s)), C_SCHEME_TRUE)
221# define C_setenv(x, y)     C_fix(setenv((char *)C_data_pointer(x), (char *)C_data_pointer(y), 1))
222#else
223# define C_unsetenv(s)      C_fix(putenv((char *)C_data_pointer(s)))
224static C_word C_fcall C_setenv(C_word x, C_word y) {
225  char *sx = C_data_pointer(x),
226       *sy = C_data_pointer(y);
227  int n1 = C_strlen(sx), n2 = C_strlen(sy);
228  char *buf = (char *)C_malloc(n1 + n2 + 2);
229  if(buf == NULL) return(C_fix(0));
230  else {
231    C_strcpy(buf, sx);
232    buf[ n1 ] = '=';
233    C_strcpy(buf + n1 + 1, sy);
234    return(C_fix(putenv(buf)));
235  }
236}
237#endif
238
239static void C_fcall C_set_arg_string(char **where, int i, char *a, int len) {
240  char *ptr;
241  if(a != NULL) {
242    ptr = (char *)C_malloc(len + 1);
243    C_memcpy(ptr, a, len);
244    ptr[ len ] = '\0';
245  }
246  else ptr = NULL;
247  where[ i ] = ptr;
248}
249
250static void C_fcall C_free_arg_string(char **where) {
251  while((*where) != NULL) C_free(*(where++));
252}
253
254static void C_set_timeval(C_word num, struct timeval *tm)
255{
256  if((num & C_FIXNUM_BIT) != 0) {
257    tm->tv_sec = C_unfix(num);
258    tm->tv_usec = 0;
259  }
260  else {
261    double i;
262    tm->tv_usec = (int)(modf(C_flonum_magnitude(num), &i) * 1000000);
263    tm->tv_sec = (int)i;
264  }
265}
266
267#define C_set_exec_arg(i, a, len)       C_set_arg_string(C_exec_args, i, a, len)
268#define C_free_exec_args()              C_free_arg_string(C_exec_args)
269#define C_set_exec_env(i, a, len)       C_set_arg_string(C_exec_env, i, a, len)
270#define C_free_exec_env()               C_free_arg_string(C_exec_env)
271
272#define C_execvp(f)         C_fix(execvp(C_data_pointer(f), C_exec_args))
273#define C_execve(f)         C_fix(execve(C_data_pointer(f), C_exec_args, C_exec_env))
274
275#if defined(__FreeBSD__) || defined(C_MACOSX) || defined(__NetBSD__) || defined(__OpenBSD__) || defined(__sgi__) || defined(sgi) || defined(__DragonFly__) || defined(__SUNPRO_C)
276static C_TLS int C_uw;
277# define C_WIFEXITED(n)      (C_uw = C_unfix(n), C_mk_bool(WIFEXITED(C_uw)))
278# define C_WIFSIGNALED(n)    (C_uw = C_unfix(n), C_mk_bool(WIFSIGNALED(C_uw)))
279# define C_WIFSTOPPED(n)     (C_uw = C_unfix(n), C_mk_bool(WIFSTOPPED(C_uw)))
280# define C_WEXITSTATUS(n)    (C_uw = C_unfix(n), C_fix(WEXITSTATUS(C_uw)))
281# define C_WTERMSIG(n)       (C_uw = C_unfix(n), C_fix(WTERMSIG(C_uw)))
282# define C_WSTOPSIG(n)       (C_uw = C_unfix(n), C_fix(WSTOPSIG(C_uw)))
283#else
284# define C_WIFEXITED(n)      C_mk_bool(WIFEXITED(C_unfix(n)))
285# define C_WIFSIGNALED(n)    C_mk_bool(WIFSIGNALED(C_unfix(n)))
286# define C_WIFSTOPPED(n)     C_mk_bool(WIFSTOPPED(C_unfix(n)))
287# define C_WEXITSTATUS(n)    C_fix(WEXITSTATUS(C_unfix(n)))
288# define C_WTERMSIG(n)       C_fix(WTERMSIG(C_unfix(n)))
289# define C_WSTOPSIG(n)       C_fix(WSTOPSIG(C_unfix(n)))
290#endif
291
292#ifdef __CYGWIN__
293# define C_mkfifo(fn, m)    C_fix(-1);
294#else
295# define C_mkfifo(fn, m)    C_fix(mkfifo((char *)C_data_pointer(fn), C_unfix(m)))
296#endif
297
298#define C_flock_setup(t, s, n) (C_flock.l_type = C_unfix(t), C_flock.l_start = C_num_to_int(s), C_flock.l_whence = SEEK_SET, C_flock.l_len = C_num_to_int(n), C_SCHEME_UNDEFINED)
299#define C_flock_test(p)     (fcntl(fileno(C_port_file(p)), F_GETLK, &C_flock) >= 0 ? (C_flock.l_type == F_UNLCK ? C_fix(0) : C_fix(C_flock.l_pid)) : C_SCHEME_FALSE)
300#define C_flock_lock(p)     C_fix(fcntl(fileno(C_port_file(p)), F_SETLK, &C_flock))
301#define C_flock_lockw(p)    C_fix(fcntl(fileno(C_port_file(p)), F_SETLKW, &C_flock))
302
303static C_TLS sigset_t C_sigset;
304#define C_sigemptyset(d)    (sigemptyset(&C_sigset), C_SCHEME_UNDEFINED)
305#define C_sigaddset(s)      (sigaddset(&C_sigset, C_unfix(s)), C_SCHEME_UNDEFINED)
306#define C_sigdelset(s)      (sigdelset(&C_sigset, C_unfix(s)), C_SCHEME_UNDEFINED)
307#define C_sigismember(s)    C_mk_bool(sigismember(&C_sigset, C_unfix(s)))
308#define C_sigprocmask_set(d)        C_fix(sigprocmask(SIG_SETMASK, &C_sigset, NULL))
309#define C_sigprocmask_block(d)      C_fix(sigprocmask(SIG_BLOCK, &C_sigset, NULL))
310#define C_sigprocmask_unblock(d)    C_fix(sigprocmask(SIG_UNBLOCK, &C_sigset, NULL))
311
312#define C_open(fn, fl, m)   C_fix(open(C_c_string(fn), C_unfix(fl), C_unfix(m)))
313#define C_read(fd, b, n)    C_fix(read(C_unfix(fd), C_data_pointer(b), C_unfix(n)))
314#define C_write(fd, b, n)   C_fix(write(C_unfix(fd), C_data_pointer(b), C_unfix(n)))
315#define C_mkstemp(t)        C_fix(mkstemp(C_c_string(t)))
316
317/* It is assumed that 'int' is-a 'long' */
318#define C_ftell(p)          (C_temporary_flonum = ftell(C_port_file(p)), C_SCHEME_UNDEFINED)
319#define C_fseek(p, n, w)    C_mk_nbool(fseek(C_port_file(p), C_num_to_int(n), C_unfix(w)))
320#define C_ftello(p)         (C_temporary_flonum = ftello(C_port_file(p)), C_SCHEME_UNDEFINED)
321#define C_fseeko(p, n, w)   C_mk_nbool(fseeko(C_port_file(p), C_num_to_int64(n), C_unfix(w)))
322#ifdef _POSIX_V6_ILP32_OFF32
323# define C_ftellX(p)        C_ftell(p)
324# define C_fseekX(p, n, w)  C_fseek(p, n, w)
325# define C_lseekX(fd, o, w) (C_temporary_flonum = lseek(C_unfix(fd), C_num_to_int(o), C_unfix(w)), C_SCHEME_UNDEFINED)
326#else
327# define C_ftellX(p)        C_ftello(p)
328# define C_fseekX(p, n, w)  C_fseeko(p, n, w)
329# define C_lseekX(fd, o, w) (C_temporary_flonum = lseek(C_unfix(fd), C_num_to_int64(o), C_unfix(w)), C_SCHEME_UNDEFINED)
330#endif
331
332#define C_zero_fd_set(i)      FD_ZERO(&C_fd_sets[ i ])
333#define C_set_fd_set(i, fd)   FD_SET(fd, &C_fd_sets[ i ])
334#define C_test_fd_set(i, fd)  FD_ISSET(fd, &C_fd_sets[ i ])
335#define C_C_select(m)         C_fix(select(C_unfix(m), &C_fd_sets[ 0 ], &C_fd_sets[ 1 ], NULL, NULL))
336#define C_C_select_t(m, t)    (C_set_timeval(t, &C_timeval), \
337                               C_fix(select(C_unfix(m), &C_fd_sets[ 0 ], &C_fd_sets[ 1 ], NULL, &C_timeval)))
338
339#define C_ctime(n)          (C_secs = (n), ctime(&C_secs))
340
341#if defined(__SVR4)
342/* Seen here: http://lists.samba.org/archive/samba-technical/2002-November/025571.html */
343
344static time_t timegm(struct tm *t)
345{
346  time_t tl, tb;
347  struct tm *tg;
348
349  tl = mktime (t);
350  if (tl == -1)
351    {
352      t->tm_hour--;
353      tl = mktime (t);
354      if (tl == -1)
355        return -1; /* can't deal with output from strptime */
356      tl += 3600;
357    }
358  tg = gmtime (&tl);
359  tg->tm_isdst = 0;
360  tb = mktime (tg);
361  if (tb == -1)
362    {
363      tg->tm_hour--;
364      tb = mktime (tg);
365      if (tb == -1)
366        return -1; /* can't deal with output from gmtime */
367      tb += 3600;
368    }
369  return (tl - (tb - tl));
370}
371#endif
372
373#define cpy_tmvec_to_tmstc08(ptm, v) \
374    (memset((ptm), 0, sizeof(struct tm)), \
375    (ptm)->tm_sec = C_unfix(C_block_item((v), 0)), \
376    (ptm)->tm_min = C_unfix(C_block_item((v), 1)), \
377    (ptm)->tm_hour = C_unfix(C_block_item((v), 2)), \
378    (ptm)->tm_mday = C_unfix(C_block_item((v), 3)), \
379    (ptm)->tm_mon = C_unfix(C_block_item((v), 4)), \
380    (ptm)->tm_year = C_unfix(C_block_item((v), 5)), \
381    (ptm)->tm_wday = C_unfix(C_block_item((v), 6)), \
382    (ptm)->tm_yday = C_unfix(C_block_item((v), 7)), \
383    (ptm)->tm_isdst = (C_block_item((v), 8) != C_SCHEME_FALSE))
384
385#define cpy_tmvec_to_tmstc9(ptm, v) \
386    (((struct tm *)ptm)->tm_gmtoff = C_unfix(C_block_item((v), 9)))
387
388#define cpy_tmstc08_to_tmvec(v, ptm) \
389    (C_set_block_item((v), 0, C_fix(((struct tm *)ptm)->tm_sec)), \
390    C_set_block_item((v), 1, C_fix((ptm)->tm_min)), \
391    C_set_block_item((v), 2, C_fix((ptm)->tm_hour)), \
392    C_set_block_item((v), 3, C_fix((ptm)->tm_mday)), \
393    C_set_block_item((v), 4, C_fix((ptm)->tm_mon)), \
394    C_set_block_item((v), 5, C_fix((ptm)->tm_year)), \
395    C_set_block_item((v), 6, C_fix((ptm)->tm_wday)), \
396    C_set_block_item((v), 7, C_fix((ptm)->tm_yday)), \
397    C_set_block_item((v), 8, ((ptm)->tm_isdst ? C_SCHEME_TRUE : C_SCHEME_FALSE)))
398
399#define cpy_tmstc9_to_tmvec(v, ptm) \
400    (C_set_block_item((v), 9, C_fix((ptm)->tm_gmtoff)))
401
402#define C_tm_set_08(v)  cpy_tmvec_to_tmstc08( &C_tm, (v) )
403#define C_tm_set_9(v)   cpy_tmvec_to_tmstc9( &C_tm, (v) )
404
405#define C_tm_get_08(v)  cpy_tmstc08_to_tmvec( (v), &C_tm )
406#define C_tm_get_9(v)   cpy_tmstc9_to_tmvec( (v), &C_tm )
407
408#if !defined(C_GNU_ENV) || defined(__CYGWIN__) || defined(__uClinux__)
409
410static struct tm *
411C_tm_set( C_word v )
412{
413  C_tm_set_08( v );
414  return &C_tm;
415}
416
417static C_word
418C_tm_get( C_word v )
419{
420  C_tm_get_08( v );
421  return v;
422}
423
424#else
425
426static struct tm *
427C_tm_set( C_word v )
428{
429  C_tm_set_08( v );
430  C_tm_set_9( v );
431  return &C_tm;
432}
433
434static C_word
435C_tm_get( C_word v )
436{
437  C_tm_get_08( v );
438  C_tm_get_9( v );
439  return v;
440}
441
442#endif
443
444#define C_asctime(v)    (asctime(C_tm_set(v)))
445#define C_mktime(v)     ((C_temporary_flonum = mktime(C_tm_set(v))) != -1)
446#define C_timegm(v)     ((C_temporary_flonum = timegm(C_tm_set(v))) != -1)
447
448#define TIME_STRING_MAXLENGTH 255
449static char C_time_string [TIME_STRING_MAXLENGTH + 1];
450#undef TIME_STRING_MAXLENGTH
451
452#define C_strftime(v, f) \
453        (strftime(C_time_string, sizeof(C_time_string), C_c_string(f), C_tm_set(v)) ? C_time_string : NULL)
454
455#define C_strptime(s, f, v) \
456        (strptime(C_c_string(s), C_c_string(f), &C_tm) ? C_tm_get(v) : C_SCHEME_FALSE)
457
458static gid_t *C_groups = NULL;
459
460#define C_get_gid(n)      C_fix(C_groups[ C_unfix(n) ])
461#define C_set_gid(n, id)  (C_groups[ C_unfix(n) ] = C_unfix(id), C_SCHEME_UNDEFINED)
462#define C_set_groups(n)   C_fix(setgroups(C_unfix(n), C_groups))
463
464#ifdef TIOCGWINSZ
465static int get_tty_size(int p, int *rows, int *cols)
466{
467 struct winsize tty_size;
468 int r;
469
470 memset(&tty_size, 0, sizeof tty_size);
471
472 r = ioctl(p, TIOCGWINSZ, &tty_size);
473 if (r == 0) {
474    *rows = tty_size.ws_row;
475    *cols = tty_size.ws_col;
476 }
477 return r;
478}
479#else
480static int get_tty_size(int p, int *rows, int *cols)
481{
482 *rows = *cols = 0;
483 return -1;
484}
485#endif
486
487EOF
488) )
489
490(cond-expand
491 [paranoia]
492 [else
493  (declare
494    (no-bound-checks)
495    (no-procedure-checks-for-usual-bindings)
496    (bound-to-procedure
497     string-match glob->regexp regexp 
498     ##sys#thread-yield! ##sys#make-string
499     ##sys#make-port ##sys#file-info ##sys#update-errno ##sys#fudge ##sys#make-c-string ##sys#check-port
500     ##sys#error ##sys#signal-hook ##sys#peek-unsigned-integer make-pathname glob directory?
501     pathname-file process-fork file-close duplicate-fileno process-execute get-environment-variable
502     make-string make-input-port make-output-port ##sys#thread-block-for-i/o create-pipe
503     process-wait pathname-strip-directory pathname-directory ##sys#expand-home-path directory
504     decompose-pathname ##sys#cons-flonum ##sys#decode-seconds ##sys#null-pointer ##sys#pointer->address
505     ##sys#substring ##sys#context-switch close-input-pipe close-output-pipe change-directory
506     current-directory ##sys#make-pointer port? ##sys#schedule ##sys#process
507     ##sys#peek-fixnum ##sys#make-structure ##sys#check-structure ##sys#enable-interrupts
508     make-nonblocking-input-port make-nonblocking-output-port 
509     canonical-path) ) ] )
510
511(include "unsafe-declarations.scm")
512
513(register-feature! 'posix)
514
515(define posix-error
516  (let ([strerror (foreign-lambda c-string "strerror" int)]
517        [string-append string-append] )
518    (lambda (type loc msg . args)
519      (let ([rn (##sys#update-errno)])
520        (apply ##sys#signal-hook type loc (string-append msg " - " (strerror rn)) args) ) ) ) )
521
522;; Faster versions of common operations
523
524(define ##sys#posix-error posix-error)
525
526(define ##sys#file-nonblocking!
527  (foreign-lambda* bool ([int fd])
528    "int val = fcntl(fd, F_GETFL, 0);"
529    "if(val == -1) return(0);"
530    "return(fcntl(fd, F_SETFL, val | O_NONBLOCK) != -1);" ) )
531
532(define ##sys#file-select-one
533  (foreign-lambda* int ([int fd])
534    "fd_set in;"
535    "struct timeval tm;"
536    "FD_ZERO(&in);"
537    "FD_SET(fd, &in);"
538    "tm.tv_sec = tm.tv_usec = 0;"
539    "if(select(fd + 1, &in, NULL, NULL, &tm) == -1) return(-1);"
540    "else return(FD_ISSET(fd, &in) ? 1 : 0);" ) )
541
542
543;;; Lo-level I/O:
544
545(define-foreign-variable _pipe_buf int "PIPE_BUF")
546
547(define pipe/buf _pipe_buf)
548
549(define-foreign-variable _f_dupfd int "F_DUPFD")
550(define-foreign-variable _f_getfd int "F_GETFD")
551(define-foreign-variable _f_setfd int "F_SETFD")
552(define-foreign-variable _f_getfl int "F_GETFL")
553(define-foreign-variable _f_setfl int "F_SETFL")
554
555(define fcntl/dupfd _f_dupfd)
556(define fcntl/getfd _f_getfd)
557(define fcntl/setfd _f_setfd)
558(define fcntl/getfl _f_getfl)
559(define fcntl/setfl _f_setfl)
560
561(define-foreign-variable _o_rdonly int "O_RDONLY")
562(define-foreign-variable _o_wronly int "O_WRONLY")
563(define-foreign-variable _o_rdwr int "O_RDWR")
564(define-foreign-variable _o_creat int "O_CREAT")
565(define-foreign-variable _o_append int "O_APPEND")
566(define-foreign-variable _o_excl int "O_EXCL")
567(define-foreign-variable _o_noctty int "O_NOCTTY")
568(define-foreign-variable _o_nonblock int "O_NONBLOCK")
569(define-foreign-variable _o_trunc int "O_TRUNC")
570(define-foreign-variable _o_fsync int "O_FSYNC")
571(define-foreign-variable _o_binary int "O_BINARY")
572(define-foreign-variable _o_text int "O_TEXT")
573
574(define open/rdonly _o_rdonly)
575(define open/wronly _o_wronly)
576(define open/rdwr _o_rdwr)
577(define open/read _o_rdonly)
578(define open/write _o_wronly)
579(define open/creat _o_creat)
580(define open/append _o_append)
581(define open/excl _o_excl)
582(define open/noctty _o_noctty)
583(define open/nonblock _o_nonblock)
584(define open/trunc _o_trunc)
585(define open/sync _o_fsync)
586(define open/fsync _o_fsync)
587(define open/binary _o_binary)
588(define open/text _o_text)
589
590(define-foreign-variable _s_irusr int "S_IRUSR")
591(define-foreign-variable _s_iwusr int "S_IWUSR")
592(define-foreign-variable _s_ixusr int "S_IXUSR")
593(define-foreign-variable _s_irgrp int "S_IRGRP")
594(define-foreign-variable _s_iwgrp int "S_IWGRP")
595(define-foreign-variable _s_ixgrp int "S_IXGRP")
596(define-foreign-variable _s_iroth int "S_IROTH")
597(define-foreign-variable _s_iwoth int "S_IWOTH")
598(define-foreign-variable _s_ixoth int "S_IXOTH")
599(define-foreign-variable _s_irwxu int "S_IRWXU")
600(define-foreign-variable _s_irwxg int "S_IRWXG")
601(define-foreign-variable _s_irwxo int "S_IRWXO")
602(define-foreign-variable _s_isuid int "S_ISUID")
603(define-foreign-variable _s_isgid int "S_ISGID")
604(define-foreign-variable _s_isvtx int "S_ISVTX")
605
606(define perm/irusr _s_irusr)
607(define perm/iwusr _s_iwusr)
608(define perm/ixusr _s_ixusr)
609(define perm/irgrp _s_irgrp)
610(define perm/iwgrp _s_iwgrp)
611(define perm/ixgrp _s_ixgrp)
612(define perm/iroth _s_iroth)
613(define perm/iwoth _s_iwoth)
614(define perm/ixoth _s_ixoth)
615(define perm/irwxu _s_irwxu)
616(define perm/irwxg _s_irwxg)
617(define perm/irwxo _s_irwxo)
618(define perm/isvtx _s_isvtx)
619(define perm/isuid _s_isuid)
620(define perm/isgid _s_isgid)
621
622(define file-control
623  (let ([fcntl (foreign-lambda int fcntl int int long)])
624    (lambda (fd cmd #!optional (arg 0))
625      (##sys#check-exact fd 'file-control)
626      (##sys#check-exact cmd 'file-control)
627      (let ([res (fcntl fd cmd arg)])
628        (if (fx= res -1)
629            (posix-error #:file-error 'file-control "cannot control file" fd cmd)
630            res ) ) ) ) )
631
632(define file-open
633  (let ([defmode (bitwise-ior _s_irwxu (bitwise-ior _s_irgrp _s_iroth))] )
634    (lambda (filename flags . mode)
635      (let ([mode (if (pair? mode) (car mode) defmode)])
636        (##sys#check-string filename 'file-open)
637        (##sys#check-exact flags 'file-open)
638        (##sys#check-exact mode 'file-open)
639        (let ([fd (##core#inline "C_open" (##sys#make-c-string (##sys#expand-home-path filename)) flags mode)])
640          (when (eq? -1 fd)
641            (posix-error #:file-error 'file-open "cannot open file" filename flags mode) )
642          fd) ) ) ) )
643
644(define file-close
645  (lambda (fd)
646    (##sys#check-exact fd 'file-close)
647    (when (fx< (##core#inline "C_close" fd) 0)
648      (posix-error #:file-error 'file-close "cannot close file" fd) ) ) )
649
650(define file-read
651  (let ([make-string make-string] )
652    (lambda (fd size . buffer)
653      (##sys#check-exact fd 'file-read)
654      (##sys#check-exact size 'file-read)
655      (let ([buf (if (pair? buffer) (car buffer) (make-string size))])
656        (unless (and (##core#inline "C_blockp" buf) (##core#inline "C_byteblockp" buf))
657          (##sys#signal-hook #:type-error 'file-read "bad argument type - not a string or blob" buf) )
658        (let ([n (##core#inline "C_read" fd buf size)])
659          (when (eq? -1 n)
660            (posix-error #:file-error 'file-read "cannot read from file" fd size) )
661          (list buf n) ) ) ) ) )
662
663(define file-write
664  (lambda (fd buffer . size)
665    (##sys#check-exact fd 'file-write)
666    (unless (and (##core#inline "C_blockp" buffer) (##core#inline "C_byteblockp" buffer))
667      (##sys#signal-hook #:type-error 'file-write "bad argument type - not a string or blob" buffer) )
668    (let ([size (if (pair? size) (car size) (##sys#size buffer))])
669      (##sys#check-exact size 'file-write)
670      (let ([n (##core#inline "C_write" fd buffer size)])
671        (when (eq? -1 n)
672          (posix-error #:file-error 'file-write "cannot write to file" fd size) )
673        n) ) ) )
674
675(define file-mkstemp
676  (lambda (template)
677    (##sys#check-string template 'file-mkstemp)
678    (let* ([buf (##sys#make-c-string template)]
679           [fd (##core#inline "C_mkstemp" buf)]
680           [path-length (##sys#size buf)])
681      (when (eq? -1 fd)
682        (posix-error #:file-error 'file-mkstemp "cannot create temporary file" template) )
683      (values fd (##sys#substring buf 0 (fx- path-length 1) ) ) ) ) )
684
685
686;;; I/O multiplexing:
687
688(define file-select
689  (let ([fd_zero (foreign-lambda void "C_zero_fd_set" int)]
690        [fd_set (foreign-lambda void "C_set_fd_set" int int)]
691        [fd_test (foreign-lambda bool "C_test_fd_set" int int)] )
692    (lambda (fdsr fdsw . timeout)
693      (let ([fdmax 0]
694            [tm (if (pair? timeout) (car timeout) #f)] )
695        (fd_zero 0)
696        (fd_zero 1)
697        (cond [(not fdsr)]
698              [(fixnum? fdsr)
699               (set! fdmax fdsr)
700               (fd_set 0 fdsr) ]
701              [else
702               (##sys#check-list fdsr 'file-select)
703               (for-each
704                (lambda (fd)
705                  (##sys#check-exact fd 'file-select)
706                  (set! fdmax (##core#inline "C_i_fixnum_max" fdmax fd))
707                  (fd_set 0 fd) )
708                fdsr) ] )
709        (cond [(not fdsw)]
710              [(fixnum? fdsw)
711               (set! fdmax fdsw)
712               (fd_set 1 fdsw) ]
713              [else
714               (##sys#check-list fdsw 'file-select)
715               (for-each
716                (lambda (fd)
717                  (##sys#check-exact fd 'file-select)
718                  (set! fdmax (##core#inline "C_i_fixnum_max" fdmax fd))
719                  (fd_set 1 fd) )
720                fdsw) ] )
721        (let ([n (cond [tm
722                        (##sys#check-number tm 'file-select)
723                        (##core#inline "C_C_select_t" (fx+ fdmax 1) tm) ]
724                       [else (##core#inline "C_C_select" (fx+ fdmax 1))] ) ] )
725          (cond [(fx< n 0)
726                 (posix-error #:file-error 'file-select "failed" fdsr fdsw) ]
727                [(fx= n 0) (values (if (pair? fdsr) '() #f) (if (pair? fdsw) '() #f))]
728                [else
729                 (values
730                  (and fdsr
731                       (if (fixnum? fdsr)
732                           (fd_test 0 fdsr)
733                           (let ([lstr '()])
734                             (for-each (lambda (fd) (when (fd_test 0 fd) (set! lstr (cons fd lstr)))) fdsr)
735                             lstr) ) )
736                  (and fdsw
737                       (if (fixnum? fdsw)
738                           (fd_test 1 fdsw)
739                           (let ([lstw '()])
740                             (for-each (lambda (fd) (when (fd_test 1 fd) (set! lstw (cons fd lstw)))) fdsw)
741                             lstw) ) ) ) ] ) ) ) ) ) )
742
743
744;;; File attribute access:
745
746(define-foreign-variable _seek_set int "SEEK_SET")
747(define-foreign-variable _seek_cur int "SEEK_CUR")
748(define-foreign-variable _seek_end int "SEEK_END")
749
750(define seek/set _seek_set)
751(define seek/end _seek_end)
752(define seek/cur _seek_cur)
753
754(define-foreign-variable _stat_st_ino unsigned-int "C_statbuf.st_ino")
755(define-foreign-variable _stat_st_nlink unsigned-int "C_statbuf.st_nlink")
756(define-foreign-variable _stat_st_gid unsigned-int "C_statbuf.st_gid")
757(define-foreign-variable _stat_st_size integer64 "C_statbuf.st_size")
758(define-foreign-variable _stat_st_mtime double "C_statbuf.st_mtime")
759(define-foreign-variable _stat_st_atime double "C_statbuf.st_atime")
760(define-foreign-variable _stat_st_ctime double "C_statbuf.st_ctime")
761(define-foreign-variable _stat_st_uid unsigned-int "C_statbuf.st_uid")
762(define-foreign-variable _stat_st_mode unsigned-int "C_statbuf.st_mode")
763(define-foreign-variable _stat_st_dev unsigned-int "C_statbuf.st_dev")
764(define-foreign-variable _stat_st_rdev unsigned-int "C_statbuf.st_rdev")
765(define-foreign-variable _stat_st_blksize unsigned-int "C_statbuf.st_blksize")
766(define-foreign-variable _stat_st_blocks unsigned-int "C_statbuf.st_blocks")
767
768(define (##sys#stat file link loc)
769  (let ([r (cond [(fixnum? file) (##core#inline "C_fstat" file)]
770                 [(string? file)
771                  (let ([path (##sys#make-c-string (##sys#expand-home-path file))])
772                    (if link
773                        (##core#inline "C_lstat" path)
774                        (##core#inline "C_stat" path) ) ) ]
775                 [else (##sys#signal-hook #:type-error "bad argument type - not a fixnum or string" file)] ) ] )
776    (when (fx< r 0)
777      (posix-error #:file-error loc "cannot access file" file) ) ) )
778
779(define (file-stat f . link)
780  (##sys#stat f (optional link #f) 'file-stat)
781  (vector _stat_st_ino _stat_st_mode _stat_st_nlink
782          _stat_st_uid _stat_st_gid _stat_st_size
783          _stat_st_atime _stat_st_ctime _stat_st_mtime
784          _stat_st_dev _stat_st_rdev
785          _stat_st_blksize _stat_st_blocks) )
786
787(define (file-size f) (##sys#stat f #f 'file-size) _stat_st_size)
788(define (file-modification-time f) (##sys#stat f #f 'file-modification-time) _stat_st_mtime)
789(define (file-access-time f) (##sys#stat f #f 'file-access-time) _stat_st_atime)
790(define (file-change-time f) (##sys#stat f #f 'file-change-time) _stat_st_ctime)
791(define (file-owner f) (##sys#stat f #f 'file-owner) _stat_st_uid)
792(define (file-permissions f) (##sys#stat f #f 'file-permissions) _stat_st_mode)
793
794(define (regular-file? fname)
795  (##sys#check-string fname 'regular-file?)
796  (##sys#stat fname #t 'regular-file?)
797  (foreign-value "C_isreg" bool) )
798
799(define (symbolic-link? fname)
800  (##sys#check-string fname 'symbolic-link?)
801  (##sys#stat fname #t 'symbolic-link?)
802  (foreign-value "C_islink" bool) )
803
804(define (stat-regular? fname)           ; DEPRECATED
805    (##sys#check-string fname 'stat-regular?)
806    (##sys#stat fname #f 'stat-regular?)
807    (foreign-value "C_isreg" bool))
808
809(define (stat-directory? fname)         ; DEPRECATED
810    (##sys#check-string fname 'stat-directory?)
811    (##sys#stat fname #f 'stat-directory?)
812    (foreign-value "C_isdir" bool))
813
814(define (character-device? fname)
815    (##sys#check-string fname 'character-device?)
816    (##sys#stat fname #f 'character-device?)
817    (foreign-value "C_ischr" bool))
818
819(define stat-char-device? character-device?) ; DEPRECATED
820
821(define (block-device? fname)
822    (##sys#check-string fname 'block-device?)
823    (##sys#stat fname #f 'block-device?)
824    (foreign-value "C_isblk" bool))
825
826(define stat-block-device? block-device?) ; DEPRECATED
827
828(define (fifo? fname)
829    (##sys#check-string fname 'stat-fifo?)
830    (##sys#stat fname #f 'stat-fifo?)
831    (foreign-value "C_isfifo" bool))
832
833(define stat-fifo? fifo?)               ; DEPRECATED
834(define stat-symlink? symbolic-link?)   ; DEPRECATED
835
836(define (socket? fname)
837  (##sys#check-string fname 'socket?)
838  (##sys#stat fname #f 'socket?)
839  (foreign-value "C_issock" bool))
840
841(define stat-socket? socket?)           ; DEPRECATED
842
843(define set-file-position!
844   (lambda (port pos . whence)
845     (let ((whence (if (pair? whence) (car whence) _seek_set)))
846       (##sys#check-number pos 'set-file-position!)
847       (##sys#check-exact whence 'set-file-position!)
848       (when (negative? pos)
849         (##sys#signal-hook #:bounds-error 'set-file-position! "invalid negative port position" pos port))
850       (unless (cond ((port? port)
851                      (and (eq? (##sys#slot port 7) 'stream)
852                           (##core#inline "C_fseekX" port pos whence) ) )
853                     ((fixnum? port)
854                      (##core#inline "C_lseekX" port pos whence))
855                     (else
856                      (##sys#signal-hook #:type-error 'set-file-position! "invalid file" port)) )
857         (posix-error #:file-error 'set-file-position! "cannot set file position" port pos) ) ) ) )
858
859(define file-position
860  (getter-with-setter
861   (lambda (port)
862     (let ((pos (cond ((port? port)
863                       (if (eq? (##sys#slot port 7) 'stream)
864                           (begin (##core#inline "C_ftellX" port) (##sys#cons-flonum))
865                           -1) )
866                      ((fixnum? port)
867                       (##core#inline "C_lseekX" port 0 _seek_cur)
868                       (##sys#cons-flonum))
869                      (else
870                       (##sys#signal-hook #:type-error 'file-position "invalid file" port)) ) ) )
871       (when (< pos 0)
872         (posix-error #:file-error 'file-position "cannot retrieve file position of port" port) )
873       pos) )
874   set-file-position!) )                ; doesn't accept WHENCE
875
876
877;;; Directory stuff:
878
879(define-inline (*directory? loc name)
880  (and (fx= 0 (##core#inline "C_stat" (##sys#make-c-string name)))
881       (foreign-value "C_isdir" bool) ) )
882
883(define-inline (*create-directory loc name)
884  (unless (fx= 0 (##core#inline "C_mkdir" (##sys#make-c-string name)))
885    (posix-error #:file-error loc "cannot create directory" name)) )
886
887(define create-directory
888  (let ((decompose-pathname decompose-pathname)
889        (pathname-directory pathname-directory) )
890    (lambda (name #!optional parents?)
891      (##sys#check-string name 'create-directory)
892      (let ((name (##sys#expand-home-path name)))
893        (unless (or (fx= 0 (##sys#size name)) (*directory? 'create-directory name))
894          (if parents?
895              (let loop ((dir (let-values (((dir file ext) (decompose-pathname name)))
896                                (if file (make-pathname dir file ext) dir))))
897                (when (and dir (not (*directory? 'create-directory dir)))
898                  (loop (pathname-directory dir))
899                  (*create-directory 'create-directory dir)) )
900              (*create-directory 'create-directory name) ) ) ) ) ) )
901
902(define change-directory
903  (lambda (name)
904    (##sys#check-string name 'change-directory)
905    (unless (fx= 0 (##core#inline "C_chdir" (##sys#make-c-string (##sys#expand-home-path name))))
906      (posix-error #:file-error 'change-directory "cannot change current directory" name) ) ) )
907
908(define delete-directory
909  (lambda (name)
910    (##sys#check-string name 'delete-directory)
911    (unless (fx= 0 (##core#inline "C_rmdir" (##sys#make-c-string (##sys#expand-home-path name))))
912      (posix-error #:file-error 'delete-directory "cannot delete directory" name) ) ) )
913
914(define directory
915  (let ([string-ref string-ref]
916        [make-string make-string]
917        [string string] )
918    (lambda (#!optional (spec (current-directory)) show-dotfiles?)
919      (##sys#check-string spec 'directory)
920      (let ([buffer (make-string 256)]
921            [handle (##sys#make-pointer)]
922            [entry (##sys#make-pointer)] )
923        (##core#inline "C_opendir" (##sys#make-c-string (##sys#expand-home-path spec)) handle)
924        (if (##sys#null-pointer? handle)
925            (posix-error #:file-error 'directory "cannot open directory" spec)
926            (let loop ()
927              (##core#inline "C_readdir" handle entry)
928              (if (##sys#null-pointer? entry)
929                  (begin
930                    (##core#inline "C_closedir" handle)
931                    '() )
932                  (let* ([flen (##core#inline "C_foundfile" entry buffer)]
933                         [file (##sys#substring buffer 0 flen)]
934                         [char1 (string-ref file 0)]
935                         [char2 (and (fx> flen 1) (string-ref file 1))] )
936                    (if (and (eq? #\. char1)
937                             (or (not char2)
938                                 (and (eq? #\. char2) (eq? 2 flen))
939                                 (not show-dotfiles?) ) )
940                        (loop)
941                        (cons file (loop)) ) ) ) ) ) ) ) ) )
942
943(define (directory? fname)
944  (##sys#check-string fname 'directory?)
945  (*directory? 'directory? (##sys#expand-home-path fname)) )
946
947(define current-directory
948  (let ([make-string make-string])
949    (lambda (#!optional dir)
950      (if dir
951          (change-directory dir)
952          (let* ([buffer (make-string 256)]
953                 [len (##core#inline "C_curdir" buffer)] )
954            (if len
955                (##sys#substring buffer 0 len)
956                (posix-error #:file-error 'current-directory "cannot retrieve current directory") ) ) ) ) ) )
957
958(define canonical-path                  ; DEPRECATED
959    (let ((null?      null?)
960          (char=?     char=?)
961          (string=?   string=?)
962          (alpha?     char-alphabetic?)
963          (sref       string-ref)
964          (ssplit     (cut string-split <> "/\\"))
965          (sappend    string-append)
966          (isperse    (cut string-intersperse <> "/"))
967          (sep?       (lambda (c) (or (char=? #\/ c) (char=? #\\ c))))
968          (get-environment-variable     get-environment-variable)
969          (user       current-user-name)
970          (cwd        (let ((cw   current-directory))
971                          (lambda ()
972                              (condition-case (cw)
973                                  (var ()    "/"))))))
974        (lambda (path)
975            (##sys#check-string path 'canonical-path)
976            (let ((p   (cond ((fx= 0 (##sys#size path))
977                                 (sappend (cwd) "/"))
978                             ((and (fx< (##sys#size path) 3)
979                                   (sep? (sref path 0)))
980                                 path)
981                             ((fx= 1 (##sys#size path))
982                                 (sappend (cwd) "/" path))
983                             ((and (char=? #\~ (sref path 0))
984                                   (sep? (sref path 1)))
985                                 (sappend
986                                     (or (get-environment-variable "HOME")
987                                         (sappend "/home/" (user)))
988                                     (##sys#substring path 1
989                                         (##sys#size path))))
990                             ((fx= 2 (##sys#size path))
991                                 (sappend (cwd) "/" path))
992                             ((and (alpha? (sref path 0))
993                                   (char=? #\: (sref path 1))
994                                   (sep? (sref path 2)))
995                                 (##sys#substring path 3 (##sys#size path)))
996                             ((and (char=? #\/ (sref path 0))
997                                   (alpha? (sref path 1))
998                                   (char=? #\: (sref path 2)))
999                                 (##sys#substring path 3 (##sys#size path)))
1000                             ((sep? (sref path 0))
1001                                 path)
1002                             (else
1003                                 (sappend (cwd) "/" path)))))
1004                (let loop ((l   (ssplit p))
1005                           (r   '()))
1006                    (if (null? l)
1007                        (if (null? r)
1008                            "/"
1009                            (if (sep? (sref p (- (##sys#size p) 1)))
1010                                (sappend
1011                                    "/"
1012                                    (isperse (reverse (cons "" r))))
1013                                (sappend
1014                                    "/"
1015                                    (isperse (reverse r)))))
1016                        (loop
1017                            (cdr l)
1018                            (if (string=? ".." (car l))
1019                                (cdr r)
1020                                (if (string=? "." (car l))
1021                                    r
1022                                    (cons (car l) r))))))))))
1023                           
1024
1025;;; Pipes:
1026
1027(let ()
1028  (define (mode arg) (if (pair? arg) (##sys#slot arg 0) '###text))
1029  (define (badmode m) (##sys#error "illegal input/output mode specifier" m))
1030  (define (check loc cmd inp r)
1031    (if (##sys#null-pointer? r)
1032        (posix-error #:file-error loc "cannot open pipe" cmd)
1033        (let ([port (##sys#make-port inp ##sys#stream-port-class "(pipe)" 'stream)])
1034          (##core#inline "C_set_file_ptr" port r)
1035          port) ) )
1036  (set! open-input-pipe
1037    (lambda (cmd . m)
1038      (##sys#check-string cmd 'open-input-pipe)
1039      (let ([m (mode m)])
1040        (check
1041         'open-input-pipe
1042         cmd #t
1043         (case m
1044           ((#:text) (##core#inline_allocate ("open_text_input_pipe" 2) (##sys#make-c-string cmd)))
1045           ((#:binary) (##core#inline_allocate ("open_binary_input_pipe" 2) (##sys#make-c-string cmd)))
1046           (else (badmode m)) ) ) ) ) )
1047  (set! open-output-pipe
1048    (lambda (cmd . m)
1049      (##sys#check-string cmd 'open-output-pipe)
1050      (let ((m (mode m)))
1051        (check
1052         'open-output-pipe
1053         cmd #f
1054         (case m
1055           ((#:text) (##core#inline_allocate ("open_text_output_pipe" 2) (##sys#make-c-string cmd)))
1056           ((#:binary) (##core#inline_allocate ("open_binary_output_pipe" 2) (##sys#make-c-string cmd)))
1057           (else (badmode m)) ) ) ) ) )
1058  (set! close-input-pipe
1059    (lambda (port)
1060      (##sys#check-port port 'close-input-pipe)
1061      (let ((r (##core#inline "close_pipe" port)))
1062        (when (eq? -1 r) (posix-error #:file-error 'close-input/output-pipe "error while closing pipe" port))
1063        r) ) )
1064  (set! close-output-pipe close-input-pipe) )
1065
1066(let ([open-input-pipe open-input-pipe]
1067      [open-output-pipe open-output-pipe]
1068      [close-input-pipe close-input-pipe]
1069      [close-output-pipe close-output-pipe] )
1070  (set! call-with-input-pipe
1071    (lambda (cmd proc . mode)
1072      (let ([p (apply open-input-pipe cmd mode)])
1073        (##sys#call-with-values
1074         (lambda () (proc p))
1075         (lambda results
1076           (close-input-pipe p)
1077           (apply values results) ) ) ) ) )
1078  (set! call-with-output-pipe
1079    (lambda (cmd proc . mode)
1080      (let ([p (apply open-output-pipe cmd mode)])
1081        (##sys#call-with-values
1082         (lambda () (proc p))
1083         (lambda results
1084           (close-output-pipe p)
1085           (apply values results) ) ) ) ) )
1086  (set! with-input-from-pipe
1087    (lambda (cmd thunk . mode)
1088      (let ([old ##sys#standard-input]
1089            [p (apply open-input-pipe cmd mode)] )
1090        (set! ##sys#standard-input p)
1091        (##sys#call-with-values thunk
1092                                (lambda results
1093                                  (close-input-pipe p)
1094                                  (set! ##sys#standard-input old)
1095                                  (apply values results) ) ) ) ) )
1096  (set! with-output-to-pipe
1097    (lambda (cmd thunk . mode)
1098      (let ([old ##sys#standard-output]
1099            [p (apply open-output-pipe cmd mode)] )
1100        (set! ##sys#standard-output p)
1101        (##sys#call-with-values thunk
1102                                (lambda results
1103                                  (close-output-pipe p)
1104                                  (set! ##sys#standard-output old)
1105                                  (apply values results) ) ) ) ) ) )
1106
1107(define-foreign-variable _pipefd0 int "C_pipefds[ 0 ]")
1108(define-foreign-variable _pipefd1 int "C_pipefds[ 1 ]")
1109
1110(define create-pipe
1111  (lambda ()
1112    (when (fx< (##core#inline "C_pipe" #f) 0)
1113      (posix-error #:file-error 'create-pipe "cannot create pipe") )
1114    (values _pipefd0 _pipefd1) ) )
1115
1116
1117;;; Signal processing:
1118
1119(define-foreign-variable _nsig int "NSIG")
1120(define-foreign-variable _sigterm int "SIGTERM")
1121(define-foreign-variable _sigkill int "SIGKILL")
1122(define-foreign-variable _sigint int "SIGINT")
1123(define-foreign-variable _sighup int "SIGHUP")
1124(define-foreign-variable _sigfpe int "SIGFPE")
1125(define-foreign-variable _sigill int "SIGILL")
1126(define-foreign-variable _sigsegv int "SIGSEGV")
1127(define-foreign-variable _sigabrt int "SIGABRT")
1128(define-foreign-variable _sigtrap int "SIGTRAP")
1129(define-foreign-variable _sigquit int "SIGQUIT")
1130(define-foreign-variable _sigalrm int "SIGALRM")
1131(define-foreign-variable _sigpipe int "SIGPIPE")
1132(define-foreign-variable _sigusr1 int "SIGUSR1")
1133(define-foreign-variable _sigusr2 int "SIGUSR2")
1134(define-foreign-variable _sigvtalrm int "SIGVTALRM")
1135(define-foreign-variable _sigprof int "SIGPROF")
1136(define-foreign-variable _sigio int "SIGIO")
1137(define-foreign-variable _sigurg int "SIGURG")
1138(define-foreign-variable _sigchld int "SIGCHLD")
1139(define-foreign-variable _sigcont int "SIGCONT")
1140(define-foreign-variable _sigstop int "SIGSTOP")
1141(define-foreign-variable _sigtstp int "SIGTSTP")
1142(define-foreign-variable _sigxcpu int "SIGXCPU")
1143(define-foreign-variable _sigxfsz int "SIGXFSZ")
1144(define-foreign-variable _sigwinch int "SIGWINCH")
1145
1146(define signal/term _sigterm)
1147(define signal/kill _sigkill)
1148(define signal/int _sigint)
1149(define signal/hup _sighup)
1150(define signal/fpe _sigfpe)
1151(define signal/ill _sigill)
1152(define signal/segv _sigsegv)
1153(define signal/abrt _sigabrt)
1154(define signal/trap _sigtrap)
1155(define signal/quit _sigquit)
1156(define signal/alrm _sigalrm)
1157(define signal/vtalrm _sigvtalrm)
1158(define signal/prof _sigprof)
1159(define signal/io _sigio)
1160(define signal/urg _sigurg)
1161(define signal/chld _sigchld)
1162(define signal/cont _sigcont)
1163(define signal/stop _sigstop)
1164(define signal/tstp _sigtstp)
1165(define signal/pipe _sigpipe)
1166(define signal/xcpu _sigxcpu)
1167(define signal/xfsz _sigxfsz)
1168(define signal/usr1 _sigusr1)
1169(define signal/usr2 _sigusr2)
1170(define signal/winch _sigwinch)
1171
1172(define signals-list
1173  (list
1174    signal/term signal/kill signal/int signal/hup signal/fpe signal/ill
1175    signal/segv signal/abrt signal/trap signal/quit signal/alrm signal/vtalrm
1176    signal/prof signal/io signal/urg signal/chld signal/cont signal/stop
1177    signal/tstp signal/pipe signal/xcpu signal/xfsz signal/usr1 signal/usr2
1178    signal/winch))
1179
1180(let ([oldhook ##sys#interrupt-hook]
1181      [sigvector (make-vector 256 #f)] )
1182  (set! signal-handler
1183    (lambda (sig)
1184      (##sys#check-exact sig 'signal-handler)
1185      (##sys#slot sigvector sig) ) )
1186  (set! set-signal-handler!
1187    (lambda (sig proc)
1188      (##sys#check-exact sig 'set-signal-handler!)
1189      (##core#inline "C_establish_signal_handler" sig (and proc sig))
1190      (vector-set! sigvector sig proc) ) )
1191  (set! ##sys#interrupt-hook
1192    (lambda (reason state)
1193      (let ([h (##sys#slot sigvector reason)])
1194        (if h
1195            (begin
1196              (h reason)
1197              (##sys#context-switch state) )
1198            (oldhook reason state) ) ) ) ) )
1199
1200(define set-signal-mask!
1201  (lambda (sigs)
1202    (##sys#check-list sigs 'set-signal-mask!)
1203    (##core#inline "C_sigemptyset" 0)
1204    (for-each
1205      (lambda (s)
1206        (##sys#check-exact s 'set-signal-mask!)
1207        (##core#inline "C_sigaddset" s) )
1208      sigs)
1209    (when (fx< (##core#inline "C_sigprocmask_set" 0) 0)
1210      (posix-error #:process-error 'set-signal-mask! "cannot set signal mask") ) ) )
1211
1212(define (signal-mask)
1213  (let loop ([sigs signals-list] [mask '()])
1214    (if (null? sigs)
1215        mask
1216        (let ([sig (car sigs)])
1217          (loop (cdr sigs) (if (##core#inline "C_sigismember" sig) (cons sig mask) mask)) ) ) ) )
1218
1219(define (signal-masked? sig)
1220  (##sys#check-exact sig 'signal-masked?)
1221  (##core#inline "C_sigismember" sig) )
1222
1223(define (signal-mask! sig)
1224  (##sys#check-exact sig 'signal-mask!)
1225  (##core#inline "C_sigaddset" sig)
1226  (when (fx< (##core#inline "C_sigprocmask_block" 0) 0)
1227      (posix-error #:process-error 'signal-mask! "cannot block signal") )  )
1228
1229(define (signal-unmask! sig)
1230  (##sys#check-exact sig 'signal-unmask!)
1231  (##core#inline "C_sigdelset" sig)
1232  (when (fx< (##core#inline "C_sigprocmask_unblock" 0) 0)
1233      (posix-error #:process-error 'signal-unmask! "cannot unblock signal") )  )
1234
1235;;; Set SIGINT handler:
1236
1237(set-signal-handler!
1238 signal/int
1239 (lambda (n) (##sys#user-interrupt-hook)) )
1240
1241
1242;;; Getting system-, group- and user-information:
1243
1244(define-foreign-variable _uname int "C_uname")
1245(define-foreign-variable _uname-sysname nonnull-c-string "C_utsname.sysname")
1246(define-foreign-variable _uname-nodename nonnull-c-string "C_utsname.nodename")
1247(define-foreign-variable _uname-release nonnull-c-string "C_utsname.release")
1248(define-foreign-variable _uname-version nonnull-c-string "C_utsname.version")
1249(define-foreign-variable _uname-machine nonnull-c-string "C_utsname.machine")
1250
1251(define system-information
1252  (lambda ()
1253    (when (fx< _uname 0)
1254      (##sys#update-errno)
1255      (##sys#error 'system-information "cannot retrieve system information") )
1256    (list _uname-sysname
1257          _uname-nodename
1258          _uname-release
1259          _uname-version
1260          _uname-machine) ) )
1261
1262(define current-user-id
1263  (getter-with-setter
1264   (foreign-lambda int "C_getuid")
1265   (lambda (id)
1266     (when (fx< (##core#inline "C_setuid" id) 0)
1267       (##sys#update-errno)
1268       (##sys#error 'set-user-id! "cannot set user ID" id) ) ) ) )
1269
1270(define current-effective-user-id
1271  (getter-with-setter
1272   (foreign-lambda int "C_geteuid")
1273   (lambda (id)
1274    (when (fx< (##core#inline "C_seteuid" id) 0)
1275      (##sys#update-errno)
1276      (##sys#error 
1277         'effective-user-id!-setter "cannot set effective user ID" id) ) ) ) )
1278
1279(define current-group-id
1280  (getter-with-setter
1281   (foreign-lambda int "C_getgid")
1282   (lambda (id)
1283    (when (fx< (##core#inline "C_setgid" id) 0)
1284      (##sys#update-errno)
1285      (##sys#error 'set-user-id! "cannot set group ID" id) ) ) ) )
1286
1287(define current-effective-group-id
1288  (getter-with-setter 
1289   (foreign-lambda int "C_getegid")
1290   (lambda (id)
1291    (when (fx< (##core#inline "C_setegid" id) 0)
1292      (##sys#update-errno)
1293      (##sys#error 
1294         'effective-group-id!-setter "cannot set effective group ID" id) ) ) ) )
1295
1296(define-foreign-variable _user-name nonnull-c-string "C_user->pw_name")
1297(define-foreign-variable _user-passwd nonnull-c-string "C_user->pw_passwd")
1298(define-foreign-variable _user-uid int "C_user->pw_uid")
1299(define-foreign-variable _user-gid int "C_user->pw_gid")
1300(define-foreign-variable _user-gecos nonnull-c-string "C_user->pw_gecos")
1301(define-foreign-variable _user-dir c-string "C_user->pw_dir")
1302(define-foreign-variable _user-shell c-string "C_user->pw_shell")
1303
1304(define (user-information user #!optional as-vector)
1305  (let ([r (if (fixnum? user)
1306               (##core#inline "C_getpwuid" user)
1307               (begin
1308                 (##sys#check-string user 'user-information)
1309                 (##core#inline "C_getpwnam" (##sys#make-c-string user)) ) ) ] )
1310    (and r
1311         ((if as-vector vector list)
1312          _user-name
1313          _user-passwd
1314          _user-uid
1315          _user-gid
1316          _user-gecos
1317          _user-dir
1318          _user-shell) ) ) )
1319
1320(define (current-user-name)
1321  (list-ref (user-information (current-user-id)) 0) )
1322
1323(define (current-effective-user-name)
1324  (list-ref (user-information (current-effective-user-id)) 0) )
1325
1326(define-foreign-variable _group-name nonnull-c-string "C_group->gr_name")
1327(define-foreign-variable _group-passwd nonnull-c-string "C_group->gr_passwd")
1328(define-foreign-variable _group-gid int "C_group->gr_gid")
1329
1330(define group-member
1331  (foreign-lambda* c-string ([int i])
1332    "return(C_group->gr_mem[ i ]);") )
1333
1334(define (group-information group #!optional as-vector)
1335  (let ([r (if (fixnum? group)
1336               (##core#inline "C_getgrgid" group)
1337               (begin
1338                 (##sys#check-string group 'group-information)
1339                 (##core#inline "C_getgrnam" (##sys#make-c-string group)) ) ) ] )
1340    (and r
1341         ((if as-vector vector list)
1342          _group-name
1343          _group-passwd
1344          _group-gid
1345          (let loop ([i 0])
1346            (let ([n (group-member i)])
1347              (if n
1348                  (cons n (loop (fx+ i 1)))
1349                  '() ) ) ) ) ) ) )
1350
1351(define _get-groups
1352  (foreign-lambda* int ([int n])
1353    "return(getgroups(n, C_groups));") )
1354
1355(define _ensure-groups
1356  (foreign-lambda* bool ([int n])
1357    "if(C_groups != NULL) C_free(C_groups);"
1358    "C_groups = (gid_t *)C_malloc(sizeof(gid_t) * n);"
1359    "if(C_groups == NULL) return(0);"
1360    "else return(1);") )
1361
1362(define (get-groups)
1363  (let ([n (foreign-value "getgroups(0, C_groups)" int)])
1364    (when (fx< n 0)
1365      (##sys#update-errno)
1366      (##sys#error 'get-groups "cannot retrieve supplementary group ids") )
1367    (unless (_ensure-groups n)
1368      (##sys#error 'get-groups "out of memory") )
1369    (when (fx< (_get-groups n) 0)
1370      (##sys#update-errno)
1371      (##sys#error 'get-groups "cannot retrieve supplementary group ids") )
1372    (let loop ([i 0])
1373      (if (fx>= i n)
1374          '()
1375          (cons (##core#inline "C_get_gid" i) (loop (fx+ i 1))) ) ) ) )
1376
1377(define (set-groups! lst0)
1378  (unless (_ensure-groups (length lst0))
1379    (##sys#error 'set-groups! "out of memory") )
1380  (do ([lst lst0 (##sys#slot lst 1)]
1381       [i 0 (fx+ i 1)] )
1382      ((null? lst)
1383       (when (fx< (##core#inline "C_set_groups" i) 0)
1384       (##sys#update-errno)
1385       (##sys#error 'set-groups! "cannot set supplementary group ids" lst0) ) )
1386    (let ([n (##sys#slot lst 0)])
1387      (##sys#check-exact n 'set-groups!)
1388      (##core#inline "C_set_gid" i n) ) ) )
1389
1390(define initialize-groups
1391  (let ([init (foreign-lambda int "initgroups" c-string int)])
1392    (lambda (user id)
1393      (##sys#check-string user 'initialize-groups)
1394      (##sys#check-exact id 'initialize-groups)
1395      (when (fx< (init user id) 0)
1396      (##sys#update-errno)
1397      (##sys#error 'initialize-groups "cannot initialize supplementary group ids" user id) ) ) ) )
1398
1399
1400;;; More errno codes:
1401
1402(define-foreign-variable _errno int "errno")
1403
1404(define-foreign-variable _eperm int "EPERM")
1405(define-foreign-variable _enoent int "ENOENT")
1406(define-foreign-variable _esrch int "ESRCH")
1407(define-foreign-variable _eintr int "EINTR")
1408(define-foreign-variable _eio int "EIO")
1409(define-foreign-variable _efault int "EFAULT")
1410(define-foreign-variable _echild int "ECHILD")
1411(define-foreign-variable _enoexec int "ENOEXEC")
1412(define-foreign-variable _ebadf int "EBADF")
1413(define-foreign-variable _enomem int "ENOMEM")
1414(define-foreign-variable _eacces int "EACCES")
1415(define-foreign-variable _ebusy int "EBUSY")
1416(define-foreign-variable _eexist int "EEXIST")
1417(define-foreign-variable _enotdir int "ENOTDIR")
1418(define-foreign-variable _eisdir int "EISDIR")
1419(define-foreign-variable _einval int "EINVAL")
1420(define-foreign-variable _emfile int "EMFILE")
1421(define-foreign-variable _enospc int "ENOSPC")
1422(define-foreign-variable _espipe int "ESPIPE")
1423(define-foreign-variable _epipe int "EPIPE")
1424(define-foreign-variable _eagain int "EAGAIN")
1425(define-foreign-variable _erofs int "EROFS")
1426(define-foreign-variable _ewouldblock int "EWOULDBLOCK")
1427
1428(define errno/perm _eperm)
1429(define errno/noent _enoent)
1430(define errno/srch _esrch)
1431(define errno/intr _eintr)
1432(define errno/io _eio)
1433(define errno/noexec _enoexec)
1434(define errno/badf _ebadf)
1435(define errno/child _echild)
1436(define errno/nomem _enomem)
1437(define errno/acces _eacces)
1438(define errno/fault _efault)
1439(define errno/busy _ebusy)
1440(define errno/notdir _enotdir)
1441(define errno/isdir _eisdir)
1442(define errno/inval _einval)
1443(define errno/mfile _emfile)
1444(define errno/nospc _enospc)
1445(define errno/spipe _espipe)
1446(define errno/pipe _epipe)
1447(define errno/again _eagain)
1448(define errno/rofs _erofs)
1449(define errno/exist _eexist)
1450(define errno/wouldblock _ewouldblock)
1451
1452(define errno/2big 0)
1453(define errno/deadlk 0)
1454(define errno/dom 0)
1455(define errno/fbig 0)
1456(define errno/ilseq 0)
1457(define errno/mlink 0)
1458(define errno/nametoolong 0)
1459(define errno/nfile 0)
1460(define errno/nodev 0)
1461(define errno/nolck 0)
1462(define errno/nosys 0)
1463(define errno/notempty 0)
1464(define errno/notty 0)
1465(define errno/nxio 0)
1466(define errno/range 0)
1467(define errno/xdev 0)
1468
1469;;; Permissions and owners:
1470
1471(define change-file-mode
1472  (lambda (fname m)
1473    (##sys#check-string fname 'change-file-mode)
1474    (##sys#check-exact m 'change-file-mode)
1475    (when (fx< (##core#inline "C_chmod" (##sys#make-c-string (##sys#expand-home-path fname)) m) 0)
1476      (posix-error #:file-error 'change-file-mode "cannot change file mode" fname m) ) ) )
1477
1478(define change-file-owner
1479  (lambda (fn uid gid)
1480    (##sys#check-string fn 'change-file-owner)
1481    (##sys#check-exact uid 'change-file-owner)
1482    (##sys#check-exact gid 'change-file-owner)
1483    (when (fx< (##core#inline "C_chown" (##sys#make-c-string (##sys#expand-home-path fn)) uid gid) 0)
1484      (posix-error #:file-error 'change-file-owner "cannot change file owner" fn uid gid) ) ) )
1485
1486(define-foreign-variable _r_ok int "R_OK")
1487(define-foreign-variable _w_ok int "W_OK")
1488(define-foreign-variable _x_ok int "X_OK")
1489
1490(let ()
1491  (define (check filename acc loc)
1492    (##sys#check-string filename loc)
1493    (let ([r (fx= 0 (##core#inline "C_access" (##sys#make-c-string (##sys#expand-home-path filename)) acc))])
1494      (unless r (##sys#update-errno))
1495      r) )
1496  (set! file-read-access? (lambda (filename) (check filename _r_ok 'file-read-access?)))
1497  (set! file-write-access? (lambda (filename) (check filename _w_ok 'file-write-access?)))
1498  (set! file-execute-access? (lambda (filename) (check filename _x_ok 'file-execute-access?))) )
1499
1500(define (create-session)
1501  (let ([a (##core#inline "C_setsid" #f)])
1502    (when (fx< a 0)
1503      (##sys#update-errno)
1504      (##sys#error 'create-session "cannot create session") )
1505    a) )
1506
1507(define process-group-id
1508  (getter-with-setter
1509   (lambda (pid)
1510     (##sys#check-exact pid 'process-group-id)
1511     (let ([a (##core#inline "C_getpgid" pid)])
1512       (when (fx< a 0)
1513         (##sys#update-errno)
1514         (##sys#error 'process-group-id "cannot retrieve process group ID" pid) )
1515       a))
1516   (lambda (pid pgid)
1517     (##sys#check-exact pid 'set-process-group-id!)
1518     (##sys#check-exact pgid 'set-process-group-id!)
1519     (when (fx< (##core#inline "C_setpgid" pid pgid) 0)
1520       (##sys#update-errno)
1521       (##sys#error 'set-process-group-id! "cannot set process group ID" pid pgid) ) ) ) )
1522
1523
1524;;; Hard and symbolic links:
1525
1526(define create-symbolic-link
1527  (lambda (old new)
1528    (##sys#check-string old 'create-symbolic-link)
1529    (##sys#check-string new 'create-symbolic-link)
1530    (when (fx< (##core#inline
1531              "C_symlink"
1532              (##sys#make-c-string (##sys#expand-home-path old))
1533              (##sys#make-c-string (##sys#expand-home-path new)) )
1534             0)
1535      (posix-error #:file-error 'create-symbol-link "cannot create symbolic link" old new) ) ) )
1536
1537(define-foreign-variable _filename_max int "FILENAME_MAX")
1538
1539(define read-symbolic-link
1540  (let ([substring substring]
1541        [buf (make-string (fx+ _filename_max 1))] )
1542    (lambda (fname #!optional canonicalize)
1543      (##sys#check-string fname 'read-symbolic-link)
1544      (let ([len (##core#inline "C_readlink" (##sys#make-c-string (##sys#expand-home-path fname)) buf)])
1545      (when (fx< len 0)
1546        (posix-error #:file-error 'read-symbolic-link "cannot read symbolic link" fname) )
1547      (let ((pathname (substring buf 0 len)))
1548        (if (and canonicalize (symbolic-link? pathname))
1549            (read-symbolic-link pathname 'canonicalize)
1550            pathname ) ) ) ) ) )
1551
1552(define file-link
1553  (let ([link (foreign-lambda int "link" c-string c-string)])
1554    (lambda (old new)
1555      (##sys#check-string old 'file-link)
1556      (##sys#check-string new 'file-link)
1557      (when (fx< (link old new) 0)
1558      (posix-error #:file-error 'hard-link "could not create hard link" old new) ) ) ) )
1559
1560
1561;;; Using file-descriptors:
1562
1563(define-foreign-variable _stdin_fileno int "STDIN_FILENO")
1564(define-foreign-variable _stdout_fileno int "STDOUT_FILENO")
1565(define-foreign-variable _stderr_fileno int "STDERR_FILENO")
1566
1567(define fileno/stdin _stdin_fileno)
1568(define fileno/stdout _stdout_fileno)
1569(define fileno/stderr _stderr_fileno)
1570
1571(let ()
1572  (define (mode inp m)
1573    (##sys#make-c-string
1574     (cond [(pair? m)
1575            (let ([m (car m)])
1576              (case m
1577                [(###append) (if (not inp) "a" (##sys#error "invalid mode for input file" m))]
1578                [else (##sys#error "invalid mode argument" m)] ) ) ]
1579           [inp "r"]
1580           [else "w"] ) ) )
1581  (define (check loc fd inp r)
1582    (if (##sys#null-pointer? r)
1583        (posix-error #:file-error loc "cannot open file" fd)
1584        (let ([port (##sys#make-port inp ##sys#stream-port-class "(fdport)" 'stream)])
1585          (##core#inline "C_set_file_ptr" port r)
1586          port) ) )
1587  (set! open-input-file*
1588    (lambda (fd . m)
1589      (##sys#check-exact fd 'open-input-file*)
1590      (check 'open-input-file* fd #t (##core#inline_allocate ("C_fdopen" 2) fd (mode #t m))) ) )
1591  (set! open-output-file*
1592    (lambda (fd . m)
1593      (##sys#check-exact fd 'open-output-file*)
1594      (check 'open-output-file* fd #f (##core#inline_allocate ("C_fdopen" 2) fd (mode #f m)) ) ) ) )
1595
1596(define port->fileno
1597  (lambda (port)
1598    (##sys#check-port port 'port->fileno)
1599    (cond [(eq? 'socket (##sys#slot port 7)) (##sys#tcp-port->fileno port)]
1600          [(not (zero? (##sys#peek-unsigned-integer port 0)))
1601           (let ([fd (##core#inline "C_C_fileno" port)])
1602             (when (fx< fd 0)
1603               (posix-error #:file-error 'port->fileno "cannot access file-descriptor of port" port) )
1604             fd) ]
1605          [else (posix-error #:type-error 'port->fileno "port has no attached file" port)] ) ) )
1606
1607(define duplicate-fileno
1608  (lambda (old . new)
1609    (##sys#check-exact old duplicate-fileno)
1610    (let ([fd (if (null? new)
1611                  (##core#inline "C_dup" old)
1612                  (let ([n (car new)])
1613                    (##sys#check-exact n 'duplicate-fileno)
1614                    (##core#inline "C_dup2" old n) ) ) ] )
1615      (when (fx< fd 0)
1616        (posix-error #:file-error 'duplicate-fileno "cannot duplicate file-descriptor" old) )
1617      fd) ) )
1618
1619(define ##sys#custom-input-port
1620  (let ([make-input-port make-input-port]
1621        [set-port-name! set-port-name!] )
1622    (lambda (loc nam fd #!optional (nonblocking? #f) (bufi 1) (on-close noop) (more? #f))
1623      (when nonblocking? (##sys#file-nonblocking! fd) )
1624      (let ([bufsiz (if (fixnum? bufi) bufi (##sys#size bufi))]
1625            [buf (if (fixnum? bufi) (##sys#make-string bufi) bufi)]
1626            [buflen 0]
1627            [bufpos 0] )
1628        (let (
1629            [ready?
1630              (lambda ()
1631                (let ((res (##sys#file-select-one fd)))
1632                  (if (fx= -1 res)
1633                      (if (fx= _errno _ewouldblock)
1634                          #f
1635                          (posix-error #:file-error loc "cannot select" fd nam))
1636                      (fx= 1 res))))]
1637            [peek
1638              (lambda ()
1639                (if (fx>= bufpos buflen)
1640                    #!eof
1641                    (##core#inline "C_subchar" buf bufpos)) )]
1642            [fetch
1643              (lambda ()
1644                (when (fx>= bufpos buflen)
1645                  (let loop ()
1646                    (let ([cnt (##core#inline "C_read" fd buf bufsiz)])
1647                      (cond [(fx= cnt -1)
1648                              (if (fx= _errno _ewouldblock)
1649                                  (begin
1650                                    (##sys#thread-block-for-i/o! ##sys#current-thread fd #t)
1651                                    (##sys#thread-yield!)
1652                                    (loop) )
1653                                  (posix-error #:file-error loc "cannot read" fd nam) )]
1654                            [(and more? (fx= cnt 0))
1655                              ; When "more" keep trying, otherwise read once more
1656                              ; to guard against race conditions
1657                              (if (more?)
1658                                  (begin
1659                                    (##sys#thread-yield!)
1660                                    (loop) )
1661                                  (let ([cnt (##core#inline "C_read" fd buf bufsiz)])
1662                                    (when (fx= cnt -1)
1663                                      (if (fx= _errno _ewouldblock)
1664                                          (set! cnt 0)
1665                                          (posix-error #:file-error loc "cannot read" fd nam) ) )
1666                                    (set! buflen cnt)
1667                                    (set! bufpos 0) ) )]
1668                            [else
1669                              (set! buflen cnt)
1670                              (set! bufpos 0)]) ) ) ) )] )
1671          (letrec (
1672              [this-port
1673                (make-input-port
1674                  (lambda ()                    ; read-char
1675                    (fetch)
1676                    (let ([ch (peek)])
1677                      #; ; Allow increment since overflow is far, far away
1678                      (unless (eof-object? ch) (set! bufpos (fx+ bufpos 1)))
1679                      (set! bufpos (fx+ bufpos 1))
1680                      ch ) )
1681                  (lambda ()                    ; char-ready?
1682                    (or (fx< bufpos buflen)
1683                        (ready?)) )
1684                  (lambda ()                    ; close
1685                    ; Do nothing when closed already
1686                    (unless (##sys#slot this-port 8)
1687                      (when (fx< (##core#inline "C_close" fd) 0)
1688                        (posix-error #:file-error loc "cannot close" fd nam) )
1689                      (on-close) ) )
1690                  (lambda ()                    ; peek-char
1691                    (fetch)
1692                    (peek) )
1693                  (lambda (port n dest start)   ; read-string!
1694                    (let loop ([n (or n (fx- (##sys#size dest) start))] [m 0] [start start])
1695                      (cond [(eq? 0 n) m]
1696                            [(fx< bufpos buflen)
1697                              (let* ([rest (fx- buflen bufpos)]
1698                                     [n2 (if (fx< n rest) n rest)])
1699                                (##core#inline "C_substring_copy" buf dest bufpos (fx+ bufpos n2) start)
1700                                (set! bufpos (fx+ bufpos n2))
1701                                (loop (fx- n n2) (fx+ m n2) (fx+ start n2)) ) ]
1702                            [else
1703                              (fetch)
1704                              (if (eq? 0 buflen) 
1705                                  m
1706                                  (loop n m start) ) ] ) ) )
1707                  (lambda (port limit)          ; read-line
1708                    (let loop ([str #f])
1709                      (let ([bumper
1710                             (lambda (cur ptr)
1711                               (let* ([cnt (fx- cur bufpos)]
1712                                      [dest
1713                                       (if (eq? 0 cnt)
1714                                           (or str "")
1715                                           (let ([dest (##sys#make-string cnt)])
1716                                             (##core#inline "C_substring_copy"
1717                                              buf dest bufpos cur 0)
1718                                             (##sys#setislot port 5
1719                                              (fx+ (##sys#slot port 5) cnt))
1720                                             (if str
1721                                                 (##sys#string-append str dest)
1722                                                 dest ) ) ) ] )
1723                                 (set! bufpos ptr)
1724                                 (cond [(eq? cur ptr)   ; no EOL encountered
1725                                         (fetch)
1726                                         (values dest (fx< bufpos buflen)) ]
1727                                        [else           ; at EOL
1728                                          (##sys#setislot port 4 (fx+ (##sys#slot port 4) 1))
1729                                          (##sys#setislot port 5 0)
1730                                          (values dest #f) ] ) ) ) ] )
1731                        (cond [(fx< bufpos buflen)
1732                                (let-values ([(dest cont?)
1733                                              (##sys#scan-buffer-line buf buflen bufpos bumper)])
1734                                  (if cont?
1735                                      (loop dest)
1736                                      dest ) ) ]
1737                              [else
1738                                (fetch)
1739                                (if (fx< bufpos buflen)
1740                                    (loop str)
1741                                    #!eof) ] ) ) ) ) ) ] )
1742            (set-port-name! this-port nam)
1743            this-port ) ) ) ) ) )
1744
1745(define ##sys#custom-output-port
1746  (let ([make-output-port make-output-port]
1747        [set-port-name! set-port-name!] )
1748    (lambda (loc nam fd #!optional (nonblocking? #f) (bufi 0) (on-close noop))
1749      (when nonblocking? (##sys#file-nonblocking! fd) )
1750      (letrec (
1751          [poke
1752            (lambda (str len)
1753              (let ([cnt (##core#inline "C_write" fd str len)])
1754                (cond [(fx= -1 cnt)
1755                        (if (fx= _errno _ewouldblock)
1756                            (begin
1757                              (##sys#thread-yield!)
1758                              (poke str len) )
1759                            (posix-error loc #:file-error "cannot write" fd nam) ) ]
1760                      [(fx< cnt len)
1761                        (poke (##sys#substring str cnt len) (fx- len cnt)) ] ) ) )]
1762          [store
1763            (let ([bufsiz (if (fixnum? bufi) bufi (##sys#size bufi))])
1764              (if (fx= 0 bufsiz)
1765                  (lambda (str)
1766                    (when str
1767                      (poke str (##sys#size str)) ) )
1768                  (let ([buf (if (fixnum? bufi) (##sys#make-string bufi) bufi)]
1769                        [bufpos 0])
1770                    (lambda (str)
1771                      (if str
1772                          (let loop ([rem (fx- bufsiz bufpos)] [start 0] [len (##sys#size str)])
1773                            (cond [(fx= 0 rem)
1774                                    (poke buf bufsiz)
1775                                    (set! bufpos 0)
1776                                    (loop bufsiz 0 len)]
1777                                  [(fx< rem len)
1778                                    (##core#inline "C_substring_copy" str buf start rem bufpos)
1779                                    (loop 0 rem (fx- len rem))]
1780                                  [else
1781                                    (##core#inline "C_substring_copy" str buf start len bufpos)
1782                                    (set! bufpos (fx+ bufpos len))] ) )
1783                          (when (fx< 0 bufpos)
1784                            (poke buf bufpos) ) ) ) ) ) )])
1785        (letrec (
1786            [this-port
1787              (make-output-port
1788                (lambda (str)           ; write-string
1789                  (store str) )
1790                (lambda ()              ; close
1791                  ; Do nothing when closed already
1792                  (unless (##sys#slot this-port 8)
1793                    (when (fx< (##core#inline "C_close" fd) 0)
1794                      (posix-error #:file-error loc "cannot close" fd nam) )
1795                    (on-close) ) )
1796                (lambda ()              ; flush
1797                  (store #f) ) )] )
1798          (set-port-name! this-port nam)
1799          this-port ) ) ) ) )
1800
1801
1802;;; Other file operations:
1803
1804(define file-truncate
1805  (lambda (fname off)
1806    (##sys#check-number off 'file-truncate)
1807    (when (fx< (cond [(string? fname) (##core#inline "C_truncate" (##sys#make-c-string (##sys#expand-home-path fname)) off)]
1808                     [(fixnum? fname) (##core#inline "C_ftruncate" fname off)]
1809                     [else (##sys#error 'file-truncate "invalid file" fname)] )
1810               0)
1811      (posix-error #:file-error 'file-truncate "cannot truncate file" fname off) ) ) )
1812
1813
1814;;; Record locking:
1815
1816(define-foreign-variable _f_wrlck int "F_WRLCK")
1817(define-foreign-variable _f_rdlck int "F_RDLCK")
1818(define-foreign-variable _f_unlck int "F_UNLCK")
1819
1820(let ()
1821  (define (setup port args loc)
1822    (let-optionals* args ([start 0]
1823                          [len #t] )
1824      (##sys#check-port port loc)
1825      (##sys#check-number start loc)
1826      (if (eq? #t len)
1827          (set! len 0)
1828          (##sys#check-number len loc) )
1829      (##core#inline "C_flock_setup" (if (##sys#slot port 1) _f_rdlck _f_wrlck) start len)
1830      (##sys#make-structure 'lock port start len) ) )
1831  (define (err msg lock loc)
1832    (posix-error #:file-error loc msg (##sys#slot lock 1) (##sys#slot lock 2) (##sys#slot lock 3)) )
1833  (set! file-lock
1834    (lambda (port . args)
1835      (let ([lock (setup port args 'file-lock)])
1836        (if (fx< (##core#inline "C_flock_lock" port) 0)
1837            (err "cannot lock file" lock 'file-lock)
1838            lock) ) ) )
1839  (set! file-lock/blocking
1840    (lambda (port . args)
1841      (let ([lock (setup port args 'file-lock/blocking)])
1842        (if (fx< (##core#inline "C_flock_lockw" port) 0)
1843            (err "cannot lock file" lock 'file-lock/blocking)
1844            lock) ) ) )
1845  (set! file-test-lock
1846    (lambda (port . args)
1847      (let ([lock (setup port args 'file-test-lock)])
1848        (cond [(##core#inline "C_flock_test" port) => (lambda (c) (and (not (fx= c 0)) c))]
1849              [else (err "cannot unlock file" lock 'file-test-lock)] ) ) ) ) )
1850
1851(define file-unlock
1852  (lambda (lock)
1853    (##sys#check-structure lock 'lock 'file-unlock)
1854    (##core#inline "C_flock_setup" _f_unlck (##sys#slot lock 2) (##sys#slot lock 3))
1855    (when (fx< (##core#inline "C_flock_lock" (##sys#slot lock 1)) 0)
1856      (posix-error #:file-error 'file-unlock "cannot unlock file" lock) ) ) )
1857
1858
1859;;; FIFOs:
1860
1861(define create-fifo
1862  (lambda (fname . mode)
1863    (##sys#check-string fname 'create-fifo)
1864    (let ([mode (if (pair? mode) (car mode) (fxior _s_irwxu (fxior _s_irwxg _s_irwxo)))])
1865      (##sys#check-exact mode 'create-fifo)
1866      (when (fx< (##core#inline "C_mkfifo" (##sys#make-c-string (##sys#expand-home-path fname)) mode) 0)
1867      (posix-error #:file-error 'create-fifo "cannot create FIFO" fname mode) ) ) ) )
1868
1869(define fifo?
1870  (lambda (filename)
1871    (##sys#check-string filename 'fifo?)
1872    (let ([v (##sys#file-info (##sys#expand-home-path filename))])
1873      (if v
1874          (fx= 3 (##sys#slot v 4))
1875          (posix-error #:file-error 'fifo? "file does not exist" filename) ) ) ) )
1876
1877
1878;;; Environment access:
1879
1880(define setenv
1881  (lambda (var val)
1882    (##sys#check-string var 'setenv)
1883    (##sys#check-string val 'setenv)
1884    (##core#inline "C_setenv" (##sys#make-c-string var) (##sys#make-c-string val))
1885    (##core#undefined) ) )
1886
1887(define (unsetenv var)
1888  (##sys#check-string var 'unsetenv)
1889  (##core#inline "C_unsetenv" (##sys#make-c-string var))
1890  (##core#undefined) )
1891
1892(define get-environment-variables
1893  (let ([get (foreign-lambda c-string "C_getenventry" int)])
1894    (lambda ()
1895      (let loop ([i 0])
1896        (let ([entry (get i)])
1897          (if entry
1898              (let scan ([j 0])
1899                (if (char=? #\= (##core#inline "C_subchar" entry j))
1900                    (cons (cons (##sys#substring entry 0 j)
1901                                (##sys#substring entry (fx+ j 1) (##sys#size entry)))
1902                          (loop (fx+ i 1)))
1903                    (scan (fx+ j 1)) ) )
1904              '() ) ) ) ) ) )
1905
1906(define current-environment get-environment-variables) ; DEPRECATED
1907
1908
1909;;; Memory mapped I/O:
1910
1911(define-foreign-variable _prot_read int "PROT_READ")
1912(define-foreign-variable _prot_write int "PROT_WRITE")
1913(define-foreign-variable _prot_exec int "PROT_EXEC")
1914(define-foreign-variable _prot_none int "PROT_NONE")
1915
1916(define prot/read _prot_read)
1917(define prot/write _prot_write)
1918(define prot/exec _prot_exec)
1919(define prot/none _prot_none)
1920
1921(define-foreign-variable _map_fixed int "MAP_FIXED")
1922(define-foreign-variable _map_shared int "MAP_SHARED")
1923(define-foreign-variable _map_private int "MAP_PRIVATE")
1924(define-foreign-variable _map_anonymous int "MAP_ANON")
1925(define-foreign-variable _map_file int "MAP_FILE")
1926
1927(define map/fixed _map_fixed)
1928(define map/shared _map_shared)
1929(define map/private _map_private)
1930(define map/anonymous _map_anonymous)
1931(define map/file _map_file)
1932
1933(define map-file-to-memory
1934  (let ([mmap (foreign-lambda c-pointer "mmap" c-pointer integer int int int integer)] )
1935    (lambda (addr len prot flag fd . off)
1936      (let ([addr (if (not addr) (##sys#null-pointer) addr)]
1937            [off (if (pair? off) (car off) 0)] )
1938        (unless (and (##core#inline "C_blockp" addr) (##core#inline "C_specialp" addr))
1939                (##sys#signal-hook #:type-error 'map-file-to-memory "bad argument type - not a foreign pointer" addr) )
1940        (let ([addr2 (mmap addr len prot flag fd off)])
1941          (when (eq? -1 (##sys#pointer->address addr2))
1942                (posix-error #:file-error 'map-file-to-memory "cannot map file to memory" addr len prot flag fd off) )
1943          (##sys#make-structure 'mmap addr2 len) ) ) ) ) )
1944
1945(define unmap-file-from-memory
1946  (let ([munmap (foreign-lambda int "munmap" c-pointer integer)] )
1947    (lambda (mmap . len)
1948      (##sys#check-structure mmap 'mmap 'unmap-file-from-memory)
1949      (let ([len (if (pair? len) (car len) (##sys#slot mmap 2))])
1950        (unless (eq? 0 (munmap (##sys#slot mmap 1) len))
1951                (posix-error #:file-error 'unmap-file-from-memory "cannot unmap file from memory" mmap len) ) ) ) ) )
1952
1953(define (memory-mapped-file-pointer mmap)
1954  (##sys#check-structure mmap 'mmap 'memory-mapped-file-pointer)
1955  (##sys#slot mmap 1) )
1956
1957(define (memory-mapped-file? x)
1958  (##sys#structure? x 'mmap) )
1959
1960;;; Time related things:
1961
1962(define (check-time-vector loc tm)
1963  (##sys#check-vector tm loc)
1964  (when (fx< (##sys#size tm) 10)
1965    (##sys#error loc "time vector too short" tm) ) )
1966
1967(define (seconds->local-time secs)
1968  (##sys#check-number secs 'seconds->local-time)
1969  (##sys#decode-seconds secs #f) )
1970
1971(define (seconds->utc-time secs)
1972  (##sys#check-number secs 'seconds->utc-time)
1973  (##sys#decode-seconds secs #t) )
1974
1975(define seconds->string
1976  (let ([ctime (foreign-lambda c-string "C_ctime" integer)])
1977    (lambda (secs)
1978      (##sys#check-number secs 'seconds->string)
1979      (let ([str (ctime secs)])
1980        (if str
1981            (##sys#substring str 0 (fx- (##sys#size str) 1))
1982            (##sys#error 'seconds->string "cannot convert seconds to string" secs) ) ) ) ) )
1983
1984(define time->string
1985  (let ([asctime (foreign-lambda c-string "C_asctime" scheme-object)]
1986        [strftime (foreign-lambda c-string "C_strftime" scheme-object scheme-object)])
1987    (lambda (tm #!optional fmt)
1988      (check-time-vector 'time->string tm)
1989      (if fmt
1990          (begin
1991            (##sys#check-string fmt 'time->string)
1992            (or (strftime tm (##sys#make-c-string fmt))
1993                (##sys#error 'time->string "time formatting overflows buffer" tm)) )
1994          (let ([str (asctime tm)])
1995            (if str
1996                (##sys#substring str 0 (fx- (##sys#size str) 1))
1997                (##sys#error 'time->string "cannot convert time vector to string" tm) ) ) ) ) ) )
1998
1999(define string->time
2000  (let ([strptime (foreign-lambda scheme-object "C_strptime" scheme-object scheme-object scheme-object)])
2001    (lambda (tim #!optional (fmt "%a %b %e %H:%M:%S %Z %Y"))
2002      (##sys#check-string tim 'string->time)
2003      (##sys#check-string fmt 'string->time)
2004      (strptime (##sys#make-c-string tim) (##sys#make-c-string fmt) (make-vector 10 #f)) ) ) )
2005
2006(define (local-time->seconds tm)
2007  (check-time-vector 'local-time->seconds tm)
2008  (if (##core#inline "C_mktime" tm)
2009      (##sys#cons-flonum)
2010      (##sys#error 'local-time->seconds "cannot convert time vector to seconds" tm) ) )
2011
2012(define (utc-time->seconds tm)
2013  (check-time-vector 'utc-time->seconds tm)
2014  (if (##core#inline "C_timegm" tm)
2015      (##sys#cons-flonum)
2016      (##sys#error 'utc-time->seconds "cannot convert time vector to seconds" tm) ) )
2017
2018(define local-timezone-abbreviation
2019  (foreign-lambda* c-string ()
2020   "\n#if !defined(__CYGWIN__) && !defined(__SVR4) && !defined(__uClinux__) && !defined(__hpux__)\n"
2021   "time_t clock = time(NULL);"
2022   "struct tm *ltm = C_localtime(&clock);"
2023   "char *z = ltm ? (char *)ltm->tm_zone : 0;"
2024   "\n#else\n"
2025   "char *z = (daylight ? tzname[1] : tzname[0]);"
2026   "\n#endif\n"
2027   "return(z);") )
2028
2029;;; Other things:
2030
2031(define _exit
2032  (let ([ex0 (foreign-lambda void "_exit" int)])
2033    (lambda code
2034      (ex0 (if (pair? code) (car code) 0)) ) ) )
2035
2036(define set-alarm! (foreign-lambda int "C_alarm" int))
2037
2038(define-foreign-variable _iofbf int "_IOFBF")
2039(define-foreign-variable _iolbf int "_IOLBF")
2040(define-foreign-variable _ionbf int "_IONBF")
2041(define-foreign-variable _bufsiz int "BUFSIZ")
2042
2043(define set-buffering-mode!
2044    (lambda (port mode . size)
2045      (##sys#check-port port 'set-buffering-mode!)
2046      (let ([size (if (pair? size) (car size) _bufsiz)]
2047            [mode (case mode
2048                    [(###full) _iofbf]
2049                    [(###line) _iolbf]
2050                    [(###none) _ionbf]
2051                    [else (##sys#error 'set-buffering-mode! "invalid buffering-mode" mode port)] ) ] )
2052        (##sys#check-exact size 'set-buffering-mode!)
2053        (when (fx< (if (eq? 'stream (##sys#slot port 7))
2054                       (##core#inline "C_setvbuf" port mode size)
2055                       -1)
2056                   0)
2057          (##sys#error 'set-buffering-mode! "cannot set buffering mode" port mode size) ) ) ) )
2058
2059(define (terminal-port? port)
2060  (##sys#check-port port 'terminal-port?)
2061  (let ([fp (##sys#peek-unsigned-integer port 0)])
2062    (and (not (eq? 0 fp)) (##core#inline "C_tty_portp" port) ) ) )
2063
2064(define (##sys#terminal-check caller port)
2065  (##sys#check-port port caller)
2066  (unless (and (eq? 'stream (##sys#slot port 7))
2067               (##core#inline "C_tty_portp" port))
2068          (##sys#error caller "port is not connected to a terminal" port)))
2069
2070(define terminal-name
2071  (let ([ttyname (foreign-lambda nonnull-c-string "ttyname" int)] )
2072    (lambda (port)
2073      (##sys#terminal-check 'terminal-name port)
2074      (ttyname (##core#inline "C_C_fileno" port) ) ) ) )
2075
2076(define terminal-size
2077  (let ((ttysize (foreign-lambda int "get_tty_size" int
2078                                 (nonnull-c-pointer int)
2079                                 (nonnull-c-pointer int))))
2080    (lambda (port)
2081      (##sys#terminal-check 'terminal-size port)
2082      (let-location ((columns int)
2083                     (rows int))
2084                    (if (fx= 0
2085                             (ttysize (##core#inline "C_C_fileno" port)
2086                                      (location columns)
2087                                      (location rows)))
2088                        (values columns rows)
2089                        (posix-error #:error 'terminal-size
2090                                     "Unable to get size of terminal" port))))))
2091 
2092(define get-host-name
2093  (let ([getit
2094       (foreign-lambda* c-string ()
2095         "if(gethostname(C_hostbuf, 256) == -1) return(NULL);"
2096         "else return(C_hostbuf);") ] )
2097    (lambda ()
2098      (let ([host (getit)])
2099        (unless host
2100          (posix-error #:error 'get-host-name "cannot retrieve host-name") )
2101        host) ) ) )
2102
2103
2104;;; Filename globbing:
2105
2106(define glob
2107  (let ([regexp regexp]
2108        [string-match string-match]
2109        [glob->regexp glob->regexp]
2110        [directory directory]
2111        [make-pathname make-pathname]
2112        [decompose-pathname decompose-pathname] )
2113    (lambda paths
2114      (let conc-loop ([paths paths])
2115        (if (null? paths)
2116            '()
2117            (let ([path (car paths)])
2118              (let-values ([(dir fil ext) (decompose-pathname path)])
2119                (let* ([patt (glob->regexp (make-pathname #f (or fil "*") ext))]
2120                       [rx (regexp patt)])
2121                  (let loop ([fns (directory (or dir ".") #t)])
2122                    (cond [(null? fns) (conc-loop (cdr paths))]
2123                          [(string-match rx (car fns))
2124                           => (lambda (m) (cons (make-pathname dir (car m)) (loop (cdr fns)))) ]
2125                          [else (loop (cdr fns))] ) ) ) ) ) ) ) ) ) )
2126
2127
2128;;; Process handling:
2129
2130(define process-fork
2131  (let ([fork (foreign-lambda int "C_fork")])
2132    (lambda thunk
2133      (let ([pid (fork)])
2134      (cond [(fx= -1 pid) (posix-error #:process-error 'process-fork "cannot create child process")]
2135            [(and (pair? thunk) (fx= pid 0))
2136             ((car thunk))
2137             ((foreign-lambda void "_exit" int) 0) ]
2138            [else pid] ) ) ) ) )
2139
2140(define process-execute
2141  (let ([setarg (foreign-lambda void "C_set_exec_arg" int scheme-pointer int)]
2142        [freeargs (foreign-lambda void "C_free_exec_args")]
2143        [setenv (foreign-lambda void "C_set_exec_env" int scheme-pointer int)]
2144        [freeenv (foreign-lambda void "C_free_exec_env")]
2145        [pathname-strip-directory pathname-strip-directory] )
2146    (lambda (filename #!optional (arglist '()) envlist)
2147      (##sys#check-string filename 'process-execute)
2148      (##sys#check-list arglist 'process-execute)
2149      (let ([s (pathname-strip-directory filename)])
2150        (setarg 0 s (##sys#size s)) )
2151      (do ([al arglist (cdr al)]
2152           [i 1 (fx+ i 1)] )
2153          ((null? al)
2154           (setarg i #f 0)
2155           (when envlist
2156             (##sys#check-list envlist 'process-execute)
2157             (do ([el envlist (cdr el)]
2158                  [i 0 (fx+ i 1)] )
2159                 ((null? el) (setenv i #f 0))
2160               (let ([s (car el)])
2161                 (##sys#check-string s 'process-execute)
2162                 (setenv i s (##sys#size s)) ) ) )
2163           (let* ([prg (##sys#make-c-string (##sys#expand-home-path filename))]
2164                  [r (if envlist
2165                         (##core#inline "C_execve" prg)
2166                         (##core#inline "C_execvp" prg) )] )
2167             (when (fx= r -1)
2168               (freeargs)
2169               (freeenv)
2170               (posix-error #:process-error 'process-execute "cannot execute process" filename) ) ) )
2171        (let ([s (car al)])
2172          (##sys#check-string s 'process-execute)
2173          (setarg i s (##sys#size s)) ) ) ) ) )
2174
2175(define-foreign-variable _wnohang int "WNOHANG")
2176(define-foreign-variable _wait-status int "C_wait_status")
2177
2178(define (##sys#process-wait pid nohang)
2179  (let* ([res (##core#inline "C_waitpid" pid (if nohang _wnohang 0))]
2180         [norm (##core#inline "C_WIFEXITED" _wait-status)] )
2181    (values
2182      res
2183      norm
2184      (cond [norm (##core#inline "C_WEXITSTATUS" _wait-status)]
2185            [(##core#inline "C_WIFSIGNALED" _wait-status)
2186              (##core#inline "C_WTERMSIG" _wait-status)]
2187            [else (##core#inline "C_WSTOPSIG" _wait-status)] ) ) ) )
2188
2189(define process-wait
2190  (lambda args
2191    (let-optionals* args ([pid #f] [nohang #f])
2192      (let ([pid (or pid -1)])
2193        (##sys#check-exact pid 'process-wait)
2194        (receive [epid enorm ecode] (##sys#process-wait pid nohang)
2195          (if (fx= epid -1)
2196              (posix-error #:process-error 'process-wait "waiting for child process failed" pid)
2197              (values epid enorm ecode) ) ) ) ) ) )
2198
2199(define current-process-id (foreign-lambda int "C_getpid"))
2200(define parent-process-id (foreign-lambda int "C_getppid"))
2201
2202(define sleep (foreign-lambda int "C_sleep" int))
2203
2204(define process-signal
2205  (lambda (id . sig)
2206    (let ([sig (if (pair? sig) (car sig) _sigterm)])
2207      (##sys#check-exact id 'process-signal)
2208      (##sys#check-exact sig 'process-signal)
2209      (let ([r (##core#inline "C_kill" id sig)])
2210      (when (fx= r -1) (posix-error #:process-error 'process-signal "could not send signal to process" id sig) ) ) ) ) )
2211
2212(define (##sys#shell-command)
2213  (or (get-environment-variable "SHELL") "/bin/sh") )
2214
2215(define (##sys#shell-command-arguments cmdlin)
2216  (list "-c" cmdlin) )
2217
2218(define process-run
2219  (let ([process-fork process-fork]
2220        [process-execute process-execute])
2221    (lambda (f . args)
2222      (let ([args (if (pair? args) (car args) #f)]
2223            [pid (process-fork)] )
2224        (cond [(not (eq? 0 pid)) pid]
2225              [args (process-execute f args)]
2226              [else
2227               (process-execute (##sys#shell-command) (##sys#shell-command-arguments f)) ] ) ) ) ) )
2228
2229;;; Run subprocess connected with pipes:
2230
2231;; ##sys#process
2232; loc            caller procedure symbol
2233; cmd            pathname or commandline
2234; args           string-list or '()
2235; env            string-list or #f
2236; stdoutf        #f then share, or #t then create
2237; stdinf         #f then share, or #t then create
2238; stderrf        #f then share, or #t then create
2239;
2240; (values stdin-input-port? stdout-output-port? pid stderr-input-port?)
2241; where stdin-input-port?, etc. is a port or #f, indicating no port created.
2242
2243(define-constant DEFAULT-INPUT-BUFFER-SIZE 256)
2244(define-constant DEFAULT-OUTPUT-BUFFER-SIZE 0)
2245
2246;FIXME process-execute, process-fork don't show parent caller
2247
2248(define ##sys#process
2249  (let (
2250      [create-pipe create-pipe]
2251      [process-wait process-wait]
2252      [process-fork process-fork]
2253      [process-execute process-execute]
2254      [duplicate-fileno duplicate-fileno]
2255      [file-close file-close]
2256      [replace-fd
2257        (lambda (loc fd stdfd)
2258          (unless (fx= stdfd fd)
2259            (duplicate-fileno fd stdfd)
2260            (file-close fd) ) )] )
2261    (let (
2262        [make-on-close
2263          (lambda (loc pid clsvec idx idxa idxb)
2264            (lambda ()
2265              (vector-set! clsvec idx #t)
2266              (when (and (vector-ref clsvec idxa) (vector-ref clsvec idxb))
2267                (receive [_ flg cod] (process-wait pid)
2268                  (unless flg
2269                    (##sys#signal-hook #:process-error loc
2270                      "abnormal process exit" pid cod)) ) ) ) )]
2271        [needed-pipe
2272          (lambda (loc port)
2273            (and port
2274                 (receive [i o] (create-pipe) (cons i o))) )]
2275        [connect-parent
2276          (lambda (loc pipe port fd)
2277            (and port
2278                 (let ([usefd (car pipe)] [clsfd (cdr pipe)])
2279                   (file-close clsfd)
2280                   usefd) ) )]
2281        [connect-child
2282          (lambda (loc pipe port stdfd)
2283            (when port
2284              (let ([usefd (car pipe)] [clsfd (cdr pipe)])
2285                (file-close clsfd)
2286                (replace-fd loc usefd stdfd)) ) )] )
2287      (let (
2288          [spawn
2289            (let ([swapped-ends
2290                    (lambda (pipe)
2291                      (and pipe
2292                           (cons (cdr pipe) (car pipe)) ) )])
2293              (lambda (loc cmd args env stdoutf stdinf stderrf)
2294                (let ([ipipe (needed-pipe loc stdinf)]
2295                      [opipe (needed-pipe loc stdoutf)]
2296                      [epipe (needed-pipe loc stderrf)])
2297                  (values
2298                    ipipe (swapped-ends opipe) epipe
2299                    (process-fork
2300                      (lambda ()
2301                        (connect-child loc opipe stdinf fileno/stdin)
2302                        (connect-child loc (swapped-ends ipipe) stdoutf fileno/stdout)
2303                        (connect-child loc (swapped-ends epipe) stderrf fileno/stderr)
2304                        (process-execute cmd args env)))) ) ) )]
2305          [input-port
2306            (lambda (loc pid cmd pipe stdf stdfd on-close)
2307              (and-let* ([fd (connect-parent loc pipe stdf stdfd)])
2308                (##sys#custom-input-port loc cmd fd #t DEFAULT-INPUT-BUFFER-SIZE on-close) ) )]
2309          [output-port
2310            (lambda (loc pid cmd pipe stdf stdfd on-close)
2311              (and-let* ([fd (connect-parent loc pipe stdf stdfd)])
2312                (##sys#custom-output-port loc cmd fd #t DEFAULT-OUTPUT-BUFFER-SIZE on-close) ) )] )
2313        (lambda (loc cmd args env stdoutf stdinf stderrf)
2314          (receive [inpipe outpipe errpipe pid]
2315                     (spawn loc cmd args env stdoutf stdinf stderrf)
2316            ;When shared assume already "closed", since only created ports
2317            ;should be explicitly closed, and when one is closed we want
2318            ;to wait.
2319            (let ([clsvec (vector (not stdinf) (not stdoutf) (not stderrf))])
2320              (values
2321                (input-port loc pid cmd inpipe stdinf fileno/stdin
2322                  (make-on-close loc pid clsvec 0 1 2))
2323                (output-port loc pid cmd outpipe stdoutf fileno/stdout
2324                  (make-on-close loc pid clsvec 1 0 2))
2325                pid
2326                (input-port loc pid cmd errpipe stderrf fileno/stderr
2327                  (make-on-close loc pid clsvec 2 0 1)) ) ) ) ) ) ) ) )
2328
2329;;; Run subprocess connected with pipes:
2330
2331(define process)
2332(define process*)
2333(let ([%process
2334        (lambda (loc err? cmd args env)
2335          (let ([chkstrlst
2336                 (lambda (lst)
2337                   (##sys#check-list lst loc)
2338                   (for-each (cut ##sys#check-string <> loc) lst) )])
2339            (##sys#check-string cmd loc)
2340            (if args
2341                (chkstrlst args)
2342                (begin
2343                  (set! args (##sys#shell-command-arguments cmd))
2344                  (set! cmd (##sys#shell-command)) ) )
2345            (when env (chkstrlst env))
2346            (receive [in out pid err] (##sys#process loc cmd args env #t #t err?)
2347              (if err?
2348                  (values in out pid err)
2349                  (values in out pid) ) ) ) )] )
2350  (set! process
2351    (lambda (cmd #!optional args env)
2352      (%process 'process #f cmd args env) ))
2353  (set! process*
2354    (lambda (cmd #!optional args env)
2355      (%process 'process* #t cmd args env) )) )
2356
2357;;; Find matching files:
2358
2359(define find-files
2360  (let ([glob glob]
2361        [string-match string-match]
2362        [make-pathname make-pathname]
2363        [pathname-file pathname-file]
2364        [directory? directory?] )
2365    (lambda (dir pred . action-id-limit)
2366      (let-optionals
2367          action-id-limit
2368          ([action (lambda (x y) (cons x y))] ; we want cons inlined
2369           [id '()]
2370           [limit #f] )
2371        (##sys#check-string dir 'find-files)
2372        (let* ([depth 0]
2373               [lproc
2374                (cond [(not limit) (lambda _ #t)]
2375                      [(fixnum? limit) (lambda _ (fx< depth limit))]
2376                      [else limit] ) ]
2377               [pproc
2378                (if (or (string? pred) (regexp? pred))
2379                    (lambda (x) (string-match pred x))
2380                    pred) ] )
2381          (let loop ([fs (glob (make-pathname dir "*"))]
2382                     [r id] )
2383            (if (null? fs)
2384                r
2385                (let ([f (##sys#slot fs 0)]
2386                      [rest (##sys#slot fs 1)] )
2387                  (cond [(directory? f)
2388                         (cond [(member (pathname-file f) '("." "..")) (loop rest r)]
2389                               [(lproc f)
2390                                (loop rest
2391                                      (fluid-let ([depth (fx+ depth 1)])
2392                                        (loop (glob (make-pathname f "*"))
2393                                              (if (pproc f) (action f r) r)) ) ) ]
2394                               [else (loop rest (if (pproc f) (action f r) r))] ) ]
2395                        [(pproc f) (loop rest (action f r))]
2396                        [else (loop rest r)] ) ) ) ) ) ) ) ) )
2397
2398
2399;;; chroot:
2400
2401(define set-root-directory!
2402  (let ([chroot (foreign-lambda int "chroot" c-string)])
2403    (lambda (dir)
2404      (##sys#check-string dir 'set-root-directory!)
2405      (when (fx< (chroot dir) 0)
2406        (posix-error #:file-error 'set-root-directory! "unable to change root directory" dir) ) ) ) )
Note: See TracBrowser for help on using the repository browser.