https://arxiv.org/pdf/2004.05074.pdf – если что есть в читаемом формате.

Ну, с учётом сроков внедрения стандартов думаю реально только через годик приедет

https://github.com/hse-project/hse-mongo
монга оптимиированная под SSD, интересненько
интересно
еще вот такая штука есть
https://github.com/OpenMPDK/KVRocks

непонятно, оно на любом NVMe или это вендор лок?

This paper reports our experience in modeling Raft in the LNT process algebra. We found a couple of issues with the original TLA+ specification of Raft, which has been corrected since. More generally, this exercise offers a great opportunity to discuss how to best use the features of the LNT formal language and the associated CADP verification toolbox to model distributed protocols, including network and server failures.

https://arxiv.org/pdf/2004.13284.pdf

В тему OpenCL и CUDA – буквально вчера увидел такую надстройку над ними – https://www.khronos.org/registry/SYCL/specs/sycl-1.2.1.pdf
Идея в том, чтобы к OpenCL (в первую очередь) добавить фишек C++11 и выше. Ну и пероложить максимум boilerplate на компилятор (где это и должно быть)

Уже есть реализация спеки – https://software.intel.com/en-us/oneapi/dpc-compiler
В описании они называют приложения CUDA – легаси))
Includes a compiler to deploy across diverse hardware targets and a compatibility tool for migrating legacy CUDA* applications to a multiplatform program in DPC++.

Единственное, пока не нашёл реализацию именно для GPGPU nVidia, но тем не менее, есть для CPU/GPU Intel + заявляется поддержка OpenCL AMD, а значит скорее всего будет работать на радеонах.

Через пару недель потещу новыглядит как что то живое .

Ну, последней редакции 10 дней) Говорят следующая уже пилится активно.

Круто

Кто смотрел свежее выступление  от nvidia?

я 🙂

Ты как то связан с nvidia?

да, я рабоаю в NVIDIA, потому и смайлик

Понел  . А еще кто есть ?

А есть русско говорящие кто знает про spark и gpu  ?

Паша

да, это лучше к нему.

А он тут ?

Нет