apiv1/impl-ecl.lisp

   1 ;;;; -*- indent-tabs-mode: nil -*-
   2
   3 #|
   4 Copyright 2006, 2007 Greg Pfeil
   5
   6 Distributed under the MIT license (see LICENSE file)
   7 |#
   8
   9 (in-package #:bordeaux-threads)
  10
  11 (eval-when (:compile-toplevel :execute)
  12   (when (>= ext:+ecl-version-number+ 230909)
  13     (pushnew :has-timeouts *features*)))
  14
  15 ;;; documentation on the ECL Multiprocessing interface can be found at
  16 ;;; https://ecl.common-lisp.dev/static/manual/Native-threads.html
  17
  18 (deftype thread ()
  19   'mp:process)
  20
  21 ;;; Thread Creation
  22
  23 (defun %make-thread (function name)
  24   (mp:process-run-function name function))
  25
  26 (defun current-thread ()
  27   mp::*current-process*)
  28
  29 (defun threadp (object)
  30   (typep object 'mp:process))
  31
  32 (defun thread-name (thread)
  33   (mp:process-name thread))
  34
  35 ;;; Resource contention: locks and recursive locks
  36
  37 (deftype lock () 'mp:lock)
  38
  39 (deftype recursive-lock ()
  40   '(and mp:lock (satisfies mp:recursive-lock-p)))
  41
  42 (defun lock-p (object)
  43   (typep object 'mp:lock))
  44
  45 (defun recursive-lock-p (object)
  46   (and (typep object 'mp:lock)
  47        (mp:recursive-lock-p object)))
  48
  49 (defun make-lock (&optional name)
  50   (mp:make-lock :name (or name "Anonymous lock")))
  51
  52 (defun acquire-lock (lock &optional (wait-p t))
  53   (mp:get-lock lock wait-p))
  54
  55 (defun release-lock (lock)
  56   (mp:giveup-lock lock))
  57
  58 (defmacro with-lock-held ((place) &body body)
  59   `(mp:with-lock (,place) ,@body))
  60
  61 (defun make-recursive-lock (&optional name)
  62   (mp:make-lock :name (or name "Anonymous recursive lock") :recursive t))
  63
  64 (defun acquire-recursive-lock (lock &optional (wait-p t))
  65   (mp:get-lock lock wait-p))
  66
  67 (defun release-recursive-lock (lock)
  68   (mp:giveup-lock lock))
  69
  70 (defmacro with-recursive-lock-held ((place) &body body)
  71   `(mp:with-lock (,place) ,@body))
  72
  73 ;;; Resource contention: condition variables
  74
  75 (defun make-condition-variable (&key name)
  76   (declare (ignore name))
  77   (mp:make-condition-variable))
  78
  79 (defun condition-wait (condition-variable lock &key timeout)
  80   (if timeout
  81       #-has-timeouts
  82       (handler-case
  83           (with-timeout (timeout)
  84             (mp:condition-variable-wait condition-variable lock))
  85         (timeout ()
  86           (acquire-lock lock)
  87           nil))
  88       #+has-timeouts
  89       (mp:condition-variable-timedwait condition-variable lock timeout)
  90       (mp:condition-variable-wait condition-variable lock)))
  91
  92 (defun condition-notify (condition-variable)
  93   (mp:condition-variable-signal condition-variable))
  94
  95 (defun thread-yield ()
  96   (mp:process-yield))
  97
  98 ;;; Introspection/debugging
  99
 100 (defun all-threads ()
 101   (mp:all-processes))
 102
 103 (defun interrupt-thread (thread function &rest args)
 104   (flet ((apply-function ()
 105            (if args
 106                (named-lambda %interrupt-thread-wrapper ()
 107                  (apply function args))
 108                function)))
 109     (declare (dynamic-extent #'apply-function))
 110     (mp:interrupt-process thread (apply-function))))
 111
 112 (defun destroy-thread (thread)
 113   (signal-error-if-current-thread thread)
 114   (mp:process-kill thread))
 115
 116 (defun thread-alive-p (thread)
 117   (mp:process-active-p thread))
 118
 119 (defun join-thread (thread)
 120   (mp:process-join thread))
 121
 122 (eval-when (:compile-toplevel :execute)
 123   (setf *features* (remove :has-timeouts *features*)))
 124
 125 (mark-supported)