servlet开发（二）之servlet的线程安全问题

之所以考虑线程安全问题，是因为引入了多线程。多线程指的是这个程序（一个进程）运行时产生了不止一个线程。如果不考虑多线程的话，程序执行只有一条路径，就像人在敲代码的时候只能敲代码，不能戴上耳机听歌。引入多线程，人在敲代码的时候还能听歌，解决一件事情的时候做了另一件事情，效率大大提高了（虽然敲代码的时候听歌不是为了听歌）。用多线程只有一个目的，那就是更好的利用cpu的资源。

servlet/jsp技术和asp、php等相比，由于其多线程运行而具有很高的执行效率。由于servlet/jsp默认是以多线程模式执行的，所 以，在编写代码时需要非常细致地考虑多线程的安全性问题。

servlet的多线程机制

servlet体系结构是建立在java多线程机制之上的，它的生命周期是由web容器负责的。当客户端第一次请求某个servlet时，servlet容器将会根据web.xml配置文件实例化这个servlet类。当有新的客户端请求该servlet时，一般不会再实例化该servlet类，也就是有多个线程在使用这个实例。servlet容器会自动使用线程池等技术来支持系统的运行。

这样，当两个或多个线程同时访问同一个servlet时，可能会发生多个线程同时访问同一资源的情况，数据可能会变得不一致。所以在用servlet构建的web应用时如果不注意线程安全的问题，会使所写的servlet程序有难以发现的错误。

servlet的线程安全问题

servlet的线程安全问题主要是由于实例变量使用不当而引起的，这里以一个现实的例子来说明。

package myservlet;

import java.io.ioexception;
import java.io.printwriter;
import javax.servlet.servletexception;
import javax.servlet.annotation.webservlet;
import javax.servlet.http.httpservlet;
import javax.servlet.http.httpservletrequest;
import javax.servlet.http.httpservletresponse;

@webservlet("/myservletdemo")
public class myservletdemo extends httpservlet {
	
	    printwriter output;
	    @override
	    protected void service(httpservletrequest request, httpservletresponse response)
	            throws servletexception, ioexception {
	        string  username;
	        response.setcontenttype("text/html;charset=gb2312");
	        username=request.getparameter("username");
	        output=response.getwriter();
	        try {
	            //为了突出并发问题，在这设置一个延时
	            thread.sleep(5000);
	            output.println("用户名:"+username+"<br>"); 
	        } catch (exception e) {
	            e.printstacktrace();
	        }
	    }
	}

 该servlet中定义了一个实例变量output，在service方法将其赋值为用户的输出。当一个用户访问该servlet时，程序会正常的运行，但当多个用户并发访问时，就可能会出现其它用户的信息显示在另外一些用户的浏览器上的问题。这是一个严重的问题。为了突出并发问题，便于测试、观察，我们在回显用户信息时执行了一个延时的操作。假设已在web.xml配置文件中注册了该servlet，现有两个用户a和b同时访问该servlet（可以启动两个ie浏览器，或者在两台机器上同时访问）,即同时在浏览器中输入：

http://localhost:8081/mywebproject/myservletdemo?username=a

http://localhost:8081/mywebproject/myservletdemo?username=b

如果用户b比用户a回车的时间稍慢一点，将得到如下图所示的输出：

从上图可以看到，web服务器启动了两个线程分别处理来自用户a和用户b的请求，但是在用户a的浏览器上却得到一个空白的屏幕，用户a的信息显示在用户b的浏览器上。该servlet存在线程不安全问题。

分析一下为什么会出现这样的情况。

java的内存模型jmm（java memory model）：jmm主要是为了规定了线程和内存之间的一些关系。根据jmm的设计，系统存在一个主内存(main memory)，java中所有实例变量都储存在主存中，对于所有线程都是共享的。每条线程都有自己的工作内存(working memory)，工作内存由缓存和堆栈两部分组成，缓存中保存的是主存中变量的拷贝，缓存可能并不总和主存同步，也就是缓存中变量的修改可能没有立刻写到主存中；堆栈中保存的是线程的局部变量，线程之间无法相互直接访问堆栈中的变量。我们结合下图来分析当用户a和b的线程（简称为a线程、b线程）并发执行时，servlet实例中所涉及变量的变化情况及线程的执行情况。

从上图可以清楚的看到，由于b线程对实例变量output的修改覆盖了a线程对实例变量output的修改，从而导致了用户a的信息显示在了用户b的浏览器上。如果在a线程执行输出语句时，b线程对output的修改还没有刷新到主存，那么将不会出现上上图所示的输出结果，因此这只是一种偶然现象，但这更增加了程序潜在的危险性。

设计线程安全的servlet

