qq_37714601-CSDN博客

原创 FSP相关笔记

1.Safety properties: nothing bad happens during exeution.2.Liveness properties: something good eventually happens.3.Safety properties are used to specify some desirable properites and check that t

2017-04-05 18:21:02 789

转载 Java基础之static

参考：http://lavasoft.blog.51cto.com/62575/18771static表示“全局”或者“静态”的意思，用来修饰成员变量和成员方法，也可以形成静态static代码块，但是Java语言中没有全局变量的概念。被static修饰的成员变量和成员方法独立于该类的任何对象。也就是说，它不依赖类特定的实例，被类的所有实例共享。只要这个类被加载，Java虚拟

2017-03-03 19:07:34 221

原创 Java多线程之Synchronized应用在static和非static方法上的区别

同步static方法：public class Bank implements Runnable{ static int money = 2700; //注意区别 public static synchronized void Withdraw() { //public synchronized void Withdraw() { for(int i=0; i<3;i++){

2017-03-03 18:20:56 363

原创 Java多线程之互斥

The properites of Mutex solution:Mutual exclusion: only one process may be active in its critical section at a time.No deadlock: if one or more processes are trying to enter their critical sec

2017-03-02 16:48:06 218

原创 Java多线程之知识点

1.main方法结束不耽误线程进度，线程可以继续执行至线程内任务结束。2.thread.sleep()可以休眠线程，例如thread.sleep(1000)可以休眠线程1秒，但是可以被thread.interrupt()打断。3.thread.setPriority() 可以设置线程优先级，主线程优先级为5，然而并非优先级高就可以先执行，仍旧取决于CPU资源分配。

2017-03-01 19:59:01 241

原创 Java多线程之两种启动线程方式

启动线程有两种方式，第一种是extends Thread，第二种是implements Runnable.代码如下：继承Thread：public class MyThread extends Thread{ public String name; public MyThread(String n){ name = n; } public void

2017-03-01 17:33:35 435

原创 Java多线程之run()与start()

public class MyThread extends Thread{ public String name; public MyThread(String n){ name = n; } public void run(){ for (int i = 1; i <= 3; i++) { System.out.println(name+" "+i); }

2017-03-01 17:09:28 202

qq_37714601的博客