Go Circuit: Distributing the Go Language and Runtime. Petar Maymounkov

Transcription

1 Go Circuit: Distributing the Go Language and Runtime Petar Maymounkov

2 Problem: DEV OPS isolation

3 App complexity vs manual involvement Distribute cloud apps How to describe complex deploy topologies Elastic apps Admin manual included? Yes. Not elastic then. Cognitive load grows Every app requires attention Job control Visibility into process ecosystem. Abstract map of available hosts. Provision negotiation Universal code format Write once, run on any cluster Provides for cluster-specific operations Adopt incrementally Co-habitable, minimal Don t solve any app problems Just abstract underlying capabilities

4 Too much humans in the stack. SaaS? APP NET MON APP OS HOST DPLY CFG FAIL BKP RPL OS HOST DPLY CFG FAIL BKP RPL Key operations (like re-shard, replicate, etc.) should be in the app if you want consistency and automation Generic apps cannot provision hosts or self-deploy remotely Frameworks usually suffer: Heavy-weight, cross-integration External technologies (Catch 22)

5 True division of responsibilities USER APP OPS ENG Networking Job execution Hardware negotiation & provision

6 Solution concept

7 Overview Universal distribution format = Go source Open source executables Control app exposure to libraries Easy source-to-source transform for instrumentation Tiny source footprint for hard apps OPS vs APP isolation OPS need not understand how app works (black box) OPS controls networking, execution, provisioning, failure response, etc. Elementary to deploy Compile entire solution into one smart binary Deploy sloppily App self-organizes at runtime

8 Minimal Single System Image (MSSI) APP APP Abstraction Stack Level SSI Interface Linux POSIX Binary OS HOST OS HOST OS HOST Goal: Abstract away and standardize capabilities/resources and behaviors (failures) of system. Not: Conceal failures, add scheduling, provide reliability, etc. The circuit is just a tool for building reliable systems efficiently and portably. OpenSSI, etc. monolithic Plan9 modular Erlang/OTP monolithic Go Circuit modular minimal POSIX File Protocol, 9P CSP Functional Language CSP Imperative Language OS Network Language Language

9 Concurrency inside, concurrency outside Non-CSP CSP PROCESS THREAD Comm Exec Protocols (DEV stack) Framework (OPS stack) Sync Libraries Thread Async Libraries Lang Lang Go Language * No cognitive switch * Imperative * Meaningful stack traces * Debug, trace UI unchanged Concurrent Sequentially-communicating Processes (CSP)

10 Solution stack MSSI Circuit Language Go Process Networking & Authentication Dial, Listen, Spawn,... DRIVER APP CIRCUIT TRANSLATOR RUNTIME DRIVER DRIVER OPS interacts only with CIRCUIT Debug, profile, trace, monitor,... OPS ENG OS OS OS HOST HOST HOST

11 Solution translates language thru net High-level Linguistic Communication APP APP APP package main import circuit circuit.spawn( Low-level Networking ops CIR DRIVER CIR DRIVER CIR DRIVER package circuit import drv/n import drv/job OS OS OS HOST HOST HOST

12 Example: Circuit + Docker = SSI Linux Legacy Linux binaries Within containers instrumented with consistent view of whole cluster MSSI Circuit Language Process Networking & Authentication Dial, Listen, Spawn,... P DRIVER P P APP DRIVER P CIRCUIT TRANSLATOR RUNTIME P DRIVER OPS ENG SSI Linux, POSIX, Plan9 OS OS OS HOST HOST HOST

13 Circuit Programming

14 Circuitizing a Go app and build Add circuit runtime to any legacy Go program package main import _ circuit/load func main() { } Build ~/gopath/src/app/cmd$ go build

15 Go + spawn = distributed Go Circuit Go slow.host HOST PROCESS WORKER slow.host GOROUTINE GOROUTINE

16 Spawn Run a function in this process Compute(arg) Run a function in a new process on a negotiated host Spawn( locus, []string{ /db/shard, /critical }, SpawnCompute{}, arg, ) Declare spawn-able functions type SpawnCompute struct{} func (SpawnCompute) Compute(arg Arg) { }

17 Anchor file system (side note) Global file system of live workers, arranged by the user $ 4ls /... / /critical /critical/r1a4124aa276f4a4e /db /db/shard /db/shard/r1a4124aa276f4a4e /db/shard/r8efd95a09bcde325 More on this later.

18 Spawn semantics Returns RETURN VALUES WORKER ADDRESS ERROR func Spawn( ) ([]interface{}, n.addr, error) Worker dies as soon as function exits... func (SpawnCompute) Compute(arg Arg) (r1, r2 ReturnType) { return } unless, we defer its death to the end of another goroutine. func (SpawnCompute) Compute(arg Arg) { ExitAfter(func() { return }) return }

19 Values vs cross-interfaces Communicate by value or cross-interface func Compute(int, Struct, *T, []byte, map[key]value, interface{}, X) type T struct { Cross X Value float64 } Create a cross-interface to a local receiver x := Ref(r) Use a cross-interface: call its methods reply = x.call( MethodName, arg1, arg2) // Returns []interface{}

20 Cross-worker garbage collection Cross-interfaces func (SpawnCompute) Compute(X) (X, error) { return Ref(v), nil } Permanent cross-interfaces func (SpawnCompute) Compute(XPerm) (XPerm, error) { return PermRef(v), nil } Spawn( host, nil, SpawnCompute{}, Ref(v), ) Spawn( host, nil, SpawnCompute{}, PermRef(v), )

21 Cross-call semantics Cross-calls are not RPC They return out-of-order, just like Go function calls do var x X // Cross-interface go func() { ch < x.call( Find, needle ) }() go func() { ch < x.call( Find, haystack ) }() < ch // Wait for whoever returns first

22 Error propagation Retain natural method signature func (s *Server) ServeHTML(url string) (string, error) { } Decouple application and system errors at call site var x X // x is a cross-interface to a remote *Server instance defer recover() // Catch system errors as panics result := x.call( ServerHTML, url) // Get app errors in return

23 Worker services Expose a cross-interface to a worker object Listen( ingest, r) Recall that spawn returns a worker address result, addr, err := Spawn() Dial a worker and obtain an exposed cross-interface x := Dial(addr, ingest )

24 Circuit Architecture

25 The circuit translates Go + Spawn import _ circuit/load CIRCUIT Network + Spawn Instructions type S struct { A float64 B []X } func (R) F(s *S, x X) (X, error) { return Ref(v), nil } defer recover() result := x.call( F, s1, y) Reflect on in/out types of F Recurse within composite types to find all cross-interface fields Read input arguments Check type safety Dial remote worker address Encode and send cross-call request Read response or error etc.

26 Modules decouple. Universal code. OPS USER CODE import ( use/circuit use/afs _ load/petar ) APP DEV load/petar use/circuit use/afs import ( _ sys/lang _ sys/zafs ) sys/lang sys/zafs import ( use/n use/afs ) func init() { afs.bind() } CIRCUIT DEV

27 Circuit Facilities

28 Anchor FS + cli tools = debug, profile, Global file system of live workers, arranged by the user $ 4ls /... / /critical /critical/r1a4124aa276f4a4e /db /db/shard /db/shard/r1a4124aa276f4a4e /db/shard/r8efd95a09bcde325 Kill $ 4kill /critical/... Profile for 30 sec $ 4cpu /critical/ 30 Stack traces $ 4ls /db/shard/ xargs 4stk Monitor worker vitals (mem, cpu, ) $ 4top /critical/

29 The end. Disclaimer. Talk describes soon-to-be-released R2. Skipped Teleport Transport. See github.com/petar/goteleport gocircuit.org

30 Appendix

31 Historical perspective on CSP systems Servers + Hierarchy of exported channels Workers + Crossinterfaces Cluster Level Plan9 Interfaces are more general than channels. Channels are interfaces with Send and Receive. Go Circuit Process Level Go Lang Goroutines + Channels