1.用堆和栈分配一个变量可能在以后的执行中产生意想不到的结果,而这个结果的表现就是内存的非法被访问,导致内存的内容被修改。
理解这个现象的两个基本概念是:在一个进程的线程共享堆区,而进程中的线程各自维护自己的堆栈。
如果声明一个成员变量,如char name[200],随着这段代码调用的结束,name在栈区的地址会被释放。而如果是char* name = new char[200];情况完全不同,除非显式调用delete,否者name指向的地址不会被释放。
在程序B中如果用栈区即采用临时变量的机制分配声明V和堆区,两者的结果是不同。如果用栈区,如果变量地址为Am1-Am2这么大,退出B调用时候这段地址会被释放,C函数可能将这段内存进行改写;这样当程序D执行的时候,从内存Am1-Am2中读取的内容就是被改过的了。而如果用New(堆)分配,则不会出现那样的情况,因为没有显式调用delete并且堆对于线程共享,即线程2可以看到线程1在堆里分配的东西,所以不会发生改写。
2.线程共享的环境包括:进程代码段、进程的公有数据(利用这些共享的数据,线程很容易实现相互之间的通讯)、进程打开的文件描述符、信号的处理器、进程的当前目录和进程用户ID和进程组ID。
进程拥有这些共性的同时,还拥有自己的个性。有了这些个性,线程才能实现并发性。这些个性包括: