Являются ли статические переменные неустойчивыми?

Question

У меня есть эта Rust программа:

use std::{thread, time}; 

static mut c:bool = false; 

fn main() { 
    unsafe { 
     // call some FFI program which sets up signals 
     c = false; 
     while !c { 
      thread::sleep(time::Duration::from_millis(10)); 
     } 
    } 
} 

Я дам указатель на c в какой-то программе FFI, который устанавливает сигналы, которые изменяют c. Как я могу убедиться, что компилятор не устранит цикл while, так как он принимает c никогда не изменится?

C имеет ключевое слово volatile, которое сообщает компилятору не оптимизировать эти примеры. Как я могу сказать компилятору Rusty то же самое?

(Я пытался прочитать код LLVM IR, но не смог понять, как его понять).

Answer 1

Нет, статические переменные нестабильны.

Правильное решение в пределах ржавчины - использовать AtomicBool. Следующий пример (из std::sync::atomic) очень похоже на то, что вы хотите сделать:

use std::sync::Arc; 
use std::sync::atomic::{AtomicUsize, Ordering}; 
use std::thread; 

fn main() { 
    let spinlock = Arc::new(AtomicUsize::new(1)); 

    let spinlock_clone = spinlock.clone(); 
    let thread = thread::spawn(move|| { 
     spinlock_clone.store(0, Ordering::SeqCst); 
    }); 

    // Wait for the other thread to release the lock 
    while spinlock.load(Ordering::SeqCst) != 0 {} 

    if let Err(panic) = thread.join() { 
     println!("Thread had an error: {:?}", panic); 
    } 
} 

Вы могли бы сделать это таким образом, через некоторый обратный вызов из обработчика сигнала в Русте.

Существуют также небезопасные функции std::ptr::read_volatile и std::ptr::write_volatile, которые могут использоваться для прямого доступа к памяти. Обычно они должны использоваться только для доступа к аппаратным регистрам или для реализации безопасных абстракций.