Coaching Agile Teams Nikitas KalantjakosCoaching Agile Teams • Coaching Agile Teams – Lyssa Adkins – A companion for Scrum Masters, Agile Coaches, and Project Managers in Transition • Coaching Agile JourneyCoaching“I don’t do anything!”Coach • Bulldozer – Remove impediments • Shepherd – Guide back to agile principles • Servant Leader – Serve the team, not you • Performance Guardian – Facilitate high performance Competencies Agile-Lean Practitioner Mentoring Facilitating Teaching Coaching Technical Mastery Business Mastery Transformation Mastery Content Authority Process Authority *Adopted from Agile Coaching

io/levels/1/challenges/1 https://www.atlassian.com/university From: www.atlassian.com Mapping out Agile with the Atlassian Tool Suite

what software engineers now do is still devoted to the accidental, as opposed to the essential?”Agile Abstract “Therefore it appears that the time has come to address the essential parts of the

open-source JavaScript framework, designed for building apps on multiple platforms. - Code reusability - Hot reload - Javascript ecosystem icon Flutter, is an open source framework by Google for building Cross platform - Performance - Thread Safe - Memory Safe - Love 利用 Rust 重塑移动应用开发 Rust 在移动应用 开发中的应用 Why Rust? - Cross platform - Performance - Memory Safe - Love 利用 Rust 重塑移动应用开发 PhoTto / image

the common virtualization components which implements a Rust-based VMM. • Written in Rust: Memory-safe language • Secure: Minimal hardware emulation • Flexible: Easy to customize to fit various network programming Rust is a multi-paradigm programming language focused on performance and safety, especially safe concurrency. empty • vmm-vcpu: a hypervisor-agnostic abstraction for Virtual CPUs (vCPUs). rust-vmm bindings to KVM generated using bindgen. • kvm-ioctls: Safe wrappers over the KVM API. • vfio-bindings: Rust FFI bindings for using the VFIO framework. • virtio-bindings: Rust FFI bindings to virtio kernel

Logic • Separation Logic Background ERC Project "RustBelt" 2015-2021 Unlike C/C++, Rust is a safe language But, like C/C++, Rust is also an unsafe language There are guaranteed memory safety, thread Systems, ETH Zürich RustBelt Project Background Iris: A Higher-Order Concurrent Separation Logic Framework RustBelt: Securing the Foundations of the Rust Programming Language Coq Proof Assistant: A

Pointers  Is shared_ptr thread safe?  Yes: control block manipulation thread safe  guarantees object is deleted exactly once  No: accessing pointer not thread-safe, one thread could be reading pointer pointer, while another thread could be storing new pointer  Make it thread-safe?  Manually use mutex to protect access to smart pointer  Use global non-member atomic operations, e.g. std::atomic_load() format text in C++:  I/O streams  Safe and extensible  Hard to read, hard to localize  No separation of format string and arguments  printf()  Not safe, not extensible  Easier to read, no

from SRC 1 5 4 Safe to use pointer A SRC A hazard pointer is a single-writer multi-reader pointer. set HP to A if SRC == A clear HP 2 3 6 if HP != A HP Safe to delete A A 7 8 SAFE ACCESS If a hazard Protector Remover / Reclaimer Hazard pointers protect access to objects that may be removed concurrently. SAFE RECLAMATION Concurrency TS2 Essential Hazard Pointer Interface Base class for protectable objects  Working Draft, Extensions to C++ for Concurrency Version 2 (wg21.link/n4895).  Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects, IEEE Transactions on Parallel and Distributed Systems. 15

Embark), even it has paid contributors! Tokio is good enough Tokio Tokio's APIs are memory-safe, thread-safe, and misuse-resistant. This helps prevent common bugs, such as unbounded queues, buffer overflows

danielanderson.net std::atomic How many lines does it take to implement a lock-free & memory-safe stack? template struct Stack { struct Node { T t; shared_ptr next; }; danielanderson.net std::atomic How many lines does it take to implement a lock-free & memory-safe stack? Since GCC-12 Since MSVC v19.30 Not lock free Not lock free atomic Lock free