doc: Document file name separator procedures.
[bpt/guile.git] / doc / ref / posix.texi
1 @c -*-texinfo-*-
2 @c This is part of the GNU Guile Reference Manual.
3 @c Copyright (C) 1996, 1997, 2000, 2001, 2002, 2003, 2004, 2006, 2007,
4 @c 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
5 @c See the file guile.texi for copying conditions.
6
7 @node POSIX
8 @section @acronym{POSIX} System Calls and Networking
9 @cindex POSIX
10
11 @menu
12 * Conventions:: Conventions employed by the POSIX interface.
13 * Ports and File Descriptors:: Scheme ``ports'' and Unix file descriptors
14 have different representations.
15 * File System:: stat, chown, chmod, etc.
16 * User Information:: Retrieving a user's GECOS (/etc/passwd) entry.
17 * Time:: gettimeofday, localtime, strftime, etc.
18 * Runtime Environment:: Accessing and modifying Guile's environment.
19 * Processes:: getuid, getpid, etc.
20 * Signals:: sigaction, kill, pause, alarm, setitimer, etc.
21 * Terminals and Ptys:: ttyname, tcsetpgrp, etc.
22 * Pipes:: Communicating data between processes.
23 * Networking:: gethostbyaddr, getnetent, socket, bind, listen.
24 * System Identification:: Obtaining information about the system.
25 * Locales:: setlocale, etc.
26 * Encryption::
27 @end menu
28
29 @node Conventions
30 @subsection @acronym{POSIX} Interface Conventions
31
32 These interfaces provide access to operating system facilities.
33 They provide a simple wrapping around the underlying C interfaces
34 to make usage from Scheme more convenient. They are also used
35 to implement the Guile port of scsh (@pxref{The Scheme shell (scsh)}).
36
37 Generally there is a single procedure for each corresponding Unix
38 facility. There are some exceptions, such as procedures implemented for
39 speed and convenience in Scheme with no primitive Unix equivalent,
40 e.g.@: @code{copy-file}.
41
42 The interfaces are intended as far as possible to be portable across
43 different versions of Unix. In some cases procedures which can't be
44 implemented on particular systems may become no-ops, or perform limited
45 actions. In other cases they may throw errors.
46
47 General naming conventions are as follows:
48
49 @itemize @bullet
50 @item
51 The Scheme name is often identical to the name of the underlying Unix
52 facility.
53 @item
54 Underscores in Unix procedure names are converted to hyphens.
55 @item
56 Procedures which destructively modify Scheme data have exclamation
57 marks appended, e.g., @code{recv!}.
58 @item
59 Predicates (returning only @code{#t} or @code{#f}) have question marks
60 appended, e.g., @code{access?}.
61 @item
62 Some names are changed to avoid conflict with dissimilar interfaces
63 defined by scsh, e.g., @code{primitive-fork}.
64 @item
65 Unix preprocessor names such as @code{EPERM} or @code{R_OK} are converted
66 to Scheme variables of the same name (underscores are not replaced
67 with hyphens).
68 @end itemize
69
70 Unexpected conditions are generally handled by raising exceptions.
71 There are a few procedures which return a special value if they don't
72 succeed, e.g., @code{getenv} returns @code{#f} if it the requested
73 string is not found in the environment. These cases are noted in
74 the documentation.
75
76 For ways to deal with exceptions, see @ref{Exceptions}.
77
78 @cindex @code{errno}
79 Errors which the C library would report by returning a null pointer or
80 through some other means are reported by raising a @code{system-error}
81 exception with @code{scm-error} (@pxref{Error Reporting}). The
82 @var{data} parameter is a list containing the Unix @code{errno} value
83 (an integer). For example,
84
85 @example
86 (define (my-handler key func fmt fmtargs data)
87 (display key) (newline)
88 (display func) (newline)
89 (apply format #t fmt fmtargs) (newline)
90 (display data) (newline))
91
92 (catch 'system-error
93 (lambda () (dup2 -123 -456))
94 my-handler)
95
96 @print{}
97 system-error
98 dup2
99 Bad file descriptor
100 (9)
101 @end example
102
103
104 @sp 1
105 @defun system-error-errno arglist
106 @cindex @code{errno}
107 Return the @code{errno} value from a list which is the arguments to an
108 exception handler. If the exception is not a @code{system-error},
109 then the return is @code{#f}. For example,
110
111 @example
112 (catch
113 'system-error
114 (lambda ()
115 (mkdir "/this-ought-to-fail-if-I'm-not-root"))
116 (lambda stuff
117 (let ((errno (system-error-errno stuff)))
118 (cond
119 ((= errno EACCES)
120 (display "You're not allowed to do that."))
121 ((= errno EEXIST)
122 (display "Already exists."))
123 (#t
124 (display (strerror errno))))
125 (newline))))
126 @end example
127 @end defun
128
129
130 @node Ports and File Descriptors
131 @subsection Ports and File Descriptors
132 @cindex file descriptor
133
134 Conventions generally follow those of scsh, @ref{The Scheme shell (scsh)}.
135
136 File ports are implemented using low-level operating system I/O
137 facilities, with optional buffering to improve efficiency; see
138 @ref{File Ports}.
139
140 Note that some procedures (e.g., @code{recv!}) will accept ports as
141 arguments, but will actually operate directly on the file descriptor
142 underlying the port. Any port buffering is ignored, including the
143 buffer which implements @code{peek-char} and @code{unread-char}.
144
145 The @code{force-output} and @code{drain-input} procedures can be used
146 to clear the buffers.
147
148 Each open file port has an associated operating system file descriptor.
149 File descriptors are generally not useful in Scheme programs; however
150 they may be needed when interfacing with foreign code and the Unix
151 environment.
152
153 A file descriptor can be extracted from a port and a new port can be
154 created from a file descriptor. However a file descriptor is just an
155 integer and the garbage collector doesn't recognize it as a reference
156 to the port. If all other references to the port were dropped, then
157 it's likely that the garbage collector would free the port, with the
158 side-effect of closing the file descriptor prematurely.
159
160 To assist the programmer in avoiding this problem, each port has an
161 associated @dfn{revealed count} which can be used to keep track of how many
162 times the underlying file descriptor has been stored in other places.
163 If a port's revealed count is greater than zero, the file descriptor
164 will not be closed when the port is garbage collected. A programmer
165 can therefore ensure that the revealed count will be greater than
166 zero if the file descriptor is needed elsewhere.
167
168 For the simple case where a file descriptor is ``imported'' once to become
169 a port, it does not matter if the file descriptor is closed when the
170 port is garbage collected. There is no need to maintain a revealed
171 count. Likewise when ``exporting'' a file descriptor to the external
172 environment, setting the revealed count is not required provided the
173 port is kept open (i.e., is pointed to by a live Scheme binding) while
174 the file descriptor is in use.
175
176 To correspond with traditional Unix behaviour, three file descriptors
177 (0, 1, and 2) are automatically imported when a program starts up and
178 assigned to the initial values of the current/standard input, output,
179 and error ports, respectively. The revealed count for each is
180 initially set to one, so that dropping references to one of these
181 ports will not result in its garbage collection: it could be retrieved
182 with @code{fdopen} or @code{fdes->ports}.
183
184 @deffn {Scheme Procedure} port-revealed port
185 @deffnx {C Function} scm_port_revealed (port)
186 Return the revealed count for @var{port}.
187 @end deffn
188
189 @deffn {Scheme Procedure} set-port-revealed! port rcount
190 @deffnx {C Function} scm_set_port_revealed_x (port, rcount)
191 Sets the revealed count for a @var{port} to @var{rcount}.
192 The return value is unspecified.
193 @end deffn
194
195 @deffn {Scheme Procedure} fileno port
196 @deffnx {C Function} scm_fileno (port)
197 Return the integer file descriptor underlying @var{port}. Does
198 not change its revealed count.
199 @end deffn
200
201 @deffn {Scheme Procedure} port->fdes port
202 Returns the integer file descriptor underlying @var{port}. As a
203 side effect the revealed count of @var{port} is incremented.
204 @end deffn
205
206 @deffn {Scheme Procedure} fdopen fdes modes
207 @deffnx {C Function} scm_fdopen (fdes, modes)
208 Return a new port based on the file descriptor @var{fdes}. Modes are
209 given by the string @var{modes}. The revealed count of the port is
210 initialized to zero. The @var{modes} string is the same as that
211 accepted by @code{open-file} (@pxref{File Ports, open-file}).
212 @end deffn
213
214 @deffn {Scheme Procedure} fdes->ports fdes
215 @deffnx {C Function} scm_fdes_to_ports (fdes)
216 Return a list of existing ports which have @var{fdes} as an
217 underlying file descriptor, without changing their revealed
218 counts.
219 @end deffn
220
221 @deffn {Scheme Procedure} fdes->inport fdes
222 Returns an existing input port which has @var{fdes} as its underlying file
223 descriptor, if one exists, and increments its revealed count.
224 Otherwise, returns a new input port with a revealed count of 1.
225 @end deffn
226
227 @deffn {Scheme Procedure} fdes->outport fdes
228 Returns an existing output port which has @var{fdes} as its underlying file
229 descriptor, if one exists, and increments its revealed count.
230 Otherwise, returns a new output port with a revealed count of 1.
231 @end deffn
232
233 @deffn {Scheme Procedure} primitive-move->fdes port fdes
234 @deffnx {C Function} scm_primitive_move_to_fdes (port, fdes)
235 Moves the underlying file descriptor for @var{port} to the integer
236 value @var{fdes} without changing the revealed count of @var{port}.
237 Any other ports already using this descriptor will be automatically
238 shifted to new descriptors and their revealed counts reset to zero.
239 The return value is @code{#f} if the file descriptor already had the
240 required value or @code{#t} if it was moved.
241 @end deffn
242
243 @deffn {Scheme Procedure} move->fdes port fdes
244 Moves the underlying file descriptor for @var{port} to the integer
245 value @var{fdes} and sets its revealed count to one. Any other ports
246 already using this descriptor will be automatically
247 shifted to new descriptors and their revealed counts reset to zero.
248 The return value is unspecified.
249 @end deffn
250
251 @deffn {Scheme Procedure} release-port-handle port
252 Decrements the revealed count for a port.
253 @end deffn
254
255 @deffn {Scheme Procedure} fsync port_or_fd
256 @deffnx {C Function} scm_fsync (port_or_fd)
257 Copies any unwritten data for the specified output file descriptor to disk.
258 If @var{port_or_fd} is a port, its buffer is flushed before the underlying
259 file descriptor is fsync'd.
260 The return value is unspecified.
261 @end deffn
262
263 @deffn {Scheme Procedure} open path flags [mode]
264 @deffnx {C Function} scm_open (path, flags, mode)
265 Open the file named by @var{path} for reading and/or writing.
266 @var{flags} is an integer specifying how the file should be opened.
267 @var{mode} is an integer specifying the permission bits of the file,
268 if it needs to be created, before the umask (@pxref{Processes}) is
269 applied. The default is 666 (Unix itself has no default).
270
271 @var{flags} can be constructed by combining variables using @code{logior}.
272 Basic flags are:
273
274 @defvar O_RDONLY
275 Open the file read-only.
276 @end defvar
277 @defvar O_WRONLY
278 Open the file write-only.
279 @end defvar
280 @defvar O_RDWR
281 Open the file read/write.
282 @end defvar
283 @defvar O_APPEND
284 Append to the file instead of truncating.
285 @end defvar
286 @defvar O_CREAT
287 Create the file if it does not already exist.
288 @end defvar
289
290 @xref{File Status Flags,,,libc,The GNU C Library Reference Manual},
291 for additional flags.
292 @end deffn
293
294 @deffn {Scheme Procedure} open-fdes path flags [mode]
295 @deffnx {C Function} scm_open_fdes (path, flags, mode)
296 Similar to @code{open} but return a file descriptor instead of
297 a port.
298 @end deffn
299
300 @deffn {Scheme Procedure} close fd_or_port
301 @deffnx {C Function} scm_close (fd_or_port)
302 Similar to @code{close-port} (@pxref{Closing, close-port}),
303 but also works on file descriptors. A side
304 effect of closing a file descriptor is that any ports using that file
305 descriptor are moved to a different file descriptor and have
306 their revealed counts set to zero.
307 @end deffn
308
309 @deffn {Scheme Procedure} close-fdes fd
310 @deffnx {C Function} scm_close_fdes (fd)
311 A simple wrapper for the @code{close} system call. Close file
312 descriptor @var{fd}, which must be an integer. Unlike @code{close},
313 the file descriptor will be closed even if a port is using it. The
314 return value is unspecified.
315 @end deffn
316
317 @deffn {Scheme Procedure} unread-char char [port]
318 @deffnx {C Function} scm_unread_char (char, port)
319 Place @var{char} in @var{port} so that it will be read by the next
320 read operation on that port. If called multiple times, the unread
321 characters will be read again in ``last-in, first-out'' order (i.e.@:
322 a stack). If @var{port} is not supplied, the current input port is
323 used.
324 @end deffn
325
326 @deffn {Scheme Procedure} unread-string str port
327 Place the string @var{str} in @var{port} so that its characters will be
328 read in subsequent read operations. If called multiple times, the
329 unread characters will be read again in last-in first-out order. If
330 @var{port} is not supplied, the current-input-port is used.
331 @end deffn
332
333 @deffn {Scheme Procedure} pipe
334 @deffnx {C Function} scm_pipe ()
335 @cindex pipe
336 Return a newly created pipe: a pair of ports which are linked
337 together on the local machine. The @acronym{CAR} is the input
338 port and the @acronym{CDR} is the output port. Data written (and
339 flushed) to the output port can be read from the input port.
340 Pipes are commonly used for communication with a newly forked
341 child process. The need to flush the output port can be
342 avoided by making it unbuffered using @code{setvbuf}.
343
344 @defvar PIPE_BUF
345 A write of up to @code{PIPE_BUF} many bytes to a pipe is atomic,
346 meaning when done it goes into the pipe instantaneously and as a
347 contiguous block (@pxref{Pipe Atomicity,, Atomicity of Pipe I/O, libc,
348 The GNU C Library Reference Manual}).
349 @end defvar
350
351 Note that the output port is likely to block if too much data has been
352 written but not yet read from the input port. Typically the capacity
353 is @code{PIPE_BUF} bytes.
354 @end deffn
355
356 The next group of procedures perform a @code{dup2}
357 system call, if @var{newfd} (an
358 integer) is supplied, otherwise a @code{dup}. The file descriptor to be
359 duplicated can be supplied as an integer or contained in a port. The
360 type of value returned varies depending on which procedure is used.
361
362 All procedures also have the side effect when performing @code{dup2} that any
363 ports using @var{newfd} are moved to a different file descriptor and have
364 their revealed counts set to zero.
365
366 @deffn {Scheme Procedure} dup->fdes fd_or_port [fd]
367 @deffnx {C Function} scm_dup_to_fdes (fd_or_port, fd)
368 Return a new integer file descriptor referring to the open file
369 designated by @var{fd_or_port}, which must be either an open
370 file port or a file descriptor.
371 @end deffn
372
373 @deffn {Scheme Procedure} dup->inport port/fd [newfd]
374 Returns a new input port using the new file descriptor.
375 @end deffn
376
377 @deffn {Scheme Procedure} dup->outport port/fd [newfd]
378 Returns a new output port using the new file descriptor.
379 @end deffn
380
381 @deffn {Scheme Procedure} dup port/fd [newfd]
382 Returns a new port if @var{port/fd} is a port, with the same mode as the
383 supplied port, otherwise returns an integer file descriptor.
384 @end deffn
385
386 @deffn {Scheme Procedure} dup->port port/fd mode [newfd]
387 Returns a new port using the new file descriptor. @var{mode} supplies a
388 mode string for the port (@pxref{File Ports, open-file}).
389 @end deffn
390
391 @deffn {Scheme Procedure} duplicate-port port modes
392 Returns a new port which is opened on a duplicate of the file
393 descriptor underlying @var{port}, with mode string @var{modes}
394 as for @ref{File Ports, open-file}. The two ports
395 will share a file position and file status flags.
396
397 Unexpected behaviour can result if both ports are subsequently used
398 and the original and/or duplicate ports are buffered.
399 The mode string can include @code{0} to obtain an unbuffered duplicate
400 port.
401
402 This procedure is equivalent to @code{(dup->port @var{port} @var{modes})}.
403 @end deffn
404
405 @deffn {Scheme Procedure} redirect-port old_port new_port
406 @deffnx {C Function} scm_redirect_port (old_port, new_port)
407 This procedure takes two ports and duplicates the underlying file
408 descriptor from @var{old_port} into @var{new_port}. The
409 current file descriptor in @var{new_port} will be closed.
410 After the redirection the two ports will share a file position
411 and file status flags.
412
413 The return value is unspecified.
414
415 Unexpected behaviour can result if both ports are subsequently used
416 and the original and/or duplicate ports are buffered.
417
418 This procedure does not have any side effects on other ports or
419 revealed counts.
420 @end deffn
421
422 @deffn {Scheme Procedure} dup2 oldfd newfd
423 @deffnx {C Function} scm_dup2 (oldfd, newfd)
424 A simple wrapper for the @code{dup2} system call.
425 Copies the file descriptor @var{oldfd} to descriptor
426 number @var{newfd}, replacing the previous meaning
427 of @var{newfd}. Both @var{oldfd} and @var{newfd} must
428 be integers.
429 Unlike for @code{dup->fdes} or @code{primitive-move->fdes}, no attempt
430 is made to move away ports which are using @var{newfd}.
431 The return value is unspecified.
432 @end deffn
433
434 @deffn {Scheme Procedure} port-mode port
435 Return the port modes associated with the open port @var{port}.
436 These will not necessarily be identical to the modes used when
437 the port was opened, since modes such as ``append'' which are
438 used only during port creation are not retained.
439 @end deffn
440
441 @deffn {Scheme Procedure} port-for-each proc
442 @deffnx {C Function} scm_port_for_each (SCM proc)
443 @deffnx {C Function} scm_c_port_for_each (void (*proc)(void *, SCM), void *data)
444 Apply @var{proc} to each port in the Guile port table
445 (FIXME: what is the Guile port table?)
446 in turn. The return value is unspecified. More specifically,
447 @var{proc} is applied exactly once to every port that exists in the
448 system at the time @code{port-for-each} is invoked. Changes to the
449 port table while @code{port-for-each} is running have no effect as far
450 as @code{port-for-each} is concerned.
451
452 The C function @code{scm_port_for_each} takes a Scheme procedure
453 encoded as a @code{SCM} value, while @code{scm_c_port_for_each} takes
454 a pointer to a C function and passes along a arbitrary @var{data}
455 cookie.
456 @end deffn
457
458 @deffn {Scheme Procedure} setvbuf port mode [size]
459 @deffnx {C Function} scm_setvbuf (port, mode, size)
460 @cindex port buffering
461 Set the buffering mode for @var{port}. @var{mode} can be:
462
463 @defvar _IONBF
464 non-buffered
465 @end defvar
466 @defvar _IOLBF
467 line buffered
468 @end defvar
469 @defvar _IOFBF
470 block buffered, using a newly allocated buffer of @var{size} bytes.
471 If @var{size} is omitted, a default size will be used.
472 @end defvar
473 @end deffn
474
475 @deffn {Scheme Procedure} fcntl port/fd cmd [value]
476 @deffnx {C Function} scm_fcntl (object, cmd, value)
477 Apply @var{cmd} on @var{port/fd}, either a port or file descriptor.
478 The @var{value} argument is used by the @code{SET} commands described
479 below, it's an integer value.
480
481 Values for @var{cmd} are:
482
483 @defvar F_DUPFD
484 Duplicate the file descriptor, the same as @code{dup->fdes} above
485 does.
486 @end defvar
487
488 @defvar F_GETFD
489 @defvarx F_SETFD
490 Get or set flags associated with the file descriptor. The only flag
491 is the following,
492
493 @defvar FD_CLOEXEC
494 ``Close on exec'', meaning the file descriptor will be closed on an
495 @code{exec} call (a successful such call). For example to set that
496 flag,
497
498 @example
499 (fcntl port F_SETFD FD_CLOEXEC)
500 @end example
501
502 Or better, set it but leave any other possible future flags unchanged,
503
504 @example
505 (fcntl port F_SETFD (logior FD_CLOEXEC
506 (fcntl port F_GETFD)))
507 @end example
508 @end defvar
509 @end defvar
510
511 @defvar F_GETFL
512 @defvarx F_SETFL
513 Get or set flags associated with the open file. These flags are
514 @code{O_RDONLY} etc described under @code{open} above.
515
516 A common use is to set @code{O_NONBLOCK} on a network socket. The
517 following sets that flag, and leaves other flags unchanged.
518
519 @example
520 (fcntl sock F_SETFL (logior O_NONBLOCK
521 (fcntl sock F_GETFL)))
522 @end example
523 @end defvar
524
525 @defvar F_GETOWN
526 @defvarx F_SETOWN
527 Get or set the process ID of a socket's owner, for @code{SIGIO} signals.
528 @end defvar
529 @end deffn
530
531 @deffn {Scheme Procedure} flock file operation
532 @deffnx {C Function} scm_flock (file, operation)
533 @cindex file locking
534 Apply or remove an advisory lock on an open file.
535 @var{operation} specifies the action to be done:
536
537 @defvar LOCK_SH
538 Shared lock. More than one process may hold a shared lock
539 for a given file at a given time.
540 @end defvar
541 @defvar LOCK_EX
542 Exclusive lock. Only one process may hold an exclusive lock
543 for a given file at a given time.
544 @end defvar
545 @defvar LOCK_UN
546 Unlock the file.
547 @end defvar
548 @defvar LOCK_NB
549 Don't block when locking. This is combined with one of the other
550 operations using @code{logior} (@pxref{Bitwise Operations}). If
551 @code{flock} would block an @code{EWOULDBLOCK} error is thrown
552 (@pxref{Conventions}).
553 @end defvar
554
555 The return value is not specified. @var{file} may be an open
556 file descriptor or an open file descriptor port.
557
558 Note that @code{flock} does not lock files across NFS.
559 @end deffn
560
561 @deffn {Scheme Procedure} select reads writes excepts [secs [usecs]]
562 @deffnx {C Function} scm_select (reads, writes, excepts, secs, usecs)
563 This procedure has a variety of uses: waiting for the ability
564 to provide input, accept output, or the existence of
565 exceptional conditions on a collection of ports or file
566 descriptors, or waiting for a timeout to occur.
567 It also returns if interrupted by a signal.
568
569 @var{reads}, @var{writes} and @var{excepts} can be lists or
570 vectors, with each member a port or a file descriptor.
571 The value returned is a list of three corresponding
572 lists or vectors containing only the members which meet the
573 specified requirement. The ability of port buffers to
574 provide input or accept output is taken into account.
575 Ordering of the input lists or vectors is not preserved.
576
577 The optional arguments @var{secs} and @var{usecs} specify the
578 timeout. Either @var{secs} can be specified alone, as
579 either an integer or a real number, or both @var{secs} and
580 @var{usecs} can be specified as integers, in which case
581 @var{usecs} is an additional timeout expressed in
582 microseconds. If @var{secs} is omitted or is @code{#f} then
583 select will wait for as long as it takes for one of the other
584 conditions to be satisfied.
585
586 The scsh version of @code{select} differs as follows:
587 Only vectors are accepted for the first three arguments.
588 The @var{usecs} argument is not supported.
589 Multiple values are returned instead of a list.
590 Duplicates in the input vectors appear only once in output.
591 An additional @code{select!} interface is provided.
592 @end deffn
593
594 @node File System
595 @subsection File System
596 @cindex file system
597
598 These procedures allow querying and setting file system attributes
599 (such as owner,
600 permissions, sizes and types of files); deleting, copying, renaming and
601 linking files; creating and removing directories and querying their
602 contents; syncing the file system and creating special files.
603
604 @deffn {Scheme Procedure} access? path how
605 @deffnx {C Function} scm_access (path, how)
606 Test accessibility of a file under the real UID and GID of the calling
607 process. The return is @code{#t} if @var{path} exists and the
608 permissions requested by @var{how} are all allowed, or @code{#f} if
609 not.
610
611 @var{how} is an integer which is one of the following values, or a
612 bitwise-OR (@code{logior}) of multiple values.
613
614 @defvar R_OK
615 Test for read permission.
616 @end defvar
617 @defvar W_OK
618 Test for write permission.
619 @end defvar
620 @defvar X_OK
621 Test for execute permission.
622 @end defvar
623 @defvar F_OK
624 Test for existence of the file. This is implied by each of the other
625 tests, so there's no need to combine it with them.
626 @end defvar
627
628 It's important to note that @code{access?} does not simply indicate
629 what will happen on attempting to read or write a file. In normal
630 circumstances it does, but in a set-UID or set-GID program it doesn't
631 because @code{access?} tests the real ID, whereas an open or execute
632 attempt uses the effective ID.
633
634 A program which will never run set-UID/GID can ignore the difference
635 between real and effective IDs, but for maximum generality, especially
636 in library functions, it's best not to use @code{access?} to predict
637 the result of an open or execute, instead simply attempt that and
638 catch any exception.
639
640 The main use for @code{access?} is to let a set-UID/GID program
641 determine what the invoking user would have been allowed to do,
642 without the greater (or perhaps lesser) privileges afforded by the
643 effective ID. For more on this, see @ref{Testing File Access,,, libc,
644 The GNU C Library Reference Manual}.
645 @end deffn
646
647 @findex fstat
648 @deffn {Scheme Procedure} stat object
649 @deffnx {C Function} scm_stat (object)
650 Return an object containing various information about the file
651 determined by @var{object}. @var{object} can be a string containing
652 a file name or a port or integer file descriptor which is open
653 on a file (in which case @code{fstat} is used as the underlying
654 system call).
655
656 The object returned by @code{stat} can be passed as a single
657 parameter to the following procedures, all of which return
658 integers:
659
660 @deffn {Scheme Procedure} stat:dev st
661 The device number containing the file.
662 @end deffn
663 @deffn {Scheme Procedure} stat:ino st
664 The file serial number, which distinguishes this file from all
665 other files on the same device.
666 @end deffn
667 @deffn {Scheme Procedure} stat:mode st
668 The mode of the file. This is an integer which incorporates file type
669 information and file permission bits. See also @code{stat:type} and
670 @code{stat:perms} below.
671 @end deffn
672 @deffn {Scheme Procedure} stat:nlink st
673 The number of hard links to the file.
674 @end deffn
675 @deffn {Scheme Procedure} stat:uid st
676 The user ID of the file's owner.
677 @end deffn
678 @deffn {Scheme Procedure} stat:gid st
679 The group ID of the file.
680 @end deffn
681 @deffn {Scheme Procedure} stat:rdev st
682 Device ID; this entry is defined only for character or block special
683 files. On some systems this field is not available at all, in which
684 case @code{stat:rdev} returns @code{#f}.
685 @end deffn
686 @deffn {Scheme Procedure} stat:size st
687 The size of a regular file in bytes.
688 @end deffn
689 @deffn {Scheme Procedure} stat:atime st
690 The last access time for the file, in seconds.
691 @end deffn
692 @deffn {Scheme Procedure} stat:mtime st
693 The last modification time for the file, in seconds.
694 @end deffn
695 @deffn {Scheme Procedure} stat:ctime st
696 The last modification time for the attributes of the file, in seconds.
697 @end deffn
698 @deffn {Scheme Procedure} stat:atimensec st
699 @deffnx {Scheme Procedure} stat:mtimensec st
700 @deffnx {Scheme Procedure} stat:ctimensec st
701 The fractional part of a file's access, modification, or attribute modification
702 time, in nanoseconds. Nanosecond timestamps are only available on some operating
703 systems and file systems. If Guile cannot retrieve nanosecond-level timestamps
704 for a file, these fields will be set to 0.
705 @end deffn
706 @deffn {Scheme Procedure} stat:blksize st
707 The optimal block size for reading or writing the file, in bytes. On
708 some systems this field is not available, in which case
709 @code{stat:blksize} returns a sensible suggested block size.
710 @end deffn
711 @deffn {Scheme Procedure} stat:blocks st
712 The amount of disk space that the file occupies measured in units of
713 512 byte blocks. On some systems this field is not available, in
714 which case @code{stat:blocks} returns @code{#f}.
715 @end deffn
716
717 In addition, the following procedures return the information
718 from @code{stat:mode} in a more convenient form:
719
720 @deffn {Scheme Procedure} stat:type st
721 A symbol representing the type of file. Possible values are
722 @samp{regular}, @samp{directory}, @samp{symlink},
723 @samp{block-special}, @samp{char-special}, @samp{fifo}, @samp{socket},
724 and @samp{unknown}.
725 @end deffn
726 @deffn {Scheme Procedure} stat:perms st
727 An integer representing the access permission bits.
728 @end deffn
729 @end deffn
730
731 @deffn {Scheme Procedure} lstat path
732 @deffnx {C Function} scm_lstat (path)
733 Similar to @code{stat}, but does not follow symbolic links, i.e.,
734 it will return information about a symbolic link itself, not the
735 file it points to. @var{path} must be a string.
736 @end deffn
737
738 @deffn {Scheme Procedure} readlink path
739 @deffnx {C Function} scm_readlink (path)
740 Return the value of the symbolic link named by @var{path} (a
741 string), i.e., the file that the link points to.
742 @end deffn
743
744 @findex fchown
745 @findex lchown
746 @deffn {Scheme Procedure} chown object owner group
747 @deffnx {C Function} scm_chown (object, owner, group)
748 Change the ownership and group of the file referred to by @var{object}
749 to the integer values @var{owner} and @var{group}. @var{object} can
750 be a string containing a file name or, if the platform supports
751 @code{fchown} (@pxref{File Owner,,,libc,The GNU C Library Reference
752 Manual}), a port or integer file descriptor which is open on the file.
753 The return value is unspecified.
754
755 If @var{object} is a symbolic link, either the
756 ownership of the link or the ownership of the referenced file will be
757 changed depending on the operating system (lchown is
758 unsupported at present). If @var{owner} or @var{group} is specified
759 as @code{-1}, then that ID is not changed.
760 @end deffn
761
762 @findex fchmod
763 @deffn {Scheme Procedure} chmod object mode
764 @deffnx {C Function} scm_chmod (object, mode)
765 Changes the permissions of the file referred to by @var{object}.
766 @var{object} can be a string containing a file name or a port or integer file
767 descriptor which is open on a file (in which case @code{fchmod} is used
768 as the underlying system call).
769 @var{mode} specifies
770 the new permissions as a decimal number, e.g., @code{(chmod "foo" #o755)}.
771 The return value is unspecified.
772 @end deffn
773
774 @deffn {Scheme Procedure} utime pathname [actime [modtime [actimens [modtimens [flags]]]]]
775 @deffnx {C Function} scm_utime (pathname, actime, modtime, actimens, modtimens, flags)
776 @code{utime} sets the access and modification times for the
777 file named by @var{pathname}. If @var{actime} or @var{modtime} is
778 not supplied, then the current time is used. @var{actime} and
779 @var{modtime} must be integer time values as returned by the
780 @code{current-time} procedure.
781
782 The optional @var{actimens} and @var{modtimens} are nanoseconds
783 to add @var{actime} and @var{modtime}. Nanosecond precision is
784 only supported on some combinations of file systems and operating
785 systems.
786 @lisp
787 (utime "foo" (- (current-time) 3600))
788 @end lisp
789 will set the access time to one hour in the past and the
790 modification time to the current time.
791 @end deffn
792
793 @findex unlink
794 @deffn {Scheme Procedure} delete-file str
795 @deffnx {C Function} scm_delete_file (str)
796 Deletes (or ``unlinks'') the file whose path is specified by
797 @var{str}.
798 @end deffn
799
800 @deffn {Scheme Procedure} copy-file oldfile newfile
801 @deffnx {C Function} scm_copy_file (oldfile, newfile)
802 Copy the file specified by @var{oldfile} to @var{newfile}.
803 The return value is unspecified.
804 @end deffn
805
806 @deffn {Scheme Procedure} sendfile out in count [offset]
807 @deffnx {C Function} scm_sendfile (out, in, count, offset)
808 Send @var{count} bytes from @var{in} to @var{out}, both of which
809 are either open file ports or file descriptors. When
810 @var{offset} is omitted, start reading from @var{in}'s current
811 position; otherwise, start reading at @var{offset}.
812
813 When @var{in} is a port, it is often preferable to specify @var{offset},
814 because @var{in}'s offset as a port may be different from the offset of
815 its underlying file descriptor.
816
817 On systems that support it, such as GNU/Linux, this procedure uses the
818 @code{sendfile} libc function, which usually corresponds to a system
819 call. This is faster than doing a series of @code{read} and
820 @code{write} system calls. A typical application is to send a file over
821 a socket.
822
823 In some cases, the @code{sendfile} libc function may return
824 @code{EINVAL} or @code{ENOSYS}. In that case, Guile's @code{sendfile}
825 procedure automatically falls back to doing a series of @code{read} and
826 @code{write} calls.
827 @end deffn
828
829 @findex rename
830 @deffn {Scheme Procedure} rename-file oldname newname
831 @deffnx {C Function} scm_rename (oldname, newname)
832 Renames the file specified by @var{oldname} to @var{newname}.
833 The return value is unspecified.
834 @end deffn
835
836 @deffn {Scheme Procedure} link oldpath newpath
837 @deffnx {C Function} scm_link (oldpath, newpath)
838 Creates a new name @var{newpath} in the file system for the
839 file named by @var{oldpath}. If @var{oldpath} is a symbolic
840 link, the link may or may not be followed depending on the
841 system.
842 @end deffn
843
844 @deffn {Scheme Procedure} symlink oldpath newpath
845 @deffnx {C Function} scm_symlink (oldpath, newpath)
846 Create a symbolic link named @var{newpath} with the value (i.e., pointing to)
847 @var{oldpath}. The return value is unspecified.
848 @end deffn
849
850 @deffn {Scheme Procedure} mkdir path [mode]
851 @deffnx {C Function} scm_mkdir (path, mode)
852 Create a new directory named by @var{path}. If @var{mode} is omitted
853 then the permissions of the directory file are set using the current
854 umask (@pxref{Processes}). Otherwise they are set to the decimal
855 value specified with @var{mode}. The return value is unspecified.
856 @end deffn
857
858 @deffn {Scheme Procedure} rmdir path
859 @deffnx {C Function} scm_rmdir (path)
860 Remove the existing directory named by @var{path}. The directory must
861 be empty for this to succeed. The return value is unspecified.
862 @end deffn
863
864 @deffn {Scheme Procedure} opendir dirname
865 @deffnx {C Function} scm_opendir (dirname)
866 @cindex directory contents
867 Open the directory specified by @var{dirname} and return a directory
868 stream.
869
870 Before using this and the procedures below, make sure to see the
871 higher-level procedures for directory traversal that are available
872 (@pxref{File Tree Walk}).
873 @end deffn
874
875 @deffn {Scheme Procedure} directory-stream? object
876 @deffnx {C Function} scm_directory_stream_p (object)
877 Return a boolean indicating whether @var{object} is a directory
878 stream as returned by @code{opendir}.
879 @end deffn
880
881 @deffn {Scheme Procedure} readdir stream
882 @deffnx {C Function} scm_readdir (stream)
883 Return (as a string) the next directory entry from the directory stream
884 @var{stream}. If there is no remaining entry to be read then the
885 end of file object is returned.
886 @end deffn
887
888 @deffn {Scheme Procedure} rewinddir stream
889 @deffnx {C Function} scm_rewinddir (stream)
890 Reset the directory port @var{stream} so that the next call to
891 @code{readdir} will return the first directory entry.
892 @end deffn
893
894 @deffn {Scheme Procedure} closedir stream
895 @deffnx {C Function} scm_closedir (stream)
896 Close the directory stream @var{stream}.
897 The return value is unspecified.
898 @end deffn
899
900 Here is an example showing how to display all the entries in a
901 directory:
902
903 @lisp
904 (define dir (opendir "/usr/lib"))
905 (do ((entry (readdir dir) (readdir dir)))
906 ((eof-object? entry))
907 (display entry)(newline))
908 (closedir dir)
909 @end lisp
910
911 @deffn {Scheme Procedure} sync
912 @deffnx {C Function} scm_sync ()
913 Flush the operating system disk buffers.
914 The return value is unspecified.
915 @end deffn
916
917 @deffn {Scheme Procedure} mknod path type perms dev
918 @deffnx {C Function} scm_mknod (path, type, perms, dev)
919 @cindex device file
920 Creates a new special file, such as a file corresponding to a device.
921 @var{path} specifies the name of the file. @var{type} should be one
922 of the following symbols: @samp{regular}, @samp{directory},
923 @samp{symlink}, @samp{block-special}, @samp{char-special},
924 @samp{fifo}, or @samp{socket}. @var{perms} (an integer) specifies the
925 file permissions. @var{dev} (an integer) specifies which device the
926 special file refers to. Its exact interpretation depends on the kind
927 of special file being created.
928
929 E.g.,
930 @lisp
931 (mknod "/dev/fd0" 'block-special #o660 (+ (* 2 256) 2))
932 @end lisp
933
934 The return value is unspecified.
935 @end deffn
936
937 @deffn {Scheme Procedure} tmpnam
938 @deffnx {C Function} scm_tmpnam ()
939 @cindex temporary file
940 Return an auto-generated name of a temporary file, a file which
941 doesn't already exist. The name includes a path, it's usually in
942 @file{/tmp} but that's system dependent.
943
944 Care must be taken when using @code{tmpnam}. In between choosing the
945 name and creating the file another program might use that name, or an
946 attacker might even make it a symlink pointing at something important
947 and causing you to overwrite that.
948
949 The safe way is to create the file using @code{open} with
950 @code{O_EXCL} to avoid any overwriting. A loop can try again with
951 another name if the file exists (error @code{EEXIST}).
952 @code{mkstemp!} below does that.
953 @end deffn
954
955 @deffn {Scheme Procedure} mkstemp! tmpl
956 @deffnx {C Function} scm_mkstemp (tmpl)
957 @cindex temporary file
958 Create a new unique file in the file system and return a new buffered
959 port open for reading and writing to the file.
960
961 @var{tmpl} is a string specifying where the file should be created: it
962 must end with @samp{XXXXXX} and those @samp{X}s will be changed in the
963 string to return the name of the file. (@code{port-filename} on the
964 port also gives the name.)
965
966 POSIX doesn't specify the permissions mode of the file, on GNU and
967 most systems it's @code{#o600}. An application can use @code{chmod}
968 to relax that if desired. For example @code{#o666} less @code{umask},
969 which is usual for ordinary file creation,
970
971 @example
972 (let ((port (mkstemp! (string-copy "/tmp/myfile-XXXXXX"))))
973 (chmod port (logand #o666 (lognot (umask))))
974 ...)
975 @end example
976 @end deffn
977
978 @deffn {Scheme Procedure} tmpfile
979 @deffnx {C Function} scm_tmpfile ()
980 Return an input/output port to a unique temporary file
981 named using the path prefix @code{P_tmpdir} defined in
982 @file{stdio.h}.
983 The file is automatically deleted when the port is closed
984 or the program terminates.
985 @end deffn
986
987 @deffn {Scheme Procedure} dirname filename
988 @deffnx {C Function} scm_dirname (filename)
989 Return the directory name component of the file name
990 @var{filename}. If @var{filename} does not contain a directory
991 component, @code{.} is returned.
992 @end deffn
993
994 @deffn {Scheme Procedure} basename filename [suffix]
995 @deffnx {C Function} scm_basename (filename, suffix)
996 Return the base name of the file name @var{filename}. The
997 base name is the file name without any directory components.
998 If @var{suffix} is provided, and is equal to the end of
999 @var{basename}, it is removed also.
1000
1001 @lisp
1002 (basename "/tmp/test.xml" ".xml")
1003 @result{} "test"
1004 @end lisp
1005 @end deffn
1006
1007 @deffn {Scheme Procedure} file-exists? filename
1008 Return @code{#t} if the file named @var{filename} exists, @code{#f} if
1009 not.
1010 @end deffn
1011
1012 @cindex file name separator
1013 @cindex absolute file name
1014
1015 Many operating systems, such as GNU, use @code{/} (forward slash) to
1016 separate the components of a file name; any file name starting with
1017 @code{/} is considered an @dfn{absolute file name}. These conventions
1018 are specified by the POSIX Base Definitions, which refer to conforming
1019 file names as ``pathnames''. Some operating systems use a different
1020 convention; in particular, Windows uses @code{\} (backslash) as the file
1021 name separator, and also has the notion of @dfn{volume names} like
1022 @code{C:\} for absolute file names. The following procedures and
1023 variables provide support for portable file name manipulations.
1024
1025 @deffn {Scheme Procedure} system-file-name-convention
1026 Return either @code{posix} or @code{windows}, depending on
1027 what kind of system this Guile is running on.
1028 @end deffn
1029
1030 @deffn {Scheme Procedure} file-name-separator? c
1031 Return true if character @var{c} is a file name separator on the host
1032 platform.
1033 @end deffn
1034
1035 @deffn {Scheme Procedure} absolute-file-name? file-name
1036 Return true if @var{file-name} denotes an absolute file name on the host
1037 platform.
1038 @end deffn
1039
1040 @defvr {Scheme Variable} file-name-separator-string
1041 The standard file name separator.
1042 @end defvr
1043
1044
1045 @node User Information
1046 @subsection User Information
1047 @cindex user information
1048 @cindex password file
1049 @cindex group file
1050
1051 The facilities in this section provide an interface to the user and
1052 group database.
1053 They should be used with care since they are not reentrant.
1054
1055 The following functions accept an object representing user information
1056 and return a selected component:
1057
1058 @deffn {Scheme Procedure} passwd:name pw
1059 The name of the userid.
1060 @end deffn
1061 @deffn {Scheme Procedure} passwd:passwd pw
1062 The encrypted passwd.
1063 @end deffn
1064 @deffn {Scheme Procedure} passwd:uid pw
1065 The user id number.
1066 @end deffn
1067 @deffn {Scheme Procedure} passwd:gid pw
1068 The group id number.
1069 @end deffn
1070 @deffn {Scheme Procedure} passwd:gecos pw
1071 The full name.
1072 @end deffn
1073 @deffn {Scheme Procedure} passwd:dir pw
1074 The home directory.
1075 @end deffn
1076 @deffn {Scheme Procedure} passwd:shell pw
1077 The login shell.
1078 @end deffn
1079 @sp 1
1080
1081 @deffn {Scheme Procedure} getpwuid uid
1082 Look up an integer userid in the user database.
1083 @end deffn
1084
1085 @deffn {Scheme Procedure} getpwnam name
1086 Look up a user name string in the user database.
1087 @end deffn
1088
1089 @deffn {Scheme Procedure} setpwent
1090 Initializes a stream used by @code{getpwent} to read from the user database.
1091 The next use of @code{getpwent} will return the first entry. The
1092 return value is unspecified.
1093 @end deffn
1094
1095 @deffn {Scheme Procedure} getpwent
1096 Read the next entry in the user database stream. The return is a
1097 passwd user object as above, or @code{#f} when no more entries.
1098 @end deffn
1099
1100 @deffn {Scheme Procedure} endpwent
1101 Closes the stream used by @code{getpwent}. The return value is unspecified.
1102 @end deffn
1103
1104 @deffn {Scheme Procedure} setpw [arg]
1105 @deffnx {C Function} scm_setpwent (arg)
1106 If called with a true argument, initialize or reset the password data
1107 stream. Otherwise, close the stream. The @code{setpwent} and
1108 @code{endpwent} procedures are implemented on top of this.
1109 @end deffn
1110
1111 @deffn {Scheme Procedure} getpw [user]
1112 @deffnx {C Function} scm_getpwuid (user)
1113 Look up an entry in the user database. @var{user} can be an integer,
1114 a string, or omitted, giving the behaviour of getpwuid, getpwnam
1115 or getpwent respectively.
1116 @end deffn
1117
1118 The following functions accept an object representing group information
1119 and return a selected component:
1120
1121 @deffn {Scheme Procedure} group:name gr
1122 The group name.
1123 @end deffn
1124 @deffn {Scheme Procedure} group:passwd gr
1125 The encrypted group password.
1126 @end deffn
1127 @deffn {Scheme Procedure} group:gid gr
1128 The group id number.
1129 @end deffn
1130 @deffn {Scheme Procedure} group:mem gr
1131 A list of userids which have this group as a supplementary group.
1132 @end deffn
1133 @sp 1
1134
1135 @deffn {Scheme Procedure} getgrgid gid
1136 Look up an integer group id in the group database.
1137 @end deffn
1138
1139 @deffn {Scheme Procedure} getgrnam name
1140 Look up a group name in the group database.
1141 @end deffn
1142
1143 @deffn {Scheme Procedure} setgrent
1144 Initializes a stream used by @code{getgrent} to read from the group database.
1145 The next use of @code{getgrent} will return the first entry.
1146 The return value is unspecified.
1147 @end deffn
1148
1149 @deffn {Scheme Procedure} getgrent
1150 Return the next entry in the group database, using the stream set by
1151 @code{setgrent}.
1152 @end deffn
1153
1154 @deffn {Scheme Procedure} endgrent
1155 Closes the stream used by @code{getgrent}.
1156 The return value is unspecified.
1157 @end deffn
1158
1159 @deffn {Scheme Procedure} setgr [arg]
1160 @deffnx {C Function} scm_setgrent (arg)
1161 If called with a true argument, initialize or reset the group data
1162 stream. Otherwise, close the stream. The @code{setgrent} and
1163 @code{endgrent} procedures are implemented on top of this.
1164 @end deffn
1165
1166 @deffn {Scheme Procedure} getgr [group]
1167 @deffnx {C Function} scm_getgrgid (group)
1168 Look up an entry in the group database. @var{group} can be an integer,
1169 a string, or omitted, giving the behaviour of getgrgid, getgrnam
1170 or getgrent respectively.
1171 @end deffn
1172
1173 In addition to the accessor procedures for the user database, the
1174 following shortcut procedure is also available.
1175
1176 @deffn {Scheme Procedure} getlogin
1177 @deffnx {C Function} scm_getlogin ()
1178 Return a string containing the name of the user logged in on
1179 the controlling terminal of the process, or @code{#f} if this
1180 information cannot be obtained.
1181 @end deffn
1182
1183
1184 @node Time
1185 @subsection Time
1186 @cindex time
1187
1188 @deffn {Scheme Procedure} current-time
1189 @deffnx {C Function} scm_current_time ()
1190 Return the number of seconds since 1970-01-01 00:00:00 @acronym{UTC},
1191 excluding leap seconds.
1192 @end deffn
1193
1194 @deffn {Scheme Procedure} gettimeofday
1195 @deffnx {C Function} scm_gettimeofday ()
1196 Return a pair containing the number of seconds and microseconds
1197 since 1970-01-01 00:00:00 @acronym{UTC}, excluding leap seconds. Note:
1198 whether true microsecond resolution is available depends on the
1199 operating system.
1200 @end deffn
1201
1202 The following procedures either accept an object representing a broken down
1203 time and return a selected component, or accept an object representing
1204 a broken down time and a value and set the component to the value.
1205 The numbers in parentheses give the usual range.
1206
1207 @deffn {Scheme Procedure} tm:sec tm
1208 @deffnx {Scheme Procedure} set-tm:sec tm val
1209 Seconds (0-59).
1210 @end deffn
1211 @deffn {Scheme Procedure} tm:min tm
1212 @deffnx {Scheme Procedure} set-tm:min tm val
1213 Minutes (0-59).
1214 @end deffn
1215 @deffn {Scheme Procedure} tm:hour tm
1216 @deffnx {Scheme Procedure} set-tm:hour tm val
1217 Hours (0-23).
1218 @end deffn
1219 @deffn {Scheme Procedure} tm:mday tm
1220 @deffnx {Scheme Procedure} set-tm:mday tm val
1221 Day of the month (1-31).
1222 @end deffn
1223 @deffn {Scheme Procedure} tm:mon tm
1224 @deffnx {Scheme Procedure} set-tm:mon tm val
1225 Month (0-11).
1226 @end deffn
1227 @deffn {Scheme Procedure} tm:year tm
1228 @deffnx {Scheme Procedure} set-tm:year tm val
1229 Year (70-), the year minus 1900.
1230 @end deffn
1231 @deffn {Scheme Procedure} tm:wday tm
1232 @deffnx {Scheme Procedure} set-tm:wday tm val
1233 Day of the week (0-6) with Sunday represented as 0.
1234 @end deffn
1235 @deffn {Scheme Procedure} tm:yday tm
1236 @deffnx {Scheme Procedure} set-tm:yday tm val
1237 Day of the year (0-364, 365 in leap years).
1238 @end deffn
1239 @deffn {Scheme Procedure} tm:isdst tm
1240 @deffnx {Scheme Procedure} set-tm:isdst tm val
1241 Daylight saving indicator (0 for ``no'', greater than 0 for ``yes'', less than
1242 0 for ``unknown'').
1243 @end deffn
1244 @deffn {Scheme Procedure} tm:gmtoff tm
1245 @deffnx {Scheme Procedure} set-tm:gmtoff tm val
1246 Time zone offset in seconds west of @acronym{UTC} (-46800 to 43200).
1247 For example on East coast USA (zone @samp{EST+5}) this would be 18000
1248 (ie.@: @m{5\times60\times60,5*60*60}) in winter, or 14400
1249 (ie.@: @m{4\times60\times60,4*60*60}) during daylight savings.
1250
1251 Note @code{tm:gmtoff} is not the same as @code{tm_gmtoff} in the C
1252 @code{tm} structure. @code{tm_gmtoff} is seconds east and hence the
1253 negative of the value here.
1254 @end deffn
1255 @deffn {Scheme Procedure} tm:zone tm
1256 @deffnx {Scheme Procedure} set-tm:zone tm val
1257 Time zone label (a string), not necessarily unique.
1258 @end deffn
1259 @sp 1
1260
1261 @deffn {Scheme Procedure} localtime time [zone]
1262 @deffnx {C Function} scm_localtime (time, zone)
1263 @cindex local time
1264 Return an object representing the broken down components of
1265 @var{time}, an integer like the one returned by
1266 @code{current-time}. The time zone for the calculation is
1267 optionally specified by @var{zone} (a string), otherwise the
1268 @env{TZ} environment variable or the system default is used.
1269 @end deffn
1270
1271 @deffn {Scheme Procedure} gmtime time
1272 @deffnx {C Function} scm_gmtime (time)
1273 Return an object representing the broken down components of
1274 @var{time}, an integer like the one returned by
1275 @code{current-time}. The values are calculated for @acronym{UTC}.
1276 @end deffn
1277
1278 @deffn {Scheme Procedure} mktime sbd-time [zone]
1279 @deffnx {C Function} scm_mktime (sbd_time, zone)
1280 For a broken down time object @var{sbd-time}, return a pair the
1281 @code{car} of which is an integer time like @code{current-time}, and
1282 the @code{cdr} of which is a new broken down time with normalized
1283 fields.
1284
1285 @var{zone} is a timezone string, or the default is the @env{TZ}
1286 environment variable or the system default (@pxref{TZ Variable,,
1287 Specifying the Time Zone with @env{TZ}, libc, GNU C Library Reference
1288 Manual}). @var{sbd-time} is taken to be in that @var{zone}.
1289
1290 The following fields of @var{sbd-time} are used: @code{tm:year},
1291 @code{tm:mon}, @code{tm:mday}, @code{tm:hour}, @code{tm:min},
1292 @code{tm:sec}, @code{tm:isdst}. The values can be outside their usual
1293 ranges. For example @code{tm:hour} normally goes up to 23, but a
1294 value say 33 would mean 9 the following day.
1295
1296 @code{tm:isdst} in @var{sbd-time} says whether the time given is with
1297 daylight savings or not. This is ignored if @var{zone} doesn't have
1298 any daylight savings adjustment amount.
1299
1300 The broken down time in the return normalizes the values of
1301 @var{sbd-time} by bringing them into their usual ranges, and using the
1302 actual daylight savings rule for that time in @var{zone} (which may
1303 differ from what @var{sbd-time} had). The easiest way to think of
1304 this is that @var{sbd-time} plus @var{zone} converts to the integer
1305 UTC time, then a @code{localtime} is applied to get the normal
1306 presentation of that time, in @var{zone}.
1307 @end deffn
1308
1309 @deffn {Scheme Procedure} tzset
1310 @deffnx {C Function} scm_tzset ()
1311 Initialize the timezone from the @env{TZ} environment variable
1312 or the system default. It's not usually necessary to call this procedure
1313 since it's done automatically by other procedures that depend on the
1314 timezone.
1315 @end deffn
1316
1317 @deffn {Scheme Procedure} strftime format tm
1318 @deffnx {C Function} scm_strftime (format, tm)
1319 @cindex time formatting
1320 Return a string which is broken-down time structure @var{tm} formatted
1321 according to the given @var{format} string.
1322
1323 @var{format} contains field specifications introduced by a @samp{%}
1324 character. See @ref{Formatting Calendar Time,,, libc, The GNU C
1325 Library Reference Manual}, or @samp{man 3 strftime}, for the available
1326 formatting.
1327
1328 @lisp
1329 (strftime "%c" (localtime (current-time)))
1330 @result{} "Mon Mar 11 20:17:43 2002"
1331 @end lisp
1332
1333 If @code{setlocale} has been called (@pxref{Locales}), month and day
1334 names are from the current locale and in the locale character set.
1335 @end deffn
1336
1337 @deffn {Scheme Procedure} strptime format string
1338 @deffnx {C Function} scm_strptime (format, string)
1339 @cindex time parsing
1340 Performs the reverse action to @code{strftime}, parsing
1341 @var{string} according to the specification supplied in
1342 @var{format}. The interpretation of month and day names is
1343 dependent on the current locale. The value returned is a pair.
1344 The @acronym{CAR} has an object with time components
1345 in the form returned by @code{localtime} or @code{gmtime},
1346 but the time zone components
1347 are not usefully set.
1348 The @acronym{CDR} reports the number of characters from @var{string}
1349 which were used for the conversion.
1350 @end deffn
1351
1352 @defvar internal-time-units-per-second
1353 The value of this variable is the number of time units per second
1354 reported by the following procedures.
1355 @end defvar
1356
1357 @deffn {Scheme Procedure} times
1358 @deffnx {C Function} scm_times ()
1359 Return an object with information about real and processor
1360 time. The following procedures accept such an object as an
1361 argument and return a selected component:
1362
1363 @deffn {Scheme Procedure} tms:clock tms
1364 The current real time, expressed as time units relative to an
1365 arbitrary base.
1366 @end deffn
1367 @deffn {Scheme Procedure} tms:utime tms
1368 The CPU time units used by the calling process.
1369 @end deffn
1370 @deffn {Scheme Procedure} tms:stime tms
1371 The CPU time units used by the system on behalf of the calling
1372 process.
1373 @end deffn
1374 @deffn {Scheme Procedure} tms:cutime tms
1375 The CPU time units used by terminated child processes of the
1376 calling process, whose status has been collected (e.g., using
1377 @code{waitpid}).
1378 @end deffn
1379 @deffn {Scheme Procedure} tms:cstime tms
1380 Similarly, the CPU times units used by the system on behalf of
1381 terminated child processes.
1382 @end deffn
1383 @end deffn
1384
1385 @deffn {Scheme Procedure} get-internal-real-time
1386 @deffnx {C Function} scm_get_internal_real_time ()
1387 Return the number of time units since the interpreter was
1388 started.
1389 @end deffn
1390
1391 @deffn {Scheme Procedure} get-internal-run-time
1392 @deffnx {C Function} scm_get_internal_run_time ()
1393 Return the number of time units of processor time used by the
1394 interpreter. Both @emph{system} and @emph{user} time are
1395 included but subprocesses are not.
1396 @end deffn
1397
1398 @node Runtime Environment
1399 @subsection Runtime Environment
1400
1401 @deffn {Scheme Procedure} program-arguments
1402 @deffnx {Scheme Procedure} command-line
1403 @deffnx {Scheme Procedure} set-program-arguments
1404 @deffnx {C Function} scm_program_arguments ()
1405 @deffnx {C Function} scm_set_program_arguments_scm (lst)
1406 @cindex command line
1407 @cindex program arguments
1408 Get the command line arguments passed to Guile, or set new arguments.
1409
1410 The arguments are a list of strings, the first of which is the invoked
1411 program name. This is just @nicode{"guile"} (or the executable path)
1412 when run interactively, or it's the script name when running a script
1413 with @option{-s} (@pxref{Invoking Guile}).
1414
1415 @example
1416 guile -L /my/extra/dir -s foo.scm abc def
1417
1418 (program-arguments) @result{} ("foo.scm" "abc" "def")
1419 @end example
1420
1421 @code{set-program-arguments} allows a library module or similar to
1422 modify the arguments, for example to strip options it recognises,
1423 leaving the rest for the mainline.
1424
1425 The argument list is held in a fluid, which means it's separate for
1426 each thread. Neither the list nor the strings within it are copied at
1427 any point and normally should not be mutated.
1428
1429 The two names @code{program-arguments} and @code{command-line} are an
1430 historical accident, they both do exactly the same thing. The name
1431 @code{scm_set_program_arguments_scm} has an extra @code{_scm} on the
1432 end to avoid clashing with the C function below.
1433 @end deffn
1434
1435 @deftypefn {C Function} void scm_set_program_arguments (int argc, char **argv, char *first)
1436 @cindex command line
1437 @cindex program arguments
1438 Set the list of command line arguments for @code{program-arguments}
1439 and @code{command-line} above.
1440
1441 @var{argv} is an array of null-terminated strings, as in a C
1442 @code{main} function. @var{argc} is the number of strings in
1443 @var{argv}, or if it's negative then a @code{NULL} in @var{argv} marks
1444 its end.
1445
1446 @var{first} is an extra string put at the start of the arguments, or
1447 @code{NULL} for no such extra. This is a convenient way to pass the
1448 program name after advancing @var{argv} to strip option arguments.
1449 Eg.@:
1450
1451 @example
1452 @{
1453 char *progname = argv[0];
1454 for (argv++; argv[0] != NULL && argv[0][0] == '-'; argv++)
1455 @{
1456 /* munch option ... */
1457 @}
1458 /* remaining args for scheme level use */
1459 scm_set_program_arguments (-1, argv, progname);
1460 @}
1461 @end example
1462
1463 This sort of thing is often done at startup under
1464 @code{scm_boot_guile} with options handled at the C level removed.
1465 The given strings are all copied, so the C data is not accessed again
1466 once @code{scm_set_program_arguments} returns.
1467 @end deftypefn
1468
1469 @deffn {Scheme Procedure} getenv name
1470 @deffnx {C Function} scm_getenv (name)
1471 @cindex environment
1472 Looks up the string @var{name} in the current environment. The return
1473 value is @code{#f} unless a string of the form @code{NAME=VALUE} is
1474 found, in which case the string @code{VALUE} is returned.
1475 @end deffn
1476
1477 @deffn {Scheme Procedure} setenv name value
1478 Modifies the environment of the current process, which is
1479 also the default environment inherited by child processes.
1480
1481 If @var{value} is @code{#f}, then @var{name} is removed from the
1482 environment. Otherwise, the string @var{name}=@var{value} is added
1483 to the environment, replacing any existing string with name matching
1484 @var{name}.
1485
1486 The return value is unspecified.
1487 @end deffn
1488
1489 @deffn {Scheme Procedure} unsetenv name
1490 Remove variable @var{name} from the environment. The
1491 name can not contain a @samp{=} character.
1492 @end deffn
1493
1494 @deffn {Scheme Procedure} environ [env]
1495 @deffnx {C Function} scm_environ (env)
1496 If @var{env} is omitted, return the current environment (in the
1497 Unix sense) as a list of strings. Otherwise set the current
1498 environment, which is also the default environment for child
1499 processes, to the supplied list of strings. Each member of
1500 @var{env} should be of the form @var{name}=@var{value} and values of
1501 @var{name} should not be duplicated. If @var{env} is supplied
1502 then the return value is unspecified.
1503 @end deffn
1504
1505 @deffn {Scheme Procedure} putenv str
1506 @deffnx {C Function} scm_putenv (str)
1507 Modifies the environment of the current process, which is
1508 also the default environment inherited by child processes.
1509
1510 If @var{str} is of the form @code{NAME=VALUE} then it will be written
1511 directly into the environment, replacing any existing environment string
1512 with
1513 name matching @code{NAME}. If @var{str} does not contain an equal
1514 sign, then any existing string with name matching @var{str} will
1515 be removed.
1516
1517 The return value is unspecified.
1518 @end deffn
1519
1520
1521 @node Processes
1522 @subsection Processes
1523 @cindex processes
1524 @cindex child processes
1525
1526 @findex cd
1527 @deffn {Scheme Procedure} chdir str
1528 @deffnx {C Function} scm_chdir (str)
1529 @cindex current directory
1530 Change the current working directory to @var{str}.
1531 The return value is unspecified.
1532 @end deffn
1533
1534 @findex pwd
1535 @deffn {Scheme Procedure} getcwd
1536 @deffnx {C Function} scm_getcwd ()
1537 Return the name of the current working directory.
1538 @end deffn
1539
1540 @deffn {Scheme Procedure} umask [mode]
1541 @deffnx {C Function} scm_umask (mode)
1542 If @var{mode} is omitted, returns a decimal number representing the
1543 current file creation mask. Otherwise the file creation mask is set
1544 to @var{mode} and the previous value is returned. @xref{Setting
1545 Permissions,,Assigning File Permissions,libc,The GNU C Library
1546 Reference Manual}, for more on how to use umasks.
1547
1548 E.g., @code{(umask #o022)} sets the mask to octal 22/decimal 18.
1549 @end deffn
1550
1551 @deffn {Scheme Procedure} chroot path
1552 @deffnx {C Function} scm_chroot (path)
1553 Change the root directory to that specified in @var{path}.
1554 This directory will be used for path names beginning with
1555 @file{/}. The root directory is inherited by all children
1556 of the current process. Only the superuser may change the
1557 root directory.
1558 @end deffn
1559
1560 @deffn {Scheme Procedure} getpid
1561 @deffnx {C Function} scm_getpid ()
1562 Return an integer representing the current process ID.
1563 @end deffn
1564
1565 @deffn {Scheme Procedure} getgroups
1566 @deffnx {C Function} scm_getgroups ()
1567 Return a vector of integers representing the current
1568 supplementary group IDs.
1569 @end deffn
1570
1571 @deffn {Scheme Procedure} getppid
1572 @deffnx {C Function} scm_getppid ()
1573 Return an integer representing the process ID of the parent
1574 process.
1575 @end deffn
1576
1577 @deffn {Scheme Procedure} getuid
1578 @deffnx {C Function} scm_getuid ()
1579 Return an integer representing the current real user ID.
1580 @end deffn
1581
1582 @deffn {Scheme Procedure} getgid
1583 @deffnx {C Function} scm_getgid ()
1584 Return an integer representing the current real group ID.
1585 @end deffn
1586
1587 @deffn {Scheme Procedure} geteuid
1588 @deffnx {C Function} scm_geteuid ()
1589 Return an integer representing the current effective user ID.
1590 If the system does not support effective IDs, then the real ID
1591 is returned. @code{(provided? 'EIDs)} reports whether the
1592 system supports effective IDs.
1593 @end deffn
1594
1595 @deffn {Scheme Procedure} getegid
1596 @deffnx {C Function} scm_getegid ()
1597 Return an integer representing the current effective group ID.
1598 If the system does not support effective IDs, then the real ID
1599 is returned. @code{(provided? 'EIDs)} reports whether the
1600 system supports effective IDs.
1601 @end deffn
1602
1603 @deffn {Scheme Procedure} setgroups vec
1604 @deffnx {C Function} scm_setgroups (vec)
1605 Set the current set of supplementary group IDs to the integers in the
1606 given vector @var{vec}. The return value is unspecified.
1607
1608 Generally only the superuser can set the process group IDs
1609 (@pxref{Setting Groups, Setting the Group IDs,, libc, The GNU C
1610 Library Reference Manual}).
1611 @end deffn
1612
1613 @deffn {Scheme Procedure} setuid id
1614 @deffnx {C Function} scm_setuid (id)
1615 Sets both the real and effective user IDs to the integer @var{id}, provided
1616 the process has appropriate privileges.
1617 The return value is unspecified.
1618 @end deffn
1619
1620 @deffn {Scheme Procedure} setgid id
1621 @deffnx {C Function} scm_setgid (id)
1622 Sets both the real and effective group IDs to the integer @var{id}, provided
1623 the process has appropriate privileges.
1624 The return value is unspecified.
1625 @end deffn
1626
1627 @deffn {Scheme Procedure} seteuid id
1628 @deffnx {C Function} scm_seteuid (id)
1629 Sets the effective user ID to the integer @var{id}, provided the process
1630 has appropriate privileges. If effective IDs are not supported, the
1631 real ID is set instead---@code{(provided? 'EIDs)} reports whether the
1632 system supports effective IDs.
1633 The return value is unspecified.
1634 @end deffn
1635
1636 @deffn {Scheme Procedure} setegid id
1637 @deffnx {C Function} scm_setegid (id)
1638 Sets the effective group ID to the integer @var{id}, provided the process
1639 has appropriate privileges. If effective IDs are not supported, the
1640 real ID is set instead---@code{(provided? 'EIDs)} reports whether the
1641 system supports effective IDs.
1642 The return value is unspecified.
1643 @end deffn
1644
1645 @deffn {Scheme Procedure} getpgrp
1646 @deffnx {C Function} scm_getpgrp ()
1647 Return an integer representing the current process group ID.
1648 This is the @acronym{POSIX} definition, not @acronym{BSD}.
1649 @end deffn
1650
1651 @deffn {Scheme Procedure} setpgid pid pgid
1652 @deffnx {C Function} scm_setpgid (pid, pgid)
1653 Move the process @var{pid} into the process group @var{pgid}. @var{pid} or
1654 @var{pgid} must be integers: they can be zero to indicate the ID of the
1655 current process.
1656 Fails on systems that do not support job control.
1657 The return value is unspecified.
1658 @end deffn
1659
1660 @deffn {Scheme Procedure} setsid
1661 @deffnx {C Function} scm_setsid ()
1662 Creates a new session. The current process becomes the session leader
1663 and is put in a new process group. The process will be detached
1664 from its controlling terminal if it has one.
1665 The return value is an integer representing the new process group ID.
1666 @end deffn
1667
1668 @deffn {Scheme Procedure} getsid pid
1669 @deffnx {C Function} scm_getsid (pid)
1670 Returns the session ID of process @var{pid}. (The session
1671 ID of a process is the process group ID of its session leader.)
1672 @end deffn
1673
1674 @deffn {Scheme Procedure} waitpid pid [options]
1675 @deffnx {C Function} scm_waitpid (pid, options)
1676 This procedure collects status information from a child process which
1677 has terminated or (optionally) stopped. Normally it will
1678 suspend the calling process until this can be done. If more than one
1679 child process is eligible then one will be chosen by the operating system.
1680
1681 The value of @var{pid} determines the behaviour:
1682
1683 @table @asis
1684 @item @var{pid} greater than 0
1685 Request status information from the specified child process.
1686 @item @var{pid} equal to -1 or @code{WAIT_ANY}
1687 @vindex WAIT_ANY
1688 Request status information for any child process.
1689 @item @var{pid} equal to 0 or @code{WAIT_MYPGRP}
1690 @vindex WAIT_MYPGRP
1691 Request status information for any child process in the current process
1692 group.
1693 @item @var{pid} less than -1
1694 Request status information for any child process whose process group ID
1695 is @minus{}@var{pid}.
1696 @end table
1697
1698 The @var{options} argument, if supplied, should be the bitwise OR of the
1699 values of zero or more of the following variables:
1700
1701 @defvar WNOHANG
1702 Return immediately even if there are no child processes to be collected.
1703 @end defvar
1704
1705 @defvar WUNTRACED
1706 Report status information for stopped processes as well as terminated
1707 processes.
1708 @end defvar
1709
1710 The return value is a pair containing:
1711
1712 @enumerate
1713 @item
1714 The process ID of the child process, or 0 if @code{WNOHANG} was
1715 specified and no process was collected.
1716 @item
1717 The integer status value.
1718 @end enumerate
1719 @end deffn
1720
1721 The following three
1722 functions can be used to decode the process status code returned
1723 by @code{waitpid}.
1724
1725 @deffn {Scheme Procedure} status:exit-val status
1726 @deffnx {C Function} scm_status_exit_val (status)
1727 Return the exit status value, as would be set if a process
1728 ended normally through a call to @code{exit} or @code{_exit},
1729 if any, otherwise @code{#f}.
1730 @end deffn
1731
1732 @deffn {Scheme Procedure} status:term-sig status
1733 @deffnx {C Function} scm_status_term_sig (status)
1734 Return the signal number which terminated the process, if any,
1735 otherwise @code{#f}.
1736 @end deffn
1737
1738 @deffn {Scheme Procedure} status:stop-sig status
1739 @deffnx {C Function} scm_status_stop_sig (status)
1740 Return the signal number which stopped the process, if any,
1741 otherwise @code{#f}.
1742 @end deffn
1743
1744 @deffn {Scheme Procedure} system [cmd]
1745 @deffnx {C Function} scm_system (cmd)
1746 Execute @var{cmd} using the operating system's ``command
1747 processor''. Under Unix this is usually the default shell
1748 @code{sh}. The value returned is @var{cmd}'s exit status as
1749 returned by @code{waitpid}, which can be interpreted using the
1750 functions above.
1751
1752 If @code{system} is called without arguments, return a boolean
1753 indicating whether the command processor is available.
1754 @end deffn
1755
1756 @deffn {Scheme Procedure} system* arg1 arg2 @dots{}
1757 @deffnx {C Function} scm_system_star (args)
1758 Execute the command indicated by @var{arg1} @var{arg2} @enddots{}. The
1759 first element must be a string indicating the command to be executed,
1760 and the remaining items must be strings representing each of the
1761 arguments to that command.
1762
1763 This function returns the exit status of the command as provided by
1764 @code{waitpid}. This value can be handled with @code{status:exit-val}
1765 and the related functions.
1766
1767 @code{system*} is similar to @code{system}, but accepts only one
1768 string per-argument, and performs no shell interpretation. The
1769 command is executed using fork and execlp. Accordingly this function
1770 may be safer than @code{system} in situations where shell
1771 interpretation is not required.
1772
1773 Example: (system* "echo" "foo" "bar")
1774 @end deffn
1775
1776 @deffn {Scheme Procedure} quit [status]
1777 @deffnx {Scheme Procedure} exit [status]
1778 Terminate the current process with proper unwinding of the Scheme stack.
1779 The exit status zero if @var{status} is not supplied. If @var{status}
1780 is supplied, and it is an integer, that integer is used as the exit
1781 status. If @var{status} is @code{#t} or @code{#f}, the exit status is 0
1782 or 1, respectively.
1783
1784 The procedure @code{exit} is an alias of @code{quit}. They have the
1785 same functionality.
1786 @end deffn
1787
1788 @deffn {Scheme Procedure} primitive-exit [status]
1789 @deffnx {Scheme Procedure} primitive-_exit [status]
1790 @deffnx {C Function} scm_primitive_exit (status)
1791 @deffnx {C Function} scm_primitive__exit (status)
1792 Terminate the current process without unwinding the Scheme stack. The
1793 exit status is @var{status} if supplied, otherwise zero.
1794
1795 @code{primitive-exit} uses the C @code{exit} function and hence runs
1796 usual C level cleanups (flush output streams, call @code{atexit}
1797 functions, etc, see @ref{Normal Termination,,, libc, The GNU C Library
1798 Reference Manual})).
1799
1800 @code{primitive-_exit} is the @code{_exit} system call
1801 (@pxref{Termination Internals,,, libc, The GNU C Library Reference
1802 Manual}). This terminates the program immediately, with neither
1803 Scheme-level nor C-level cleanups.
1804
1805 The typical use for @code{primitive-_exit} is from a child process
1806 created with @code{primitive-fork}. For example in a Gdk program the
1807 child process inherits the X server connection and a C-level
1808 @code{atexit} cleanup which will close that connection. But closing
1809 in the child would upset the protocol in the parent, so
1810 @code{primitive-_exit} should be used to exit without that.
1811 @end deffn
1812
1813 @deffn {Scheme Procedure} execl filename arg @dots{}
1814 @deffnx {C Function} scm_execl (filename, args)
1815 Executes the file named by @var{filename} as a new process image.
1816 The remaining arguments are supplied to the process; from a C program
1817 they are accessible as the @code{argv} argument to @code{main}.
1818 Conventionally the first @var{arg} is the same as @var{filename}.
1819 All arguments must be strings.
1820
1821 If @var{arg} is missing, @var{filename} is executed with a null
1822 argument list, which may have system-dependent side-effects.
1823
1824 This procedure is currently implemented using the @code{execv} system
1825 call, but we call it @code{execl} because of its Scheme calling interface.
1826 @end deffn
1827
1828 @deffn {Scheme Procedure} execlp filename arg @dots{}
1829 @deffnx {C Function} scm_execlp (filename, args)
1830 Similar to @code{execl}, however if
1831 @var{filename} does not contain a slash
1832 then the file to execute will be located by searching the
1833 directories listed in the @code{PATH} environment variable.
1834
1835 This procedure is currently implemented using the @code{execvp} system
1836 call, but we call it @code{execlp} because of its Scheme calling interface.
1837 @end deffn
1838
1839 @deffn {Scheme Procedure} execle filename env arg @dots{}
1840 @deffnx {C Function} scm_execle (filename, env, args)
1841 Similar to @code{execl}, but the environment of the new process is
1842 specified by @var{env}, which must be a list of strings as returned by the
1843 @code{environ} procedure.
1844
1845 This procedure is currently implemented using the @code{execve} system
1846 call, but we call it @code{execle} because of its Scheme calling interface.
1847 @end deffn
1848
1849 @deffn {Scheme Procedure} primitive-fork
1850 @deffnx {C Function} scm_fork ()
1851 Creates a new ``child'' process by duplicating the current ``parent'' process.
1852 In the child the return value is 0. In the parent the return value is
1853 the integer process ID of the child.
1854
1855 Note that it is unsafe to fork a process that has multiple threads
1856 running, as only the thread that calls @code{primitive-fork} will
1857 persist in the child. Any resources that other threads held, such as
1858 locked mutexes or open file descriptors, are lost. Indeed, @acronym{POSIX}
1859 specifies that only async-signal-safe procedures are safe to call after
1860 a multithreaded fork, which is a very limited set. Guile issues a
1861 warning if it detects a fork from a multi-threaded program.
1862
1863 If you are going to @code{exec} soon after forking, the procedures in
1864 @code{(ice-9 popen)} may be useful to you, as they fork and exec within
1865 an async-signal-safe function carefully written to ensure robust program
1866 behavior, even in the presence of threads. @xref{Pipes}, for more.
1867
1868 This procedure has been renamed from @code{fork} to avoid a naming conflict
1869 with the scsh fork.
1870 @end deffn
1871
1872 @deffn {Scheme Procedure} nice incr
1873 @deffnx {C Function} scm_nice (incr)
1874 @cindex process priority
1875 Increment the priority of the current process by @var{incr}. A higher
1876 priority value means that the process runs less often.
1877 The return value is unspecified.
1878 @end deffn
1879
1880 @deffn {Scheme Procedure} setpriority which who prio
1881 @deffnx {C Function} scm_setpriority (which, who, prio)
1882 @vindex PRIO_PROCESS
1883 @vindex PRIO_PGRP
1884 @vindex PRIO_USER
1885 Set the scheduling priority of the process, process group
1886 or user, as indicated by @var{which} and @var{who}. @var{which}
1887 is one of the variables @code{PRIO_PROCESS}, @code{PRIO_PGRP}
1888 or @code{PRIO_USER}, and @var{who} is interpreted relative to
1889 @var{which} (a process identifier for @code{PRIO_PROCESS},
1890 process group identifier for @code{PRIO_PGRP}, and a user
1891 identifier for @code{PRIO_USER}. A zero value of @var{who}
1892 denotes the current process, process group, or user.
1893 @var{prio} is a value in the range [@minus{}20,20]. The default
1894 priority is 0; lower priorities (in numerical terms) cause more
1895 favorable scheduling. Sets the priority of all of the specified
1896 processes. Only the super-user may lower priorities. The return
1897 value is not specified.
1898 @end deffn
1899
1900 @deffn {Scheme Procedure} getpriority which who
1901 @deffnx {C Function} scm_getpriority (which, who)
1902 @vindex PRIO_PROCESS
1903 @vindex PRIO_PGRP
1904 @vindex PRIO_USER
1905 Return the scheduling priority of the process, process group
1906 or user, as indicated by @var{which} and @var{who}. @var{which}
1907 is one of the variables @code{PRIO_PROCESS}, @code{PRIO_PGRP}
1908 or @code{PRIO_USER}, and @var{who} should be interpreted depending on
1909 @var{which} (a process identifier for @code{PRIO_PROCESS},
1910 process group identifier for @code{PRIO_PGRP}, and a user
1911 identifier for @code{PRIO_USER}). A zero value of @var{who}
1912 denotes the current process, process group, or user. Return
1913 the highest priority (lowest numerical value) of any of the
1914 specified processes.
1915 @end deffn
1916
1917 @cindex affinity, CPU
1918
1919 @deffn {Scheme Procedure} getaffinity pid
1920 @deffnx {C Function} scm_getaffinity (pid)
1921 Return a bitvector representing the CPU affinity mask for
1922 process @var{pid}. Each CPU the process has affinity with
1923 has its corresponding bit set in the returned bitvector.
1924 The number of bits set is a good estimate of how many CPUs
1925 Guile can use without stepping on other processes' toes.
1926
1927 Currently this procedure is only defined on GNU variants
1928 (@pxref{CPU Affinity, @code{sched_getaffinity},, libc, The
1929 GNU C Library Reference Manual}).
1930 @end deffn
1931
1932 @deffn {Scheme Procedure} setaffinity pid mask
1933 @deffnx {C Function} scm_setaffinity (pid, mask)
1934 Install the CPU affinity mask @var{mask}, a bitvector, for
1935 the process or thread with ID @var{pid}. The return value
1936 is unspecified.
1937
1938 Currently this procedure is only defined on GNU variants
1939 (@pxref{CPU Affinity, @code{sched_setaffinity},, libc, The
1940 GNU C Library Reference Manual}).
1941 @end deffn
1942
1943 @deffn {Scheme Procedure} total-processor-count
1944 @deffnx {C Function} scm_total_processor_count ()
1945 Return the total number of processors of the machine, which
1946 is guaranteed to be at least 1. A ``processor'' here is a
1947 thread execution unit, which can be either:
1948
1949 @itemize
1950 @item an execution core in a (possibly multi-core) chip, in a
1951 (possibly multi- chip) module, in a single computer, or
1952 @item a thread execution unit inside a core in the case of
1953 @dfn{hyper-threaded} CPUs.
1954 @end itemize
1955
1956 Which of the two definitions is used, is unspecified.
1957 @end deffn
1958
1959 @deffn {Scheme Procedure} current-processor-count
1960 @deffnx {C Function} scm_current_processor_count ()
1961 Like @code{total-processor-count}, but return the number of
1962 processors available to the current process. See
1963 @code{setaffinity} and @code{getaffinity} for more
1964 information.
1965 @end deffn
1966
1967
1968 @node Signals
1969 @subsection Signals
1970 @cindex signal
1971
1972 The following procedures raise, handle and wait for signals.
1973
1974 Scheme code signal handlers are run via a system async (@pxref{System
1975 asyncs}), so they're called in the handler's thread at the next safe
1976 opportunity. Generally this is after any currently executing
1977 primitive procedure finishes (which could be a long time for
1978 primitives that wait for an external event).
1979
1980 @deffn {Scheme Procedure} kill pid sig
1981 @deffnx {C Function} scm_kill (pid, sig)
1982 Sends a signal to the specified process or group of processes.
1983
1984 @var{pid} specifies the processes to which the signal is sent:
1985
1986 @table @asis
1987 @item @var{pid} greater than 0
1988 The process whose identifier is @var{pid}.
1989 @item @var{pid} equal to 0
1990 All processes in the current process group.
1991 @item @var{pid} less than -1
1992 The process group whose identifier is -@var{pid}
1993 @item @var{pid} equal to -1
1994 If the process is privileged, all processes except for some special
1995 system processes. Otherwise, all processes with the current effective
1996 user ID.
1997 @end table
1998
1999 @var{sig} should be specified using a variable corresponding to
2000 the Unix symbolic name, e.g.,
2001
2002 @defvar SIGHUP
2003 Hang-up signal.
2004 @end defvar
2005
2006 @defvar SIGINT
2007 Interrupt signal.
2008 @end defvar
2009
2010 A full list of signals on the GNU system may be found in @ref{Standard
2011 Signals,,,libc,The GNU C Library Reference Manual}.
2012 @end deffn
2013
2014 @deffn {Scheme Procedure} raise sig
2015 @deffnx {C Function} scm_raise (sig)
2016 Sends a specified signal @var{sig} to the current process, where
2017 @var{sig} is as described for the @code{kill} procedure.
2018 @end deffn
2019
2020 @deffn {Scheme Procedure} sigaction signum [handler [flags [thread]]]
2021 @deffnx {C Function} scm_sigaction (signum, handler, flags)
2022 @deffnx {C Function} scm_sigaction_for_thread (signum, handler, flags, thread)
2023 Install or report the signal handler for a specified signal.
2024
2025 @var{signum} is the signal number, which can be specified using the value
2026 of variables such as @code{SIGINT}.
2027
2028 If @var{handler} is omitted, @code{sigaction} returns a pair: the
2029 @acronym{CAR} is the current signal hander, which will be either an
2030 integer with the value @code{SIG_DFL} (default action) or
2031 @code{SIG_IGN} (ignore), or the Scheme procedure which handles the
2032 signal, or @code{#f} if a non-Scheme procedure handles the signal.
2033 The @acronym{CDR} contains the current @code{sigaction} flags for the
2034 handler.
2035
2036 If @var{handler} is provided, it is installed as the new handler for
2037 @var{signum}. @var{handler} can be a Scheme procedure taking one
2038 argument, or the value of @code{SIG_DFL} (default action) or
2039 @code{SIG_IGN} (ignore), or @code{#f} to restore whatever signal handler
2040 was installed before @code{sigaction} was first used. When a scheme
2041 procedure has been specified, that procedure will run in the given
2042 @var{thread}. When no thread has been given, the thread that made this
2043 call to @code{sigaction} is used.
2044
2045 @var{flags} is a @code{logior} (@pxref{Bitwise Operations}) of the
2046 following (where provided by the system), or @code{0} for none.
2047
2048 @defvar SA_NOCLDSTOP
2049 By default, @code{SIGCHLD} is signalled when a child process stops
2050 (ie.@: receives @code{SIGSTOP}), and when a child process terminates.
2051 With the @code{SA_NOCLDSTOP} flag, @code{SIGCHLD} is only signalled
2052 for termination, not stopping.
2053
2054 @code{SA_NOCLDSTOP} has no effect on signals other than
2055 @code{SIGCHLD}.
2056 @end defvar
2057
2058 @defvar SA_RESTART
2059 If a signal occurs while in a system call, deliver the signal then
2060 restart the system call (as opposed to returning an @code{EINTR} error
2061 from that call).
2062 @end defvar
2063
2064 The return value is a pair with information about the old handler as
2065 described above.
2066
2067 This interface does not provide access to the ``signal blocking''
2068 facility. Maybe this is not needed, since the thread support may
2069 provide solutions to the problem of consistent access to data
2070 structures.
2071 @end deffn
2072
2073 @deffn {Scheme Procedure} restore-signals
2074 @deffnx {C Function} scm_restore_signals ()
2075 Return all signal handlers to the values they had before any call to
2076 @code{sigaction} was made. The return value is unspecified.
2077 @end deffn
2078
2079 @deffn {Scheme Procedure} alarm i
2080 @deffnx {C Function} scm_alarm (i)
2081 Set a timer to raise a @code{SIGALRM} signal after the specified
2082 number of seconds (an integer). It's advisable to install a signal
2083 handler for
2084 @code{SIGALRM} beforehand, since the default action is to terminate
2085 the process.
2086
2087 The return value indicates the time remaining for the previous alarm,
2088 if any. The new value replaces the previous alarm. If there was
2089 no previous alarm, the return value is zero.
2090 @end deffn
2091
2092 @deffn {Scheme Procedure} pause
2093 @deffnx {C Function} scm_pause ()
2094 Pause the current process (thread?) until a signal arrives whose
2095 action is to either terminate the current process or invoke a
2096 handler procedure. The return value is unspecified.
2097 @end deffn
2098
2099 @deffn {Scheme Procedure} sleep secs
2100 @deffnx {Scheme Procedure} usleep usecs
2101 @deffnx {C Function} scm_sleep (secs)
2102 @deffnx {C Function} scm_usleep (usecs)
2103 Wait the given period @var{secs} seconds or @var{usecs} microseconds
2104 (both integers). If a signal arrives the wait stops and the return
2105 value is the time remaining, in seconds or microseconds respectively.
2106 If the period elapses with no signal the return is zero.
2107
2108 On most systems the process scheduler is not microsecond accurate and
2109 the actual period slept by @code{usleep} might be rounded to a system
2110 clock tick boundary, which might be 10 milliseconds for instance.
2111
2112 See @code{scm_std_sleep} and @code{scm_std_usleep} for equivalents at
2113 the C level (@pxref{Blocking}).
2114 @end deffn
2115
2116 @deffn {Scheme Procedure} getitimer which_timer
2117 @deffnx {Scheme Procedure} setitimer which_timer interval_seconds interval_microseconds periodic_seconds periodic_microseconds
2118 @deffnx {C Function} scm_getitimer (which_timer)
2119 @deffnx {C Function} scm_setitimer (which_timer, interval_seconds, interval_microseconds, periodic_seconds, periodic_microseconds)
2120 Get or set the periods programmed in certain system timers. These
2121 timers have a current interval value which counts down and on reaching
2122 zero raises a signal. An optional periodic value can be set to
2123 restart from there each time, for periodic operation.
2124 @var{which_timer} is one of the following values
2125
2126 @defvar ITIMER_REAL
2127 A real-time timer, counting down elapsed real time. At zero it raises
2128 @code{SIGALRM}. This is like @code{alarm} above, but with a higher
2129 resolution period.
2130 @end defvar
2131
2132 @defvar ITIMER_VIRTUAL
2133 A virtual-time timer, counting down while the current process is
2134 actually using CPU. At zero it raises @code{SIGVTALRM}.
2135 @end defvar
2136
2137 @defvar ITIMER_PROF
2138 A profiling timer, counting down while the process is running (like
2139 @code{ITIMER_VIRTUAL}) and also while system calls are running on the
2140 process's behalf. At zero it raises a @code{SIGPROF}.
2141
2142 This timer is intended for profiling where a program is spending its
2143 time (by looking where it is when the timer goes off).
2144 @end defvar
2145
2146 @code{getitimer} returns the current timer value and its programmed
2147 restart value, as a list containing two pairs. Each pair is a time in
2148 seconds and microseconds: @code{((@var{interval_secs}
2149 . @var{interval_usecs}) (@var{periodic_secs}
2150 . @var{periodic_usecs}))}.
2151
2152 @code{setitimer} sets the timer values similarly, in seconds and
2153 microseconds (which must be integers). The periodic value can be zero
2154 to have the timer run down just once. The return value is the timer's
2155 previous setting, in the same form as @code{getitimer} returns.
2156
2157 @example
2158 (setitimer ITIMER_REAL
2159 5 500000 ;; first SIGALRM in 5.5 seconds time
2160 2 0) ;; then repeat every 2 seconds
2161 @end example
2162
2163 Although the timers are programmed in microseconds, the actual
2164 accuracy might not be that high.
2165 @end deffn
2166
2167
2168 @node Terminals and Ptys
2169 @subsection Terminals and Ptys
2170
2171 @deffn {Scheme Procedure} isatty? port
2172 @deffnx {C Function} scm_isatty_p (port)
2173 @cindex terminal
2174 Return @code{#t} if @var{port} is using a serial non--file
2175 device, otherwise @code{#f}.
2176 @end deffn
2177
2178 @deffn {Scheme Procedure} ttyname port
2179 @deffnx {C Function} scm_ttyname (port)
2180 @cindex terminal
2181 Return a string with the name of the serial terminal device
2182 underlying @var{port}.
2183 @end deffn
2184
2185 @deffn {Scheme Procedure} ctermid
2186 @deffnx {C Function} scm_ctermid ()
2187 @cindex terminal
2188 Return a string containing the file name of the controlling
2189 terminal for the current process.
2190 @end deffn
2191
2192 @deffn {Scheme Procedure} tcgetpgrp port
2193 @deffnx {C Function} scm_tcgetpgrp (port)
2194 @cindex process group
2195 Return the process group ID of the foreground process group
2196 associated with the terminal open on the file descriptor
2197 underlying @var{port}.
2198
2199 If there is no foreground process group, the return value is a
2200 number greater than 1 that does not match the process group ID
2201 of any existing process group. This can happen if all of the
2202 processes in the job that was formerly the foreground job have
2203 terminated, and no other job has yet been moved into the
2204 foreground.
2205 @end deffn
2206
2207 @deffn {Scheme Procedure} tcsetpgrp port pgid
2208 @deffnx {C Function} scm_tcsetpgrp (port, pgid)
2209 @cindex process group
2210 Set the foreground process group ID for the terminal used by the file
2211 descriptor underlying @var{port} to the integer @var{pgid}.
2212 The calling process
2213 must be a member of the same session as @var{pgid} and must have the same
2214 controlling terminal. The return value is unspecified.
2215 @end deffn
2216
2217 @node Pipes
2218 @subsection Pipes
2219 @cindex pipe
2220
2221 The following procedures are similar to the @code{popen} and
2222 @code{pclose} system routines. The code is in a separate ``popen''
2223 module@footnote{This module is only available on systems where the
2224 @code{fork} feature is provided (@pxref{Common Feature Symbols}).}:
2225
2226 @lisp
2227 (use-modules (ice-9 popen))
2228 @end lisp
2229
2230 @findex popen
2231 @deffn {Scheme Procedure} open-pipe command mode
2232 @deffnx {Scheme Procedure} open-pipe* mode prog [args...]
2233 Execute a command in a subprocess, with a pipe to it or from it, or
2234 with pipes in both directions.
2235
2236 @code{open-pipe} runs the shell @var{command} using @samp{/bin/sh -c}.
2237 @code{open-pipe*} executes @var{prog} directly, with the optional
2238 @var{args} arguments (all strings).
2239
2240 @var{mode} should be one of the following values. @code{OPEN_READ} is
2241 an input pipe, ie.@: to read from the subprocess. @code{OPEN_WRITE}
2242 is an output pipe, ie.@: to write to it.
2243
2244 @defvar OPEN_READ
2245 @defvarx OPEN_WRITE
2246 @defvarx OPEN_BOTH
2247 @end defvar
2248
2249 For an input pipe, the child's standard output is the pipe and
2250 standard input is inherited from @code{current-input-port}. For an
2251 output pipe, the child's standard input is the pipe and standard
2252 output is inherited from @code{current-output-port}. In all cases
2253 cases the child's standard error is inherited from
2254 @code{current-error-port} (@pxref{Default Ports}).
2255
2256 If those @code{current-X-ports} are not files of some kind, and hence
2257 don't have file descriptors for the child, then @file{/dev/null} is
2258 used instead.
2259
2260 Care should be taken with @code{OPEN_BOTH}, a deadlock will occur if
2261 both parent and child are writing, and waiting until the write
2262 completes before doing any reading. Each direction has
2263 @code{PIPE_BUF} bytes of buffering (@pxref{Ports and File
2264 Descriptors}), which will be enough for small writes, but not for say
2265 putting a big file through a filter.
2266 @end deffn
2267
2268 @deffn {Scheme Procedure} open-input-pipe command
2269 Equivalent to @code{open-pipe} with mode @code{OPEN_READ}.
2270
2271 @lisp
2272 (let* ((port (open-input-pipe "date --utc"))
2273 (str (read-line port)))
2274 (close-pipe port)
2275 str)
2276 @result{} "Mon Mar 11 20:10:44 UTC 2002"
2277 @end lisp
2278 @end deffn
2279
2280 @deffn {Scheme Procedure} open-output-pipe command
2281 Equivalent to @code{open-pipe} with mode @code{OPEN_WRITE}.
2282
2283 @lisp
2284 (let ((port (open-output-pipe "lpr")))
2285 (display "Something for the line printer.\n" port)
2286 (if (not (eqv? 0 (status:exit-val (close-pipe port))))
2287 (error "Cannot print")))
2288 @end lisp
2289 @end deffn
2290
2291 @deffn {Scheme Procedure} open-input-output-pipe command
2292 Equivalent to @code{open-pipe} with mode @code{OPEN_BOTH}.
2293 @end deffn
2294
2295 @findex pclose
2296 @deffn {Scheme Procedure} close-pipe port
2297 Close a pipe created by @code{open-pipe}, wait for the process to
2298 terminate, and return the wait status code. The status is as per
2299 @code{waitpid} and can be decoded with @code{status:exit-val} etc
2300 (@pxref{Processes})
2301 @end deffn
2302
2303 @sp 1
2304 @code{waitpid WAIT_ANY} should not be used when pipes are open, since
2305 it can reap a pipe's child process, causing an error from a subsequent
2306 @code{close-pipe}.
2307
2308 @code{close-port} (@pxref{Closing}) can close a pipe, but it doesn't
2309 reap the child process.
2310
2311 The garbage collector will close a pipe no longer in use, and reap the
2312 child process with @code{waitpid}. If the child hasn't yet terminated
2313 the garbage collector doesn't block, but instead checks again in the
2314 next GC.
2315
2316 Many systems have per-user and system-wide limits on the number of
2317 processes, and a system-wide limit on the number of pipes, so pipes
2318 should be closed explicitly when no longer needed, rather than letting
2319 the garbage collector pick them up at some later time.
2320
2321
2322 @node Networking
2323 @subsection Networking
2324 @cindex network
2325
2326 @menu
2327 * Network Address Conversion::
2328 * Network Databases::
2329 * Network Socket Address::
2330 * Network Sockets and Communication::
2331 * Internet Socket Examples::
2332 @end menu
2333
2334 @node Network Address Conversion
2335 @subsubsection Network Address Conversion
2336 @cindex network address
2337
2338 This section describes procedures which convert internet addresses
2339 between numeric and string formats.
2340
2341 @subsubheading IPv4 Address Conversion
2342 @cindex IPv4
2343
2344 An IPv4 Internet address is a 4-byte value, represented in Guile as an
2345 integer in host byte order, so that say ``0.0.0.1'' is 1, or
2346 ``1.0.0.0'' is 16777216.
2347
2348 Some underlying C functions use network byte order for addresses,
2349 Guile converts as necessary so that at the Scheme level its host byte
2350 order everywhere.
2351
2352 @defvar INADDR_ANY
2353 For a server, this can be used with @code{bind} (@pxref{Network
2354 Sockets and Communication}) to allow connections from any interface on
2355 the machine.
2356 @end defvar
2357
2358 @defvar INADDR_BROADCAST
2359 The broadcast address on the local network.
2360 @end defvar
2361
2362 @defvar INADDR_LOOPBACK
2363 The address of the local host using the loopback device, ie.@:
2364 @samp{127.0.0.1}.
2365 @end defvar
2366
2367 @c INADDR_NONE is defined in the code, but serves no purpose.
2368 @c inet_addr() returns it as an error indication, but that function
2369 @c isn't provided, for the good reason that inet_aton() does the same
2370 @c job and gives an unambiguous error indication. (INADDR_NONE is a
2371 @c valid 4-byte value, in glibc it's the same as INADDR_BROADCAST.)
2372 @c
2373 @c @defvar INADDR_NONE
2374 @c No address.
2375 @c @end defvar
2376
2377 @deffn {Scheme Procedure} inet-aton address
2378 @deffnx {C Function} scm_inet_aton (address)
2379 This function is deprecated in favor of @code{inet-pton}.
2380
2381 Convert an IPv4 Internet address from printable string
2382 (dotted decimal notation) to an integer. E.g.,
2383
2384 @lisp
2385 (inet-aton "127.0.0.1") @result{} 2130706433
2386 @end lisp
2387 @end deffn
2388
2389 @deffn {Scheme Procedure} inet-ntoa inetid
2390 @deffnx {C Function} scm_inet_ntoa (inetid)
2391 This function is deprecated in favor of @code{inet-ntop}.
2392
2393 Convert an IPv4 Internet address to a printable
2394 (dotted decimal notation) string. E.g.,
2395
2396 @lisp
2397 (inet-ntoa 2130706433) @result{} "127.0.0.1"
2398 @end lisp
2399 @end deffn
2400
2401 @deffn {Scheme Procedure} inet-netof address
2402 @deffnx {C Function} scm_inet_netof (address)
2403 Return the network number part of the given IPv4
2404 Internet address. E.g.,
2405
2406 @lisp
2407 (inet-netof 2130706433) @result{} 127
2408 @end lisp
2409 @end deffn
2410
2411 @deffn {Scheme Procedure} inet-lnaof address
2412 @deffnx {C Function} scm_lnaof (address)
2413 Return the local-address-with-network part of the given
2414 IPv4 Internet address, using the obsolete class A/B/C system.
2415 E.g.,
2416
2417 @lisp
2418 (inet-lnaof 2130706433) @result{} 1
2419 @end lisp
2420 @end deffn
2421
2422 @deffn {Scheme Procedure} inet-makeaddr net lna
2423 @deffnx {C Function} scm_inet_makeaddr (net, lna)
2424 Make an IPv4 Internet address by combining the network number
2425 @var{net} with the local-address-within-network number
2426 @var{lna}. E.g.,
2427
2428 @lisp
2429 (inet-makeaddr 127 1) @result{} 2130706433
2430 @end lisp
2431 @end deffn
2432
2433 @subsubheading IPv6 Address Conversion
2434 @cindex IPv6
2435
2436 An IPv6 Internet address is a 16-byte value, represented in Guile as
2437 an integer in host byte order, so that say ``::1'' is 1.
2438
2439 @deffn {Scheme Procedure} inet-ntop family address
2440 @deffnx {C Function} scm_inet_ntop (family, address)
2441 Convert a network address from an integer to a printable string.
2442 @var{family} can be @code{AF_INET} or @code{AF_INET6}. E.g.,
2443
2444 @lisp
2445 (inet-ntop AF_INET 2130706433) @result{} "127.0.0.1"
2446 (inet-ntop AF_INET6 (- (expt 2 128) 1))
2447 @result{} "ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff"
2448 @end lisp
2449 @end deffn
2450
2451 @deffn {Scheme Procedure} inet-pton family address
2452 @deffnx {C Function} scm_inet_pton (family, address)
2453 Convert a string containing a printable network address to an integer
2454 address. @var{family} can be @code{AF_INET} or @code{AF_INET6}.
2455 E.g.,
2456
2457 @lisp
2458 (inet-pton AF_INET "127.0.0.1") @result{} 2130706433
2459 (inet-pton AF_INET6 "::1") @result{} 1
2460 @end lisp
2461 @end deffn
2462
2463
2464 @node Network Databases
2465 @subsubsection Network Databases
2466 @cindex network database
2467
2468 This section describes procedures which query various network databases.
2469 Care should be taken when using the database routines since they are not
2470 reentrant.
2471
2472 @subsubheading @code{getaddrinfo}
2473
2474 @cindex @code{addrinfo} object type
2475 @cindex host name lookup
2476 @cindex service name lookup
2477
2478 The @code{getaddrinfo} procedure maps host and service names to socket addresses
2479 and associated information in a protocol-independent way.
2480
2481 @deffn {Scheme Procedure} getaddrinfo name service [hint_flags [hint_family [hint_socktype [hint_protocol]]]]
2482 @deffnx {C Function} scm_getaddrinfo (name, service, hint_flags, hint_family, hint_socktype, hint_protocol)
2483 Return a list of @code{addrinfo} structures containing
2484 a socket address and associated information for host @var{name}
2485 and/or @var{service} to be used in creating a socket with
2486 which to address the specified service.
2487
2488 @example
2489 (let* ((ai (car (getaddrinfo "www.gnu.org" "http")))
2490 (s (socket (addrinfo:fam ai) (addrinfo:socktype ai)
2491 (addrinfo:protocol ai))))
2492 (connect s (addrinfo:addr ai))
2493 s)
2494 @end example
2495
2496 When @var{service} is omitted or is @code{#f}, return
2497 network-level addresses for @var{name}. When @var{name}
2498 is @code{#f} @var{service} must be provided and service
2499 locations local to the caller are returned.
2500
2501 Additional hints can be provided. When specified,
2502 @var{hint_flags} should be a bitwise-or of zero or more
2503 constants among the following:
2504
2505 @table @code
2506 @item AI_PASSIVE
2507 Socket address is intended for @code{bind}.
2508
2509 @item AI_CANONNAME
2510 Request for canonical host name, available via
2511 @code{addrinfo:canonname}. This makes sense mainly when
2512 DNS lookups are involved.
2513
2514 @item AI_NUMERICHOST
2515 Specifies that @var{name} is a numeric host address string
2516 (e.g., @code{"127.0.0.1"}), meaning that name resolution
2517 will not be used.
2518
2519 @item AI_NUMERICSERV
2520 Likewise, specifies that @var{service} is a numeric port
2521 string (e.g., @code{"80"}).
2522
2523 @item AI_ADDRCONFIG
2524 Return only addresses configured on the local system It is
2525 highly recommended to provide this flag when the returned
2526 socket addresses are to be used to make connections;
2527 otherwise, some of the returned addresses could be unreachable
2528 or use a protocol that is not supported.
2529
2530 @item AI_V4MAPPED
2531 When looking up IPv6 addresses, return mapped IPv4 addresses if
2532 there is no IPv6 address available at all.
2533
2534 @item AI_ALL
2535 If this flag is set along with @code{AI_V4MAPPED} when looking up IPv6
2536 addresses, return all IPv6 addresses as well as all IPv4 addresses, the latter
2537 mapped to IPv6 format.
2538 @end table
2539
2540 When given, @var{hint_family} should specify the requested
2541 address family, e.g., @code{AF_INET6}. Similarly,
2542 @var{hint_socktype} should specify the requested socket type
2543 (e.g., @code{SOCK_DGRAM}), and @var{hint_protocol} should
2544 specify the requested protocol (its value is interpreted
2545 as in calls to @code{socket}).
2546
2547 On error, an exception with key @code{getaddrinfo-error} is
2548 thrown, with an error code (an integer) as its argument:
2549
2550 @example
2551 (catch 'getaddrinfo-error
2552 (lambda ()
2553 (getaddrinfo "www.gnu.org" "gopher"))
2554 (lambda (key errcode)
2555 (cond ((= errcode EAI_SERVICE)
2556 (display "doesn't know about Gopher!\n"))
2557 ((= errcode EAI_NONAME)
2558 (display "www.gnu.org not found\\n"))
2559 (else
2560 (format #t "something wrong: ~a\n"
2561 (gai-strerror errcode))))))
2562 @end example
2563
2564 Error codes are:
2565
2566 @table @code
2567 @item EAI_AGAIN
2568 The name or service could not be resolved at this time. Future
2569 attempts may succeed.
2570
2571 @item EAI_BADFLAGS
2572 @var{hint_flags} contains an invalid value.
2573
2574 @item EAI_FAIL
2575 A non-recoverable error occurred when attempting to
2576 resolve the name.
2577
2578 @item EAI_FAMILY
2579 @var{hint_family} was not recognized.
2580
2581 @item EAI_NONAME
2582 Either @var{name} does not resolve for the supplied parameters,
2583 or neither @var{name} nor @var{service} were supplied.
2584
2585 @item EAI_NODATA
2586 This non-POSIX error code can be returned on some systems (GNU
2587 and Darwin, at least), for example when @var{name} is known
2588 but requests that were made turned out no data. Error handling
2589 code should be prepared to handle it when it is defined.
2590
2591 @item EAI_SERVICE
2592 @var{service} was not recognized for the specified socket type.
2593
2594 @item EAI_SOCKTYPE
2595 @var{hint_socktype} was not recognized.
2596
2597 @item EAI_SYSTEM
2598 A system error occurred. In C, the error code can be found in
2599 @code{errno}; this value is not accessible from Scheme, but in
2600 practice it provides little information about the actual error
2601 cause.
2602 @c See <http://bugs.gnu.org/13958>.
2603 @end table
2604
2605 Users are encouraged to read the
2606 @url{http://www.opengroup.org/onlinepubs/9699919799/functions/getaddrinfo.html,
2607 "POSIX specification} for more details.
2608 @end deffn
2609
2610 The following procedures take an @code{addrinfo} object as returned by
2611 @code{getaddrinfo}:
2612
2613 @deffn {Scheme Procedure} addrinfo:flags ai
2614 Return flags for @var{ai} as a bitwise or of @code{AI_} values (see above).
2615 @end deffn
2616
2617 @deffn {Scheme Procedure} addrinfo:fam ai
2618 Return the address family of @var{ai} (a @code{AF_} value).
2619 @end deffn
2620
2621 @deffn {Scheme Procedure} addrinfo:socktype ai
2622 Return the socket type for @var{ai} (a @code{SOCK_} value).
2623 @end deffn
2624
2625 @deffn {Scheme Procedure} addrinfo:protocol ai
2626 Return the protocol of @var{ai}.
2627 @end deffn
2628
2629 @deffn {Scheme Procedure} addrinfo:addr ai
2630 Return the socket address associated with @var{ai} as a @code{sockaddr}
2631 object (@pxref{Network Socket Address}).
2632 @end deffn
2633
2634 @deffn {Scheme Procedure} addrinfo:canonname ai
2635 Return a string for the canonical name associated with @var{ai} if
2636 the @code{AI_CANONNAME} flag was supplied.
2637 @end deffn
2638
2639 @subsubheading The Host Database
2640 @cindex @file{/etc/hosts}
2641 @cindex network database
2642
2643 A @dfn{host object} is a structure that represents what is known about a
2644 network host, and is the usual way of representing a system's network
2645 identity inside software.
2646
2647 The following functions accept a host object and return a selected
2648 component:
2649
2650 @deffn {Scheme Procedure} hostent:name host
2651 The ``official'' hostname for @var{host}.
2652 @end deffn
2653 @deffn {Scheme Procedure} hostent:aliases host
2654 A list of aliases for @var{host}.
2655 @end deffn
2656 @deffn {Scheme Procedure} hostent:addrtype host
2657 The host address type, one of the @code{AF} constants, such as
2658 @code{AF_INET} or @code{AF_INET6}.
2659 @end deffn
2660 @deffn {Scheme Procedure} hostent:length host
2661 The length of each address for @var{host}, in bytes.
2662 @end deffn
2663 @deffn {Scheme Procedure} hostent:addr-list host
2664 The list of network addresses associated with @var{host}. For
2665 @code{AF_INET} these are integer IPv4 address (@pxref{Network Address
2666 Conversion}).
2667 @end deffn
2668
2669 The following procedures can be used to search the host database. However,
2670 @code{getaddrinfo} should be preferred over them since it's more generic and
2671 thread-safe.
2672
2673 @deffn {Scheme Procedure} gethost [host]
2674 @deffnx {Scheme Procedure} gethostbyname hostname
2675 @deffnx {Scheme Procedure} gethostbyaddr address
2676 @deffnx {C Function} scm_gethost (host)
2677 Look up a host by name or address, returning a host object. The
2678 @code{gethost} procedure will accept either a string name or an integer
2679 address; if given no arguments, it behaves like @code{gethostent} (see
2680 below). If a name or address is supplied but the address can not be
2681 found, an error will be thrown to one of the keys:
2682 @code{host-not-found}, @code{try-again}, @code{no-recovery} or
2683 @code{no-data}, corresponding to the equivalent @code{h_error} values.
2684 Unusual conditions may result in errors thrown to the
2685 @code{system-error} or @code{misc_error} keys.
2686
2687 @lisp
2688 (gethost "www.gnu.org")
2689 @result{} #("www.gnu.org" () 2 4 (3353880842))
2690
2691 (gethostbyname "www.emacs.org")
2692 @result{} #("emacs.org" ("www.emacs.org") 2 4 (1073448978))
2693 @end lisp
2694 @end deffn
2695
2696 The following procedures may be used to step through the host
2697 database from beginning to end.
2698
2699 @deffn {Scheme Procedure} sethostent [stayopen]
2700 Initialize an internal stream from which host objects may be read. This
2701 procedure must be called before any calls to @code{gethostent}, and may
2702 also be called afterward to reset the host entry stream. If
2703 @var{stayopen} is supplied and is not @code{#f}, the database is not
2704 closed by subsequent @code{gethostbyname} or @code{gethostbyaddr} calls,
2705 possibly giving an efficiency gain.
2706 @end deffn
2707
2708 @deffn {Scheme Procedure} gethostent
2709 Return the next host object from the host database, or @code{#f} if
2710 there are no more hosts to be found (or an error has been encountered).
2711 This procedure may not be used before @code{sethostent} has been called.
2712 @end deffn
2713
2714 @deffn {Scheme Procedure} endhostent
2715 Close the stream used by @code{gethostent}. The return value is unspecified.
2716 @end deffn
2717
2718 @deffn {Scheme Procedure} sethost [stayopen]
2719 @deffnx {C Function} scm_sethost (stayopen)
2720 If @var{stayopen} is omitted, this is equivalent to @code{endhostent}.
2721 Otherwise it is equivalent to @code{sethostent stayopen}.
2722 @end deffn
2723
2724 @subsubheading The Network Database
2725 @cindex network database
2726
2727 The following functions accept an object representing a network
2728 and return a selected component:
2729
2730 @deffn {Scheme Procedure} netent:name net
2731 The ``official'' network name.
2732 @end deffn
2733 @deffn {Scheme Procedure} netent:aliases net
2734 A list of aliases for the network.
2735 @end deffn
2736 @deffn {Scheme Procedure} netent:addrtype net
2737 The type of the network number. Currently, this returns only
2738 @code{AF_INET}.
2739 @end deffn
2740 @deffn {Scheme Procedure} netent:net net
2741 The network number.
2742 @end deffn
2743
2744 The following procedures are used to search the network database:
2745
2746 @deffn {Scheme Procedure} getnet [net]
2747 @deffnx {Scheme Procedure} getnetbyname net-name
2748 @deffnx {Scheme Procedure} getnetbyaddr net-number
2749 @deffnx {C Function} scm_getnet (net)
2750 Look up a network by name or net number in the network database. The
2751 @var{net-name} argument must be a string, and the @var{net-number}
2752 argument must be an integer. @code{getnet} will accept either type of
2753 argument, behaving like @code{getnetent} (see below) if no arguments are
2754 given.
2755 @end deffn
2756
2757 The following procedures may be used to step through the network
2758 database from beginning to end.
2759
2760 @deffn {Scheme Procedure} setnetent [stayopen]
2761 Initialize an internal stream from which network objects may be read. This
2762 procedure must be called before any calls to @code{getnetent}, and may
2763 also be called afterward to reset the net entry stream. If
2764 @var{stayopen} is supplied and is not @code{#f}, the database is not
2765 closed by subsequent @code{getnetbyname} or @code{getnetbyaddr} calls,
2766 possibly giving an efficiency gain.
2767 @end deffn
2768
2769 @deffn {Scheme Procedure} getnetent
2770 Return the next entry from the network database.
2771 @end deffn
2772
2773 @deffn {Scheme Procedure} endnetent
2774 Close the stream used by @code{getnetent}. The return value is unspecified.
2775 @end deffn
2776
2777 @deffn {Scheme Procedure} setnet [stayopen]
2778 @deffnx {C Function} scm_setnet (stayopen)
2779 If @var{stayopen} is omitted, this is equivalent to @code{endnetent}.
2780 Otherwise it is equivalent to @code{setnetent stayopen}.
2781 @end deffn
2782
2783 @subsubheading The Protocol Database
2784 @cindex @file{/etc/protocols}
2785 @cindex protocols
2786 @cindex network protocols
2787
2788 The following functions accept an object representing a protocol
2789 and return a selected component:
2790
2791 @deffn {Scheme Procedure} protoent:name protocol
2792 The ``official'' protocol name.
2793 @end deffn
2794 @deffn {Scheme Procedure} protoent:aliases protocol
2795 A list of aliases for the protocol.
2796 @end deffn
2797 @deffn {Scheme Procedure} protoent:proto protocol
2798 The protocol number.
2799 @end deffn
2800
2801 The following procedures are used to search the protocol database:
2802
2803 @deffn {Scheme Procedure} getproto [protocol]
2804 @deffnx {Scheme Procedure} getprotobyname name
2805 @deffnx {Scheme Procedure} getprotobynumber number
2806 @deffnx {C Function} scm_getproto (protocol)
2807 Look up a network protocol by name or by number. @code{getprotobyname}
2808 takes a string argument, and @code{getprotobynumber} takes an integer
2809 argument. @code{getproto} will accept either type, behaving like
2810 @code{getprotoent} (see below) if no arguments are supplied.
2811 @end deffn
2812
2813 The following procedures may be used to step through the protocol
2814 database from beginning to end.
2815
2816 @deffn {Scheme Procedure} setprotoent [stayopen]
2817 Initialize an internal stream from which protocol objects may be read. This
2818 procedure must be called before any calls to @code{getprotoent}, and may
2819 also be called afterward to reset the protocol entry stream. If
2820 @var{stayopen} is supplied and is not @code{#f}, the database is not
2821 closed by subsequent @code{getprotobyname} or @code{getprotobynumber} calls,
2822 possibly giving an efficiency gain.
2823 @end deffn
2824
2825 @deffn {Scheme Procedure} getprotoent
2826 Return the next entry from the protocol database.
2827 @end deffn
2828
2829 @deffn {Scheme Procedure} endprotoent
2830 Close the stream used by @code{getprotoent}. The return value is unspecified.
2831 @end deffn
2832
2833 @deffn {Scheme Procedure} setproto [stayopen]
2834 @deffnx {C Function} scm_setproto (stayopen)
2835 If @var{stayopen} is omitted, this is equivalent to @code{endprotoent}.
2836 Otherwise it is equivalent to @code{setprotoent stayopen}.
2837 @end deffn
2838
2839 @subsubheading The Service Database
2840 @cindex @file{/etc/services}
2841 @cindex services
2842 @cindex network services
2843
2844 The following functions accept an object representing a service
2845 and return a selected component:
2846
2847 @deffn {Scheme Procedure} servent:name serv
2848 The ``official'' name of the network service.
2849 @end deffn
2850 @deffn {Scheme Procedure} servent:aliases serv
2851 A list of aliases for the network service.
2852 @end deffn
2853 @deffn {Scheme Procedure} servent:port serv
2854 The Internet port used by the service.
2855 @end deffn
2856 @deffn {Scheme Procedure} servent:proto serv
2857 The protocol used by the service. A service may be listed many times
2858 in the database under different protocol names.
2859 @end deffn
2860
2861 The following procedures are used to search the service database:
2862
2863 @deffn {Scheme Procedure} getserv [name [protocol]]
2864 @deffnx {Scheme Procedure} getservbyname name protocol
2865 @deffnx {Scheme Procedure} getservbyport port protocol
2866 @deffnx {C Function} scm_getserv (name, protocol)
2867 Look up a network service by name or by service number, and return a
2868 network service object. The @var{protocol} argument specifies the name
2869 of the desired protocol; if the protocol found in the network service
2870 database does not match this name, a system error is signalled.
2871
2872 The @code{getserv} procedure will take either a service name or number
2873 as its first argument; if given no arguments, it behaves like
2874 @code{getservent} (see below).
2875
2876 @lisp
2877 (getserv "imap" "tcp")
2878 @result{} #("imap2" ("imap") 143 "tcp")
2879
2880 (getservbyport 88 "udp")
2881 @result{} #("kerberos" ("kerberos5" "krb5") 88 "udp")
2882 @end lisp
2883 @end deffn
2884
2885 The following procedures may be used to step through the service
2886 database from beginning to end.
2887
2888 @deffn {Scheme Procedure} setservent [stayopen]
2889 Initialize an internal stream from which service objects may be read. This
2890 procedure must be called before any calls to @code{getservent}, and may
2891 also be called afterward to reset the service entry stream. If
2892 @var{stayopen} is supplied and is not @code{#f}, the database is not
2893 closed by subsequent @code{getservbyname} or @code{getservbyport} calls,
2894 possibly giving an efficiency gain.
2895 @end deffn
2896
2897 @deffn {Scheme Procedure} getservent
2898 Return the next entry from the services database.
2899 @end deffn
2900
2901 @deffn {Scheme Procedure} endservent
2902 Close the stream used by @code{getservent}. The return value is unspecified.
2903 @end deffn
2904
2905 @deffn {Scheme Procedure} setserv [stayopen]
2906 @deffnx {C Function} scm_setserv (stayopen)
2907 If @var{stayopen} is omitted, this is equivalent to @code{endservent}.
2908 Otherwise it is equivalent to @code{setservent stayopen}.
2909 @end deffn
2910
2911
2912 @node Network Socket Address
2913 @subsubsection Network Socket Address
2914 @cindex socket address
2915 @cindex network socket address
2916 @tpindex Socket address
2917
2918 A @dfn{socket address} object identifies a socket endpoint for
2919 communication. In the case of @code{AF_INET} for instance, the socket
2920 address object comprises the host address (or interface on the host)
2921 and a port number which specifies a particular open socket in a
2922 running client or server process. A socket address object can be
2923 created with,
2924
2925 @deffn {Scheme Procedure} make-socket-address AF_INET ipv4addr port
2926 @deffnx {Scheme Procedure} make-socket-address AF_INET6 ipv6addr port [flowinfo [scopeid]]
2927 @deffnx {Scheme Procedure} make-socket-address AF_UNIX path
2928 @deffnx {C Function} scm_make_socket_address (family, address, arglist)
2929 Return a new socket address object. The first argument is the address
2930 family, one of the @code{AF} constants, then the arguments vary
2931 according to the family.
2932
2933 For @code{AF_INET} the arguments are an IPv4 network address number
2934 (@pxref{Network Address Conversion}), and a port number.
2935
2936 For @code{AF_INET6} the arguments are an IPv6 network address number
2937 and a port number. Optional @var{flowinfo} and @var{scopeid}
2938 arguments may be given (both integers, default 0).
2939
2940 For @code{AF_UNIX} the argument is a filename (a string).
2941
2942 The C function @code{scm_make_socket_address} takes the @var{family}
2943 and @var{address} arguments directly, then @var{arglist} is a list of
2944 further arguments, being the port for IPv4, port and optional flowinfo
2945 and scopeid for IPv6, or the empty list @code{SCM_EOL} for Unix
2946 domain.
2947 @end deffn
2948
2949 @noindent
2950 The following functions access the fields of a socket address object,
2951
2952 @deffn {Scheme Procedure} sockaddr:fam sa
2953 Return the address family from socket address object @var{sa}. This
2954 is one of the @code{AF} constants (e.g.@: @code{AF_INET}).
2955 @end deffn
2956
2957 @deffn {Scheme Procedure} sockaddr:path sa
2958 For an @code{AF_UNIX} socket address object @var{sa}, return the
2959 filename.
2960 @end deffn
2961
2962 @deffn {Scheme Procedure} sockaddr:addr sa
2963 For an @code{AF_INET} or @code{AF_INET6} socket address object
2964 @var{sa}, return the network address number.
2965 @end deffn
2966
2967 @deffn {Scheme Procedure} sockaddr:port sa
2968 For an @code{AF_INET} or @code{AF_INET6} socket address object
2969 @var{sa}, return the port number.
2970 @end deffn
2971
2972 @deffn {Scheme Procedure} sockaddr:flowinfo sa
2973 For an @code{AF_INET6} socket address object @var{sa}, return the
2974 flowinfo value.
2975 @end deffn
2976
2977 @deffn {Scheme Procedure} sockaddr:scopeid sa
2978 For an @code{AF_INET6} socket address object @var{sa}, return the
2979 scope ID value.
2980 @end deffn
2981
2982 @tpindex @code{struct sockaddr}
2983 @tpindex @code{sockaddr}
2984 The functions below convert to and from the C @code{struct sockaddr}
2985 (@pxref{Address Formats,,, libc, The GNU C Library Reference Manual}).
2986 That structure is a generic type, an application can cast to or from
2987 @code{struct sockaddr_in}, @code{struct sockaddr_in6} or @code{struct
2988 sockaddr_un} according to the address family.
2989
2990 In a @code{struct sockaddr} taken or returned, the byte ordering in
2991 the fields follows the C conventions (@pxref{Byte Order,, Byte Order
2992 Conversion, libc, The GNU C Library Reference Manual}). This means
2993 network byte order for @code{AF_INET} host address
2994 (@code{sin_addr.s_addr}) and port number (@code{sin_port}), and
2995 @code{AF_INET6} port number (@code{sin6_port}). But at the Scheme
2996 level these values are taken or returned in host byte order, so the
2997 port is an ordinary integer, and the host address likewise is an
2998 ordinary integer (as described in @ref{Network Address Conversion}).
2999
3000 @deftypefn {C Function} {struct sockaddr *} scm_c_make_socket_address (SCM family, SCM address, SCM args, size_t *outsize)
3001 Return a newly-@code{malloc}ed @code{struct sockaddr} created from
3002 arguments like those taken by @code{scm_make_socket_address} above.
3003
3004 The size (in bytes) of the @code{struct sockaddr} return is stored
3005 into @code{*@var{outsize}}. An application must call @code{free} to
3006 release the returned structure when no longer required.
3007 @end deftypefn
3008
3009 @deftypefn {C Function} SCM scm_from_sockaddr (const struct sockaddr *address, unsigned address_size)
3010 Return a Scheme socket address object from the C @var{address}
3011 structure. @var{address_size} is the size in bytes of @var{address}.
3012 @end deftypefn
3013
3014 @deftypefn {C Function} {struct sockaddr *} scm_to_sockaddr (SCM address, size_t *address_size)
3015 Return a newly-@code{malloc}ed @code{struct sockaddr} from a Scheme
3016 level socket address object.
3017
3018 The size (in bytes) of the @code{struct sockaddr} return is stored
3019 into @code{*@var{outsize}}. An application must call @code{free} to
3020 release the returned structure when no longer required.
3021 @end deftypefn
3022
3023
3024 @node Network Sockets and Communication
3025 @subsubsection Network Sockets and Communication
3026 @cindex socket
3027 @cindex network socket
3028
3029 Socket ports can be created using @code{socket} and @code{socketpair}.
3030 The ports are initially unbuffered, to make reading and writing to the
3031 same port more reliable. A buffer can be added to the port using
3032 @code{setvbuf}; see @ref{Ports and File Descriptors}.
3033
3034 Most systems have limits on how many files and sockets can be open, so
3035 it's strongly recommended that socket ports be closed explicitly when
3036 no longer required (@pxref{Ports}).
3037
3038 Some of the underlying C functions take values in network byte order,
3039 but the convention in Guile is that at the Scheme level everything is
3040 ordinary host byte order and conversions are made automatically where
3041 necessary.
3042
3043 @deffn {Scheme Procedure} socket family style proto
3044 @deffnx {C Function} scm_socket (family, style, proto)
3045 Return a new socket port of the type specified by @var{family},
3046 @var{style} and @var{proto}. All three parameters are integers. The
3047 possible values for @var{family} are as follows, where supported by
3048 the system,
3049
3050 @defvar PF_UNIX
3051 @defvarx PF_INET
3052 @defvarx PF_INET6
3053 @end defvar
3054
3055 The possible values for @var{style} are as follows, again where
3056 supported by the system,
3057
3058 @defvar SOCK_STREAM
3059 @defvarx SOCK_DGRAM
3060 @defvarx SOCK_RAW
3061 @defvarx SOCK_RDM
3062 @defvarx SOCK_SEQPACKET
3063 @end defvar
3064
3065 @var{proto} can be obtained from a protocol name using
3066 @code{getprotobyname} (@pxref{Network Databases}). A value of zero
3067 means the default protocol, which is usually right.
3068
3069 A socket cannot by used for communication until it has been connected
3070 somewhere, usually with either @code{connect} or @code{accept} below.
3071 @end deffn
3072
3073 @deffn {Scheme Procedure} socketpair family style proto
3074 @deffnx {C Function} scm_socketpair (family, style, proto)
3075 Return a pair, the @code{car} and @code{cdr} of which are two unnamed
3076 socket ports connected to each other. The connection is full-duplex,
3077 so data can be transferred in either direction between the two.
3078
3079 @var{family}, @var{style} and @var{proto} are as per @code{socket}
3080 above. But many systems only support socket pairs in the
3081 @code{PF_UNIX} family. Zero is likely to be the only meaningful value
3082 for @var{proto}.
3083 @end deffn
3084
3085 @deffn {Scheme Procedure} getsockopt sock level optname
3086 @deffnx {Scheme Procedure} setsockopt sock level optname value
3087 @deffnx {C Function} scm_getsockopt (sock, level, optname)
3088 @deffnx {C Function} scm_setsockopt (sock, level, optname, value)
3089 Get or set an option on socket port @var{sock}. @code{getsockopt}
3090 returns the current value. @code{setsockopt} sets a value and the
3091 return is unspecified.
3092
3093 @var{level} is an integer specifying a protocol layer, either
3094 @code{SOL_SOCKET} for socket level options, or a protocol number from
3095 the @code{IPPROTO} constants or @code{getprotoent} (@pxref{Network
3096 Databases}).
3097
3098 @defvar SOL_SOCKET
3099 @defvarx IPPROTO_IP
3100 @defvarx IPPROTO_TCP
3101 @defvarx IPPROTO_UDP
3102 @end defvar
3103
3104 @var{optname} is an integer specifying an option within the protocol
3105 layer.
3106
3107 For @code{SOL_SOCKET} level the following @var{optname}s are defined
3108 (when provided by the system). For their meaning see
3109 @ref{Socket-Level Options,,, libc, The GNU C Library Reference
3110 Manual}, or @command{man 7 socket}.
3111
3112 @defvar SO_DEBUG
3113 @defvarx SO_REUSEADDR
3114 @defvarx SO_STYLE
3115 @defvarx SO_TYPE
3116 @defvarx SO_ERROR
3117 @defvarx SO_DONTROUTE
3118 @defvarx SO_BROADCAST
3119 @defvarx SO_SNDBUF
3120 @defvarx SO_RCVBUF
3121 @defvarx SO_KEEPALIVE
3122 @defvarx SO_OOBINLINE
3123 @defvarx SO_NO_CHECK
3124 @defvarx SO_PRIORITY
3125 @defvarx SO_REUSEPORT
3126 The @var{value} taken or returned is an integer.
3127 @end defvar
3128
3129 @defvar SO_LINGER
3130 The @var{value} taken or returned is a pair of integers
3131 @code{(@var{ENABLE} . @var{TIMEOUT})}. On old systems without timeout
3132 support (ie.@: without @code{struct linger}), only @var{ENABLE} has an
3133 effect but the value in Guile is always a pair.
3134 @end defvar
3135
3136 @c Note that we refer only to ``man ip'' here. On GNU/Linux it's
3137 @c ``man 7 ip'' but on NetBSD it's ``man 4 ip''.
3138 @c
3139 For IP level (@code{IPPROTO_IP}) the following @var{optname}s are
3140 defined (when provided by the system). See @command{man ip} for what
3141 they mean.
3142
3143 @defvar IP_MULTICAST_IF
3144 This sets the source interface used by multicast traffic.
3145 @end defvar
3146
3147 @defvar IP_MULTICAST_TTL
3148 This sets the default TTL for multicast traffic. This defaults
3149 to 1 and should be increased to allow traffic to pass beyond the
3150 local network.
3151 @end defvar
3152
3153 @defvar IP_ADD_MEMBERSHIP
3154 @defvarx IP_DROP_MEMBERSHIP
3155 These can be used only with @code{setsockopt}, not @code{getsockopt}.
3156 @var{value} is a pair @code{(@var{MULTIADDR} . @var{INTERFACEADDR})}
3157 of integer IPv4 addresses (@pxref{Network Address Conversion}).
3158 @var{MULTIADDR} is a multicast address to be added to or dropped from
3159 the interface @var{INTERFACEADDR}. @var{INTERFACEADDR} can be
3160 @code{INADDR_ANY} to have the system select the interface.
3161 @var{INTERFACEADDR} can also be an interface index number, on systems
3162 supporting that.
3163 @end defvar
3164 @end deffn
3165
3166 @deffn {Scheme Procedure} shutdown sock how
3167 @deffnx {C Function} scm_shutdown (sock, how)
3168 Sockets can be closed simply by using @code{close-port}. The
3169 @code{shutdown} procedure allows reception or transmission on a
3170 connection to be shut down individually, according to the parameter
3171 @var{how}:
3172
3173 @table @asis
3174 @item 0
3175 Stop receiving data for this socket. If further data arrives, reject it.
3176 @item 1
3177 Stop trying to transmit data from this socket. Discard any
3178 data waiting to be sent. Stop looking for acknowledgement of
3179 data already sent; don't retransmit it if it is lost.
3180 @item 2
3181 Stop both reception and transmission.
3182 @end table
3183
3184 The return value is unspecified.
3185 @end deffn
3186
3187 @deffn {Scheme Procedure} connect sock sockaddr
3188 @deffnx {Scheme Procedure} connect sock AF_INET ipv4addr port
3189 @deffnx {Scheme Procedure} connect sock AF_INET6 ipv6addr port [flowinfo [scopeid]]
3190 @deffnx {Scheme Procedure} connect sock AF_UNIX path
3191 @deffnx {C Function} scm_connect (sock, fam, address, args)
3192 Initiate a connection on socket port @var{sock} to a given address.
3193 The destination is either a socket address object, or arguments the
3194 same as @code{make-socket-address} would take to make such an object
3195 (@pxref{Network Socket Address}). The return value is unspecified.
3196
3197 @example
3198 (connect sock AF_INET INADDR_LOOPBACK 23)
3199 (connect sock (make-socket-address AF_INET INADDR_LOOPBACK 23))
3200 @end example
3201 @end deffn
3202
3203 @deffn {Scheme Procedure} bind sock sockaddr
3204 @deffnx {Scheme Procedure} bind sock AF_INET ipv4addr port
3205 @deffnx {Scheme Procedure} bind sock AF_INET6 ipv6addr port [flowinfo [scopeid]]
3206 @deffnx {Scheme Procedure} bind sock AF_UNIX path
3207 @deffnx {C Function} scm_bind (sock, fam, address, args)
3208 Bind socket port @var{sock} to the given address. The address is
3209 either a socket address object, or arguments the same as
3210 @code{make-socket-address} would take to make such an object
3211 (@pxref{Network Socket Address}). The return value is unspecified.
3212
3213 Generally a socket is only explicitly bound to a particular address
3214 when making a server, i.e.@: to listen on a particular port. For an
3215 outgoing connection the system will assign a local address
3216 automatically, if not already bound.
3217
3218 @example
3219 (bind sock AF_INET INADDR_ANY 12345)
3220 (bind sock (make-socket-address AF_INET INADDR_ANY 12345))
3221 @end example
3222 @end deffn
3223
3224 @deffn {Scheme Procedure} listen sock backlog
3225 @deffnx {C Function} scm_listen (sock, backlog)
3226 Enable @var{sock} to accept connection
3227 requests. @var{backlog} is an integer specifying
3228 the maximum length of the queue for pending connections.
3229 If the queue fills, new clients will fail to connect until
3230 the server calls @code{accept} to accept a connection from
3231 the queue.
3232
3233 The return value is unspecified.
3234 @end deffn
3235
3236 @deffn {Scheme Procedure} accept sock
3237 @deffnx {C Function} scm_accept (sock)
3238 Accept a connection from socket port @var{sock} which has been enabled
3239 for listening with @code{listen} above. If there are no incoming
3240 connections in the queue, wait until one is available (unless
3241 @code{O_NONBLOCK} has been set on the socket, @pxref{Ports and File
3242 Descriptors,@code{fcntl}}).
3243
3244 The return value is a pair. The @code{car} is a new socket port,
3245 connected and ready to communicate. The @code{cdr} is a socket
3246 address object (@pxref{Network Socket Address}) which is where the
3247 remote connection is from (like @code{getpeername} below).
3248
3249 All communication takes place using the new socket returned. The
3250 given @var{sock} remains bound and listening, and @code{accept} may be
3251 called on it again to get another incoming connection when desired.
3252 @end deffn
3253
3254 @deffn {Scheme Procedure} getsockname sock
3255 @deffnx {C Function} scm_getsockname (sock)
3256 Return a socket address object which is the where @var{sock} is bound
3257 locally. @var{sock} may have obtained its local address from
3258 @code{bind} (above), or if a @code{connect} is done with an otherwise
3259 unbound socket (which is usual) then the system will have assigned an
3260 address.
3261
3262 Note that on many systems the address of a socket in the
3263 @code{AF_UNIX} namespace cannot be read.
3264 @end deffn
3265
3266 @deffn {Scheme Procedure} getpeername sock
3267 @deffnx {C Function} scm_getpeername (sock)
3268 Return a socket address object which is where @var{sock} is connected
3269 to, i.e.@: the remote endpoint.
3270
3271 Note that on many systems the address of a socket in the
3272 @code{AF_UNIX} namespace cannot be read.
3273 @end deffn
3274
3275 @deffn {Scheme Procedure} recv! sock buf [flags]
3276 @deffnx {C Function} scm_recv (sock, buf, flags)
3277 Receive data from a socket port.
3278 @var{sock} must already
3279 be bound to the address from which data is to be received.
3280 @var{buf} is a bytevector into which
3281 the data will be written. The size of @var{buf} limits
3282 the amount of
3283 data which can be received: in the case of packet
3284 protocols, if a packet larger than this limit is encountered
3285 then some data
3286 will be irrevocably lost.
3287
3288 @vindex MSG_OOB
3289 @vindex MSG_PEEK
3290 @vindex MSG_DONTROUTE
3291 The optional @var{flags} argument is a value or bitwise OR of
3292 @code{MSG_OOB}, @code{MSG_PEEK}, @code{MSG_DONTROUTE} etc.
3293
3294 The value returned is the number of bytes read from the
3295 socket.
3296
3297 Note that the data is read directly from the socket file
3298 descriptor:
3299 any unread buffered port data is ignored.
3300 @end deffn
3301
3302 @deffn {Scheme Procedure} send sock message [flags]
3303 @deffnx {C Function} scm_send (sock, message, flags)
3304 @vindex MSG_OOB
3305 @vindex MSG_PEEK
3306 @vindex MSG_DONTROUTE
3307 Transmit bytevector @var{message} on socket port @var{sock}.
3308 @var{sock} must already be bound to a destination address. The value
3309 returned is the number of bytes transmitted---it's possible for this
3310 to be less than the length of @var{message} if the socket is set to be
3311 non-blocking. The optional @var{flags} argument is a value or bitwise
3312 OR of @code{MSG_OOB}, @code{MSG_PEEK}, @code{MSG_DONTROUTE} etc.
3313
3314 Note that the data is written directly to the socket
3315 file descriptor:
3316 any unflushed buffered port data is ignored.
3317 @end deffn
3318
3319 @deffn {Scheme Procedure} recvfrom! sock buf [flags [start [end]]]
3320 @deffnx {C Function} scm_recvfrom (sock, buf, flags, start, end)
3321 Receive data from socket port @var{sock}, returning the originating
3322 address as well as the data. This function is usually for datagram
3323 sockets, but can be used on stream-oriented sockets too.
3324
3325 The data received is stored in bytevector @var{buf}, using
3326 either the whole bytevector or just the region between the optional
3327 @var{start} and @var{end} positions. The size of @var{buf}
3328 limits the amount of data that can be received. For datagram
3329 protocols if a packet larger than this is received then excess
3330 bytes are irrevocably lost.
3331
3332 The return value is a pair. The @code{car} is the number of bytes
3333 read. The @code{cdr} is a socket address object (@pxref{Network
3334 Socket Address}) which is where the data came from, or @code{#f} if
3335 the origin is unknown.
3336
3337 @vindex MSG_OOB
3338 @vindex MSG_PEEK
3339 @vindex MSG_DONTROUTE
3340 The optional @var{flags} argument is a or bitwise-OR (@code{logior})
3341 of @code{MSG_OOB}, @code{MSG_PEEK}, @code{MSG_DONTROUTE} etc.
3342
3343 Data is read directly from the socket file descriptor, any buffered
3344 port data is ignored.
3345
3346 @c This was linux kernel 2.6.15 and glibc 2.3.6, not sure what any
3347 @c specs are supposed to say about recvfrom threading.
3348 @c
3349 On a GNU/Linux system @code{recvfrom!} is not multi-threading, all
3350 threads stop while a @code{recvfrom!} call is in progress. An
3351 application may need to use @code{select}, @code{O_NONBLOCK} or
3352 @code{MSG_DONTWAIT} to avoid this.
3353 @end deffn
3354
3355 @deffn {Scheme Procedure} sendto sock message sockaddr [flags]
3356 @deffnx {Scheme Procedure} sendto sock message AF_INET ipv4addr port [flags]
3357 @deffnx {Scheme Procedure} sendto sock message AF_INET6 ipv6addr port [flowinfo [scopeid [flags]]]
3358 @deffnx {Scheme Procedure} sendto sock message AF_UNIX path [flags]
3359 @deffnx {C Function} scm_sendto (sock, message, fam, address, args_and_flags)
3360 Transmit bytevector @var{message} as a datagram socket port
3361 @var{sock}. The destination is specified either as a socket address
3362 object, or as arguments the same as would be taken by
3363 @code{make-socket-address} to create such an object (@pxref{Network
3364 Socket Address}).
3365
3366 The destination address may be followed by an optional @var{flags}
3367 argument which is a @code{logior} (@pxref{Bitwise Operations}) of
3368 @code{MSG_OOB}, @code{MSG_PEEK}, @code{MSG_DONTROUTE} etc.
3369
3370 The value returned is the number of bytes transmitted --
3371 it's possible for
3372 this to be less than the length of @var{message} if the
3373 socket is
3374 set to be non-blocking.
3375 Note that the data is written directly to the socket
3376 file descriptor:
3377 any unflushed buffered port data is ignored.
3378 @end deffn
3379
3380 The following functions can be used to convert short and long integers
3381 between ``host'' and ``network'' order. Although the procedures above do
3382 this automatically for addresses, the conversion will still need to
3383 be done when sending or receiving encoded integer data from the network.
3384
3385 @deffn {Scheme Procedure} htons value
3386 @deffnx {C Function} scm_htons (value)
3387 Convert a 16 bit quantity from host to network byte ordering.
3388 @var{value} is packed into 2 bytes, which are then converted
3389 and returned as a new integer.
3390 @end deffn
3391
3392 @deffn {Scheme Procedure} ntohs value
3393 @deffnx {C Function} scm_ntohs (value)
3394 Convert a 16 bit quantity from network to host byte ordering.
3395 @var{value} is packed into 2 bytes, which are then converted
3396 and returned as a new integer.
3397 @end deffn
3398
3399 @deffn {Scheme Procedure} htonl value
3400 @deffnx {C Function} scm_htonl (value)
3401 Convert a 32 bit quantity from host to network byte ordering.
3402 @var{value} is packed into 4 bytes, which are then converted
3403 and returned as a new integer.
3404 @end deffn
3405
3406 @deffn {Scheme Procedure} ntohl value
3407 @deffnx {C Function} scm_ntohl (value)
3408 Convert a 32 bit quantity from network to host byte ordering.
3409 @var{value} is packed into 4 bytes, which are then converted
3410 and returned as a new integer.
3411 @end deffn
3412
3413 These procedures are inconvenient to use at present, but consider:
3414
3415 @example
3416 (define write-network-long
3417 (lambda (value port)
3418 (let ((v (make-uniform-vector 1 1 0)))
3419 (uniform-vector-set! v 0 (htonl value))
3420 (uniform-vector-write v port))))
3421
3422 (define read-network-long
3423 (lambda (port)
3424 (let ((v (make-uniform-vector 1 1 0)))
3425 (uniform-vector-read! v port)
3426 (ntohl (uniform-vector-ref v 0)))))
3427 @end example
3428
3429
3430 @node Internet Socket Examples
3431 @subsubsection Network Socket Examples
3432 @cindex network examples
3433 @cindex socket examples
3434
3435 The following give examples of how to use network sockets.
3436
3437 @subsubheading Internet Socket Client Example
3438
3439 @cindex socket client example
3440 The following example demonstrates an Internet socket client.
3441 It connects to the HTTP daemon running on the local machine and
3442 returns the contents of the root index URL.
3443
3444 @example
3445 (let ((s (socket PF_INET SOCK_STREAM 0)))
3446 (connect s AF_INET (inet-pton AF_INET "127.0.0.1") 80)
3447 (display "GET / HTTP/1.0\r\n\r\n" s)
3448
3449 (do ((line (read-line s) (read-line s)))
3450 ((eof-object? line))
3451 (display line)
3452 (newline)))
3453 @end example
3454
3455
3456 @subsubheading Internet Socket Server Example
3457
3458 @cindex socket server example
3459 The following example shows a simple Internet server which listens on
3460 port 2904 for incoming connections and sends a greeting back to the
3461 client.
3462
3463 @example
3464 (let ((s (socket PF_INET SOCK_STREAM 0)))
3465 (setsockopt s SOL_SOCKET SO_REUSEADDR 1)
3466 ;; @r{Specific address?}
3467 ;; @r{(bind s AF_INET (inet-pton AF_INET "127.0.0.1") 2904)}
3468 (bind s AF_INET INADDR_ANY 2904)
3469 (listen s 5)
3470
3471 (simple-format #t "Listening for clients in pid: ~S" (getpid))
3472 (newline)
3473
3474 (while #t
3475 (let* ((client-connection (accept s))
3476 (client-details (cdr client-connection))
3477 (client (car client-connection)))
3478 (simple-format #t "Got new client connection: ~S"
3479 client-details)
3480 (newline)
3481 (simple-format #t "Client address: ~S"
3482 (gethostbyaddr
3483 (sockaddr:addr client-details)))
3484 (newline)
3485 ;; @r{Send back the greeting to the client port}
3486 (display "Hello client\r\n" client)
3487 (close client))))
3488 @end example
3489
3490
3491 @node System Identification
3492 @subsection System Identification
3493 @cindex system name
3494
3495 This section lists the various procedures Guile provides for accessing
3496 information about the system it runs on.
3497
3498 @deffn {Scheme Procedure} uname
3499 @deffnx {C Function} scm_uname ()
3500 Return an object with some information about the computer
3501 system the program is running on.
3502
3503 The following procedures accept an object as returned by @code{uname}
3504 and return a selected component (all of which are strings).
3505
3506 @deffn {Scheme Procedure} utsname:sysname un
3507 The name of the operating system.
3508 @end deffn
3509 @deffn {Scheme Procedure} utsname:nodename un
3510 The network name of the computer.
3511 @end deffn
3512 @deffn {Scheme Procedure} utsname:release un
3513 The current release level of the operating system implementation.
3514 @end deffn
3515 @deffn {Scheme Procedure} utsname:version un
3516 The current version level within the release of the operating system.
3517 @end deffn
3518 @deffn {Scheme Procedure} utsname:machine un
3519 A description of the hardware.
3520 @end deffn
3521 @end deffn
3522
3523 @deffn {Scheme Procedure} gethostname
3524 @deffnx {C Function} scm_gethostname ()
3525 @cindex host name
3526 Return the host name of the current processor.
3527 @end deffn
3528
3529 @deffn {Scheme Procedure} sethostname name
3530 @deffnx {C Function} scm_sethostname (name)
3531 Set the host name of the current processor to @var{name}. May
3532 only be used by the superuser. The return value is not
3533 specified.
3534 @end deffn
3535
3536 @node Locales
3537 @subsection Locales
3538 @cindex locale
3539
3540 @deffn {Scheme Procedure} setlocale category [locale]
3541 @deffnx {C Function} scm_setlocale (category, locale)
3542 Get or set the current locale, used for various internationalizations.
3543 Locales are strings, such as @samp{sv_SE}.
3544
3545 If @var{locale} is given then the locale for the given @var{category}
3546 is set and the new value returned. If @var{locale} is not given then
3547 the current value is returned. @var{category} should be one of the
3548 following values (@pxref{Locale Categories, Categories of Activities
3549 that Locales Affect,, libc, The GNU C Library Reference Manual}):
3550
3551 @defvar LC_ALL
3552 @defvarx LC_COLLATE
3553 @defvarx LC_CTYPE
3554 @defvarx LC_MESSAGES
3555 @defvarx LC_MONETARY
3556 @defvarx LC_NUMERIC
3557 @defvarx LC_TIME
3558 @end defvar
3559
3560 @cindex @code{LANG}
3561 A common usage is @samp{(setlocale LC_ALL "")}, which initializes all
3562 categories based on standard environment variables (@code{LANG} etc).
3563 For full details on categories and locale names @pxref{Locales,,
3564 Locales and Internationalization, libc, The GNU C Library Reference
3565 Manual}.
3566
3567 Note that @code{setlocale} affects locale settings for the whole
3568 process. @xref{i18n Introduction, locale objects and
3569 @code{make-locale}}, for a thread-safe alternative.
3570 @end deffn
3571
3572 @node Encryption
3573 @subsection Encryption
3574 @cindex encryption
3575
3576 Please note that the procedures in this section are not suited for
3577 strong encryption, they are only interfaces to the well-known and
3578 common system library functions of the same name. They are just as good
3579 (or bad) as the underlying functions, so you should refer to your system
3580 documentation before using them (@pxref{crypt,, Encrypting Passwords,
3581 libc, The GNU C Library Reference Manual}).
3582
3583 @deffn {Scheme Procedure} crypt key salt
3584 @deffnx {C Function} scm_crypt (key, salt)
3585 Encrypt @var{key}, with the addition of @var{salt} (both strings),
3586 using the @code{crypt} C library call.
3587 @end deffn
3588
3589 Although @code{getpass} is not an encryption procedure per se, it
3590 appears here because it is often used in combination with @code{crypt}:
3591
3592 @deffn {Scheme Procedure} getpass prompt
3593 @deffnx {C Function} scm_getpass (prompt)
3594 @cindex password
3595 Display @var{prompt} to the standard error output and read
3596 a password from @file{/dev/tty}. If this file is not
3597 accessible, it reads from standard input. The password may be
3598 up to 127 characters in length. Additional characters and the
3599 terminating newline character are discarded. While reading
3600 the password, echoing and the generation of signals by special
3601 characters is disabled.
3602 @end deffn
3603
3604
3605 @c Local Variables:
3606 @c TeX-master: "guile.texi"
3607 @c End: