g. Ethereum ➔ A world-wide unified network to provide a serverless layer • A single-core CPU machine • Is serverless really the next stage of Internet? Or just a gimmick by cloud platform ➔ Wants compose, yaml configure file ➔ One command to boot up and deploy ➔ 5 fixed EightFish services + 1 your customized app services How to Test and Deploy subnode subxt proxy http gate postgres redis app

Functional correctness e.g.: Source: https://www.tbrk.org/ I. Background  Translation validation Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background

representation of the abstract entities in programming languages and the mapping of these onto machine languages within space and speed constraints.”Abstract “Most of the big gains in software productivity inordinately hard, such as severe hardware constraints, awkward programming languages, lack of machine time. How much of what software engineers now do is still devoted to the accidental, as opposed survives beyond the normal life of the machine for which it is first written • Software is embedded in a cultural matrix of applications, users, laws, and machine vehiclesInvisibility • Software is invisible

in mesh traffic ● Summary #IstioCon Istio Architecture Connect, secure, control, and observe services. #IstioCon Security Architecture #IstioCon Bookinfo architecture without service mesh ● Reviews-v1 calls ratings, black stars ● Reviews-v3 ○ calls ratings, red stars Initializing services 1) Deploy bookinfo services with istio sidecar without reviews-v2 2) Deploy bookinfo gateway 3) Deploy reviews-v2 kubectl label namespace default istio-injection=disabled/enabled ） Initializing services 1) Deploy bookinfo services with istio sidecar without reviews-v2 2) Deploy bookinfo gateway 3) Deploy reviews-v2

Rust-VMM? Rust-VMM is an open-source project that empowers the community to build custom Virtual Machine Monitors (VMMs) and hypervisors. It abstracts the common virtualization components which implements bindings to virtio kernel headers generated using bindgen. • vm-memory: abstractions over a virtual machine's memory. • vmm-sys-util: collection of modules providing helpers and utilities for building VMMs and hypervisors. Release Crates Cloud Hypervisor • Cloud Hypervisor is an open source Virtual Machine Monitor (VMM) that runs on top of KVM. • Implemented in Rust and is based on the Rust-VMM crates

Everyday Programming • constexpr has steadily increased in power • It's just code that runs on your machine instead of the user's • Example: lookup tables • Everyone uses lookup tables • Arrays are maximally associative • Avoids potential confusion41 Continuous Integration • Scripts prepare Azure Virtual Machine Scale Sets • Currently up to 12 VMs, each with 16 cores • VMs install VS (with Clang, CMake, Ninja)

apply K8S API Спецификация ClickHouse on Kubernetes – components Shard 1 Replica 1 Zookeeper Services Zookeeper-0 Zookeeper-2 Zookeeper-1 Replica Service Load Balancer Service Shard 1 Replica процесс может занять некоторое время (не мгновенно). Схема отношений Kubernetes Pods, Volumes, Services Replication – нужен Zookeeper Можно использовать любой имеющийся ZK cluster Install Zookeeper:

T2) | () | | enum Type { A(T1), B(T2) } | enum Type {} or ! | Option Abstract machine! Lft ∋ ::= | static Mod ∋ ::= mut | shr Type ∋ ::= | bool | int | own | | | ̄ | ⋯

else return {}; }38 Daniel Anderson -- danielanderson.net Benchmark setup (throughput) Machine setup: • 4x Xeon E7-8867 (72 cores, 144 hyperthreads) • 1TB DDR4 main memory • Running Ubuntu

Users (GUI/API) Container Schedulers/Runtimes Consumers LDAP/Active Directory Supporting services Harbor Packaging Docker Kubernetes Cloud Foundry Deep dive Harbor through panel discussion