Помогите понять значение данного дизассемблирования.

NeuronViking

Верно.

Пытаюсь докопаться до спинлока и понять чем он от мутекса отличается, кроме того что поток на заблокированном спинлоке находится в активном ожидании в цикле, а на заблокированном мутексе засыпает после чего планировщик переключает контекст. Вот ищу в исходниках истину... Может быть даже найду

 

Большое спасибо!!!

 

Написано:
test_and_set_bit - Set a bit and return its old value
This operation is atomic and cannot be reordered.

Код (Text):

1. lock bts addr, nr
2. sbb oldbit,oldbit

Почему set a bit and return its old value - это атомарная (неделимая) операция? А если после первой инструкции произойдет переключение контекста (то есть до того как CF запишется в oldbit), где тогда атомарность? Кто-нибудь знает?

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

 

Не хочется грубить... Какая инструкция выставляет флаг в CF? lock bts или sbb? Вернее, не так... CF после какой операции тебе нужно знать? lock bts или sbb? Что такое переключение контекста и что оно подразумевает? Включаем моск, включаем.

З.Ы. Такую тему надо в WASM.BEGINNERS переместить однозначно.

 

Nafanya

подолью маслеца.
а ить там еще есть call и ret, которые тоже не атомарные и к памяти обращаются. знаете кто нибудь?

 

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

Хотя бы там прерывания на время выполнения функции должны запрещаться (чтоб контекст не переключался) или ещё что-то...

А то может прям перед ret проц переключиться на другой поток и плакала вся атомарность...

 

:facepalm:

 

если тебе лениво читать мануалы, возьми и скомпилируй этот кусок кода затем открой дизасмом и посмотри во что превращаются эти волшебные строки.
сделав так, ты бы уже давно нашел все ответы. а так видится что ты пофлеймить захотел чесслово.