DF
Круто но лучше б как то с сохранением машинной семантики
Size: a a a
2020 October 23
DF
То есть например как вальгринд
M
Вообще да, я сначала думал, что они так и делают
DF
А я вчера такое длинное объяснение написал
DF
А оказалось это не имело отношения к происходящему вообще :)
b
поставил перед собой задачу написать cargo.toml lsp, кому-то пригодится? с автокомплитом features, названий крейтов и версий
M
Dollar Føølish
А оказалось это не имело отношения к происходящему вообще :)
Я уже и сам поверил, что такое поведение валидно)
DF
Ну оно валидно если бы нашелся такой глобальный порядок при котором оно валидно
K
Dollar Føølish
То есть например как вальгринд
Это бы вечность работало, еслиб использовало двоичную трансляцию и честный shadowing памяти. Сейчас конечно тоже скорость не быстрая, но из-за другого.
Вдобавок можно тестить сразу все архитектуры, а то окажется что memory_ordering_relaxed на самом деле никакой не relaxed на текущей архитектуре, а потом бага конечно же всплывет на другой архе.
Вдобавок можно тестить сразу все архитектуры, а то окажется что memory_ordering_relaxed на самом деле никакой не relaxed на текущей архитектуре, а потом бага конечно же всплывет на другой архе.
DF
Понятно :)
G
G
MF
А кто-то уже пробовал cranelift бекенд для раста? Компилит сложные проекты? Быстрее?
AL
В @rust_gamedev_ru немного обсудили - https://t.me/rust_gamedev_ru/34880 и ниже
(L
Может кто пользовался @GitHubBot здесь? Как настроить нотификейшены из репозитория компании? Мне предлагаются только мои личные репозитории. Чтобы не продолжать оффтоп, можно написать мне в ЛС или сюда @rust_offtopic. Спасибо.
И почему ты это не спросил в оффтопике сразу?
p
И почему ты это не спросил в оффтопике сразу?
тут людей больше
K
А кто-то уже пробовал cranelift бекенд для раста? Компилит сложные проекты? Быстрее?
Еще сыроват
MB
Dollar Føølish
Круто но лучше б как то с сохранением машинной семантики
Зачем? Ты же не на ассемблере пишешь чтобы на поведение процессора смотреть.
D
В продолжение вчерашней истории про атомики и seqcst
В loom просто напросто отсутствует реализация seqcst ordering, а вместо неё коммент, что это сложно сделать)
https://github.com/tokio-rs/loom/blob/21db3cc153d480c84346267eaa692be5d7b66c65/src/rt/thread.rs#L276-L280
В loom просто напросто отсутствует реализация seqcst ordering, а вместо неё коммент, что это сложно сделать)
https://github.com/tokio-rs/loom/blob/21db3cc153d480c84346267eaa692be5d7b66c65/src/rt/thread.rs#L276-L280
если тебе нужно что-то что работает на более менее сложных примерах можешь юзать http://plrg.ics.uci.edu/c11tester/
M
Dima
если тебе нужно что-то что работает на более менее сложных примерах можешь юзать http://plrg.ics.uci.edu/c11tester/
Спасибо