runtime/edu.cornell.cs.apl.viaduct.backend

Package edu.cornell.cs.apl.viaduct.backend

Types

AbstractProtocolInterpreter

abstract class AbstractProtocolInterpreter<Obj>(program: ProgramNode) : ProtocolInterpreter

BackendInterpreter

class BackendInterpreter(host: Host, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, protocolInterpreters: List<ProtocolInterpreter>, runtime: ViaductProcessRuntime)

CommunicationMessage

sealed class CommunicationMessage : ViaductMessage

HostAddress

data class HostAddress(ipAddress: IpAddress, port: Port)

HostId

typealias HostId = Int

HostInfo

data class HostInfo(host: Host, id: HostId, address: HostAddress, recvChannel: Channel<ViaductMessage>, sendChannel: Channel<ViaductMessage>)

ImmutableCellObject

class ImmutableCellObject(value: Value) : PlaintextClassObject

IpAddress

typealias IpAddress = String

MutableCellObject

class MutableCellObject(value: Value) : PlaintextClassObject

NormalizeCounter

data class NormalizeCounter(inIndex: Int, inMap: MutableMap<Int, Int>, publicIndex: Int, publicMap: MutableMap<Int, Int>)

NullObject

object NullObject : PlaintextClassObject

ObjectLocation

typealias ObjectLocation = Int

PlaintextClassObject

sealed class PlaintextClassObject

PlaintextProtocolInterpreter

class PlaintextProtocolInterpreter(program: ProgramNode, protocols: Set<Protocol>, host: Host, runtime: ViaductRuntime) : AbstractProtocolInterpreter<PlaintextClassObject>

Port

typealias Port = Int

Process

typealias Process = ProtocolProjection

ProcessId

typealias ProcessId = Int

ProcessInfo

data class ProcessInfo(process: ProtocolProjection, id: ProcessId)

ProtocolBackend

interface ProtocolBackend

ProtocolInterpreter

interface ProtocolInterpreter

ReceiveMessage

data class ReceiveMessage(sender: ProcessId, receiver: ProcessId) : CommunicationMessage

SendMessage

data class SendMessage(sender: ProcessId, receiver: ProcessId, message: Value) : CommunicationMessage

ShutdownMessage

object ShutdownMessage : ViaductMessage

SingleProtocolInterpreter

abstract class SingleProtocolInterpreter<Obj>(program: ProgramNode, protocol: Protocol) : AbstractProtocolInterpreter<Obj>

Interpreter for a single protocol. This class is defined for convenience, so that the protocol argument on implemented methods isn't necessary.

VectorObject

class VectorObject(size: Int, defaultValue: Value) : PlaintextClassObject

ViaductBackend

class ViaductBackend(backends: List<ProtocolBackend>, customConnectionInfo: Map<Host, HostAddress>)

ViaductMessage

sealed class ViaductMessage

ViaductProcessRuntime

class ViaductProcessRuntime(runtime: ViaductRuntime, projection: ProtocolProjection)

ViaductRuntime

class ViaductRuntime(host: Host, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, hostConnectionInfo: Map<Host, HostAddress>, backends: List<ProtocolBackend>, strategy: Strategy)

WireConst

data class WireConst(index: Int, v: Int) : WireTerm

WireDummyIn

data class WireDummyIn(index: Int, hash: List<Byte>, nonce: List<Byte>) : WireTerm

WireGenerator

class WireGenerator

WireIn

data class WireIn(v: Int, index: Int, hash: List<Byte>, nonce: List<Byte>) : WireTerm

WireOp

data class WireOp(op: Operator, inputs: List<WireTerm>) : WireTerm

WireTerm

sealed class WireTerm

Functions

asPrettyPrintable

fun String.asPrettyPrintable(): PrettyPrintable

asString

fun WireTerm.asString(): String

eval

fun WireTerm.eval(): Int

hash

fun WireTerm.hash(): String

normalize

fun WireTerm.normalize(counter: NormalizeCounter): WireTerm

wireName

fun WireTerm.wireName(): String