interpreter/io.github.aplcornell.viaduct.backend

Package-level declarations

Types

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

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

CleartextClassObject

sealed class CleartextClassObject

CleartextProtocolInterpreter

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

CommunicationMessage

sealed class CommunicationMessage : ViaductMessage

HostAddress

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

HostId

typealias HostId = Int

HostInfo

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

ImmutableCellObject

class ImmutableCellObject(val value: Value) : CleartextClassObject

IpAddress

typealias IpAddress = String

MutableCellObject

class MutableCellObject(var value: Value) : CleartextClassObject

NormalizeCounter

data class NormalizeCounter(var inIndex: Int = 0, val inMap: MutableMap<Int, Int>, var publicIndex: Int = 0, val publicMap: MutableMap<Int, Int>)

NullObject

object NullObject : CleartextClassObject

ObjectLocation

typealias ObjectLocation = Int

Port

typealias Port = Int

Process

typealias Process = ProtocolProjection

ProcessId

typealias ProcessId = Int

ProcessInfo

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

ProtocolBackend

interface ProtocolBackend

ProtocolInterpreter

interface ProtocolInterpreter

ReceiveMessage

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

SendMessage

data class SendMessage(val sender: ProcessId, val receiver: ProcessId, val 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(val size: Int, defaultValue: Value) : CleartextClassObject

ViaductBackend

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

ViaductMessage

sealed class ViaductMessage

ViaductProcessRuntime

class ViaductProcessRuntime(runtime: ViaductRuntime, val projection: ProtocolProjection)

ViaductRuntime

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

WireConst

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

WireDummyIn

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

WireGenerator

class WireGenerator

WireIn

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

WireOp

data class WireOp(val op: Operator, val 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