Есть спек, по спеку это действие не атомарное, да оно и не обязано быть атомарным.
Просто есть разные вариации семафоров - от обеспечивающих жесткую очередность до вот таких. Причем, судя по документации, на linux они именно что "вот такие".
Что, конечно, не мешает реализовать их с более строгим fairness на практике.
no subject
Есть спек, по спеку это действие не атомарное, да оно и не обязано быть атомарным.
Просто есть разные вариации семафоров - от обеспечивающих жесткую очередность до вот таких. Причем, судя по документации, на linux они именно что "вот такие".
Что, конечно, не мешает реализовать их с более строгим fairness на практике.