parallel-solver/it.unibo.tuprolog.argumentation.parallel.cluster/WebWorkerCluster

WebWorkerCluster

class WebWorkerCluster(threads: Int, worker: String, parts: Int? = null, flags: Flags = Flags.defaults(), iceServers: Array<dynamic> = emptyArray())

A distributed solver in a browser: the catalog on the page, the workers on threads Web Workers, each running the script at worker (one calling startWebWorker with this module loaded) and a site of its own, a delegate of the one of the page (see Site.delegate). The theory is split into at most parts partitions if given, as many as the workers of the Web Workers and of the sites the cluster is federated with otherwise: it federates with JVM and Node.js sites over WebSockets (connect), lending them the workers of its Web Workers, and with the browsers they are linked to over WebRTC (see RtcLinks, with iceServers if given, as RTCPeerConnection takes them). The graph is labelled as the standard solver does with flags.

Constructors

WebWorkerCluster

constructor(threads: Int, worker: String, parts: Int? = null, flags: Flags = Flags.defaults(), iceServers: Array<dynamic> = emptyArray())

Properties

flags

var flags: Flags

The flags of the solver, the initial ones those given: those set apply from the next evaluation on, the graph built anew, the links and the peers of the cluster kept

onPeersChanged