Task Worker (design 2)

Connects PULL socket to tcp://localhost:5557

Collects workloads from ventilator via that socket

Connects PUSH socket to tcp://localhost:5558

Sends results to sink via that socket

Update:

Adds PUB-SUB flow to receive and respond to kill signal

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 
12: 
13: 
14: 
15: 
16: 
17: 
18: 
19: 
20: 
21: 
22: 
23: 
24: 
25: 
26: 
27: 
28: 
29: 
30: 
31: 
32: 
33: 
34: 
35: 
36: 
37: 
38: 
39: 
40: 
41: 
42:

#r "fszmq.dll"
open fszmq
open fszmq.Polling
open System.Threading

// helpers to convert between strings and frames
let encode = string >> System.Text.Encoding.ASCII.GetBytes
let decode = System.Text.Encoding.ASCII.GetString

let main () =
  use context = new Context ()

  // socket to receive messages on
  use receiver = Context.pull context
  Socket.connect receiver "tcp://localhost:5557"

  // socket to send messages to
  use sender = Context.push context
  Socket.connect sender "tcp://localhost:5558"

  // socket for control input
  use controller = Context.sub context
  Socket.connect controller "tcp://localhost:5559"
  Socket.subscribe controller [""B] // subscribe to all message topics

  // process messages from either socket
  let again = ref true
  let items =
    [ receiver    |> pollIn (fun _ -> let msg = receiver |> Socket.recv |> decode
                                      // show progress
                                      printf "%s." msg
                                      // do the work
                                      Thread.Sleep (int msg)
                                      // send results to sink
                                      Socket.send sender ""B)
      // Any waiting controller command acts as 'KILL'
      controller  |> pollIn (fun _ -> again := false (* exit loop *)) ]

  while !again do
    items |> pollForever |> ignore

  0 // return code

module docs

module PATH

from docs

val hijack : unit -> unit

Full name: docs.PATH.hijack

namespace fszmq

module Polling

from fszmq

namespace System

namespace System.Threading

val encode : (obj -> byte [])

Full name: Taskwork2.encode

Multiple items
val string : value:'T -> string

Full name: Microsoft.FSharp.Core.Operators.string

--------------------
type string = System.String

Full name: Microsoft.FSharp.Core.string

namespace System.Text

type Encoding =
  member BodyName : string
  member Clone : unit -> obj
  member CodePage : int
  member DecoderFallback : DecoderFallback with get, set
  member EncoderFallback : EncoderFallback with get, set
  member EncodingName : string
  member Equals : value:obj -> bool
  member GetByteCount : chars:char[] -> int + 3 overloads
  member GetBytes : chars:char[] -> byte[] + 5 overloads
  member GetCharCount : bytes:byte[] -> int + 2 overloads
  ...

Full name: System.Text.Encoding

property System.Text.Encoding.ASCII: System.Text.Encoding

System.Text.Encoding.GetBytes(s: string) : byte []
System.Text.Encoding.GetBytes(chars: char []) : byte []
System.Text.Encoding.GetBytes(chars: char [], index: int, count: int) : byte []
System.Text.Encoding.GetBytes(chars: nativeptr<char>, charCount: int, bytes: nativeptr<byte>, byteCount: int) : int
System.Text.Encoding.GetBytes(s: string, charIndex: int, charCount: int, bytes: byte [], byteIndex: int) : int
System.Text.Encoding.GetBytes(chars: char [], charIndex: int, charCount: int, bytes: byte [], byteIndex: int) : int

val decode : (byte [] -> string)

Full name: Taskwork2.decode

System.Text.Encoding.GetString(bytes: byte []) : string
System.Text.Encoding.GetString(bytes: byte [], index: int, count: int) : string

val main : unit -> int

Full name: Taskwork2.main

val context : 'a

val receiver : fszmq.Socket

val sender : 'a (requires 'a :> System.IDisposable)

val controller : fszmq.Socket

val again : bool ref

Multiple items
val ref : value:'T -> 'T ref

Full name: Microsoft.FSharp.Core.Operators.ref

--------------------
type 'T ref = Ref<'T>

Full name: Microsoft.FSharp.Core.ref<_>

val items : fszmq.Poll list

val pollIn : fn:(fszmq.Socket -> unit) -> socket:fszmq.Socket -> fszmq.Poll

Full name: fszmq.Polling.pollIn

val msg : string

val printf : format:Printf.TextWriterFormat<'T> -> 'T

Full name: Microsoft.FSharp.Core.ExtraTopLevelOperators.printf

Multiple items
type Thread =
  inherit CriticalFinalizerObject
  new : start:ThreadStart -> Thread + 3 overloads
  member Abort : unit -> unit + 1 overload
  member ApartmentState : ApartmentState with get, set
  member CurrentCulture : CultureInfo with get, set
  member CurrentUICulture : CultureInfo with get, set
  member DisableComObjectEagerCleanup : unit -> unit
  member ExecutionContext : ExecutionContext
  member GetApartmentState : unit -> ApartmentState
  member GetCompressedStack : unit -> CompressedStack
  member GetHashCode : unit -> int
  ...

Full name: System.Threading.Thread

--------------------
Thread(start: ThreadStart) : unit
Thread(start: ParameterizedThreadStart) : unit
Thread(start: ThreadStart, maxStackSize: int) : unit
Thread(start: ParameterizedThreadStart, maxStackSize: int) : unit

Thread.Sleep(timeout: System.TimeSpan) : unit
Thread.Sleep(millisecondsTimeout: int) : unit

Multiple items
val int : value:'T -> int (requires member op_Explicit)

Full name: Microsoft.FSharp.Core.Operators.int

--------------------
type int = int32

Full name: Microsoft.FSharp.Core.int

--------------------
type int<'Measure> = int

Full name: Microsoft.FSharp.Core.int<_>

val pollForever : items:seq<fszmq.Poll> -> bool

Full name: fszmq.Polling.pollForever

val ignore : value:'T -> unit

Full name: Microsoft.FSharp.Core.Operators.ignore

val release : unit -> unit

Full name: docs.PATH.release