NATS вполне написан и работает

вы его использовали? я в первый раз сталкиваюсь

тестировали

nats лучше

не падает

а то, что есть слабые разработчики, которые, зачем то, пилят на go круды, а не генерят код из сваггер доки, это не проблемы языка

10 Conclusions Our subjective experience using Go to implement the Biscuit kernel has been positive. Go’s high-level language features are helpful in the context of a kernel. Examination of historical Linux kernel bugs due to C suggests that a type- and memory-safe language such as Go might avoid real-world bugs, or handle them more cleanly than C. The ability to statically analyze Go helped us implement defenses against kernel heap exhaustion, a traditionally difficult task. The paper presents measurements of some of the performance costs of Biscuit’s use of Go’s HLL features, on a set of kernel-intensive benchmarks. The fraction of CPU time consumed by garbage collection and safety checks is less than 15%. The paper compares the performance of equivalent kernel code paths written in C and Go, finding that the C version is about 15% faster. We hope that this paper helps readers to make a decision about whether to write a new kernel in C or in an HLL. чет я ожидал, что будет сильно хуже. а тут прям бери и пиши

10 Conclusions Our subjective experience using Go to implement the Biscuit kernel has been positive. Go’s high-level language features are helpful in the context of a kernel. Examination of historical Linux kernel bugs due to C suggests that a type- and memory-safe language such as Go might avoid real-world bugs, or handle them more cleanly than C. The ability to statically analyze Go helped us implement defenses against kernel heap exhaustion, a traditionally difficult task. The paper presents measurements of some of the performance costs of Biscuit’s use of Go’s HLL features, on a set of kernel-intensive benchmarks. The fraction of CPU time consumed by garbage collection and safety checks is less than 15%. The paper compares the performance of equivalent kernel code paths written in C and Go, finding that the C version is about 15% faster. We hope that this paper helps readers to make a decision about whether to write a new kernel in C or in an HLL. чет я ожидал, что будет сильно хуже. а тут прям бери и пиши

лень читать простыню, как они без ос запилили рантайм?

модифицировали гошный, добавив 1500 строк ассеблера

интересно, надо будет на досуге почитать

мы его закрыли

я вот читаю — судя по всему на бенчмарках они сравнивали по сути производительнсть ассемблерной части бисквита с ядром на C и всё на unsafe.Pointer насколько я понимаю ну такое опять же, как гошный GC себя поведёт в долгом режиме работы — бабка надвое сказала В общем-то подобные ядра пишут и писали на любом языке, вплоть до js и lua к тому же они по сути сделали borrow checker а-ля руст для написания ядра с другой стороны работа всё-таки интересная, правда код, судя по всему, увидеть нельзя

я вот читаю — судя по всему на бенчмарках они сравнивали по сути производительнсть ассемблерной части бисквита с ядром на C и всё на unsafe.Pointer насколько я понимаю ну такое опять же, как гошный GC себя поведёт в долгом режиме работы — бабка надвое сказала В общем-то подобные ядра пишут и писали на любом языке, вплоть до js и lua к тому же они по сути сделали borrow checker а-ля руст для написания ядра с другой стороны работа всё-таки интересная, правда код, судя по всему, увидеть нельзя

https://github.com/mit-pdos/biscuit

про borrow checker там что нибудь написано?

Ну не совсем BC, но очень похоже на рустовские проверки 6.3 Static analysis to find s We have developed a tool, M AX LIVE, that analyzes the Biscuit source code and the Go packages Biscuit uses to find s for each system call. The core challenge is detecting statically when allocated memory can no longer be live, since many system calls allocate memory for transient uses. Other challenges include analyzing loops with non-constant bounds, and determining reservations for background kernel activities that are not associated with a specific system call.

кстати мне сегодня во сне мысль пришла.. func Take(mutableInt int) { /*...*/ } func main() { var immutableInt immut int = 42 Take(immutableInt) // Compile-time error } поумолчанию, следуя правилам, мы не можем принять immut int как mut int потому-что immut->mut casting нелегально но... это-ж скалярный тип.. он же всё-равно копируется.. для него же можно сделать исключение и разрешить в данном случае данный cast. Т.е. разрешить casting скалярных иммут в мут (но только скалярных).

по-моему уже проще запилить новый язык в блекджеком и растом

Результаты бенчмарков Go 1.0 c Go 1.11 от Дейва Чейни. 🧔💪 https://gist.github.com/davecheney/311169ef04e27fe469ca91859af9cdff

_ <- chanOrders cannot use _ as value 😀

Докер на всех системах есть 😅

Мужики а что сейчас популярно из franework - ов на ГО ?

По большей части для API нужен

А кроме стандартных ?