В документации сказано, что STREX возвращает единицу, и не трогает память по заданному адресу, если видит, что другой поток или процесс выполнил обращение к памяти в промежутке между LDREX и STREX. А по каким признакам определяется жизнедеятельность другого процесса/потока? Как ядро определяет, что память трогал именно другой процесс/поток?