如何设置堆栈预留空间才能保证程序安全?

具体方法如下：

1、针对不同的 *** 作系统液基和编译器，需要了解预留多少空间才能较好地保证程序安全。

2、在程序中设置堆栈预留空间的方法，可以通过在函数中添加 __attribute__((noinline, noclone)) 属性，然闹桥谨后使用 __builtin_alloca() 函数来预留空消逗间。

3、另外，也可以在编译时使用一些工具来检测和分析程序的堆栈使用情况。

2.1.读一致性

Java 中针对上述“读不安全”的问题提供了关键字 volatile 来解决问题，被 volatile 修饰的成员变量，在内容发生更改的时候，会通知所有线程去主内存更新最新的值，这样就解决了读不安全孙此岩的问题，实现了读一致性。

但是，读一致性是无法解决写一致性的，虽然能够使得每个线程都能及时获取到最新的值，但是1.1中的写一致性问题还是会存在。

既然如此，Java 为啥还要提供 volatile 关键字呢？这并非多余的存在，在某些场景下只需要读一致性的话，这个关键字就能够满足需求而且性能相对还不错，因为其他的能够保证“读写”都一直的办法，多多少少存在一些牺牲。

2.2.写一致性

Java 提供了三种方式来保证读写一致性，分别是互斥锁、自旋锁、线程隔离。

2.2.1.互斥锁

互斥锁只是一个锁概念，在其他场景也叫做独占锁、悲观锁等，其实就是一个意思。它是指线程之间是互斥的，某一个线程获取了某个资源的锁，那么其他线程就只能睡眠等待。

在 Java 中互斥锁的实现一般叫做同步线程锁，关键字 synchronized，它锁住的范围是它修饰的作用域，锁住的对象是：当前对象（对象锁）或类的全部对象（类锁）——锁释放前，其他线程必将阻塞，则御保证锁住范围内的 *** 作是原子性的，而且读取的数据不存在一致性问题。

对象锁：当它修饰方法、代码块时，将会锁住当前对象

类锁：修饰类、静态方法时，则是锁住类的所有对象

注意： 锁住的永扒芹远是对象，锁住的范围永远是 synchronized 关键字后面的花括号划定的代码域。

2.2.2.自旋锁

自旋锁也只是一个锁概念，在其他场景也叫做乐观锁等。

自旋锁本质上是不加锁，而是通过对比旧数据来决定是否更新：

---