Вышел новый релиз языка программирования Rust 0.8

Спасибо, глянем.

изменениая в FFI

периписаны

изменений

а по теме - слава Марку, что есть ppa, будем напосмотреть поближе, что это за rust

Чем он лучше того чего он лучше? Хотя бы вкратце. Есть что-нибудь написанное на нем, кроме него?

хм, подправил стандартный пример:

fn main() {
    let nums = [0, 1, 2, 3];
    let noms = ["Tim", "Eston", "Aaron", "Ben"];

    for &num in nums.iter() {
        do spawn {
            let msg = fmt!("%s says hello from a lightweight thread!",
                           noms[num]);
            println(msg);
        }
    }
}

два раза подряд запустил:

~$ ./1
Tim says hello from a lightweight thread!
Eston says hello from a lightweight thread!
Aaron says hello from a lightweight thread!
Ben says hello from a lightweight thread!
~$ ./1
Eston says hello from a lightweight thread!Tim says hello from a lightweight thread!
Aaron says hello from a lightweight thread!

Ben says hello from a lightweight thread!

кто в теме - что это было во второй раз, и как этого избежать?

Очевидно один из потоков был вытеснен до окончания println (до того, как напечатался \n), а потом пробудился и напечатал таки свой \n.

ну это в принципе более-менее и так понятно, но как бы некрасивое поведение, т.е. первый же пример нам показывает грабли

исправлено с помощью print + '\n', но все равно странновато, такое логичнее было б ожидать от плюсов, например, чем от их заменителя

новый рантайм языка и планировщик задач были переписаны с C++ на Rust: теперь Rust почти полностью написан на самом себе

Отлично.

все равно странновато

Чем странновато? Ожидаемое поведение параллельной программы.

Чем странновато? Ожидаемое поведение параллельной программы.

да нет, ты ж не ожидаешь, что оно тебе кашу из символов выведет? и очевидно println не смог нормально добавить '\n' к выводимой строке, чтоб они вывелись вместе

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

ты ж не ожидаешь, что оно тебе кашу из символов выведет?

Я ожидаю. Если ты _не_ ожидаешь - почему? Это параллельная программа, использующая общий ресурс без видимой синхронизации доступа.

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

Это пример того, как выглядит программа, а не того, как выводится текст.

Я ожидаю. Если ты _не_ ожидаешь - почему? Это параллельная программа, использующая общий ресурс без видимой синхронизации доступа.

потому-что никому не нужна случайная «каша» в stdout и всем нужен нормальный вывод строк, это просто и логично, и современные ЯП должны сами решать такие задачи

первый же пример нам показывает грабли

Т.е. вы таки предлагаете, чтобы потоки изкоробки лочили друг друга операциях ввода-вывода? Такая многопоточность не нужна.

Т.е. вы таки предлагаете, чтобы потоки изкоробки лочили друг друга операциях ввода-вывода? Такая многопоточность не нужна.

т.е. вам таки нужна каша в stdout - расскажите зачем вам такая многопоточность?

ну и да - в данном случае они таки лочат, сюрприз

в данном случае они таки лочат, сюрприз

Что-то не вижу, где они что-то лочат.

Что-то не вижу, где они что-то лочат.

потому-что на каждый println две операции записи - строка + '\n', и каждая лочит другие треды

То есть ты предполагаешь невидимый лок где-то в библиотеке вывода, хотя наблюдаемое поведение программы этому противоречит %)

То есть ты предполагаешь невидимый лок где-то в библиотеке вывода

этот лок не в rust

хотя наблюдаемое поведение программы этому противоречит %)

наоборот - полностью доказывает, есть строка и '\n', все выводится правильно, не мешая другим тредам, но по отдельности

За тем, что надо ещё уметь писать в stdout из многопоточного окружения, и при этом потоки вообще не должны лочить друг друга.

За тем, что надо ещё уметь писать в stdout из многопоточного окружения, и при этом потоки вообще не должны лочить друг друга.

т.е. вы хотите все делать руками? ну ок, каждый делает как хочет

Лок происходит в системном вызове. Шедулер зелёных тредов не может передать исполнение следующему пока в этом не отработает системный вызов. Видимо в println их два что и позволяет вызовам из других тредов вклиниться между.

Шедулер зелёных тредов

А нативные треды в расте есть?..

То есть ты предполагаешь невидимый лок где-то в библиотеке вывода

этот лок не в rust

А где? Насколько я понимаю, у них свой stdio.

