Forwarded from Julia Lang
[a, b, c, d, e, f ..] ⇔ map read $ unsafePerformIO $ httpRequest $ “https://oeis.org/search?q=“ ++ (intercalate “,” $ map show [a, b, c, d, e, f])#prog #rust #rustasync #article
Новая статья Амоса о пристальном взгляде на async в Rust. Чисто с точки зрения человека, который впервые с этим столкнулся, без сильного погружения в тонкости реализации async
(thanks @tapok_satan)
Новая статья Амоса о пристальном взгляде на async в Rust. Чисто с точки зрения человека, который впервые с этим столкнулся, без сильного погружения в тонкости реализации async
(thanks @tapok_satan)
fasterthanli.me
Pin and suffering
I ’ d like to think that my understanding of “ async Rust ” has increased over the past year or so. I ’ m 100% onboard with the basic principle: I would like to handle thousands of concurrent tasks...
#prog #rust #rustlib
Замыкания в Rust могут работать в двух режимах: без ключевого слова
В C++ у лямбда-функций есть отдельные списки захвата переменных, поэтому там эта задача решается достаточно просто. Синтаксис Rust не предлагает прямолинейного способа решения этой проблемы. Единственный вариант — это вручную ввести новые привязки к ссылкам на нужные значения и "передать" их в
К счастью, для сокращения бойлерплейта в Rust есть макросы! И есть библиотека, которая фактически привносит список захвата для лямбд: https://lib.rs/crates/closure
Замыкания в Rust могут работать в двух режимах: без ключевого слова
move они захватывают значения по ссылке (разделяемой или уникальной — в зависимости от использования), а с ключевым словом move они захватывают все значения по значению. Как правило, этого достаточно, но иногда требуется часть значений захватить по значению, а часть — по ссылке.В C++ у лямбда-функций есть отдельные списки захвата переменных, поэтому там эта задача решается достаточно просто. Синтаксис Rust не предлагает прямолинейного способа решения этой проблемы. Единственный вариант — это вручную ввести новые привязки к ссылкам на нужные значения и "передать" их в
move-замыкание. Это вариант рабочий, но утомительный.К счастью, для сокращения бойлерплейта в Rust есть макросы! И есть библиотека, которая фактически привносит список захвата для лямбд: https://lib.rs/crates/closure
Lib.rs
closure — Rust library
A macro for capturing variables on a per variable basis
#prog
Данила рассказывает, почему при написании SIMD-кода имеет смысл держать версии не только на AVX, но и на SSE.
t.iss.one/experimentalchill/87
Данила рассказывает, почему при написании SIMD-кода имеет смысл держать версии не только на AVX, но и на SSE.
t.iss.one/experimentalchill/87
Telegram
Experimental chill
Когда я оптимизировал многие вещи с помощью SIMD инструкций, всегда вставал вопрос о том, почему версии с AVX (как SSE, только операции с регистрами по 256 бит вместо 128) не так уж и классно работают. Тогда я узнал о такой вещи, как CPU downclocking: процессоры…
#prog #amazingopensource
autoperf simplifies the instrumentation of programs with performance counters on Intel machines. Rather than trying to learn how to measure every event and manually programming event values in counter registers or perf, you can use autoperf which will repeatedly run your program until it has measured every single performance event on your machine. autoperf tries to compute a schedule that maximizes the amount of events measured per run, and minimizes the total number of runs while avoiding multiplexing of events on counters.
(thanks @folexeyy)
autoperf simplifies the instrumentation of programs with performance counters on Intel machines. Rather than trying to learn how to measure every event and manually programming event values in counter registers or perf, you can use autoperf which will repeatedly run your program until it has measured every single performance event on your machine. autoperf tries to compute a schedule that maximizes the amount of events measured per run, and minimizes the total number of runs while avoiding multiplexing of events on counters.
(thanks @folexeyy)
GitHub
GitHub - gz/autoperf: Simplify the use of performance counters.
Simplify the use of performance counters. Contribute to gz/autoperf development by creating an account on GitHub.
Сначала всё было плохо.
Потом пришли растоманы и сделали ещё хуже.
Зато на расте.
Потом пришли растоманы и сделали ещё хуже.
Зато на расте.
🤡2
#prog #rust #article
Очень хорошая демонстрация пользы от type-level наворотов.
The Rust language offers a promising approach to safe systems programming based on the principle of aliasing XOR mutability: a value may be either aliased or mutable, but not both at the same time. However, to implement pointer-based data structures with internal sharing, such as graphs or doubly-linked lists, we need to be able to mutate aliased state. To support such data structures, Rust provides a number of APIs that offer so-called interior mutability: the ability to mutate data via method calls on a shared reference. Unfortunately, the existing APIs sacrifice flexibility, concurrent access, and/or performance, in exchange for safety.
In this paper, we propose a new Rust API called GhostCell which avoids such sacrifices by separating permissions from data: it enables the user to safely synchronize access to a collection of data via a single permission. GhostCell repurposes an old trick from typed functional programming: branded types (as exemplified by Haskell's ST monad), which combine phantom types and rank-2 polymorphism to simulate a lightweight form of state-dependent types. We have formally proven the soundness of GhostCell by adapting and extending RustBelt, a semantic soundness proof for a representative subset of Rust, mechanized in Coq.
plv.mpi-sws.org/rustbelt/ghostcell
(thanks @dogeshibu)
Очень хорошая демонстрация пользы от type-level наворотов.
The Rust language offers a promising approach to safe systems programming based on the principle of aliasing XOR mutability: a value may be either aliased or mutable, but not both at the same time. However, to implement pointer-based data structures with internal sharing, such as graphs or doubly-linked lists, we need to be able to mutate aliased state. To support such data structures, Rust provides a number of APIs that offer so-called interior mutability: the ability to mutate data via method calls on a shared reference. Unfortunately, the existing APIs sacrifice flexibility, concurrent access, and/or performance, in exchange for safety.
In this paper, we propose a new Rust API called GhostCell which avoids such sacrifices by separating permissions from data: it enables the user to safely synchronize access to a collection of data via a single permission. GhostCell repurposes an old trick from typed functional programming: branded types (as exemplified by Haskell's ST monad), which combine phantom types and rank-2 polymorphism to simulate a lightweight form of state-dependent types. We have formally proven the soundness of GhostCell by adapting and extending RustBelt, a semantic soundness proof for a representative subset of Rust, mechanized in Coq.
plv.mpi-sws.org/rustbelt/ghostcell
(thanks @dogeshibu)