Телеграмм чат группы rust_offtopic страница 6998

Переформулирую вопрос "запись лонгов на 32 и 64 битах без синхронизации из разных потоков - уб или нет"

не уб, некорректная синхронизация

16:54пожаловаться #1

AZ

Category theory for programmers by Bartosz Milewski. Seattle, Summer 2016. Additional material at https://bartoszmilewski.com/2014/10/28/category-theory-for-...

Gymmasssorla

@Psilon

https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
https://www.youtube.com/playlist?list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL

Нашёл сборник лекций того автора, который написал "Теория категорий для программистов". Его начал смотреть и параллельно Хаскелль учу. В Хаскелль-чате говорят, что лекции более полны, чем книга, лично мне больше понравились. Начиная со второго плейлиста уже дебри идут.

YouTube

Category Theory - YouTube

хз, в книге есть ссылки на catsters, они прям неплохие

16:54пожаловаться #2

AZ

не уб, некорректная синхронизация

это неважно. Главное, что какое-то поведение в спеке зафиксировано

16:55пожаловаться #3

VS

3 миллиарда устройств не могут ошибаться

Тут написано зависит от реализации таки Тобишь нет однозначного ответа. Ну вот об этом я и говорил.

16:55пожаловаться #4

ch

central hardware in rust_offtopic

3 миллиарда устройств не могут ошибаться

в телефонах уже нету jvm там AOT какой то

16:56пожаловаться #5

P

Тут написано зависит от реализации таки Тобишь нет однозначного ответа. Ну вот об этом я и говорил.

есть однозначный ответ -- доступ из разных потоков к несинхронизированному даблу/лонгу -- некорректная синхронизация. Тема некорректной синхронизации идёт красной нитью через всю 17ю главу.

16:56пожаловаться #6

P

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

16:57пожаловаться #7

VS

есть однозначный ответ -- доступ из разных потоков к несинхронизированному даблу/лонгу -- некорректная синхронизация. Тема некорректной синхронизации идёт красной нитью через всю 17ю главу.

Ты так тролишь или реально не понимаешь о чем я говорю? 😁

16:57пожаловаться #8

P

Ты так тролишь или реально не понимаешь о чем я говорю? 😁

ты так говоришь потому, что держишь инфу о том, какое у тебя железо на таргете, у себя в голове, когда программируешь для вм. а не должен.

16:58пожаловаться #9

AZ

"Почти все, что было в логике, так или иначе приехало в Computer Science."

17:09пожаловаться #10

VS

netstandard к слову это сатндартизация апи, а не рантайма

Я таки в личку хотел тебя спросить. Interlocked же это часть net Standart как и long собственно как стандартный примитив .net? Или я что-то путаю? Просто я вообще не понял к чему ты это про него написал

17:12пожаловаться #11

AZ

Я таки в личку хотел тебя спросить. Interlocked же это часть net Standart как и long собственно как стандартный примитив .net? Или я что-то путаю? Просто я вообще не понял к чему ты это про него написал

стандарт вообще про другое, к поведению вм никакого отношения не имеет

17:13пожаловаться #12

VS

стандарт вообще про другое, к поведению вм никакого отношения не имеет

А что тогда имеет отношение к поведению VM?)

17:14пожаловаться #13

AZ

А что тогда имеет отношение к поведению VM?)

ecma335

17:15пожаловаться #14

AZ

других официальных документах регламентирующих поведение clr не сущствует

17:15пожаловаться #15

VS

стандарт вообще про другое, к поведению вм никакого отношения не имеет

Ну яб сказал что тут скорее вопрос в том кто от чего зависит. Хотя мне как разработчику прикладных решений пофиг.

17:22пожаловаться #16

P

А что тогда имеет отношение к поведению VM?)

структура того, что она загружает и то, как она исполняет то, что загрузила.

17:23пожаловаться #17

OA

Oleg Andreev in rust_offtopic

Alexander

меня вот теперь стремает в расте неопределенность с tokio vs async-std

меня тоже

17:28пожаловаться #18

VS

структура того, что она загружает и то, как она исполняет то, что загрузила.

Так для справки .ner Standart это про то что типо есть Console.WriteLine() и он делает то то и то то. Если типо long и вот он такой вот. Это описание стандартной библиотеки дот нета.

17:28пожаловаться #19

P

Так для справки .ner Standart это про то что типо есть Console.WriteLine() и он делает то то и то то. Если типо long и вот он такой вот. Это описание стандартной библиотеки дот нета.

long это не стандартная библиотек и не библиотека вовсе