Technologique

🧨 GOTO Amsterdam 2019 :: Firecracker for serverless @ AWS

Great talk and presentation about Firecracker on recent GOTO Amsterdam 2019 conference from guys, who are closest to the project at Amazon — Radu Weiss (Software Development Manager at AWS, Firecracker team member) and Arun Gupta (Principal Open Source Technologist at Amazon Web Services), who's joined in the second part of the speech.

https://youtu.be/oKKOBsqQndY

#Rust
#Firecracker
#VM #microVM
#containers
#clustering
#cloud
#Amazon
#AWS

Links to the previous posts:
@technologique/1426

​​Онлайн практикум DevOps by REBRAIN: Docker

Новая волна еженедельных бесплатных онлайн DevOps практикумов (вебинаров) от REBRAIN - кто ещё не успел побывать категорически рекомендую записаться, посмотреть и послушать предлагаемый авторский материал, и попрактиковаться в весьма актуальных сейчас технологиях, освоить полный цикл DevOps практик автоматизации процессов разработки, тестирования и сборки, поставки и развёртывания, запуска и обеспечения безопасности сервисов, эксплуатации и мониторинга серверных приложений в облачных инфраструктурах.

Данный вебинар поможет разобраться и применять на практике технологии контейнеризации Docker, для изоляции окружений приложений и формирования их поставки в виде образов контейнеров, для автоматизации процессов разработки, сборки, поставки, развёртывания и запуска приложений в облачных инфраструктурах.

Практикум будет полезен для начинающих DevOps инженеров, а также для повышения опыта уже практикующих DevOps инженеров и разработчиков серверных приложений.

Регистрация - https://clck.ru/JVc6y
Количество мест ограничено!

Время проведения:
22 Октября (Вторник) в 19:00 по Москве (МСК, UTC+3)

Что будет на практикуме?

▫️Для чего нужен Docker? Обзор самых актуальных проблем и задач для решения которых используется Docker
▫️Собираем с использованием Docketfile и запускаем свой первый Docker контейнер
▫️Обзор внутреннего устройства Docker - контейнерная изоляция окружений для приложений, свой приватный репозиторий образов контейнеров Docker Registry и настройка аутентификации для него
▫️Обзор систем контейнерной оркестрации для Docker

Кто ведёт?

Василий Озеров - основатель агентства Fevlake и действующий DevOps-инженер (опыт в DevOps более 5 лет). Регулярно выступает с докладами на конференциях RootConf, DevOpsConf Russia, HighLoad++.

Присоединяйтесь, будет интересно!

Открытые еженедельные DevOps практикумы - расписание на Октябрь

Telegram канал открытых еженедельных онлайн DevOps практикумов - DevOps by REBRAIN

#Анонс

