Microkernel and Monolithic Kernel: Source: https://www.guru99.com/microkernel-in-operating-systems.html I. Background  . Source: https://os.inf.tu-dresden.de/Studium/MkK//SS2021/01_intro https://en.wikipedia.org/wiki/L4_microkernel_family#High_assurance:_seL4  https://sel4.systems I. Background  . Source: “The seL4 Report”, Gernot Heiser Fosdem 2021. I. Background  Src 1.2.1.1 CAmkES I. Background  https://docs.sel4.systems/projects/camkes/ https://github.com/seL4/camkes https://github

Pointers: Safe Memory Reclamation for Lock-Free Objects, IEEE Transactions on Parallel and Distributed Systems. 15 (8): 491–504, June 2004. Hazard Pointers – Maged Michael Watch CPPCON 2021 Talk on Concurrency

мешают друг другу… ClickHouse: Шардирование + Distributed таблицы! Когда одного сервера не хватает Чтение из Distributed таблицы Чтение из Distributed таблицы CSV 227 Gb, ~1.3 млрд строк SELECT passenger_count Шардов 1 3 140 Время, с. 1,224 0,438 0,043 Ускорени е x2.8 x28.5 Запись в Distributed таблицу Запись в Distributed таблицу › Хочется защититься от аппаратного сбоя… › Данные должны быть доступны

development and other version control tasks. As a distributed revision control system it is aimed at speed, data integrity, and support for distributed, non-linear workflows https://try.github.io/levels/1/challenges/1

establishing software requirements • Growing software organically, adding more and more functions to systems as they are run, used, and tested”Who said it?Frederick Brooks Jr. • Joined IBM in 1956 • Manager Difficulty“Let us consider the inherent properties of this irreducible essence of modern software systems: complexity, conformity, changeability, and invisibility.”Complexity • Software entities are more other high-level language advances • Object-oriented programming • Artificial intelligence • Expert systems • “Automatic” programming • Graphical programming • Program verification • Environments and tools

actually shipped with Unix-like systems – the standard path of the data is /usr/share/zoneinfo • This is the case for Linux distributions, macOS, and some other Unix- like systems • But for Windows? Not America/Nuuk Unfortunately, there is no easy mapping between these two different classification systems. So, MSVC STL considers all ICU time zones (canonical and non-canonical) to be time_zones.51

offering performance similar to C • Memory management without garbage collection • Designed for systems programming Rust is a multi-paradigm programming language focused on performance and safety, especially abstraction for Virtual CPUs (vCPUs). rust-vmm • event-manager: abstractions for implementing event based systems. • linux-loader: parser and loader for vmlinux and bzImage images as well as some other helpers

the 2021 Otto Hahn Medal Ralf Jung Assistant professor, Institute for Programming Languages and Systems, ETH Zürich RustBelt Project Background Iris: A Higher-Order Concurrent Separation Logic Framework

Time-Series Data TDengine Telegraf Kafka OPC-UA MQTT Broker Clustered Industrial Automated Systems SCADA/HMI Analytics, ML App Python/Matlab/R Java/C/C++/Restful IoT Application Visualization