X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fwin32.lisp;h=41b806856b5bd45f13f2c2f22b702020da223204;hb=82cd148d729c241e79c8df04b700beec1b7c55de;hp=3851f556267799666181dce303178ded5c1de332;hpb=94284af2ff059b0d83d891fb9903f182db6751af;p=sbcl.git diff --git a/src/code/win32.lisp b/src/code/win32.lisp index 3851f55..41b8068 100644 --- a/src/code/win32.lisp +++ b/src/code/win32.lisp @@ -21,47 +21,97 @@ ;;; but groveling HANDLE makes it unsigned, which currently breaks the ;;; build. --NS 2006-06-18 (define-alien-type handle int-ptr) + +(define-alien-type lispbool (boolean 32)) + (define-alien-type system-string #!-sb-unicode c-string #!+sb-unicode (c-string :external-format :ucs-2)) +(define-alien-type tchar #!-sb-unicode char + #!+sb-unicode (unsigned 16)) + (defconstant default-environment-length 1024) ;;; HANDLEs are actually pointers, but an invalid handle is -1 cast ;;; to a pointer. (defconstant invalid-handle -1) +(defconstant file-attribute-readonly #x1) +(defconstant file-attribute-hidden #x2) +(defconstant file-attribute-system #x4) +(defconstant file-attribute-directory #x10) +(defconstant file-attribute-archive #x20) +(defconstant file-attribute-device #x40) +(defconstant file-attribute-normal #x80) +(defconstant file-attribute-temporary #x100) +(defconstant file-attribute-sparse #x200) +(defconstant file-attribute-reparse-point #x400) +(defconstant file-attribute-reparse-compressed #x800) +(defconstant file-attribute-reparse-offline #x1000) +(defconstant file-attribute-not-content-indexed #x2000) +(defconstant file-attribute-encrypted #x4000) + +(defconstant file-flag-overlapped #x40000000) +(defconstant file-flag-sequential-scan #x8000000) + +;; Possible results of GetFileType. +(defconstant file-type-disk 1) +(defconstant file-type-char 2) +(defconstant file-type-pipe 3) +(defconstant file-type-remote 4) +(defconstant file-type-unknown 0) + +(defconstant invalid-file-attributes (mod -1 (ash 1 32))) + +;;;; File Type Introspection by handle +(define-alien-routine ("GetFileType" get-file-type) dword + (handle handle)) + ;;;; Error Handling ;;; Retrieve the calling thread's last-error code value. The ;;; last-error code is maintained on a per-thread basis. -(define-alien-routine ("GetLastError@0" get-last-error) dword) - -;;; Flag constants for FORMAT-MESSAGE. -(defconstant format-message-from-system #x1000) - -;;; Format an error message based on a lookup table. See MSDN for the -;;; full meaning of the all options---most are not used when getting -;;; system error codes. -(define-alien-routine ("FormatMessageA@28" format-message) dword - (flags dword) - (source (* t)) - (message-id dword) - (language-id dword) - (buffer c-string) - (size dword) - (arguments (* t))) +(define-alien-routine ("GetLastError" get-last-error) dword) ;;;; File Handles +;;; Historically, SBCL on Windows used CRT (lowio) file descriptors, +;;; unlike other Lisps. They really help to minimize required effort +;;; for porting Unix-specific software, at least to the level that it +;;; mostly works most of the time. +;;; +;;; Alastair Bridgewater recommended to switch away from CRT +;;; descriptors, and Anton Kovalenko thinks it's the time to heed his +;;; advice. I see that SBCL for Windows needs much more effort in the +;;; area of OS IO abstractions and the like; using or leaving lowio +;;; FDs doesn't change the big picture so much. +;;; +;;; Lowio layer, in exchange for `semi-automatic almost-portability', +;;; brings some significant problems, which a grown-up cross-platform +;;; CL implementation shouldn't have. Therefore, as its benefits +;;; become negligible, it's a good reason to throw it away. +;;; +;;; -- comment from AK's branch + +;;; For a few more releases, let's preserve old functions (now +;;; implemented as identity) for user code which might have had to peek +;;; into our internals in past versions when we hadn't been using +;;; handles yet. -- DFL, 2012 +(defun get-osfhandle (fd) fd) +(defun open-osfhandle (handle flags) (declare (ignore flags)) handle) + ;;; Get the operating system handle for a C file descriptor. Returns ;;; INVALID-HANDLE on failure. -(define-alien-routine ("_get_osfhandle" get-osfhandle) handle +(define-alien-routine ("_get_osfhandle" real-get-osfhandle) handle + (fd int)) + +(define-alien-routine ("_close" real-crt-close) int (fd int)) ;;; Read data from a file handle into a buffer. This may be used ;;; synchronously or with "overlapped" (asynchronous) I/O. -(define-alien-routine ("ReadFile@20" read-file) bool +(define-alien-routine ("ReadFile" read-file) bool (file handle) (buffer (* t)) (bytes-to-read dword) @@ -70,7 +120,7 @@ ;;; Write data from a buffer to a file handle. This may be used ;;; synchronously or with "overlapped" (asynchronous) I/O. -(define-alien-routine ("WriteFile@20" write-file) bool +(define-alien-routine ("WriteFile" write-file) bool (file handle) (buffer (* t)) (bytes-to-write dword) @@ -81,7 +131,7 @@ ;;; removing it from the pipe. BUFFER, BYTES-READ, BYTES-AVAIL, and ;;; BYTES-LEFT-THIS-MESSAGE may be NULL if no data is to be read. ;;; Return TRUE on success, FALSE on failure. -(define-alien-routine ("PeekNamedPipe@24" peek-named-pipe) bool +(define-alien-routine ("PeekNamedPipe" peek-named-pipe) bool (pipe handle) (buffer (* t)) (buffer-size dword) @@ -92,18 +142,21 @@ ;;; Flush the console input buffer if HANDLE is a console handle. ;;; Returns true on success, false if the handle does not refer to a ;;; console. -(define-alien-routine ("FlushConsoleInputBuffer@4" flush-console-input-buffer) bool +(define-alien-routine ("FlushConsoleInputBuffer" flush-console-input-buffer) bool (handle handle)) ;;; Read data from the console input buffer without removing it, ;;; without blocking. Buffer should be large enough for LENGTH * ;;; INPUT-RECORD-SIZE bytes. -(define-alien-routine ("PeekConsoleInputA@16" peek-console-input) bool +(define-alien-routine ("PeekConsoleInputA" peek-console-input) bool (handle handle) (buffer (* t)) (length dword) (nevents (* dword))) +(define-alien-routine ("socket_input_available" socket-input-available) int + (socket handle)) + ;;; Listen for input on a Windows file handle. Unlike UNIX, there ;;; isn't a unified interface to do this---we have to know what sort ;;; of handle we have. Of course, there's no way to actually @@ -113,16 +166,19 @@ (defun handle-listen (handle) (with-alien ((avail dword) (buf (array char #.input-record-size))) + (when + ;; Make use of the fact that console handles are technically no + ;; real handles, and unlike those, have these bits set: + (= 3 (logand 3 handle)) + (return-from handle-listen + (alien-funcall (extern-alien "win32_tty_listen" + (function boolean handle)) + handle))) (unless (zerop (peek-named-pipe handle nil 0 nil (addr avail) nil)) (return-from handle-listen (plusp avail))) - - (unless (zerop (peek-console-input handle - (cast buf (* t)) - input-record-size (addr avail))) - (return-from handle-listen (plusp avail))) - - ;; FIXME-SOCKETS: Try again here with WSAEventSelect in case - ;; HANDLE is a socket. + (let ((res (socket-input-available handle))) + (unless (zerop res) + (return-from handle-listen (= res 1)))) t)) ;;; Listen for input on a C runtime file handle. Returns true if @@ -154,10 +210,25 @@ ;;;; System Functions -;;; Sleep for MILLISECONDS milliseconds. -(define-alien-routine ("Sleep@4" millisleep) void +#!-sb-thread +(define-alien-routine ("Sleep" millisleep) void (milliseconds dword)) +#!+sb-thread +(defun sb!unix:nanosleep (sec nsec) + (let ((*allow-with-interrupts* *interrupts-enabled*)) + (without-interrupts + (let ((timer (sb!impl::os-create-wtimer))) + (sb!impl::os-set-wtimer timer sec nsec) + (unwind-protect + (do () ((with-local-interrupts + (zerop (sb!impl::os-wait-for-wtimer timer))))) + (sb!impl::os-close-wtimer timer)))))) + +(define-alien-routine ("win32_wait_object_or_signal" wait-object-or-signal) + (signed 16) + (handle handle)) + #!+sb-unicode (progn (defvar *ansi-codepage* nil) @@ -191,7 +262,7 @@ ;;870 IBM EBCDIC - Multilingual/ROECE (Latin-2) (874 :CP874) ;; ANSI/OEM - Thai (same as 28605, ISO 8859-15) ;;875 IBM EBCDIC - Modern Greek - ;;932 ANSI/OEM - Japanese, Shift-JIS + (932 :CP932) ;; ANSI/OEM - Japanese, Shift-JIS ;;936 ANSI/OEM - Simplified Chinese (PRC, Singapore) ;;949 ANSI/OEM - Korean (Unified Hangul Code) ;;950 ANSI/OEM - Traditional Chinese (Taiwan; Hong Kong SAR, PRC) @@ -326,7 +397,7 @@ (defun ansi-codepage () (or *ansi-codepage* (setq *ansi-codepage* - (gethash (alien-funcall (extern-alien "GetACP@0" (function UINT))) + (gethash (alien-funcall (extern-alien "GetACP" (function UINT))) *codepage-to-external-format* :latin-1)))) @@ -334,7 +405,7 @@ (defun oem-codepage () (or *oem-codepage* (setq *oem-codepage* - (gethash (alien-funcall (extern-alien "GetOEMCP@0" (function UINT))) + (gethash (alien-funcall (extern-alien "GetOEMCP" (function UINT))) *codepage-to-external-format* :latin-1))))) @@ -342,7 +413,7 @@ (declaim (ftype (function () keyword) console-input-codepage)) (defun console-input-codepage () (or #!+sb-unicode - (gethash (alien-funcall (extern-alien "GetConsoleCP@0" (function UINT))) + (gethash (alien-funcall (extern-alien "GetConsoleCP" (function UINT))) *codepage-to-external-format*) :latin-1)) @@ -351,11 +422,11 @@ (defun console-output-codepage () (or #!+sb-unicode (gethash (alien-funcall - (extern-alien "GetConsoleOutputCP@0" (function UINT))) + (extern-alien "GetConsoleOutputCP" (function UINT))) *codepage-to-external-format*) :latin-1)) -(define-alien-routine ("LocalFree@4" local-free) void +(define-alien-routine ("LocalFree" local-free) void (lptr (* t))) (defmacro cast-and-free (value &key (type 'system-string) @@ -368,12 +439,34 @@ `(let ((,name (etypecase ,description (string ,description) - (cons (destructuring-bind (s &optional (l 0) c) ,description - (format nil "~A~A~A" s - (if c #-sb-unicode "A@" #+sb-unicode "W@" "@") - l)))))) + (cons (destructuring-bind (s &optional c) ,description + (format nil "~A~A" s + (if c #!-sb-unicode "A" #!+sb-unicode "W" ""))))))) ,@body))) +(defmacro make-system-buffer (x) + `(make-alien char #!+sb-unicode (ash ,x 1) #!-sb-unicode ,x)) + +(defmacro with-handle ((var initform + &key (close-operator 'close-handle)) + &body body) + `(without-interrupts + (block nil + (let ((,var ,initform)) + (unwind-protect + (with-local-interrupts + ,@body) + (,close-operator ,var)))))) + +(define-alien-type pathname-buffer + (array char #.(ash (1+ max_path) #!+sb-unicode 1 #!-sb-unicode 0))) + +(define-alien-type long-pathname-buffer + #!+sb-unicode (array char 65536) + #!-sb-unicode pathname-buffer) + +(defmacro decode-system-string (alien) + `(cast (cast ,alien (* char)) system-string)) ;;; FIXME: The various FOO-SYSCALL-BAR macros, and perhaps some other ;;; macros in this file, are only used in this file, and could be @@ -413,14 +506,19 @@ (defmacro void-syscall* ((name &rest arg-types) &rest args) `(syscall* (,name ,@arg-types) (values t 0) ,@args)) -(defun get-last-error-message (err) +(defun format-system-message (err) "http://msdn.microsoft.com/library/default.asp?url=/library/en-us/debug/base/retrieving_the_last_error_code.asp" - (with-alien ((amsg (* char))) - (syscall (("FormatMessage" 28 t) - dword dword dword dword dword (* (* char)) dword dword) - (cast-and-free amsg :free-function local-free) - (logior FORMAT_MESSAGE_ALLOCATE_BUFFER FORMAT_MESSAGE_FROM_SYSTEM) - 0 err 0 (addr amsg) 0 0))) + (let ((message + (with-alien ((amsg (* char))) + (syscall (("FormatMessage" t) + dword dword dword dword dword (* (* char)) dword dword) + (cast-and-free amsg :free-function local-free) + (logior format-message-allocate-buffer + format-message-from-system + format-message-max-width-mask + format-message-ignore-inserts) + 0 err 0 (addr amsg) 0 0)))) + (and message (string-right-trim '(#\Space) message)))) (defmacro win32-error (func-name &optional err) `(let ((err-code ,(or err `(get-last-error)))) @@ -428,47 +526,53 @@ (error "~%Win32 Error [~A] - ~A~%~A" ,func-name err-code - (get-last-error-message err-code)))) + (format-system-message err-code)))) -(defun get-folder-pathname (csidl) +(defun get-folder-namestring (csidl) "http://msdn.microsoft.com/library/en-us/shellcc/platform/shell/reference/functions/shgetfolderpath.asp" - (with-alien ((apath (* char) (make-alien char (1+ max_path)))) - (syscall (("SHGetFolderPath" 20 t) int handle int handle dword (* char)) - (parse-native-namestring - (concatenate 'string (cast-and-free apath) "\\")) - 0 csidl 0 0 apath))) + (with-alien ((apath pathname-buffer)) + (syscall (("SHGetFolderPath" t) int handle int handle dword (* char)) + (concatenate 'string (decode-system-string apath) "\\") + 0 csidl 0 0 (cast apath (* char))))) + +(defun get-folder-pathname (csidl) + (parse-native-namestring (get-folder-namestring csidl))) (defun sb!unix:posix-getcwd () - (with-alien ((apath (* char) (make-alien char (1+ max_path)))) - (with-sysfun (afunc ("GetCurrentDirectory" 8 t) dword dword (* char)) - (let ((ret (alien-funcall afunc (1+ max_path) apath))) + (with-alien ((apath pathname-buffer)) + (with-sysfun (afunc ("GetCurrentDirectory" t) dword dword (* char)) + (let ((ret (alien-funcall afunc (1+ max_path) (cast apath (* char))))) (when (zerop ret) (win32-error "GetCurrentDirectory")) - (when (> ret (1+ max_path)) - (free-alien apath) - (setf apath (make-alien char ret)) - (alien-funcall afunc ret apath)) - (cast-and-free apath))))) + (if (> ret (1+ max_path)) + (with-alien ((apath (* char) (make-system-buffer ret))) + (alien-funcall afunc ret apath) + (cast-and-free apath)) + (decode-system-string apath)))))) (defun sb!unix:unix-mkdir (name mode) (declare (type sb!unix:unix-pathname name) (type sb!unix:unix-file-mode mode) (ignore mode)) - (void-syscall* (("CreateDirectory" 8 t) system-string dword) name 0)) + (syscall (("CreateDirectory" t) lispbool system-string (* t)) + (values result (if result 0 (get-last-error))) + name nil)) (defun sb!unix:unix-rename (name1 name2) (declare (type sb!unix:unix-pathname name1 name2)) - (void-syscall* (("MoveFile" 8 t) system-string system-string) name1 name2)) + (syscall (("MoveFile" t) lispbool system-string system-string) + (values result (if result 0 (get-last-error))) + name1 name2)) (defun sb!unix::posix-getenv (name) (declare (type simple-string name)) - (with-alien ((aenv (* char) (make-alien char default-environment-length))) - (with-sysfun (afunc ("GetEnvironmentVariable" 12 t) + (with-alien ((aenv (* char) (make-system-buffer default-environment-length))) + (with-sysfun (afunc ("GetEnvironmentVariable" t) dword system-string (* char) dword) (let ((ret (alien-funcall afunc name aenv default-environment-length))) (when (> ret default-environment-length) (free-alien aenv) - (setf aenv (make-alien char ret)) + (setf aenv (make-system-buffer ret)) (alien-funcall afunc name aenv ret)) (if (> ret 0) (cast-and-free aenv) @@ -480,10 +584,13 @@ ;; ;; http://msdn.microsoft.com/library/en-us/dllproc/base/getcurrentprocess.asp (declaim (inline get-current-process)) -(define-alien-routine ("GetCurrentProcess@0" get-current-process) handle) +(define-alien-routine ("GetCurrentProcess" get-current-process) handle) ;;;; Process time information +(defconstant 100ns-per-internal-time-unit + (/ 10000000 sb!xc:internal-time-units-per-second)) + ;; FILETIME ;; The FILETIME structure is a 64-bit value representing the number of ;; 100-nanosecond intervals since January 1, 1601 (UTC). @@ -491,22 +598,203 @@ ;; http://msdn.microsoft.com/library/en-us/sysinfo/base/filetime_str.asp? (define-alien-type FILETIME (sb!alien:unsigned 64)) -(defun get-process-times () - (with-alien ((creation-time filetime) - (exit-time filetime) - (kernel-time filetime) - (user-time filetime)) - (syscall* (("GetProcessTimes" 20) handle (* filetime) (* filetime) - (* filetime) (* filetime)) - (values creation-time - exit-time - kernel-time - user-time) - (get-current-process) - (addr creation-time) - (addr exit-time) - (addr kernel-time) - (addr user-time)))) +;; FILETIME definition above is almost correct (on little-endian systems), +;; except for the wrong alignment if used in another structure: the real +;; definition is a struct of two dwords. +;; Let's define FILETIME-MEMBER for that purpose; it will be useful with +;; GetFileAttributesEx and FindFirstFileExW. + +(define-alien-type FILETIME-MEMBER + (struct nil (low dword) (high dword))) + +(defmacro with-process-times ((creation-time exit-time kernel-time user-time) + &body forms) + `(with-alien ((,creation-time filetime) + (,exit-time filetime) + (,kernel-time filetime) + (,user-time filetime)) + (syscall* (("GetProcessTimes") handle (* filetime) (* filetime) + (* filetime) (* filetime)) + (progn ,@forms) + (get-current-process) + (addr ,creation-time) + (addr ,exit-time) + (addr ,kernel-time) + (addr ,user-time)))) + +(declaim (inline system-internal-real-time)) + +(let ((epoch 0)) + (declare (unsigned-byte epoch)) + ;; FIXME: For optimization ideas see the unix implementation. + (defun reinit-internal-real-time () + (setf epoch 0 + epoch (get-internal-real-time))) + (defun get-internal-real-time () + (- (with-alien ((system-time filetime)) + (syscall (("GetSystemTimeAsFileTime") void (* filetime)) + (values (floor system-time 100ns-per-internal-time-unit)) + (addr system-time))) + epoch))) + +(defun system-internal-run-time () + (with-process-times (creation-time exit-time kernel-time user-time) + (values (floor (+ user-time kernel-time) 100ns-per-internal-time-unit)))) + +(define-alien-type hword (unsigned 16)) + +(define-alien-type systemtime + (struct systemtime + (year hword) + (month hword) + (weekday hword) + (day hword) + (hour hword) + (minute hword) + (second hword) + (millisecond hword))) + +;; Obtained with, but the XC can't deal with that -- but +;; it's not like the value is ever going to change... +;; (with-alien ((filetime filetime) +;; (epoch systemtime)) +;; (setf (slot epoch 'year) 1970 +;; (slot epoch 'month) 1 +;; (slot epoch 'day) 1 +;; (slot epoch 'hour) 0 +;; (slot epoch 'minute) 0 +;; (slot epoch 'second) 0 +;; (slot epoch 'millisecond) 0) +;; (syscall (("SystemTimeToFileTime" 8) void +;; (* systemtime) (* filetime)) +;; filetime +;; (addr epoch) +;; (addr filetime))) +(defconstant +unix-epoch-filetime+ 116444736000000000) +(defconstant +filetime-unit+ (* 100ns-per-internal-time-unit + internal-time-units-per-second)) +(defconstant +common-lisp-epoch-filetime-seconds+ 9435484800) + +#!-sb-fluid +(declaim (inline get-time-of-day)) +(defun get-time-of-day () + "Return the number of seconds and microseconds since the beginning of the +UNIX epoch: January 1st 1970." + (with-alien ((system-time filetime)) + (syscall (("GetSystemTimeAsFileTime") void (* filetime)) + (multiple-value-bind (sec 100ns) + (floor (- system-time +unix-epoch-filetime+) + (* 100ns-per-internal-time-unit + internal-time-units-per-second)) + (values sec (floor 100ns 10))) + (addr system-time)))) + +;; Data for FindFirstFileExW and GetFileAttributesEx +(define-alien-type find-data + (struct nil + (attributes dword) + (ctime filetime-member) + (atime filetime-member) + (mtime filetime-member) + (size-low dword) + (size-high dword) + (reserved0 dword) + (reserved1 dword) + (long-name (array tchar #.max_path)) + (short-name (array tchar 14)))) + +(define-alien-type file-attributes + (struct nil + (attributes dword) + (ctime filetime-member) + (atime filetime-member) + (mtime filetime-member) + (size-low dword) + (size-high dword))) + +(define-alien-routine ("FindClose" find-close) lispbool + (handle handle)) + +(defun attribute-file-kind (dword) + (if (logtest file-attribute-directory dword) + :directory :file)) + +(defun native-file-write-date (native-namestring) + "Return file write date, represented as CL universal time." + (with-alien ((file-attributes file-attributes)) + (syscall (("GetFileAttributesEx" t) lispbool + system-string int file-attributes) + (and result + (- (floor (deref (cast (slot file-attributes 'mtime) + (* filetime))) + +filetime-unit+) + +common-lisp-epoch-filetime-seconds+)) + native-namestring 0 file-attributes))) + +(defun native-probe-file-name (native-namestring) + "Return truename \(using GetLongPathName\) as primary value, +File kind as secondary. + +Unless kind is false, null truename shouldn't be interpreted as error or file +absense." + (with-alien ((file-attributes file-attributes) + (buffer long-pathname-buffer)) + (syscall (("GetFileAttributesEx" t) lispbool + system-string int file-attributes) + (values + (syscall (("GetLongPathName" t) dword + system-string long-pathname-buffer dword) + (and (plusp result) (decode-system-string buffer)) + native-namestring buffer 32768) + (and result + (attribute-file-kind + (slot file-attributes 'attributes)))) + native-namestring 0 file-attributes))) + +(defun native-delete-file (native-namestring) + (syscall (("DeleteFile" t) lispbool system-string) + result native-namestring)) + +(defun native-delete-directory (native-namestring) + (syscall (("RemoveDirectory" t) lispbool system-string) + result native-namestring)) + +(defun native-call-with-directory-iterator (function namestring errorp) + (declare (type (or null string) namestring) + (function function)) + (when namestring + (with-alien ((find-data find-data)) + (with-handle (handle (syscall (("FindFirstFile" t) handle + system-string find-data) + (if (eql result invalid-handle) + (if errorp + (win32-error "FindFirstFile") + (return)) + result) + (concatenate 'string + namestring "*.*") + find-data) + :close-operator find-close) + (let ((more t)) + (dx-flet ((one-iter () + (tagbody + :next + (when more + (let ((name (decode-system-string + (slot find-data 'long-name))) + (attributes (slot find-data 'attributes))) + (setf more + (syscall (("FindNextFile" t) lispbool + handle find-data) result + handle find-data)) + (cond ((equal name ".") (go :next)) + ((equal name "..") (go :next)) + (t + (return-from one-iter + (values name + (attribute-file-kind + attributes)))))))))) + (funcall function #'one-iter))))))) ;; SETENV ;; The SetEnvironmentVariable function sets the contents of the specified @@ -514,9 +802,21 @@ ;; ;; http://msdn.microsoft.com/library/en-us/dllproc/base/setenvironmentvariable.asp (defun setenv (name value) - (declare (type simple-string name value)) - (void-syscall* (("SetEnvironmentVariable" 8 t) system-string system-string) - name value)) + (declare (type (or null simple-string) value)) + (if value + (void-syscall* (("SetEnvironmentVariable" t) system-string system-string) + name value) + (void-syscall* (("SetEnvironmentVariable" t) system-string int-ptr) + name 0))) + +;; Let SETENV be an accessor for POSIX-GETENV. +;; +;; DFL: Merged this function because it seems useful to me. But +;; shouldn't we then define it on actual POSIX, too? +(defun (setf sb!unix::posix-getenv) (new-value name) + (if (setenv name new-value) + new-value + (posix-getenv name))) (defmacro c-sizeof (s) "translate alien size (in bits) to c-size (in bytes)" @@ -541,7 +841,7 @@ (defun get-version-ex () (with-alien ((info (struct OSVERSIONINFO))) (setf (slot info 'dwOSVersionInfoSize) (c-sizeof (struct OSVERSIONINFO))) - (syscall* (("GetVersionEx" 4 t) (* (struct OSVERSIONINFO))) + (syscall* (("GetVersionEx" t) (* (struct OSVERSIONINFO))) (values (slot info 'dwMajorVersion) (slot info 'dwMinorVersion) (slot info 'dwBuildNumber) @@ -557,14 +857,351 @@ ;; http://msdn.microsoft.com/library/en-us/sysinfo/base/getcomputername.asp (declaim (ftype (function () simple-string) get-computer-name)) (defun get-computer-name () - (with-alien ((aname (* char) (make-alien char (1+ MAX_COMPUTERNAME_LENGTH))) + (with-alien ((aname (* char) (make-system-buffer (1+ MAX_COMPUTERNAME_LENGTH))) (length dword (1+ MAX_COMPUTERNAME_LENGTH))) - (with-sysfun (afunc ("GetComputerName" 8 t) bool (* char) (* dword)) + (with-sysfun (afunc ("GetComputerName" t) bool (* char) (* dword)) (when (zerop (alien-funcall afunc aname (addr length))) (let ((err (get-last-error))) (unless (= err ERROR_BUFFER_OVERFLOW) (win32-error "GetComputerName" err)) (free-alien aname) - (setf aname (make-alien char length)) + (setf aname (make-system-buffer length)) (alien-funcall afunc aname (addr length)))) (cast-and-free aname)))) + +(define-alien-routine ("SetFilePointerEx" set-file-pointer-ex) lispbool + (handle handle) + (offset long-long) + (new-position long-long :out) + (whence dword)) + +(defun lseeki64 (handle offset whence) + (multiple-value-bind (moved to-place) + (set-file-pointer-ex handle offset whence) + (if moved + (values to-place 0) + (values -1 (get-last-error))))) + +;; File mapping support routines +(define-alien-routine (#!+sb-unicode "CreateFileMappingW" + #!-sb-unicode "CreateFileMappingA" + create-file-mapping) + handle + (handle handle) + (security-attributes (* t)) + (protection dword) + (maximum-size-high dword) + (maximum-size-low dword) + (name system-string)) + +(define-alien-routine ("MapViewOfFile" map-view-of-file) + system-area-pointer + (file-mapping handle) + (desired-access dword) + (offset-high dword) + (offset-low dword) + (size dword)) + +(define-alien-routine ("UnmapViewOfFile" unmap-view-of-file) bool + (address (* t))) + +(define-alien-routine ("FlushViewOfFile" flush-view-of-file) bool + (address (* t)) + (length dword)) + +;; Constants for CreateFile `disposition'. +(defconstant file-create-new 1) +(defconstant file-create-always 2) +(defconstant file-open-existing 3) +(defconstant file-open-always 4) +(defconstant file-truncate-existing 5) + +;; access rights +(defconstant access-generic-read #x80000000) +(defconstant access-generic-write #x40000000) +(defconstant access-generic-execute #x20000000) +(defconstant access-generic-all #x10000000) +(defconstant access-file-append-data #x4) +(defconstant access-delete #x00010000) + +;; share modes +(defconstant file-share-delete #x04) +(defconstant file-share-read #x01) +(defconstant file-share-write #x02) + +;; CreateFile (the real file-opening workhorse). +(define-alien-routine (#!+sb-unicode "CreateFileW" + #!-sb-unicode "CreateFileA" + create-file) + handle + (name (c-string #!+sb-unicode #!+sb-unicode :external-format :ucs-2)) + (desired-access dword) + (share-mode dword) + (security-attributes (* t)) + (creation-disposition dword) + (flags-and-attributes dword) + (template-file handle)) + +;; GetFileSizeEx doesn't work with block devices :[ +(define-alien-routine ("GetFileSizeEx" get-file-size-ex) + bool + (handle handle) (file-size (signed 64) :in-out)) + +;; GetFileAttribute is like a tiny subset of fstat(), +;; enough to distinguish directories from anything else. +(define-alien-routine (#!+sb-unicode "GetFileAttributesW" + #!-sb-unicode "GetFileAttributesA" + get-file-attributes) + dword + (name (c-string #!+sb-unicode #!+sb-unicode :external-format :ucs-2))) + +(define-alien-routine ("CloseHandle" close-handle) bool + (handle handle)) + +(define-alien-routine ("_open_osfhandle" real-open-osfhandle) + int + (handle handle) + (flags int)) + +;; Intended to be an imitation of sb!unix:unix-open based on +;; CreateFile, as complete as possibly. +;; FILE_FLAG_OVERLAPPED is a must for decent I/O. + +(defun unixlike-open (path flags mode &optional revertable) + (declare (type sb!unix:unix-pathname path) + (type fixnum flags) + (type sb!unix:unix-file-mode mode) + (ignorable mode)) + (let* ((disposition-flags + (logior + (if (zerop (logand sb!unix:o_creat flags)) 0 #b100) + (if (zerop (logand sb!unix:o_excl flags)) 0 #b010) + (if (zerop (logand sb!unix:o_trunc flags)) 0 #b001))) + (create-disposition + ;; there are 8 combinations of creat|excl|trunc, some of + ;; them are equivalent. Case stmt below maps them to 5 + ;; dispositions (see CreateFile manual). + (case disposition-flags + ((#b110 #b111) file-create-new) + ((#b001 #b011) file-truncate-existing) + ((#b000 #b010) file-open-existing) + (#b100 file-open-always) + (#b101 file-create-always)))) + (let ((handle + (create-file path + (logior + (if revertable #x10000 0) + (if (plusp (logand sb!unix:o_append flags)) + access-file-append-data + 0) + (ecase (logand 3 flags) + (0 FILE_GENERIC_READ) + (1 FILE_GENERIC_WRITE) + ((2 3) (logior FILE_GENERIC_READ + FILE_GENERIC_WRITE)))) + (logior FILE_SHARE_READ + FILE_SHARE_WRITE) + nil + create-disposition + (logior + file-attribute-normal + file-flag-overlapped + file-flag-sequential-scan) + 0))) + (if (eql handle invalid-handle) + (values nil + (let ((error-code (get-last-error))) + (case error-code + (#.error_file_not_found + sb!unix:enoent) + ((#.error_already_exists #.error_file_exists) + sb!unix:eexist) + (otherwise error-code)))) + (progn + ;; FIXME: seeking to the end is not enough for real APPEND + ;; semantics, but it's better than nothing. + ;; -- AK + ;; + ;; On the other hand, the CL spec implies the "better than + ;; nothing" seek-once semantics implemented here, and our + ;; POSIX backend is incorrect in implementing :APPEND as + ;; O_APPEND. Other CL implementations get this right across + ;; platforms. + ;; + ;; Of course, it would be nice if we had :IF-EXISTS + ;; :ATOMICALLY-APPEND separately as an extension, and in + ;; that case, we will have to worry about supporting it + ;; here after all. + ;; + ;; I've tested this only very briefly (on XP and Windows 7), + ;; but my impression is that WriteFile (without documenting + ;; it?) is like ZwWriteFile, i.e. if we pass in -1 as the + ;; offset in our overlapped structure, WriteFile seeks to the + ;; end for us. Should we depend on that? How do we communicate + ;; our desire to do so to the runtime? + ;; -- DFL + ;; + (set-file-pointer-ex handle 0 (if (plusp (logand sb!unix::o_append flags)) 2 0)) + (values handle 0)))))) + +(define-alien-routine ("closesocket" close-socket) int (handle handle)) +(define-alien-routine ("shutdown" shutdown-socket) int (handle handle) + (how int)) + +(define-alien-routine ("DuplicateHandle" duplicate-handle) lispbool + (from-process handle) + (from-handle handle) + (to-process handle) + (to-handle handle :out) + (access dword) + (inheritp lispbool) + (options dword)) + +(defconstant +handle-flag-inherit+ 1) +(defconstant +handle-flag-protect-from-close+ 2) + +(define-alien-routine ("SetHandleInformation" set-handle-information) lispbool + (handle handle) + (mask dword) + (flags dword)) + +(define-alien-routine ("GetHandleInformation" get-handle-information) lispbool + (handle handle) + (flags dword :out)) + +(define-alien-routine getsockopt int + (handle handle) + (level int) + (opname int) + (dataword int-ptr :in-out) + (socklen int :in-out)) + +(defconstant sol_socket #xFFFF) +(defconstant so_type #x1008) + +(defun socket-handle-p (handle) + (zerop (getsockopt handle sol_socket so_type 0 (alien-size int :bytes)))) + +(defconstant ebadf 9) + +;;; For sockets, CloseHandle first and closesocket() afterwards is +;;; legal: winsock tracks its handles separately (that's why we have +;;; the problem with simple _close in the first place). +;;; +;;; ...Seems to be the problem on some OSes, though. We could +;;; duplicate a handle and attempt close-socket on a duplicated one, +;;; but it also have some problems... + +(defun unixlike-close (fd) + (if (or (zerop (close-socket fd)) + (close-handle fd)) + t (values nil ebadf))) + +(defconstant +std-input-handle+ -10) +(defconstant +std-output-handle+ -11) +(defconstant +std-error-handle+ -12) + +(defun get-std-handle-or-null (identity) + (let ((handle (alien-funcall + (extern-alien "GetStdHandle" (function handle dword)) + (logand (1- (ash 1 (alien-size dword))) identity)))) + (and (/= handle invalid-handle) + (not (zerop handle)) + handle))) + +(defun get-std-handles () + (values (get-std-handle-or-null +std-input-handle+) + (get-std-handle-or-null +std-output-handle+) + (get-std-handle-or-null +std-error-handle+))) + +(defconstant +duplicate-same-access+ 2) + +(defun duplicate-and-unwrap-fd (fd &key inheritp) + (let ((me (get-current-process))) + (multiple-value-bind (duplicated handle) + (duplicate-handle me (real-get-osfhandle fd) + me 0 inheritp +duplicate-same-access+) + (if duplicated + (prog1 handle (real-crt-close fd)) + (win32-error 'duplicate-and-unwrap-fd))))) + +(define-alien-routine ("CreatePipe" create-pipe) lispbool + (read-pipe handle :out) + (write-pipe handle :out) + (security-attributes (* t)) + (buffer-size dword)) + +(defun windows-pipe () + (multiple-value-bind (created read-handle write-handle) + (create-pipe nil 256) + (if created (values read-handle write-handle) + (win32-error 'create-pipe)))) + +(defun windows-isatty (handle) + (if (= file-type-char (get-file-type handle)) + 1 0)) + +(defun inheritable-handle-p (handle) + (multiple-value-bind (got flags) + (get-handle-information handle) + (if got (plusp (logand flags +handle-flag-inherit+)) + (win32-error 'inheritable-handle-p)))) + +(defun (setf inheritable-handle-p) (allow handle) + (if (set-handle-information handle + +handle-flag-inherit+ + (if allow +handle-flag-inherit+ 0)) + allow + (win32-error '(setf inheritable-handle-p)))) + +(defun sb!unix:unix-dup (fd) + (let ((me (get-current-process))) + (multiple-value-bind (duplicated handle) + (duplicate-handle me fd me 0 t +duplicate-same-access+) + (if duplicated + (values handle 0) + (values nil (get-last-error)))))) + +(defun call-with-crt-fd (thunk handle &optional (flags 0)) + (multiple-value-bind (duplicate errno) + (sb!unix:unix-dup handle) + (if duplicate + (let ((fd (real-open-osfhandle duplicate flags))) + (unwind-protect (funcall thunk fd) + (real-crt-close fd))) + (values nil errno)))) + +;;; random seeding + +(define-alien-routine ("CryptGenRandom" %crypt-gen-random) lispbool + (handle handle) + (length dword) + (buffer (* t))) + +(define-alien-routine (#!-sb-unicode "CryptAcquireContextA" + #!+sb-unicode "CryptAcquireContextW" + %crypt-acquire-context) lispbool + (handle handle :out) + (container system-string) + (provider system-string) + (provider-type dword) + (flags dword)) + +(define-alien-routine ("CryptReleaseContext" %crypt-release-context) lispbool + (handle handle) + (flags dword)) + +(defun crypt-gen-random (length) + (multiple-value-bind (ok context) + (%crypt-acquire-context nil nil prov-rsa-full + (logior crypt-verifycontext crypt-silent)) + (unless ok + (return-from crypt-gen-random (values nil (get-last-error)))) + (unwind-protect + (let ((data (make-array length :element-type '(unsigned-byte 8)))) + (with-pinned-objects (data) + (if (%crypt-gen-random context length (vector-sap data)) + data + (values nil (get-last-error))))) + (unless (%crypt-release-context context 0) + (win32-error '%crypt-release-context)))))