наблюдаемое поведение программы этому противоречит %)

наоборот - полностью доказывает

okay.jpg

Лок происходит в системном вызове. [...] Видимо в println их два

...и они не прикрыты локом. Это и называется «нет синхронизации доступа».

Шедулер зелёных тредов

AFAIK, там M:N, так что всё сложнее.

Ненужность еще шевелится? Скорее закапывайте, вонять начнет!

Лок происходит в системном вызове.

Помню, в молодости я читал, что write(2) совершенно не обязан пейсать весь буффер в файл, а может сделать частичную запись и потом вернуться. Какой же это лок?

Кто-нибудь мне объяснит, чем оно лучше того же Go или D?

Э-э-эй! Если ты имеешь голос в мозилла ресёч, то зачем озвучивать его здесь? Если не имеешь, то зачем сотрясать воздух? Странные вы, аноны.

Кто-нибудь мне объяснит, чем орангутанг лучше макаки?

Кто-нибудь мне объяснит, чем орангутанг лучше макаки?

Так и запишем: зоопарку ЯП быть.

Гдето на буржуйском ресурсе читал что Go єто новая Java. А Rust єто замена С/С++. Ну о D.все и так должньі бьіть вкурсе

В rust есть ADT (и pattern-matching по ним) и generics, а в Go их нет. Ну и несколько типов указателей.

А нативные треды в расте есть?..

Параллелизация без нативных нитей невозможна, так что есть: «The runtime scheduler maps tasks to a certain number of operating-system threads. By default, the scheduler chooses the number of threads based on the number of concurrent physical CPUs detected at startup».

новый рантайм языка и планировщик задач были переписаны с C++ на Rust: теперь Rust почти полностью написан на самом себе.

Теперь Rust из убогонького недоязычка превратился в серьёзный язык для приложений. Ждём первую стабильную версию!

Ты напиши там куда-нибудь. В багзиллу или что-то подобное.
Мне тоже странно, что println может выводить \n отдельно от строки.
Возможно, это бага.

Go - тормоз и неумеха. Если кого и мог бы заменить, то Java. Но не заменит, ибо платформа. Для некоторых задач может и Python заменить.

D - такой же С++, только с боку. А в каком-то смысле даже более укурен(см. шаблоны те же). Rust же пытается быть самостоятельным языком. Но при этом обладает всеми возможностями для того, чтобы не оставить для С++ места. Только уж для совсем извращенных задач. Я надеюсь, что С++ рано или поздно полностью заменит С. А сам, в свою очередь, будет подвинут Rust'ом.

Возможно, это бага.

По крайней мере раньше вроде такого не было.

По крайней мере раньше вроде такого не было.

А ты сколько раз проверял? У меня на моем i7 2600K такое вылезло где-то на сотый раз.

это прекрасно

Concurrency lightweight tasks with message passing, no shared memory

Что-то как-то, мне кажется, что из-за одного этого пункта не тянет на «убийцу плюсов».
Хотя возможно, такой подход и более правильный, посмотрим, как хорошо его будут внедрять.

Что-то как-то, мне кажется, что из-за одного этого пункта не тянет на «убийцу плюсов».

Мне кажется, у тебя узкое представление о том, что такое shared memory.

Ну, просто мне, не подумав, кажется, что один и тот же код будет работать быстрее с «классическим» подходом к параллелизму, потоки с общей памятью, мутексы и так далее (хотя он и сложнее и гораздо более ошибкоопаснее). Если они хотят полностью завоевать нишу C++, то на их языке должно быть возможно написать всё, что можно на C++, без оверхеда.

Если на самом деле никакого оверхеда не планируется, и всё будет работать так же быстро, но будет гораздо проще в написании и отладке, то всё ок.

А может быть на самом деле всем пофиг на оверхед, потому что он будет всё равно не заметен (особенно, если сравнивать с языками, в которых оверхед неизбежен), тогда он тоже может вытяснить C++.

Если они хотят полностью завоевать нишу C++, то на их языке должно быть возможно написать всё, что можно на C++, без оверхеда.

Никому не нужно «всё».

Ну, если закопать плюсы, то весь текущий плюсовый код, очевидно, надо будет на чём-то переписывать.

если закопать плюсы, то весь текущий плюсовый код, очевидно, надо будет на чём-то переписывать.

У тебя дар мутно высказываться. Что значит «закопать плюсы», и почему от этого исчезнут плюсовые компиляторы и библиотеки?