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

На архитектурах где байт 8 бит, там 256 значений.

а зачем мне 256 значений, мне одного бита на самом деле хватит для спинлока

11:19пожаловаться #1

Anatoly Tomilov

а зачем мне 256 значений, мне одного бита на самом деле хватит для спинлока

Ну ок. И будет очень бесполезный и медленный спинлок. Я призываю почитать как они на самом деле используются и что под капотом у этих объектов

11:19пожаловаться #2

Зачем там счётчики и всё такое.

11:20пожаловаться #3

Александр Караев

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

По стандарту нет требований на имплементацию. Мьютекс может быть хотб килобайт.

11:22пожаловаться #4

Вопрос был не про стандарт, а про де-факто имплементацию.

11:22пожаловаться #5

На винде критическая секция кроме самого 64 бит спин-каунтера содержит еще хендлы треда, семафора, глубину рекурсии

11:24пожаловаться #6

Подозреваю на линуксе там такого же характера данные.

Александр Караев... in pro.cxx

11:24пожаловаться #7

АК

По стандарту нет требований на имплементацию. Мьютекс может быть хотб килобайт.

да причем тут мьютекс, я говорю про произвольные объекты (однобайтовые и многобайтовые)

11:25пожаловаться #8

Alexander N in pro.cxx

Спинлок на основе cmpxchg кстати я так понял может быть построен

11:27пожаловаться #9

Александр Караев

да причем тут мьютекс, я говорю про произвольные объекты (однобайтовые и многобайтовые)

Я всё еще не понимаю претензию. Я сказал, однобайтовых объектов в языке мало. Я не сказал что их нет.

Александр Караев... in pro.cxx

11:28пожаловаться #10

АК

Я всё еще не понимаю претензию. Я сказал, однобайтовых объектов в языке мало. Я не сказал что их нет.

однобайтовых объектов в стандартной библиотеке процентов 95

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

Я всё еще не понимаю претензию. Я сказал, однобайтовых объектов в языке мало. Я не сказал что их нет.

И ожидать, что примитив синхронизации окажется таким — это очень смело.

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

Александр Караев

однобайтовых объектов в стандартной библиотеке процентов 95

Сколько из этих однобайтовых объектов будут реифицироваться в код?

Александр Караев... in pro.cxx

11:30пожаловаться #13

АК

Сколько из этих однобайтовых объектов будут реифицироваться в код?

не имеет значения

11:30пожаловаться #14

Я понимаю что структуры-тэги все занимают по байту. Но они никогда не попадают в бинарь.

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

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

11:32пожаловаться #16

Для cmpxchg насколько мне известно нет опкода, который берёт al аргументом.

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

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

https://godbolt.org/z/3E65MY

11:38пожаловаться #18

Ternvein in pro.cxx

Anatoly Tomilov

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

int main()
{
return sizeof(std::mutex);
}

Ты ещё на msvc попробуй. ;)

11:47пожаловаться #19

Anatoly Tomilov in pro.cxx

Ternvein

Ты ещё на msvc попробуй. ;)