---------- Forwarded message ---------- From: Stefan Israelsson Tampe Date: Tue, Sep 3, 2013 at 6:22 PM Subject: Re: Concurrent MVars for Guile To: Mark H Weaver I find this code good to include due to. 1. Small and tidy code 2. Good for study to see how to how to use the primitive primitives 3. Nice semantics that are useful. One could argue that this belongs to a library, but I agree with mark that we need to have these primitives out of the box due to. 1. To low level to be in a library e.g. prevent dependency hell 2. It will force fine documentation of the code 3. It will unify the interface. For 3 one could argue that it is better to allow people to play with semantics and develop this field in many direction. I think on the other hand that this has been done already in other programming environments and we should be able to steal the well proven semantics for guile and include it with guile. My 2c Cheers On Tue, Sep 3, 2013 at 1:55 PM, Mark H Weaver wrote: > Hello all, > > I've attached an improved (but still preliminary) implementation of > MVars for Guile. Apart from fixing some bugs, this version follows the > Haskell API and semantics more closely. In particular, I now refrain > from adding atomicity guarantees beyond those promised by the Haskell > API. I also added locking to 'mvar-empty?', to ensure that we meet the > "ordering" requirement of the Haskell API. > > Comments and suggestions welcome. > > Mark > > > > (define-module (ice-9 mvars) > #:use-module (ice-9 threads) > #:use-module (srfi srfi-8) ; receive > #:use-module (srfi srfi-9) ; records > #:use-module (srfi srfi-9 gnu) > #:export (mvar? > mvar-empty? new-empty-mvar new-mvar > take-mvar put-mvar read-mvar swap-mvar > try-take-mvar try-put-mvar > with-mvar modify-mvar modify-mvar*)) > > (define-record-type > (make-mvar contents empty? mutex full-condition empty-condition) > mvar? > (contents %mvar-contents %set-mvar-contents!) > (empty? %mvar-empty? %set-mvar-empty?!) > (mutex mvar-mutex) > (full-condition mvar-full-condition) > (empty-condition mvar-empty-condition)) > > (define (mvar-empty? mvar) > (with-mutex (mvar-mutex mvar) > (%mvar-empty? mvar))) > > (define (new-empty-mvar) > "Return a freshly allocated mvar that is initially empty." > (make-mvar #f ; contents > #t ; empty? > (make-mutex) > (make-condition-variable) > (make-condition-variable))) > > (define (new-mvar x) > "Return a freshly allocated mvar with initial contents X." > (make-mvar x ; contents > #f ; empty? > (make-mutex) > (make-condition-variable) > (make-condition-variable))) > > (define (take-mvar mvar) > "Block until MVAR is full, then atomically remove and return its > contents." > (with-mutex (mvar-mutex mvar) > (when (%mvar-empty? mvar) > (wait-condition-variable (mvar-full-condition mvar) (mvar-mutex > mvar))) > (let ((x (%mvar-contents mvar))) > (%set-mvar-contents! mvar #f) > (%set-mvar-empty?! mvar #t) > (signal-condition-variable (mvar-empty-condition mvar)) > x))) > > (define (put-mvar mvar x) > "Block until MVAR is empty, then put X into it." > (with-mutex (mvar-mutex mvar) > (unless (%mvar-empty? mvar) > (wait-condition-variable (mvar-empty-condition mvar) (mvar-mutex > mvar))) > (%set-mvar-contents! mvar x) > (%set-mvar-empty?! mvar #f) > (signal-condition-variable (mvar-full-condition mvar)) > *unspecified*)) > > (define (read-mvar mvar) > "Take a value x from MVAR, then put it back and return x. This > procedure is atomic only if there are no other producers for MVAR." > (let ((x (take-mvar mvar))) > (put-mvar mvar x) > x)) > > (define (swap-mvar mvar y) > "Take a value x from MVAR, then put Y into MVAR and return x. This > procedure is atomic only if there are no other producers for MVAR." > (let ((x (take-mvar mvar))) > (put-mvar mvar y) > x)) > > (define (try-take-mvar mvar) > "If MVAR is full, return its contents and #t, else return #f and #f." > (with-mutex (mvar-mutex mvar) > (if (%mvar-empty? mvar) > (values #f #f) > (let ((x (%mvar-contents mvar))) > (%set-mvar-contents! mvar #f) > (%set-mvar-empty?! mvar #t) > (signal-condition-variable (mvar-empty-condition mvar)) > (values x #t))))) > > (define (try-put-mvar mvar x) > "If MVAR is empty, put X into it and return #t, else return #f." > (with-mutex (mvar-mutex mvar) > (and (%mvar-empty? mvar) > (begin > (%set-mvar-contents! mvar x) > (%set-mvar-empty?! mvar #f) > (signal-condition-variable (mvar-full-condition mvar)) > #t)))) > > (define (with-mvar mvar proc) > "Take a value from MVAR and apply PROC to it. If an exception is raised, > the original value is put back into MVAR. This procedure is atomic only if > there are no other producers for MVAR." > (let ((x (take-mvar mvar))) > (catch #t > (lambda () (proc x)) > (lambda (key . args) > (put-mvar mvar x) > (apply throw key args))))) > > (define (modify-mvar mvar f) > "Take a value x from MVAR, and then put back (F x). If an exception is > raised, the original value is put back into MVAR. This procedure is > atomic only if there are no other producers for MVAR." > (let ((old (take-mvar mvar))) > (catch #t > (lambda () (put-mvar mvar (f old))) > (lambda (key . args) > (put-mvar mvar old) > (apply throw key args))))) > > (define (modify-mvar* mvar f) > "Take a value x from MVAR, and apply F to it. (F x) should return one > or more values: the new value to be put back into MVAR, and zero or more > additional values to be returned from MODIFY-MVAR*. If an exception is > raised, the original value is put back into MVAR. This procedure is > atomic only if there are no other producers for MVAR." > (let ((old (take-mvar mvar))) > (catch #t > (lambda () > (receive (new . results) (f old) > (put-mvar mvar new) > (apply values results))) > (lambda (key . args) > (put-mvar mvar old) > (apply throw key args))))) > > (set-record-type-printer! > > (lambda (mvar port) > (display "# (display (number->string (object-address mvar) 16) port) > (display " " port) > (write (with-mutex (mvar-mutex mvar) > (if (%mvar-empty? mvar) > '() > (list (%mvar-contents mvar)))) > port) > (display ">" port))) > >