если compiler не specific, то пока что нет - жди SIMD в стандартной либе. если compiler-specific, то у того же clang есть управление векторизацией

Есть какие-нибудь директивы для энфорса векторизации в рамках блока кода/функции? Можно compiler-specific (clang/gcc)

Постоянная рубрика: "сам спросил - сам ответил" #pragma clang loop vectorize(enable) interleave(enable) #pragma clang loop unroll_count(1337) #pragma clang loop unroll(disable) #pragma clang loop unroll(full)

если compiler не specific, то пока что нет - жди SIMD в стандартной либе. если compiler-specific, то у того же clang есть управление векторизацией

у гцц что-то было подобное, но оно какое-то ну не очень

Влад @supapro

ребят, сдвиг беззнакового числа больше чем на его ширину это уб?

уб?

UB

просто сдвиг уинт 32 на 32 бита компилер вообще выбрасывает, т.е. число не меняется

Нет, ошибся. Да, это UB.

просто сдвиг уинт 32 на 32 бита компилер вообще выбрасывает, т.е. число не меняется

сдвиг уинт32 на 32 бита это 0

сдвиг уинт32 на 32 бита это 0

wandbox считает иначе

сдвиг уинт32 на 32 бита это 0

Это UB.

The operands shall be of integral or unscoped enumeration type and integral promotions are performed. [...] The behavior is undefined if the right operand [...] greater than or equal to the length in bits of the promoted left operand.

просто сдвиг уинт 32 на 32 бита компилер вообще выбрасывает, т.е. число не меняется

Кстати, вот что пишут про x86 shl/shr: The count is masked to 5 bits, which limits the count range to 0 to 31.

стандарт не гарантирует, но по крайней мере GCC делает sal/shr https://godbolt.org/z/SzPv_G

Я когда-то наталкивался на то, что в compile-time после сдвига на 32 получается ноль (как по арифметике), а в runtime — число не меняется, как по процессору.

Идея сегодня пришла, dictionary_string. Этакий string_view по всем показателям за исключением конструктора. Который строки складывает в глобальный singleton dictionary. Даже сделал, словарь как разбитый на сегменты массив самопальных хэш таблиц поверх pmr monotonic_buffer_resource. Закрыл сверху spinlock-shared-mutex'ами, но чувствую надо в сторону lock-free смотреть, для задач словаря atomic increment на каждую операцию чтения дороговато.

Набросал примерно словарь с lockfree доступом на чтение, блокировки только при добавлении. https://github.com/bibmaster/shared_string

ребят, сдвиг беззнакового числа больше чем на его ширину это уб?

С чего?

С того что язык не регламентирует это

ребят, сдвиг беззнакового числа больше чем на его ширину это уб?

Что за манера прошла везде UB мерещить?

С того что язык не регламентирует это

Там уж не по это тогда надо говорить , а про переполнение целого. Я могу 0xFFFFFFFE и всего на один бит сдвинуть....

Сдвинуть можешь хоть куда но величина сдвига не может быть большей чем число бит в том что сдвигаешь

Там уж не по это тогда надо говорить , а про переполнение целого. Я могу 0xFFFFFFFE и всего на один бит сдвинуть....

Не, так можно. 'For unsigned and positive a, the value of a << b is the value of a * 2b , reduced modulo maximum value of the return type plus 1 (that is, bitwise left shift is performed and the bits that get shifted out of the destination type are discarded).'

А вот 'if the value of the right operand is negative or is greater or equal to the number of bits in the promoted left operand, the behavior is undefined.'

@DemyanovMaxim в отличие от мерзкого го который таки подвинет

@DemyanovMaxim в отличие от мерзкого го который таки подвинет

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

ну да, я на эти сдвиги напоролся когда битовую библиотеку делал

Господа, под виндой санитайзеры не пробовали?

Клангом, или gcc

Просто интересно оно вообще там будет работать

в винде же нет overcommit memory

https://github.com/google/sanitizers/issues/895

Кажется почти все санитайзеры не работают там

Господа, под виндой санитайзеры не пробовали?

Они не работают там

Можно и не пробовать. И я не слышал, чтобы кто-то активно их портировал туда

Валгринд работает

Или это не считается?

Валгринд работает

это не санитайзер

это не санитайзер

А в чем разница?

Валгринд работает

Каким образом? Через прослойку?

Каким образом? Через прослойку?

