-
volatile到底解决了什么问题？
volatile到底解决了什么问题？ 本文面向的读者是对java熟悉，并对volatile有一定的了解的java programer。(volatile简介：https://www.ibm.com/developerworks/cn/java/j-jtp06197.html 建议先看前几段了解下即可。不看happens-before等java理论）市面上对该关键字的解...
-
SpringBoot快速入门01--环境搭建
SpringBoot快速入门01--环境搭建 SpringBoot 快速入门 -- 环境搭建 1、 创建web 工程 1.1 创建新的工程。 1.2 选择 maven 工程，点击下一步。 1.3 填写 groupid （ maven 的项目名称）和 artifactid （项目模块）。点击下一步 1.4 确认自己的项目路径后，点击 finish...
-
[SpringBoot] Hello World!
[SpringBoot] Hello World! [SpringBoot] Hello World! 别人的博客是别人的，别人的文章是别人的，别人的总结是别人的，我写的才是我的，不是你的！ 看了这么多SpringBoot的HelloWorld，其实每次看都要根据博主的思路梳理一次，要么时间有点久，要么环境什么的不匹配，...
-
Springboot笔记01——Springboot简介
Springboot笔记01——Springboot简介 一、什么是微服务 在了解Springboot之前，首先我们需要了解一下什么是微服务。 微服务是一种架构风格（服务微化），是martin fowler在2014年提出来的。微服务简单地说就是：一个应用应该是一组小型的服务，他们通过HTTP的方形进行...
-
跟我学SpringCloud | 第一篇：介绍
跟我学SpringCloud | 第一篇：介绍 SpringCloud系列教程 | 第一篇：介绍 首先讲一下我为什么要写这一系列的文章，现在网上大量的springcloud相关的文章，使用的springboot和springcloud的版本都相对比较老，很多还是在使用springboot1.x的版本，如果尝鲜想使用springbo...
-
递归（三）：排列
递归（三）：排列 排列组合是组合学最基本的概念。所谓排列，就是指从给定个数的元素中取出指定个数的元素进行排序。组合则是指从给定个数的元素中仅仅取出指定个数的元素，不考虑排序。 排列与组合在日常生活中应用较广，比如在考虑某些事物在某种情况下出现的次数时...
-
JML起步---使用JML 改进你的Java程序(4)
内容: 来自:http://www-106.ibm.com/ 作者:Joe Verzulli 异常行为 前面给出的行为规范要求调用peek() 和 pop()方法时队列不能为空，但其实当队列空时是有可能会调用这两个方法的。如果发生这种情况，这两个方法就会抛出一个NoSuchElementException.异常。我们必须修正我...
-
JML起步---使用JML 改进你的Java程序(3)
内容: 来自:http://www-106.ibm.com/ 作者:Joe Verzulli 副作用 请大家回忆一下代码段2中pop()方法的后处理代码： ensures elementsInQueue.equals(((JMLObjectBag) old(elementsInQueue)) .remove(result)) result.equals(old(peek())); 这里我们说有一个副作用，那就...
-
JML起步---使用JML 改进你的Java程序(1)
内容: 来自:http://www-106.ibm.com/ 作者:Joe Verzulli Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。本教程中，Java程序设计资深顾问Joe Verzulli 将会给大家介绍这一新的工具以及如何...
-
JML起步---使用JML 改进你的Java程序(2)
内容: 来自:http://www-106.ibm.com/ 作者:Joe Verzulli 量词（Quantification）（译者注：这里量词的意思与逻辑学上的量词意思相近，而不是普通意义上理解的量词。） 在上面pop()方法的行为规范中，我们说它的返回值要等于peek()方法的返回值，不过我们并没有看到关于p...
IDC资讯： 主机资讯 注册资讯 托管资讯 vps资讯 网站建设
网站运营： 建站经验 策划盈利 搜索优化 网站推广 免费资源
网络编程： Asp.Net编程 Asp编程 Php编程 Xml编程 Access Mssql Mysql 其它
服务器技术： Web服务器 Ftp服务器 Mail服务器 Dns服务器 安全防护
软件技巧： 其它软件 Word Excel Powerpoint Ghost Vista QQ空间 QQ FlashGet 迅雷
网页制作： FrontPages Dreamweaver Javascript css photoshop fireworks Flash