t
где проголосовать против? Где проголосовать против препроцессора?
Size: a a a
2021 April 25
t
Нет демократии, нихера нет
t
блядство одно
t
а, гм, возможно #embed и не пройдёт
c
Minoru
не вставится в стандарт? ;)
не вставится в стандарт? ;)
c
Minoru
блин, а я только что узнал, что атомики в плюсах реализованы через шаблон, позволяющий вообще что угодно сделать атомарным
блин, а я только что узнал, что атомики в плюсах реализованы через шаблон, позволяющий вообще что угодно сделать атомарным
t
хотя, если этот пропосал не примут, то автор может объявить комитет в расизме. Как это обычно делают сейчас
c
Minoru
причём если тип-содержимое не умещается ни в один атомарный тип, предоставляемый платформой, то плюсы просто воткнут туда лок и будут *делать вид*, что всё атомарно
причём если тип-содержимое не умещается ни в один атомарный тип, предоставляемый платформой, то плюсы просто воткнут туда лок и будут *делать вид*, что всё атомарно
t
хотят атомик блоки кода ещё сделать
t
ну, чтобы вообще
c
Minoru
и вот с одной стороны вот это вот «любой тип», «если что воткнём лок» — это типичная попытка плюсов усидеть на всех стульях сразу. Ничем хорошим не закончится. Добавили байтик, структурка перестала умещаться в 64 байта — и всё, прощай производительность. И фиг уследишь, если не гоняешь тесты на производительность. Только метрики из продакшена подскажут
и вот с одной стороны вот это вот «любой тип», «если что воткнём лок» — это типичная попытка плюсов усидеть на всех стульях сразу. Ничем хорошим не закончится. Добавили байтик, структурка перестала умещаться в 64 байта — и всё, прощай производительность. И фиг уследишь, если не гоняешь тесты на производительность. Только метрики из продакшена подскажут
c
Minoru
а с другой — прикольно, что можно написать маленькую структурку, обернуть в std::atomic — и она вся уляжется в одну атомарную операцию. А вот в Расте так нельзя (без unsafe)
а с другой — прикольно, что можно написать маленькую структурку, обернуть в std::atomic — и она вся уляжется в одну атомарную операцию. А вот в Расте так нельзя (без unsafe)
t
Ну, думать надо же
t
я вообще не понимаю языки, где программиста язык убеждает, что думать не надо
t
и я про реализацию
c
Minoru
ну вот представь, что у меня какой-то стейт в структурке. Структурка в модуле, на это написаны тесты. Чтобы юзать это из нескольких тредов, я в другом модуле оборачиваю структурку в атомик и тоже пишу тесты. Всё очень модульно и красиво
ну вот представь, что у меня какой-то стейт в структурке. Структурка в модуле, на это написаны тесты. Чтобы юзать это из нескольких тредов, я в другом модуле оборачиваю структурку в атомик и тоже пишу тесты. Всё очень модульно и красиво
c
Minoru
потом я в первом модуле добавляю в структурку поле, и атомтичность второго модуля ломается
потом я в первом модуле добавляю в структурку поле, и атомтичность второго модуля ломается
c
Minoru
я что, должен думать про все модули сразу?
я что, должен думать про все модули сразу?
t
то есть, ты когда пишешь модуль, от которого зависят другие, то ты не думаешь про все возможности его использования?
c
Minoru
и в данном случае Раст как раз не убеждает, он просто не даёт достаточно мощной абстрации, чтобы вляпаться в вышеописанную проблему
и в данном случае Раст как раз не убеждает, он просто не даёт достаточно мощной абстрации, чтобы вляпаться в вышеописанную проблему