src/cmu.lisp

   1 ;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; 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 ;;; Thread Creation
  12
  13 (defun %make-thread (function name)
  14   (mp:make-process function :name name :initial-bindings nil))
  15
  16 (defun current-thread ()
  17   mp:*current-process*)
  18
  19 (defmethod threadp (object)
  20   (mp:processp object))
  21
  22 (defun thread-name (thread)
  23   (mp:process-name thread))
  24
  25 ;;; Resource contention: locks and recursive locks
  26
  27 (defun make-lock (&optional name)
  28   (mp:make-lock name))
  29
  30 (defun acquire-lock (lock &optional (wait-p t))
  31   (if wait-p
  32       (mp::lock-wait lock "Lock")
  33       (mp::lock-wait-with-timeout lock "Lock" 0)))
  34
  35 (defun release-lock (lock)
  36   (setf (mp::lock-process lock) nil))
  37
  38 (defmacro with-lock-held ((place) &body body)
  39   `(mp:with-lock-held (,place) ,@body))
  40
  41 (defmacro with-recursive-lock-held ((place &key timeout) &body body)
  42   `(mp:with-lock-held (,place "Lock Wait" :timeout ,timeout) ,@body))
  43
  44 ;;; Note that the locks _are_ recursive, but not "balanced", and only
  45 ;;; checked if they are being held by the same process by with-lock-held.
  46 ;;; The default with-lock-held in bordeaux-mp.lisp sort of works, in that
  47 ;;; it will wait for recursive locks by the same process as well.
  48
  49 ;;; Resource contention: condition variables
  50
  51 ;;; There's some stuff in x86-vm.lisp that might be worth investigating
  52 ;;; whether to build on. There's also process-wait and friends.
  53
  54 (defstruct condition-var
  55   "CMUCL doesn't have conditions, so we need to create our own type."
  56   lock
  57   active)
  58
  59 (defun make-condition-variable ()
  60   (make-condition-var :lock (make-lock)))
  61
  62 (defun condition-wait (condition-variable lock)
  63   (check-type condition-variable condition-var)
  64   (with-lock-held ((condition-var-lock condition-variable))
  65     (setf (condition-var-active condition-variable) nil))
  66   (release-lock lock)
  67   (mp:process-wait "Condition Wait"
  68                    #'(lambda () (condition-var-active condition-variable)))
  69   (acquire-lock lock)
  70   t)
  71
  72 (defun condition-notify (condition-variable)
  73   (check-type condition-variable condition-var)
  74   (with-lock-held ((condition-var-lock condition-variable))
  75     (setf (condition-var-active condition-variable) t))
  76   (thread-yield))
  77
  78 (defun thread-yield ()
  79   (mp:process-yield))
  80
  81 ;;; Timeouts
  82
  83 (defmacro with-timeout ((timeout) &body body)
  84   `(mp:with-timeout (,timeout)
  85      ,@body))
  86
  87 ;;; Introspection/debugging
  88
  89 (defun all-threads ()
  90   (mp:all-processes))
  91
  92 (defun interrupt-thread (thread function)
  93   (mp:process-interrupt thread function))
  94
  95 (defun destroy-thread (thread)
  96   (signal-error-if-current-thread thread)
  97   (mp:destroy-process thread))
  98
  99 (defun thread-alive-p (thread)
 100   (mp:process-active-p thread))
 101
 102 (mark-supported)