嵌入式多线程开发，多线程共享数据什么时候需要使用volatile？

一般我们在多线程开发过程中，多个线程共享的全局变量或数据的时候都需要加互斥锁或者用信号量同步。
但是有的时候编译器还会优化的，例如写一个变量的时候，可能没有写到内存中，只是写在了本地的寄存器中，
这样多线程的时候一个线程修改了一个变量，另一个线程可能是不知道的，所以我认为多线程共享的全局变量应该使用volatile声明才安全。
但是在实际开发当中，很少看到多线程全局共享变量加volatile。不知道这样可以保证系统安全吗？