针对servlet的线程安全问题，sun公司是提供有解决方案的：让servlet去实现一个singlethreadmodel接口，如果某个servlet实现了singlethreadmodel接口，那么servlet引擎将以单线程模式来调用其service方法。

 查看sevlet的api可以看到，singlethreadmodel接口中没有定义任何方法和常量，在java中，把没有定义任何方法和常量的接口称之为标记接口，经常看到的一个最典型的标记接口就是"serializable"，这个接口也是没有定义任何方法和常量的，标记接口在java中有什么用呢？主要作用就是给某个对象打上一个标志，告诉jvm，这个对象可以做什么，比如实现了"serializable"接口的类的对象就可以被序列化，还有一个"cloneable"接口，这个也是一个标记接口，在默认情况下，java中的对象是不允许被克隆的，就像现实生活中的人一样，不允许克隆，但是只要实现了"cloneable"接口，那么对象就可以被克隆了。

让servlet实现了singlethreadmodel接口，只要在servlet类的定义中增加实现singlethreadmodel接口的声明即可。即类头定义为：

public class myservletdemo extends httpservlet implements singlethreadmodel{ }

 singlethreadmodel不会解决所有的线程安全隐患。 例如，会话属性和静态变量仍然可以被多线程的多请求同时访问，即便使用了singlethreadmodel servlet。此外， 如果一个servlet实现了singlethreadmodel接口，servlet引擎将为每个新的请求创建一个单独的servlet实例，这将引起大量的系统开销。建议开发人员应当采取其他手段来解决这些问题，而不是实现该接口，比如 避免实例变量的使用或者在访问资源时同步代码块。该接口在servlet　api 2.4中将不推荐使用。来看看在访问资源时同步代码块。

同步对共享数据的操作

使用synchronized 关键字能保证一次只有一个线程可以访问被保护的区段，在本论文中的servlet可以通过同步块操作来保证线程的安全。

package myservlet;

import java.io.ioexception;
import java.io.printwriter;
import javax.servlet.servletexception;
import javax.servlet.annotation.webservlet;
import javax.servlet.http.httpservlet;
import javax.servlet.http.httpservletrequest;
import javax.servlet.http.httpservletresponse;

@webservlet("/myservletdemo")
public class myservletdemo extends httpservlet {
	
	    printwriter output;
	    @override
	    protected void service(httpservletrequest request, httpservletresponse response)
	          throws servletexception, ioexception {
	    		string  username;
		        response.setcontenttype("text/html;charset=gb2312");
		        username=request.getparameter("username");
                        synchronized (this) {
		            output=response.getwriter();
		            try {
		                //为了突出并发问题，在这设置一个延时
		                thread.sleep(5000);
		                output.println("用户名:"+username+"<br>"); 
		            } catch (exception e) {
		                e.printstacktrace();
		            }
		        }
	    	}
	}

 再次按上述方式浏览时：

在程序中使用同步来保护要使用的共享的数据，也会使系统的性能大大下降。这是因为被同步的代码块在同一时刻只能有一个线程执行它，使得其同时处理客户请求的吞吐量降低，而且很多客户处于阻塞状态。在实际的开发中也应避免或最小化 servlet 中的同步代码。

避免使用实例变量本实例中的线程安全问题是由实例变量造成的，只要在servlet里面的任何方法里面都不使用实例变量，那么该servlet就是线程安全的。修正上面的servlet代码，将实例变量改为局部变量实现同样的功能。

package myservlet;

import java.io.ioexception;
import java.io.printwriter;
import javax.servlet.servletexception;
import javax.servlet.annotation.webservlet;
import javax.servlet.http.httpservlet;
import javax.servlet.http.httpservletrequest;
import javax.servlet.http.httpservletresponse;

@webservlet("/myservletdemo")
public class myservletdemo extends httpservlet {
	    @override
	    protected void service(httpservletrequest request, httpservletresponse response)
	          throws servletexception, ioexception {
	            printwriter output;
	            string username;
	            response.setcontenttype("text/html;charset=gb2312");
	            username=request.getparameter("username");
	            synchronized(this){
	                output=response.getwriter();
	                try {
	                    //为了突出并发问题，在这设置一个延时
	                    thread.sleep(5000);
	                    output.println("用户名:"+username+"<br>"); 
	                } catch (exception e) {
	                    e.printstacktrace();
	                }
	            }
	        }
	}

在serlet中避免使用实例变量是保证servlet线程安全的最佳选择。从java 内存模型也可以知道，方法中的临时变量是在栈上分配空间，而且每个线程都有自己私有的栈空间，所以它们不会影响线程的安全。如果应用程序设计无法避免使用实例变量，那么使用同步来保护要使用的实例变量，但为保证系统的最佳性能，应该同步可用性最小的代码路径。

搜索微信公众号“程序员考拉”，关注更多精彩内容！