Хз

А в чем разница?

в принципе работы

А в чем разница?

https://github.com/google/sanitizers/wiki/AddressSanitizerComparisonOfMemoryTools

я всегда думал, что на винде аналог валгнринда это dr memory (который и под линухом уже есть)

Ну так то по списку фич ASAN намного вперёд уходит

жаль что uninitialized read нет

вернее он есть только в memory sanitizer'е которого нет и не будет в gcc

ну и скорость у асана конечно несравнима

с valgrind

в принципе работы

А в чем разница? И там и там во время работы программы выявляем жепу

>Currently, Dr. Memory does not yet support uninitialized read detection for 64-bit applications, so we recommend compiling your target application as 32-bit.

мда

Только что перепутал Conan с Canon-ом...

у вижлы есть свои санитайзеры же

Visual leak detector вроде, но это конечно под visual c++ но если надо на винду...

https://github.com/google/sanitizers/wiki/AddressSanitizerComparisonOfMemoryTools

я не понял, можно объяснить?

задавал в @supapro но так и не получил ответ... буду благодарен за любого рода предположения!

Всем привет ??! Добрые люди, подскажите! Есть клиент и сервер! Запускаю все локально в разных потоках. Сервер также под каждый подключённый клиент создаёт поток. Вот к примеру есть 2 клиента и они общаются с сервером. После подключения с одного клиента я могу отправлять неопределенное количество смс, но как только я начинаю отправлять с другого клиента 2 и больше сообщений то при повторной попытке отправить смс с первого клиента - сервер не хочет их принимать! В чем может быть проблема ? Может с потоками что-то не так ?

Доброе утро! Что почитать чтобы прошариться по constexpr'ам?

C++17 если я правильно помню

C++17 если я правильно помню

ну constexpr'ы завезли ещё в C++11

Я имею ввиду полные constexpr, на конструкторы и их методы с членами, а не просто на функции...

Всем привет ??! Добрые люди, подскажите! Есть клиент и сервер! Запускаю все локально в разных потоках. Сервер также под каждый подключённый клиент создаёт поток. Вот к примеру есть 2 клиента и они общаются с сервером. После подключения с одного клиента я могу отправлять неопределенное количество смс, но как только я начинаю отправлять с другого клиента 2 и больше сообщений то при повторной попытке отправить смс с первого клиента - сервер не хочет их принимать! В чем может быть проблема ? Может с потоками что-то не так ?

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

https://stackoverflow.com/questions/5957933/server-wont-connect-to-more-than-one-client https://stackoverflow.com/questions/15560336/listen-to-multiple-ports-from-one-server

Это может помочь

Можно и не пробовать. И я не слышал, чтобы кто-то активно их портировал туда

Возможно, это как-то связано с тем, что ApplicationVerifier существовал до появления asan etc . :)

Ересь придумал. Мапить на нулевой адрес zero initialized write protected страницу. Тогда получаем nullptr эквивалентным пустой c строке. Или валидное разыменование nullptr как указателя на zero initialized структуру. Например как адрес пустого string view с нулевым размером ссылающегося на пустую c строку (см. выше).

На некотором железе так и работает. 0x0 валидный адрес.

Всем привет ??! Добрые люди, подскажите! Есть клиент и сервер! Запускаю все локально в разных потоках. Сервер также под каждый подключённый клиент создаёт поток. Вот к примеру есть 2 клиента и они общаются с сервером. После подключения с одного клиента я могу отправлять неопределенное количество смс, но как только я начинаю отправлять с другого клиента 2 и больше сообщений то при повторной попытке отправить смс с первого клиента - сервер не хочет их принимать! В чем может быть проблема ? Может с потоками что-то не так ?

Сервер accept делает?

Сервер accept делает?

постоянно, при этом если кто то новый подключился он ему дает новый поток

постоянно, при этом если кто то новый подключился он ему дает новый поток

Как бы потоки и аксепт вещи не связанные. Попробуй всё в одном потоке.

Как бы потоки и аксепт вещи не связанные. Попробуй всё в одном потоке.

я не так выразился - после подключения он создает новый поток

я не так выразился - после подключения он создает новый поток

И сервер и клиент это твой код? Перепиши сервер в один поток. Бритва оккама.

я не так выразился - после подключения он создает новый поток

А как выражается нежелание принимать?

А как выражается нежелание принимать?

принимать что?