даже не думал что есть под ARM. спасибо, попробую

Я тож был удивлён, но люди на малинку себе собирают.

Привет. Кто-нибудь может посоветовать C++ lock-free thread-safe queue которая нормально работает на Raspberry Pi (ARM).

https://github.com/cameron314/concurrentqueue/blob/master/README.md

https://github.com/cameron314/concurrentqueue/blob/master/README.md

Но возможно придётся memory_order потюнить, я не знаю как там с этим в армах

https://github.com/cameron314/concurrentqueue/blob/master/README.md

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

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

Не думаю что быстрее сабжа :)

ну сравнивать и не хочу. потому что помимо скорости есть пропускная способность. типа сколько ждут обработки запроса. как парвило ждут гораздо дольше чем операции с очередью. а у меня под блокировкой просто 2 указателя меняются это очень мало

н6о преокт занятный надо убдет попробовать

так что за ссылочку спасибо

еще есть библиотека CDS. https://github.com/khizmax/libcds

но там куча контейнеров лок фри

и надо тюнить

Вот я совсем не курсе как тюнить под арм и всяких мемори барьеров

там не под арм а сам контейнер надо тюнить. там типа подобрать нужный сборщик мусора или еще какойто алгоритм работы с памятью. ну и выбрать нужный вариант контейнера из нескольких. вопщем глаза разбегаются. а вот все остальное там за тебя сделано и "под арм" тюнить не надо

и барьеры там все учтены

даже не думал что есть под ARM. спасибо, попробую

почему тебя должно волновать что у тебя арм?

Потому что там другая модель памяти

Потому что там другая модель памяти

у тебя модель памяти си++

Ну, либа то может не быть полностью рабочей

Ну, либа то может не быть полностью рабочей

значит она невалидный с++

если ты полез в такие дебри то тебе придется отлаживать и настраивать

под твою задачу

значит она невалидный с++

Я думаю, таких либ много

и то может быть что тебе локфри будет медленнее чем блокировки

так уже бывало

к тому же лок фри ничего не делает с тем фактом что для выделения памяти в маллоке мьютексы лочатся

тем не менее оператор нью и маллок внутри него одно из самых быстры реализаций которые ящупал

на глибцах

а вообще есть смысл обсуждать производительность аллокатора?

Емнип там очень неприятные требования типа вызов new является синхронизацией потоков

Емнип там очень неприятные требования типа вызов new является синхронизацией потоков

тогда локфри не существует?

ну так я пробовал гонять через гугл бенчмарк и нью и бустовские аллокаторы. и boehmgc и gnu шные аллокаторы типа pool, bitmap и mt_alloc. самые быстрые new bitmap и mt_alloc. причем походу даже от колва потоков не сильно зависит скорость

Офтоп конечно но чата специализированее у меня нет Можно ли взять интеграл в общем случае ?

Офтоп конечно но чата специализированее у меня нет Можно ли взять интеграл в общем случае ?

Задача взятия интеграла в элементарных функциях решается алгоритмически с точностью до чего-то

Этот результат зависит от обычного класса элементарных функций кардинальнейше

Ну я скорее о гипотетическом интеграле

Ебанутом

Потому мне кажется что в общем случае он не находится

А разве что апроксимируется

Я вас не понимаю

e^(-x^2) dx

Какой ответ вы хотите получить?

Никакой Я спрашиваю условно :"есть ли функция интеграл от которой не ищется"

Офтоп конечно но чата специализированее у меня нет Можно ли взять интеграл в общем случае ?

pro.math

Окей

Никакой Я спрашиваю условно :"есть ли функция интеграл от которой не ищется"

Вы ошибаетесь в этом моменте, определите "не ищется"

не ищется?

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

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

не выражается в элементарных функциях может?

там есть функции которые определяются как решение дифура

можно таких еще наопределять

Такие не нужны

Вроде если модуль добавить в класс элементарных, задача ломается

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

Да, это называется не берущийся интеграл. Если он не выражается через элементарные функции. Такие можно вычислить средствами вычислительной математики приближённо.

Спасибо

Да, это называется не берущийся интеграл. Если он не выражается через элементарные функции. Такие можно вычислить средствами вычислительной математики приближённо.

Очень бытовой термин

Да, это называется не берущийся интеграл. Если он не выражается через элементарные функции. Такие можно вычислить средствами вычислительной математики приближённо.

Что гуглить чтобы узнать как это делать ?

Что гуглить чтобы узнать как это делать ?

Квадратурные формулы

Очень бытовой термин

Как бы ты назвал? :)

Не интегрируется в конечном виде в элементарных функциях

@anastaysha163 вакансии у нас постят в отдельный канал через @AlexFails

Спасибо, что читаете правила чата.

прастити

Если в одном потоке выполняется b = true, а во втором потоке выполняется b = false, будет ли это data race с точки зрения c++? Больше с b нигде ничего не делается.

Если в одном потоке выполняется b = true, а во втором потоке выполняется b = false, будет ли это data race с точки зрения c++? Больше с b нигде ничего не делается.

тоесть нет чтения?

тоесть нет чтения?

В явном виде нет. Вопрос теоритический.

нафиг такую теорию

Дак будет ub или нет?

ну если все пишут но никто не читает то какой тут датарейс?

да и зачем писать чтото туда откуда потом не будет читаться?

Дак будет ub или нет?

> The execution of a program contains a data race if it contains two potentially concurrent conflicting actions, at least one of which is not atomic, and neither happens before the other, except for the special case for signal handlers described below.

а нет есть

Two expression evaluations conflict if one of them modifies a memory location ([intro.memory]) and the other one reads or modifies the same memory location.

"or modifies"

Это откуда?

из драфта

http://eel.is/c++draft/intro.races#2

толку от такогодата рейса если его нельзя обнаружить?

толку от такогодата рейса если его нельзя обнаружить?

Ну формально это ub, значит вся программа некорректна?

надо найти что data race это уб всегда

а не только при чтении

>Any such data race results in undefined behavior ладно

А что вы знаете про атомарнтость присвоения указателя? Слышал в лекции на распространенных платформах присваивание атомарно по дефолту. StackOverflow говорит, что нихера. А вы что скажете?

А что вы знаете про атомарнтость присвоения указателя? Слышал в лекции на распространенных платформах присваивание атомарно по дефолту. StackOverflow говорит, что нихера. А вы что скажете?

не атомарно ниче по дефолту

ваще ниче

даже bool

Ясно

ты читал энтони уильямса? если нет дуй читать

ты читал энтони уильямса? если нет дуй читать

Вот прям щас читаю?

на x86 по факту любая запись машинного слова выровненного атомарна

потому что блокируется шина

на x86 по факту любая запись машинного слова выровненного атомарна

только c++ это не x86

и тут другие правила

ну да

глупо тащить правила из разных вселенных

поэтому для х86 там все что не передавай в мемори модел все равно будет sequential consistency

ты читал энтони уильямса? если нет дуй читать

Это ты имеешь ввиду Parallel c++ in action?