X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=contrib%2Fsb-posix%2Fmacros.lisp;h=aa69c474f0c1e31bc9a43fcfa781c135a2c0ab29;hb=4ba392170e98744f0ef0b8e08a5d42b988f1d0c9;hp=882ac626889298a0969892adb72417579b189ece;hpb=126e0a851c7e170b13c206c530083fc48572ea60;p=sbcl.git diff --git a/contrib/sb-posix/macros.lisp b/contrib/sb-posix/macros.lisp index 882ac62..aa69c47 100644 --- a/contrib/sb-posix/macros.lisp +++ b/contrib/sb-posix/macros.lisp @@ -1,68 +1,152 @@ -(in-package :sb-posix-internal) - -;;; some explanation may be necessary. The namestring "[foo]" -;;; denotes a wild pathname. When there's a file on the disk whose -;;; Unix name is "[foo]", the appropriate CL namestring for it is -;;; "\\[foo]". So, don't call NAMESTRING, instead call a function -;;; that gets us the Unix name -(defun native-filename (pathname) - (let ((directory (pathname-directory pathname)) - (name (pathname-name pathname)) - (type (pathname-type pathname))) - (with-output-to-string (s nil :element-type 'base-char) - (etypecase directory - (string (write-string directory s)) - (list - (when (eq (car directory) :absolute) - (write-char #\/ s)) - (dolist (piece (cdr directory)) - (etypecase piece - (string (write-string piece s) (write-char #\/ s)))))) - (etypecase name - (null) - (string (write-string name s))) - (etypecase type - (null) - (string (write-char #\. s) (write-string type s)))))) - -(define-designator filename c-string - (pathname - (native-filename (translate-logical-pathname filename))) - (string filename)) - -(define-designator file-descriptor (integer 32) - (sb-impl::file-stream (sb-impl::fd-stream-fd file-descriptor)) - (fixnum file-descriptor)) - -(define-designator sap-or-nil sb-sys:system-area-pointer +(in-package :sb-posix) + +(define-designator filename (string c-string) + ("A STRING designating a filename in native namestring syntax. + +Note that native namestring syntax is distinct from Lisp namestring syntax: + + \(pathname \"/foo*/bar\") + +is a wild pathname with a pattern-matching directory component. +SB-EXT:PARSE-NATIVE-NAMESTRING may be used to construct Lisp pathnames that +denote POSIX filenames as understood by system calls, and +SB-EXT:NATIVE-NAMESTRING can be used to coerce them into strings in the native +namestring syntax. + +Note also that POSIX filename syntax does not distinguish the names of files +from the names of directories: in order to parse the name of a directory in +POSIX filename syntax into a pathname MY-DEFAULTS for which + + \(merge-pathnames (make-pathname :name \"FOO\" :case :common) + my-defaults) + +returns a pathname that denotes a file in the directory, supply a true +:AS-DIRECTORY argument to SB-EXT:PARSE-NATIVE-NAMESTRING. Likewise, to supply +the name of a directory to a POSIX function in non-directory syntax, supply a +true :AS-FILE argument to SB-EXT:NATIVE-NAMESTRING." + "Designator for a FILENAME: a STRING designating itself, or a +designator for a PATHNAME designating the corresponding native namestring." + "Converts FILENAME-DESIGNATOR into a FILENAME.") + (pathname + (sb-ext:native-namestring (translate-logical-pathname filename) + :as-file t)) + (string + filename) + (stream + (filename (pathname filename)))) + +(define-designator file-descriptor (fixnum (integer 32)) + ("A FIXNUM designating a native file descriptor. + +SB-SYS:MAKE-FD-STREAM can be used to construct a FILE-STREAM associated with a +native file descriptor. + +Note that mixing I/O operations on a FILE-STREAM with operations directly on its +descriptor may produce unexpected results if the stream is buffered." + "Designator for a FILE-DESCRIPTOR: either a fixnum designating itself, or +a FILE-STREAM designating the underlying file-descriptor." + "Converts FILE-DESCRIPTOR-DESIGNATOR into a FILE-DESCRIPTOR.") + (file-stream + (sb-sys:fd-stream-fd file-descriptor)) + (fixnum + file-descriptor)) + +(define-designator sap-or-nil (sb-sys:system-area-pointer sb-sys:system-area-pointer) + () (null (sb-sys:int-sap 0)) (sb-sys:system-area-pointer sap-or-nil)) -(defun lisp-for-c-symbol (s) - (intern (substitute #\- #\_ (string-upcase s)) :sb-posix)) +(define-designator alien-pointer-to-anything-or-nil (sb-alien-internals::alien-value (* t)) + () + (null (sb-alien:sap-alien (sb-sys:int-sap 0) (* t))) + ((alien (* t)) alien-pointer-to-anything-or-nil)) + +(defun lisp-for-c-symbol (name) + (etypecase name + (list + (lisp-for-c-symbol (car name))) + (string + (let ((root (if (eql #\_ (char name 0)) (subseq name 1) name))) + (intern (substitute #\- #\_ (string-upcase root)) :sb-posix))))) + +;; Note: this variable is set in interface.lisp. defined here for +;; clarity and so the real-c-name compile as desired. +(defparameter *c-functions-in-runtime* nil) + +(defun real-c-name (name) + (let ((maybe-name + (etypecase name + (list + (destructuring-bind (name &key c-name options) name + (declare (ignorable options)) + (if c-name + c-name + (cond #+largefile + ((or (eql options :largefile) + (member :largefile options)) + (format nil "~a_largefile" name)) + (t + name))))) + (string + name)))) + (if (member maybe-name *c-functions-in-runtime* + :test #'string=) + (format nil "_~A" maybe-name) + maybe-name))) + +(defmacro define-call-internally (lisp-name c-name return-type error-predicate + &rest arguments) + (if (sb-sys:find-foreign-symbol-address c-name) + `(progn + (declaim (inline ,lisp-name)) + (defun ,lisp-name ,(mapcar #'car arguments) + (let ((r (alien-funcall + (extern-alien + ,c-name + (function ,return-type + ,@(mapcar + (lambda (x) + (gethash (cadr x) + *designator-types* + (cadr x))) + arguments))) + ,@(mapcar (lambda (x) + (if (nth-value 1 + (gethash (cadr x) + *designator-types*)) + `(,(intern (symbol-name (cadr x)) + :sb-posix) + ,(car x)) + (car x))) + arguments)))) + (if (,error-predicate r) (syscall-error ',lisp-name) r)))) + `(sb-int:style-warn "Didn't find definition for ~S" ,c-name))) (defmacro define-call (name return-type error-predicate &rest arguments) + (let ((lisp-name (lisp-for-c-symbol name)) + (real-c-name (real-c-name name))) + `(progn + (export ',lisp-name :sb-posix) + (define-call-internally ,lisp-name + ,real-c-name + ,return-type + ,error-predicate + ,@arguments)))) + +(defmacro define-entry-point (name arglist &body body) (let ((lisp-name (lisp-for-c-symbol name))) - (if (sb-fasl::foreign-symbol-address-as-integer-or-nil name) - `(progn - (export ',lisp-name :sb-posix) - (declaim (inline ,lisp-name)) - (defun ,lisp-name ,(mapcar #'car arguments) - (let ((r (alien-funcall - (extern-alien - ,name - (function ,return-type - ,@(mapcar - (lambda (x) - (gethash (cadr x) *designator-types* (cadr x))) - arguments))) - ,@(mapcar (lambda (x) - (if (nth-value 1 (gethash (cadr x) *designator-types*)) - `(,(intern (symbol-name (cadr x)) :sb-posix) - ,(car x)) - (car x))) - arguments)))) - (if (,error-predicate r) (syscall-error) r)))) - `(progn - (export ',lisp-name :sb-posix) - (sb-int:style-warn "Didn't find definition for ~S" ,name))))) + `(progn + (export ',lisp-name :sb-posix) + (declaim (inline ,lisp-name)) + (defun ,lisp-name ,arglist + ,@body)))) + +(defmacro define-simple-call (name return-type &rest arguments) + (multiple-value-bind (lisp-name c-name) + (values name (substitute #\_ #\- (string-downcase name))) + `(progn + (export ',lisp-name :sb-posix) + (defun ,lisp-name ,(mapcar #'first arguments) + (alien-funcall (extern-alien ,c-name (function ,return-type + ,@(mapcar #'second arguments))) + ,@(mapcar #'first arguments)))))) \ No newline at end of file