X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=8sync%2Fsystems%2Factors.scm;h=40f860c5b024922d7b7ef51e9850fbcd197d8e66;hb=171dbab2f07df50ac5b1daedfbef6d60860b7935;hp=270b25f452909e5a000780bd7de5e968d47d63d2;hpb=d3202269c645127c176cad41185fa0f95be34d89;p=8sync.git diff --git a/8sync/systems/actors.scm b/8sync/systems/actors.scm index 270b25f..40f860c 100644 --- a/8sync/systems/actors.scm +++ b/8sync/systems/actors.scm @@ -48,7 +48,7 @@ actor-id-string mlambda define-mhandler - make-action-dispatch + simple-dispatcher build-actions make-action-dispatch define-simple-actor @@ -68,9 +68,6 @@ message-wants-reply message-ref - send-message send-message-wait - reply-message reply-message-wait - <- <-wait <-reply <-reply-wait ez-run-hive @@ -126,11 +123,6 @@ (body message-body) (in-reply-to message-in-reply-to) (wants-reply message-wants-reply) - - ;; See XUDD source for these. Not use yet, maybe eventually will be? - ;; XUDD uses them for autoreply. - ;; Requiring mutation on message objects is clearly not great, - ;; but it may be worth it...? Investigate! (replied message-replied set-message-replied!) (deferred-reply message-deferred-reply set-message-deferred-reply!)) @@ -191,15 +183,18 @@ If key not found and DFLT not provided, throw an error." args))))) -(define (send-message from-actor to-id action . message-body-args) +;;; See: https://web.archive.org/web/20081223021934/http://mumble.net/~jar/articles/oo-moon-weinreb.html +;;; (also worth seeing: http://mumble.net/~jar/articles/oo.html ) + +(define (<- from-actor to-id action . message-body-args) "Send a message from an actor to another actor" (let* ((hive (actor-hive from-actor)) (message (make-message (hive-gen-message-id hive) to-id (actor-id from-actor) action (kwarg-list-to-alist message-body-args)))) - (8sync-nowait (hive-process-message hive message)))) + (8sync (hive-process-message hive message)))) -(define (send-message-wait from-actor to-id action . message-body-args) +(define (<-wait from-actor to-id action . message-body-args) "Send a message from an actor to another, but wait until we get a response" (let* ((hive (actor-hive from-actor)) (abort-to (hive-prompt (actor-hive from-actor))) @@ -214,8 +209,7 @@ If key not found and DFLT not provided, throw an error." ;; not have an exception thrown and instead just have a message with ;; the appropriate '*error* message returned. -(define (reply-message from-actor original-message - . message-body-args) +(define (<-reply from-actor original-message . message-body-args) "Reply to a message" (set-message-replied! original-message #t) (let* ((hive (actor-hive from-actor)) @@ -224,10 +218,9 @@ If key not found and DFLT not provided, throw an error." (actor-id from-actor) '*reply* (kwarg-list-to-alist message-body-args) #:in-reply-to (message-id original-message)))) - (8sync-nowait (hive-process-message hive new-message)))) + (8sync (hive-process-message hive new-message)))) -(define (reply-message-wait from-actor original-message - . message-body-args) +(define (<-reply-wait from-actor original-message . message-body-args) "Reply to a messsage, but wait until we get a response" (set-message-replied! original-message #t) (let* ((hive (actor-hive from-actor)) @@ -241,16 +234,6 @@ If key not found and DFLT not provided, throw an error." (abort-to-prompt abort-to from-actor new-message))) -;;; Aliases! -;;; See: http://mumble.net/~jar/articles/oo-moon-weinreb.html -;;; (also worth seeing: http://mumble.net/~jar/articles/oo.html ) - -(define <- send-message) -(define <-wait send-message-wait) -(define <-reply reply-message) -(define <-reply-wait reply-message-wait) - - ;;; Main actor implementation ;;; ========================= @@ -323,7 +306,7 @@ If key not found and DFLT not provided, throw an error." body body* ...)) (define-syntax mlambda - (syntax-rules () + (lambda (x) "A lambda for building message handlers. Use it like: @@ -334,13 +317,19 @@ Which is like doing manually: (lambda (actor message) (let ((foo (message-ref message foo))) ...))" - ((_ (actor message message-arg ...) - body body* ...) - (lambda (actor message) - (with-message-args (message message-arg ...) body body* ...))))) + (syntax-case x () + ((_ (actor message message-arg ...) + docstring + body ...) + (string? (syntax->datum #'docstring)) + #'(lambda (actor message) + docstring + (with-message-args (message message-arg ...) body ...))) + ((_ (actor message message-arg ...) + body body* ...) + #'(lambda (actor message) + (with-message-args (message message-arg ...) body body* ...)))))) -;; @@: Sadly, docstrings won't work with this... -;; I think we need to bust out syntax-case to make that happen... (define-syntax-rule (define-mhandler (name actor message message-arg ...) body ...) (define name @@ -352,6 +341,8 @@ Which is like doing manually: (let* ((action (message-action message)) (method (assoc-ref action-map action))) (if (not method) + ;; @@: There's every possibility this should be handled in + ;; hive-process-message instead. (throw 'action-not-found "No appropriate action handler found for actor" #:action action @@ -369,6 +360,15 @@ Which is like doing manually: ((_ (action-name handler)) (cons (quote action-name) handler)))) +(define-syntax-rule (build-actions action-item ...) + "Build a mapping of actions. Same syntax as make-action-dispatch +but this doesn't build the dispatcher for you (you probably want to +pass it to simple-dispatcher). + +The advantage here is that since this simply builds an alist, you can +compose it with other action maps." + (list (%expand-action-item action-item) ...)) + (define-syntax make-action-dispatch (syntax-rules () "Expand a list of action names and actions into an alist @@ -390,8 +390,7 @@ more compact following syntax: ((party actor message) (display \"Life of the party!\")))" ((make-action-dispatch action-item ...) - (simple-dispatcher - (list (%expand-action-item action-item) ...))))) + (simple-dispatcher (build-actions action-item ...))))) (define-syntax-rule (define-simple-actor class actions ...) (define-class class () @@ -497,7 +496,7 @@ more compact following syntax: (actor-id hive) '*error* new-message-body #:in-reply-to (message-id original-message)))) - (8sync-nowait (hive-process-message hive new-message)))) + (8sync (hive-process-message hive new-message)))) (define-method (hive-process-message (hive ) message) "Handle one message, or forward it via an ambassador" @@ -505,8 +504,7 @@ more compact following syntax: ;; Possibly autoreply (if (message-needs-reply message) ;; @@: Should we give *autoreply* as the action instead of *reply*? - (reply-message actor message - #:*auto-reply* #t))) + (<-reply actor message #:*auto-reply* #t))) (define (resolve-actor-to) "Get the actor the message was aimed at" @@ -522,13 +520,24 @@ more compact following syntax: (define (call-catching-coroutine thunk) (define (call-catching-errors) - (with-throw-handler - #t thunk - (lambda (key . args) - (if (message-needs-reply message) - ;; If the message is waiting on a reply, let them know - ;; something went wrong. - (hive-reply-with-error hive message key args))))) + ;; TODO: maybe parameterize (or attach to hive) and use + ;; maybe-catch-all from agenda.scm + ;; @@: Why not just use with-throw-handler and let the catch + ;; happen at the agenda? That's what we used to do, but + ;; it ended up with a SIGABRT. See: + ;; http://lists.gnu.org/archive/html/bug-guile/2016-05/msg00003.html + (catch #t + thunk + ;; In the actor model, we don't totally crash on errors. + (lambda _ #f) + ;; If an error happens, we raise it + (lambda (key . args) + (if (message-needs-reply message) + ;; If the message is waiting on a reply, let them know + ;; something went wrong. + (hive-reply-with-error hive message key args)) + ;; print error message + (apply print-error-and-continue key args)))) (call-with-prompt (hive-prompt hive) call-catching-errors (lambda (kont actor message) @@ -615,7 +624,7 @@ more compact following syntax: (process-remote-message)))) (define-method (hive-actor-local? (hive ) address) - (hash-ref (hive-actor-registry hive) address)) + (equal? (hive-id hive) (address-hive-id address))) (define-method (hive-register-actor! (hive ) (actor )) (hash-set! (hive-actor-registry hive) (actor-id actor) actor)) @@ -657,16 +666,16 @@ that method for documentation." This is the method actors should call directly (unless they want to supply an id-cookie, in which case they should use create-actor*)." - (8sync (%hive-create-actor (actor-hive from-actor) actor-class - init #f))) + (%hive-create-actor (actor-hive from-actor) actor-class + init #f)) (define* (create-actor* from-actor actor-class id-cookie #:rest init) "Create an instance of actor-class. Return the new actor's id. Like create-actor, but permits supplying an id-cookie." - (8sync (%hive-create-actor (actor-hive from-actor) actor-class - init id-cookie))) + (%hive-create-actor (actor-hive from-actor) actor-class + init id-cookie)) (define (self-destruct actor) @@ -698,7 +707,7 @@ an integer." (define (bootstrap-message hive to-id action . message-body-args) (wrap - (apply send-message hive to-id action message-body-args))) + (apply <- hive to-id action message-body-args)))