Truly reliable, much useful, really comfortable (by usability) and powerful (by customizable feautures of CI/CD pipelining) Git and Hg hosting, created by SourceHut with UI minimalism in mind and powerful feautures in their heart (open sourced here - https://git.sr.ht/~sircmpwn/?search=sr.ht), currently in alpha stages in development — for someone who had tired of heavyweight UIs and average ordinary project hostings, and searching, looking for something good and new.

https://sourcehut.org

https://git.sr.ht - for Git repos

https://hg.sr.ht - for Mercurial repos

#SCM
#Git
#Hg

WeaveWorks FireKube & Ignite

Some of companies and projects, like WeaveWorks, already caught initiative, as they sees and feels much perspective in micro VMs for the future of clustering cloud infrastructures, started to explore and uses abilities of contanerd to develop the integration tools between Kubernetes and Firecracker, like Ignite and FireKube:

https://www.weave.works/blog/firekube-fast-and-secure-kubernetes-clusters-using-weave-ignite

https://github.com/weaveworks/wks-quickstart-firekube

https://github.com/weaveworks/ignite

http://tech.paulcz.net/blog/future-of-kubernetes-is-virtual-machines/

#Rust
#Firecracker
#VM #microVM
#containers
#clustering
#Kubernetes
#cloud

Firecracker microVMs run-time

Previously, almost over a year ago, Amazon developed in Rust and open sourced a lightweight microVM run-time & monitor, based on KVM hypervisor, for AWS cloud infrastructure and FaaS/serverless environments of AWS Lambda/Fargate/ECS - the Firecracker project - and continue to use Rust in development of tools, performance/latency critical and real-time components (with guaranteed response time, like diagnostics logs and metrics aggregation tools) of the AWS infrastructure.

https://aws.amazon.com/blogs/opensource/firecracker-open-source-secure-fast-microvm-serverless/

https://aws.amazon.com/blogs/aws/firecracker-lightweight-virtualization-for-serverless-computing/

https://firecracker-microvm.github.io

https://github.com/firecracker-microvm/firecracker

https://github.com/firecracker-microvm/firecracker-demo

https://github.com/firecracker-microvm/firecracker-containerd

#Rust
#Firecracker
#VM #microVM
#containers
#clustering
#cloud
#Amazon
#AWS

Rust lifetimes, NLL, Polonius and cutting edge of region based memory management (RBMM)

It's curious that notable implementations of RBMM memory management paradigm includes Cyclone, ParaSail and Rust, especially with current NLL borrow & ownership checker, based on control flow and data flow lifetimes analysis in more low-level MIR code, and which ensures that a reference/pointer type cannot outlive the type of the object it points to, without necessary of explicit lifetimes declarations in vast majority situations.

Also more recent forefront, cutting edge research and development in more precise analysis of scopes & lifetimes inferencing as region types includes Polonius, the next milestone of Rust borrow&ownership checker — https://github.com/rust-lang/polonius

You can read many curious details about researching, development and implementation process of Polonius and RBMM subsystem in Rust from the Niko Matsakis series of blog posts:

http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/

http://smallcultfollowing.com/babysteps/blog/2018/11/01/after-nll-interprocedural-conflicts/

http://smallcultfollowing.com/babysteps/blog/2018/11/10/after-nll-moving-from-borrowed-data-and-the-sentinel-pattern/

http://smallcultfollowing.com/babysteps/blog/2019/01/17/polonius-and-region-errors/

http://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/

And series blog posts about design of current MIR based analisys for borrowed & ownership reference types checker — NLL (non-lexical lifetimes):

http://smallcultfollowing.com/babysteps/blog/2016/04/27/non-lexical-lifetimes-introduction/

http://smallcultfollowing.com/babysteps/blog/2016/05/04/non-lexical-lifetimes-based-on-liveness/

http://smallcultfollowing.com/babysteps/blog/2016/05/09/non-lexical-lifetimes-adding-the-outlives-relation/

http://smallcultfollowing.com/babysteps/blog/2017/02/21/non-lexical-lifetimes-using-liveness-and-location/

http://smallcultfollowing.com/babysteps/blog/2017/07/11/non-lexical-lifetimes-draft-rfc-and-prototype-available/

http://smallcultfollowing.com/babysteps/blog/2018/06/15/mir-based-borrow-check-nll-status-update/

http://smallcultfollowing.com/babysteps/blog/2018/10/31/mir-based-borrowck-is-almost-here/


Previous corresponded publications:
@technologique/1417


#Rust

ParaSail - Parallel Specification and Implementation Language

Microsoft Research lecture about ParaSail programming language by Tucker Taft, led language designer of Ada 95 standard, one of the GNAT compiler authors, member, language and compilers researcher in the AdaCore.

ParaSail is a parallel programming language (which uses work-stealing tasks to threads scheduler) with region-based memory management (static destructors, based on compile-time inferencing of scopes & lifetimes as region types), with Ada-like syntax (compiler toolchian also includes parsers for Java and Python like syntaxes for ParaSail), and as Ada and SPARK, it's predecessors, targeting on mission-critical systems and applications, for example air traffic control systems, rail-road and metro subway control systems, avionics, automotive systems, space exploration industry, defence systems and so on.

https://www.youtube.com/watch?v=bNWTRdAlwUs

https://parasail-lang.org

https://adacore.github.io/ParaSail/images/parasail_ref_manual.pdf

https://blog.adacore.com/author/taft

https://github.com/AdaCore


#PL
#Lang

▶ And (even more) inspiring talk and presentation about bringing Rust into Linux kernel and modules development by Josh Triplett, the Intel principal engineer, at Open Source Technology Summit 2019, in late August this year:

https://youtu.be/l9hM0h6IQDo

https://hub.packtpub.com/rust-is-the-future-of-systems-programming-c-is-the-new-assembly-intel-principal-engineer-josh-triplett/

https://pcper.com/2019/09/mozilla-rust-considered-for-linux-drivers/

Discussion on LWN:

https://lwn.net/Articles/797714/

https://lwn.net/Articles/797828/

#Rust

⚡️ Async/.await in Rust reached beta channel

The Rust crates ecosystem and async stdlib (https://async.rs) gradually moving to the more convenient syntax and introduce asynchronous paradigm where it fits at it's best, where previously are applied the composition of combinator-based futures.

https://blog.rust-lang.org/2019/09/30/Async-await-hits-beta.html

🔑 Librem Key by Purism

Recently Purism announced the stages and release dates for Librem 5, the most secure mobile device ever made, based on open source technological stack, but usefulness of this coolest thing from Purism is read off scale!
Bryan Lunduke and his guest from Purism tells us why:

https://youtu.be/8Uy5EKNtgbU

https://puri.sm/posts/introducing-the-librem-key/

Just look at this device - hardware security and encryption key, based on open source technologies and open encryption standards & algorithms, selling just for $60:
https://puri.sm/products/librem-key/

It has on board support for elliptic curve cryptography, hardware true random numbers generator (40 kbit/s) for strong entropy, one-time password storage (HOTP & TOTP), integrated password manager and private keys vault & generator, and other exceptionally useful functionality!

#security
#crypto
#cryptokey