И смех, и грех

Ты можешь гарантироавть что в этом коде:

    if(!pthread_mutex_trylock(&writer)){
      if(!pthread_mutex_trylock(&queue)){
        printf("Parent wrote this string\n");
        ++global_ctr;
      }
      pthread_mutex_unlock(&writer);
    }

Ну банки всякие, сотовые компании. Газпромы и прочее. Правда по факту они чисто бумажкомаратели. Но есть и полезные (те что картами заняты например).

Могу ошибиться, но мьютекс это дешевый семафор. И еще тоже могу ошибиться он разве не для одного процесса только? Я просто они появились с появлением нитей. Семафор контролирует ядро, а при работе с мьютексом вроде контекст не переключался.

Семафоры и мьютексы - исключительно абстрактная концепция ничего общего с имплементацией не имеют. В венде я могу и семафоры и мьютексы испоьзовать как между потоками, там и между процессами. (Те, которые в win32).

Насколько я знаю, и для семафоров и для pthread mutex в glibc есть быстрые пути, которые в ядро не ныряют.

Быть такого не может.

Да но в затертых 90-х я про мьютексы кажысь не слышал. Услышал только при появлении мультитрединга. Могу ошибаться. Я тут заинтересовался беседой как раз чтоб припомнить.

Почему? Какие этому есть гарантии?

gcc — не безмозглый идиот таки.

И это вся гарантия? Т.е. если завтра ему вставят мозг получше и он увидит: 1) ага, mutex залочить нелзья, значит мне не надо соблюдать строгий порядок операций, обращение к &mutex внутри if нету, то я могу смело вызвать unlock сразу после if(!try_lock())
2) вставят еще больше мозгов и он режит: ага, т.е. ты не имеешь права делать unlock, если ты не получил mutex, значит мы выдадим warning и выкинем к чертям собачьим этот unlock

Результат: код поломался.

Почитай Александреску про Double-Checked Singleton. (Это конечно ничего общего кроме «многопоточности» с этим случаем не имеет, но тем не менее). Там забавные примеры войны с компилятором.

Что за чушь ты несешь?

Я на такое ни разу не натыкался, иначе знал бы о подобных выкрутасах! А вообще, обычно volatile хватает. Ну и внимательно нужно при работе с openMP за аргументами смотреть. Хотя, вовсю юзаю openMP, полет нормальный. Думал эти фильтры на CUDA еще реализовать, но пока как-то несерьезно: в подавляющем большинстве случаев перенос данных из памяти в память и обратно займет дофигища времени.

http://www.hpl.hp.com/techreports/2005/HPL-2005-217R1.pdf

А вообще, обычно volatile хватает

Полюдема с многопоточными приложениями в том, что если ты полагаешься на выражания «должно», «обычно» в сочетании со словом «работает», то с большой вероятностью найдутся такие условия, где твоя прога начнет некорректно работать.

Если они найдутся, то переделаю, чтобы работала.

А потом протоны падают.

насрать

Где моя печенька? Я выполнил условия задачи <по примитивам синхронизации> — доказательство опровеждением на примере. :D

А все, теперь никаких печенек до следующего года.

Ну вот. :'(

Ну банки всякие

как то один чувак рассказывал что банки редко держут классных специалистов у себя. Чаще всего это аутсорс.

сотовые компании

А это уже поинтереснее.

бумажкомаратели

ужас(

Но есть и полезные (те что картами заняты например).

эээ.... о чем речь?

Мьютекс — это глобальная переменная. И ему насрать, в какой точке ты его заблокируешь, а в какой разблокируешь!

А re-enterable mutex-у тоже насрать, в каком потоке его будут разблокировать?

У нас же Королев начал все с нуля.

... 10 декабря 1948 года с пусковой установки на полигоне Капустин Яр успешно стартовала и, пролетев около 300 км, попала в заданную цель баллистическая жидкостная ракета дальнего действия Р-1 (модификация ракеты «Фау-2»), созданная под руководством С. П. Королёва, а вскоре в ОКБ-1 был разработан вариант ракеты Р-1, специально предназначенный для запуска по вертикальной траектории для геофизических исследований и получивший обозначение В-1А. Стартовая масса ракеты составляла около 14 т, высота подъема — до 100 км[4] ...

Возможно, они нужны. Мне - нет.

Я вам больше скажу, перекись водорода, впервые использованная для турбонасосного агрегата Фау-2, до сих пор используется в двигателях РД-107 и РД-108. Так что наследие немцев живёт и работает!

Оба.

О наболевшем

Любовь к истине

В науке нормально стоять на плечах гигантов, в образовании желательно делать миниоткрытия каждый день, желательно опровергая гигантов.
И не путаем интернациональную научную практику и разные системы образования. Ясно что в СССР массовое образование было лучше.

Дай контекст. А то договоришься, что у тебя MTA отправитель. А вообще,именно поэтому ненавижу лекции и учебники на русском.

Препод читал по безопасности, студент превратил в семинар по логике. Цирк.

Раньше появилось. На той же википедии ссылки на книги 86-го года.

Я ничего не говорю. Мы изучали ЧТО такое цифровая подпись. Про МТА небыло ничего. Изучали симметричные и не симметричные ключи и прочее.

Преподаватель диктует определение - цифровая подпись удостоверяет ОТПРАВИТЕЛЯ сообщения.

разве в c/c++ вообще могут быть хоть какие-то гарантии?

Почитай Александреску про Double-Checked Singleton. (Это конечно ничего общего кроме «многопоточности» с этим случаем не имеет, но тем не менее). Там забавные примеры войны с компилятором.

кстати, когда проектировали Джаву, в которой double-checked locking не работает, создатели просто написали, что оно ненужно:

There exist a number of common but dubious coding idioms, such as the double-checked locking idiom, that are proposed to allow threads to communicate without synchronization. Almost all such idioms are invalid under the existing semantics, and are expected to remain invalid under the proposed semantics.

Какие гарантии дает жаба, если jvm на C/C++ написан? :)

http://www.aristeia.com/Papers/DDJ_Jul_Aug_2004_revised.pdf

«Scope, schmope. Game Over. You Lose.» :D

Ты и в шейдеры не можешь :) Юзкейс где нужно из чужого потока разблокировать занятый другим мьютекс — это какой-то тотальный «мисконсепшон» мьютекса. Если тебе не нужно, чтоб поток ждал на мьютексе — ну так не пользуйся мьютексами. А так — RAII в плюсах и придумано, чтоб ты не выделывался с ручными анлоками через дырки в архитектуре, позволяющие тебе выстрелить в ногу или тормозить в повороте.

много разработчиков хачат jvm под конкретные комбинации процессора, компилятора и ос, автоматически (хитрыми тулзами) и вручную (глазами) вычитывая все частные случаи и машинный код, чтобы на поддерживаемых платформах выполнялись например требования java memory model.

на плохо поддерживаемых комбинациях процессор/ос/тулчейн могут быть все виды цирка с конями. Например, Java 8 под OSX все еще переполнена багами. Если пустить под Java8 такую безобидную прогу как IntelliJ IDEA, jvm будет время от времени падать с оправданиями «ой, я нешможло, вот по этому адресу ерунда, прощай жестокий мир». А если пускать под Java от самой Apple (которая только Java 6, потом они отказались ее поддерживать), такого не будет.

Ты и в шейдеры не можешь

Я ж не BDSM, чтобы вместо GLUT гланды через жопу выдирать!

Дадад, сорта БДСМ — мсье разбирается :) Использовать микроскопы не по назначению не привыкать :)