@mcmcjs/julia 0.13.0 → 0.14.1

package/dist/julia-env/Project.toml

@@ -1,12 +0,0 @@
-[deps]
-AdvancedHMC = "0bf59076-c3b1-5ca4-86bd-e02cd72cde3d"
-DimensionalData = "0703355e-b756-11e9-17c0-8b28908087d0"
-FlexiChains = "4a37a8b9-6e57-4b92-8664-298d46e639f7"
-ForwardDiff = "f6369f11-7733-5829-9624-2563aa707210"
-JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
-JuliaBUGS = "ba9fb4c0-828e-4473-b6a1-cd2560fee5bf"
-Mooncake = "da2b9cff-9c12-43a0-ae48-6db2b0edb7d6"
-ReverseDiff = "37e2e3b7-166d-5795-8a7a-e32c996b4267"
-StableRNGs = "860ef19b-820b-49d6-a774-d7a799459cd3"
-StatsFuns = "4c63d2b9-4356-54db-8cca-17b64c39e42c"
-Turing = "fce5fe82-541a-59a6-adf8-730c64b5f9a0"

package/dist/worker.jl

@@ -1,102 +0,0 @@
-# MCMC.js persistent fit worker. Keeps Turing loaded between fits so warm
-# re-fits skip the cold start. Listens on a Unix domain socket (ARGS[1]); each
-# connection carries one JSON request line and receives {"mcmcjs":"progress"}
-# lines followed by one final handle_request result line. A {"mcmcjs":"stop"}
-# request shuts the worker down; so does half an hour of idleness.
-include(joinpath(@__DIR__, "fitlib.jl"))
-using Sockets
-
-const IDLE_TIMEOUT_S = 30 * 60
-
-# True while this process still owns the socket path: another worker stealing
-# the path (by binding over it) changes the inode, and a worker that lost the
-# path must never delete its successor's socket.
-function owns_socket(path, ino)
-    try
-        return stat(path).inode == ino
-    catch
-        return false
-    end
-end
-
-function remove_if_owned(path, ino)
-    if owns_socket(path, ino)
-        rm(path; force = true)
-        rm(path * ".pid"; force = true)
-    end
-end
-
-function serve(path)
-    mkpath(dirname(path))
-    if ispath(path)
-        # A live worker already serving this path wins; a dead socket file is cleared.
-        try
-            close(Sockets.connect(path))
-            exit(0)
-        catch
-            rm(path; force = true)
-            rm(path * ".pid"; force = true)
-        end
-    end
-    server = Sockets.listen(path)
-    ino = stat(path).inode
-    # A pidfile beside the socket lets a cancelling client kill this worker
-    # mid-fit (it cannot answer a polite stop while busy sampling).
-    write(path * ".pid", string(getpid()))
-    atexit(() -> remove_if_owned(path, ino))
-
-    last_activity = Ref(time())
-    busy = Ref(false)
-    # The watchdog task is cooperative: it gets scheduled while the main task
-    # blocks on accept. The busy guard is belt and braces for any future
-    # multithreaded scheduling.
-    @async while true
-        sleep(30)
-        if !busy[] && time() - last_activity[] > IDLE_TIMEOUT_S
-            remove_if_owned(path, ino)
-            exit(0)
-        end
-    end
-
-    while true
-        sock = Sockets.accept(server)
-        busy[] = true
-        stopping = false
-        try
-            line = readline(sock)
-            if isempty(strip(line))
-                close(sock)
-                continue
-            end
-            request = JSON.parse(line)
-            if get(request, "mcmcjs", "") == "stop"
-                stopping = true
-                println(sock, JSON.json(Dict("ok" => true, "stopped" => true)))
-            else
-                PROGRESS_IO[] = sock
-                result = try
-                    handle_request(request)
-                finally
-                    PROGRESS_IO[] = stderr
-                end
-                println(sock, JSON.json(result))
-            end
-            close(sock)
-        catch err
-            try
-                println(sock, JSON.json(Dict("ok" => false, "error" => sprint(showerror, err), "stage" => "worker")))
-                close(sock)
-            catch
-            end
-        finally
-            busy[] = false
-            last_activity[] = time()
-        end
-        if stopping
-            remove_if_owned(path, ino)
-            exit(0)
-        end
-    end
-end
-
-serve(ARGS[1])