source: branches/new-datamodel/src/threading/reader-writer.lisp

;;+-----------------------------------------------------------------------------
;;+  Isidorus
;;+  (c) 2008-2009 Marc Kuester, Christoph Ludwig, Lukas Giessmann
;;+
;;+  Isidorus is freely distributable under the LGPL license.
;;+  You can find a detailed description in trunk/docs/LGPL-LICENSE.txt.
;;+-----------------------------------------------------------------------------


(defpackage :isidorus-threading
  (:use :cl :bordeaux-threads)
  (:export :current-readers
           :with-reader-lock
           :with-writer-lock))

(in-package :isidorus-threading)

(defvar *readerlist-lock* (make-lock "isidorus-threading: current readers lock"))
(defvar *writer-lock* (make-lock "isidorus-threading: writer lock"))
(defvar *current-readers* nil)


(defun current-readers ()
  "Returns a copy of the list which contains all current reader
   threads, *current-readers*"
  (let ((result nil))
    (with-lock-held (*readerlist-lock*)
      (setf result (copy-list *current-readers*)))
    result))


(defun add-thread-to-reader-list ()
  "Adds the current thread to the reader list"
  (with-lock-held (*writer-lock*)
    (with-lock-held (*readerlist-lock*)
      (push (current-thread) *current-readers*))))


(defun remove-thread-from-reader-list ()
  "Removes the current threads from the reader list"
  (with-lock-held (*readerlist-lock*)
    (setf *current-readers*
          (delete (current-thread) *current-readers*))))


(defmacro with-reader-lock (&body body)
  "Executes the passed 'body' with the reader lock"
  `(progn
     (add-thread-to-reader-list)
     (let ((result nil))
       (handler-case
           (setf result ,@body)
         (condition (c)
           (progn
             (remove-thread-from-reader-list)
             (error c))))
       (remove-thread-from-reader-list)
       result)))


(defmacro with-writer-lock (&body body)
  "Executes the passed body when the reader list is empty otherwise
   the do macor loops in 500 ms time interval for a next chance."
  `(with-lock-held (*writer-lock*)
     (do
      ((remaining-readers (current-readers) (current-readers)))
      ((null remaining-readers))
       (sleep 0.05))
     ,@body))