Distributed Places
See also Distributed Places in The Racket Guide.
(require racket/place/distributed) | |
package: distributed-places-lib |
Distributed places support programs whose computation may span physical machines. The design relies on machine nodes that perform computation. The programmer configures a new distributed system using a declarative syntax and callbacks. A node begins life with one initial place: the message router. After a node has been configured, its message router is activated by calling the message-router function. The message router listens on a TCP port for incoming connections from other nodes in the distributed system. Places can be spawned within the node by sending place-spawn request messages to the node’s message router.
The distributed places implementation relies on two assumptions:
The user’s ".ssh/config" and ".ssh/authorized_keys" files are configured correctly to allow passwordless connection to remote hosts via public key authentication.
Distributed places does not support the specification of ssh usernames. If a non-default ssh username is required the ".ssh/config" file should be used to specifiy the username.
All machines run the same version of Racket. Futures versions of distributed places may use the zo binary data format for serialization.
The following example illustrates a configuration and use of distributed places that starts a new node on the current machine and passes it a "Hello World" string:
Example: | |||||||||||||||||||||||||||||||||||||||||||||
|
procedure
(message-router ec ...+) → void?
ec : (is-a?/c event-container<%>)
procedure
(spawn-node-with-place-at hostname instance-module-path instance-place-function-name [ #:listen-port port #:initial-message initial-message #:racket-path racket-path #:ssh-bin-path ssh-path #:distributed-launch-path launcher-path #:restart-on-exit restart-on-exit #:named place-name #:thunk thunk]) → (is-a?/c remote-connection%) hostname : string? instance-module-path : module-path? instance-place-function-name : symbol? port : port-no? = DEFAULT-ROUTER-PORT initial-message : any = #f racket-path : string-path? = (racket-path) ssh-path : string-path? = (ssh-bin-path)
launcher-path : string-path? = (path->string distributed-launch-path) restart-on-exit : any/c = #f place-name : (or/c #f symbol?) = #f thunk : (or/c #f #t) = #f
When thunk is #f, the place is created as the result of the framework calling (dynamic-place instance-module-path instance-place-function-name). in the new node.
When thunk is #t the instance-place-function-name function should use dynamic-place or place to create and return an initial place in the new node.
When the place-name symbol is present a named place is created. The place-name symbol is used to establish later connections to the named place.
The result is a remote-node% instance, not a remote-connection%. Use get-first-place on the result to obtain a remote-connection%.
The restart-on-exit argument can be #t to instruct the remote-connection% instance to respawn the place on the remote node should it exit or terminate at any time. It can also be a procedure of zero arguments to implement the restart procedure, or it can be an object that support a restart method that takes a place argument.}
procedure
(spawn-node-supervise-place-at hostname instance-module-path instance-place-function-name [ #:listen-port port #:initial-message initial-message #:racket-path racket-path #:ssh-bin-path ssh-path #:distributed-launch-path launcher-path #:restart-on-exit restart-on-exit #:named named #:thunk thunk])
→
(is-a?/c remote-node%) (is-a?/c remote-connection%) hostname : string? instance-module-path : module-path? instance-place-function-name : symbol? port : port-no? = DEFAULT-ROUTER-PORT initial-message : any = #f racket-path : string-path? = (racket-path) ssh-path : string-path? = (ssh-bin-path)
launcher-path : string-path? = (path->string distributed-launch-path) restart-on-exit : any/c = #f named : (or/c #f string?) = #f thunk : (or/c #f #t) = #f
procedure
(spawn-remote-racket-node hostname [ #:listen-port port #:racket-path racket-path #:ssh-bin-path ssh-path #:distributed-launch-path launcher-path] #:use-current-ports use-current-ports) → (is-a?/c remote-node%) hostname : string? port : port-no? = DEFAULT-ROUTER-PORT racket-path : string-path? = (racket-path) ssh-path : string-path? = (ssh-bin-path)
launcher-path : string-path? = (path->string distributed-launch-path) use-current-ports : #f
procedure
(create-place-node hostname [ #:listen-port port #:racket-path racket-path #:ssh-bin-path ssh-path #:distributed-launch-path launcher-path #:use-current-ports use-current-ports]) → (is-a?/c remote-node%) hostname : string? port : port-no? = DEFAULT-ROUTER-PORT racket-path : string-path? = (racket-path) ssh-path : string-path? = (ssh-bin-path)
launcher-path : string-path? = (path->string distributed-launch-path) use-current-ports : boolean? = #t
procedure
(supervise-place-at remote-node instance-module-path instance-place-function-name [ #:restart-on-exit restart-on-exit #:named named #:thunk thunk]) → (is-a?/c remote-connection%) remote-node : (is-a?/c remote-node%) instance-module-path : module-path? instance-place-function-name : symbol? restart-on-exit : any/c = #f named : (or/c #f symbol?) = #f thunk : (or/c #f #t) = #f
When thunk is #t, creates a new place at remote-node by executing the thunk exported as instance-place-function-name from the module instance-module-path. The function should use dynamic-place or place to create and return a place in the new node.
When the place-name symbol is present a named place is created. The place-name symbol is used to establish later connections to the named place.
procedure
(supervise-process-at hostname commandline-argument ...+ [ #:listen-port port]) → (is-a?/c remote-process%) hostname : string? commandline-argument : string? port : port-no? = DEFAULT-ROUTER-PORT
procedure
(supervise-thread-at remote-node instance-module-path instance-thunk-function-name [ #:restart-on-exit restart-on-exit]) → (is-a?/c remote-connection%) remote-node : (is-a?/c remote-node%) instance-module-path : module-path? instance-thunk-function-name : symbol? restart-on-exit : any/c = #f
procedure
(restart-every seconds [ #:retry retry #:on-final-fail on-final-fail]) → (is-a/c respawn-and-fire%) seconds : (number?) retry : (or/c number? #f) = #f on-final-fail : (or/c #f (-> any/c)) = #f
syntax
(every-seconds seconds-expr body ....)
syntax
(after-seconds seconds-expr body ....)
procedure
(connect-to-named-place node name)
→ (is-a?/c remote-connection%) node : (is-a?/c remote-node%) name : symbol?
procedure
(log-message severity msg) → void?
severity : (or/c 'fatal 'error 'warning 'info 'debug) msg : string?
|
Returns the list of events inside the event-container<%> that should be waited on by the message-router.The following classes all implement event-container<%> and can be supplied to a message-router: spawned-process%, place-socket-bridge%, node%, remote-node%, remote-connection%, place% connection%, respawn-and-fire%, and after-seconds%.
| ||
superclass: object% | ||
|
method
(send a-spawned-process get-pid) → exact-positive-integer?
constructor
(new spawned-process% [cmdline-list cmdline-list] [ [parent parent]]) → (is-a?/c spawned-process%) cmdline-list : (listof (or/c string? path?)) parent : (is-a?/c remote-node%) = #f The parent argument is a remote-node% instance that will be notified when the process dies via a (send parent process-died this) call.
| ||
superclass: object% | ||
|
method
→ exact-positive-integer?
constructor
(new place-socket-bridge% [pch pch] [sch sch] [id id]) → (is-a?/c place-socket-bridge%) pch : place-channel? sch : (is-a?/c socket-connection%) id : exact-positive-integer? The pch argument is a place-channel. Messages received on pch are forwarded to the socket-connection% sch via a dcgm message. e.g. (sconn-write-flush sch (dcgm DCGM-TYPE-INTER-DCHANNEL id id msg)) The id is a exact-positive-integer that identifies the socket-connection subchannel for this inter-node place connection.
| ||
superclass: object% | ||
|
constructor
(new socket-connection% [ [host host] [port port] [retry-times retry-times] [delay delay] [background-connect? background-connect?] [in in] [out out] [remote-node remote-node]]) → (is-a?/c socket-connection%) host : (or/c string? #f) = #f port : (or/c port-no? #f) = #f retry-times : exact-nonnegative-integer? = 30 delay : number? = 1 background-connect? : any/c = #f in : (or/c input-port? #f) = #f out : (or/c output-port #f) = #f remote-node : (or/c (is-a?/c remote-node%) #f) = #f When a host and port are supplied a new tcp connection is established. If a input-port? and output-port? are supplied as in and out, the ports are used as a connection to the remote host. The retry-times argument specifies how many times to retry the connection attempt should it fail to connect and defaults to 30 retry attempts. Often a remote node is still booting up when a connection is attempted and the connection needs to be retried several times. The delay argument specifies how many seconds to wait between retry attempts. The background-connect? argument defaults to #t and specifies that the constructor should retry immediately and that connecion establishment should occur in the background. Finally, the remote-node argument specifies the remote-node% instance that should be notified should the connection fail.
| ||
superclass: object% | ||
|
constructor
listen-port : tcp-listen-port? = #f Constructs a node% that will listen on listen-port for inter-node connections.
method
(send a-node sync-events) → void?
Starts the never ending event loop for this distributed places node.
| ||
superclass: object% | ||
|
constructor
(new remote-node% [ [listen-port listen-port] [restart-on-exit restart-on-exit]]) → (is-a?/c remote-node%) listen-port : tcp-listen-port? = #f restart-on-exit : any/c = #f Constructs a node% that will listen on listen-port for inter-node connections.When set to true the restart-on-exit parameter causes the specified node to be restarted when the ssh session spawning the node dies.
method
(send a-remote-node get-first-place)
→ (is-a?/c remote-connection%) Returns the remote-connection% object instance for the first place spawned on this node.
method
(send a-remote-node get-first-place-channel) → place-channel?
Returns the communication channel for the first place spawned on this node.
method
(send a-remote-node get-log-prefix) → string?
method
(send a-remote-node launch-place place-exec [ #:restart-on-exit restart-on-exit #:one-sided-place? one-sided-place?]) → (is-a?/c remote-connection%) place-exec : list? restart-on-exit : any/c = #f one-sided-place? : any/c = #f Launches a place on the remote node represented by this remote-node% instance.The place-exec argument describes how the remote place should be launched, and it should have one of the following shapes:The difference between these two launching methods is that the 'place version of place-exec expects a thunk to be exported by the module place-module-path. Executing the thunk is expected to create a new place and return a place descriptor to the newly created place. The 'dynamic-place version of place-exec expects place-func to be a function taking a single argument, the initial channel argument, and calls dynamic-place on behalf of the user and creates the new place from the place-module-path and place-func.The restart-on-exit argument is treated in the same way as for spawn-node-with-dynamic-place-at.
The one-sided-place? argument is an internal use argument for launching remote places from within a place using the old design pattern.
method
(send a-remote-node remote-connect name) → remote-connection%
name : string? Connects to a named place on the remote node represented by this remote-node% instance.Sends a message instructing the remote node represented by this remote-node% instance to exit immediately
procedure
(node-send-exit remote-node%) → void?
remote-node% : node
procedure
(node-get-first-place remote-node%)
→ (is-a?/c remote-connection%) remote-node% : node
procedure
(distributed-place-wait remote-connection%) → void?
remote-connection% : place
| ||
superclass: object% | ||
|
constructor
(new remote-connection% [node node] [place-exec place-exec] [name name] [restart-on-exit restart-on-exit] [one-sided-place? one-sided-place?] [on-channel on-channel]) → (is-a?/c remote-connection%) node : (is-a?/c remote-node%) place-exec : list? name : string? restart-on-exit : #f one-sided-place? : #f on-channel : #f Constructs a remote-connection% instance.The place-exec argument describes how the remote place should be launched in the same way as for launch-place in remote-node%.
The restart-on-exit argument is treated in the same way as for spawn-node-with-dynamic-place-at.
The one-sided-place? argument is an internal use argument for launching remote places from within a place using the old design pattern.
See set-on-channel! for description of on-channel argument.
method
(send a-remote-connection set-on-channel! callback) → void?
callback : (-> channel msg void?) Installs a handler function that handles messages from the remote place. The setup/distributed-docs module uses this callback to handle job completion messages.
| ||
superclass: object% | ||
|
constructor
(new place% [node node] [place-exec place-exec] [ch-id ch-id] [sc sc] [ [on-place-dead on-place-dead]]) → (is-a?/c place%) node : (is-a?/c remote-connection%) place-exec : list? ch-id : exact-positive-integer? sc : (is-a?/c socket-connection%) on-place-dead : (-> event void?) = default-on-place-dead Constructs a remote-connection% instance. The place-exec argument describes how the remote place should be launched in the same way as for launch-place in remote-node%. The ch-id and sc arguments are internally used to establish routing between the remote node spawning this place and the place itself. The on-place-dead callback handles the event when the newly spawned place terminates.
method
(send a-place wait-for-die) → void?
Blocks and waits for the subprocess representing the remote-node% to exit.
| ||
superclass: object% | ||
|
constructor
(new connection% [node node] [name name] [ch-id ch-id] [sc sc]) → (is-a?/c connection%) node : (is-a?/c remote-node%) name : string? ch-id : exact-positive-integer? sc : (is-a?/c socket-connection%) Constructs a remote-connection% instance. The place-exec argument describes how the remote place should be launched in the same way as for launch-place in remote-node%. The ch-id and sc arguments are internally used to establish routing between the remote node and this named-place.
| ||
superclass: object% | ||
|
constructor
(new respawn-and-fire% [seconds seconds] [thunk thunk]) → (is-a?/c respawn-and-fire%) seconds : (and/c real? (not/c negative?)) thunk : (-> void?) Constructs a respawn-and-fire% instance that when placed inside a message-router construct causes the supplied thunk to execute every n seconds.
| ||
superclass: object% | ||
|
constructor
(new after-seconds% [seconds seconds] [thunk thunk]) → (is-a?/c after-seconds%) seconds : (and/c real? (not/c negative?)) thunk : (-> void?) Constructs an after-seconds% instance that when placed inside a message-router construct causes the supplied thunk to execute after n seconds.
| ||
superclass: after-seconds% | ||
|
constructor
(new restarter% [seconds seconds] [ [retry retry] [on-final-fail on-final-fail]]) → (is-a?/c restarter%) seconds : number? retry : (or/c number? #f) = #f on-final-fail : (or/c #f (-> any/c)) = #f Constructs an restarter% instance that when supplied to a #:restart-on-exit argument, attempts to restart the process every seconds. The retry argument specifies how many time to attempt to restart the process before giving up. If the process stays alive for (* 2 seconds) the attempted retries count is reset to 0. The on-final-fail thunk is called when the number of retries is exceeded
value
distributed-launch-path : path?
procedure
(ssh-bin-path) → string?
Example: | ||
|
procedure
(racket-path) → path?
procedure
(build-distributed-launch-path collects-path) → string?
collects-path : path-string?
procedure
(spawn-node-at hostname [ #:listen-port port #:racket-path racket-path #:ssh-bin-path ssh-path #:distributed-launch-path launcher-path]) → channel? hostname : string? port : port-no? = DEFAULT-ROUTER-PORT racket-path : string-path? = (racket-path) ssh-path : string-path? = (ssh-bin-path)
launcher-path : string-path? = (path->string distributed-launch-path)
procedure
(spawn-nodes/join nodes-descs) → void?
nodes-descs : list?
procedure
(*channel-put ch msg) → void?
ch :
(or/c place-channel? async-bi-channel? channel? (is-a?/c remote-connection%)) msg : any
procedure
(*channel-get ch) → any
ch :
(or/c place-channel? async-bi-channel? channel? (is-a?/c remote-connection%))
procedure
(send-new-place-channel-to-named-dest ch src-id dest-list) → place-channel? ch : *channel? src-id : any dest-list : (listof string? port-no? string?)
procedure
(mr-spawn-remote-node mrch host [ #:listen-port listen-port #:solo solo]) → void? mrch : *channel? host : string? listen-port : port-no? = DEFAULT-ROUTER-PORT solo : boolean? = #f
procedure
(mr-supervise-named-dynamic-place-at mrch dest name path func) → void? mrch : *channel? dest : (listof string? port-no?) name : string? path : string? func : symbol?
procedure
(mr-connect-to mrch dest name) → void?
mrch : *channel? dest : (listof string? port-no?) name : string?
procedure
(start-message-router/thread [ #:listen-port listen-port #:nodes nodes])
→
thread? channel? listen-port : port-no? = DEFAULT-ROUTER-PORT nodes : list? = null
procedure
no : (and/c exact-nonnegative-integer? (integer-in 0 65535))
value
|
superclass: object% |
constructor
(new named-place-typed-channel% [ch ch])
→ (is-a?/c named-place-typed-channel%) ch : place-channel? The ch argument is a place-channel.Returns the first message received on ch that has the type type. Messages are lists and their type is the first item of the list which should be a symbol?. Messages of other types that are received are queued for later get requests.
procedure
type : symbol? ch : place-channel?
procedure
(write-flush datum port) → void?
datum : any port : port?
procedure
(displayln/f item) → void?
item : any
Example: | ||||
|
1 Define Remote Server
(require racket/place/define-remote-server) | |
package: distributed-places-lib |
syntax
(define-remote-server [name identifier?] rpc-forms ...+)
syntax
(define-named-remote-server [name identifier?] rpc-forms ...+)
The define-named-remote-server form takes an identifier and a list of custom expressions as its arguments. From the identifier a function is created by prepending the make- prefix. This procedure takes a single argument a place-channel. In the example below, the make-tuple-server identifier is the place-function-name given to the supervise-named-dynamic-place-at form to spawn an rpc server. The server created by the make-tuple-server procedure sits in a loop waiting for rpc requests from the define-rpc functions documented below.
The define-state custom form translates into a simple define form, which is closed over by the define-rpc forms.
The define-rpc form is expanded into two parts. The first part is the client stubs that call the rpc functions. The client function name is formed by concatenating the define-named-remote-server identifier, tuple-server, with the RPC function name set to form tuple-server-set. The RPC client functions take a destination argument which is a remote-connection% descriptor and then the RPC function arguments. The RPC client function sends the RPC function name, set, and the RPC arguments to the destination by calling an internal function named-place-channel-put. The RPC client then calls named-place-channel-get to wait for the RPC response.
The second expansion part of define-rpc is the server implementation of the RPC call. The server is implemented by a match expression inside the make-tuple-server function. The match clause for tuple-server-set matches on messages beginning with the 'set symbol. The server executes the RPC call with the communicated arguments and sends the result back to the RPC client.
The define-cast form is similar to the define-rpc form except there is no reply message from the server to client
Example: | |||||||||||||||||
|
Example: | ||||||||||||||||||||||||||||||||||||
|
procedure
(log-to-parent msg [#:severity severity]) → void?
msg : string? severity : symbol? = 'info
2 Async Bidirectional Channels
(require racket/place/private/async-bi-channel) | |
package: base |
procedure
procedure
(async-bi-channel? ch) → boolean?
ch : any
procedure
(async-bi-channel-get ch) → any
ch : async-bi-channel?
procedure
(async-bi-channel-put ch msg) → void?
ch : async-bi-channel? msg : any
3 Distributed Places MPI
(require racket/place/distributed/rmpi) | |
package: distributed-places-lib |
struct
id : exact-nonnegative-integer? cnt : exact-positive-integer? channels : vector?
procedure
(rmpi-id comm) → exact-nonnegative-integer?
comm : rmpi-comm?
procedure
(rmpi-cnt comm) → exact-positive-integer?
comm : rmpi-comm?
procedure
comm : rmpi-comm? dest : exact-nonnegative-integer? val : any
procedure
comm : rmpi-comm? src : exact-nonnegative-integer?
procedure
(rmpi-init ch) →
rmpi-comm? (listof any) (is-a?/c named-place-typed-channel%) ch : place-channel?
procedure
(rmpi-broadcast comm src) → any
comm : rmpi-comm? src : exact-nonnegative-integer? (rmpi-broadcast comm src val) → any comm : rmpi-comm? src : exact-nonnegative-integer? val : any
procedure
(rmpi-reduce comm dest op val) → any
comm : rmpi-comm? dest : exact-nonnegative-integer? op : procedure? val : any
procedure
(rmpi-barrier comm) → void?
comm : rmpi-comm?
procedure
(rmpi-allreduce comm op val) → any
comm : rmpi-comm? op : procedure? val : any
procedure
(rmpi-partition comm num) →
exact-nonnegative-integer? exact-nonnegative-integer? comm : rmpi-comm? num : exact-nonnegative-integer?
procedure
(rmpi-build-default-config #:racket-path racket-path #:distributed-launch-path distributed-launch-path #:mpi-module mpi-module #:mpi-func mpi-func #:mpi-args mpi-args) → hash? racket-path : string? distributed-launch-path : string? mpi-module : string? mpi-func : symbol? mpi-args : (listof any)
procedure
(rmpi-launch default-node-config config) → void?
default-node-config : hash?
config :
(listof (list/c string? port-no? symbol? exact-nonnegative-integer?))
procedure
(rmpi-finish comm tc) → void?
comm : rmpi-comm? tc : (is-a?/c named-place-typed-channel%)
Example: | |||||||||||||||||
|