一.JML相关 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法： （1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。 （2）针对已有的代码实现，书写其对应 ...
分类：
其他好文 时间：
2020-05-23 11:36:04
阅读次数：
44
jenkins安装 mac下 jenkins配置allure commandline报错 is not a directory on the Jenkins master (but perhaps it exists on some agents) 查找的方法： https://blog.csdn. ...
分类：
系统相关 时间：
2020-05-23 11:22:23
阅读次数：
424
DELIMITER $$ DROP PROCEDURE IF EXISTS create_calendar $$ CREATE PROCEDURE create_calendar (s_date DATE, e_date DATE) BEGIN -- 生成一个日历表 SET @createSql = ...
分类：
数据库 时间：
2020-05-22 19:01:06
阅读次数：
482
这次在上一篇的基础上，这次用到4个库，将库db0、db1各增加一个从库dbS0\dbS1 四个库再执行脚本： -- Table structure for `user0`-- DROP TABLE IF EXISTS `user0`;CREATE TABLE `user0` ( `id` int(1 ...
分类：
编程语言 时间：
2020-05-22 15:33:58
阅读次数：
89
关于事务，我很不能理解，什么事务隔离级别、事务回滚、锁机制等。而且很让我困惑的是，查了那么多的博客，我依旧没看懂，信心备受打击，决心就算要花很多时间，都要把这些东西弄懂。 DROP TABLE IF EXISTS ; CREATE TABLE ( int(0) NOT NULL AUTO_INCRE ...
分类：
数据库 时间：
2020-05-21 19:06:30
阅读次数：
74
1、os模块常用命令： import os①os.pathprint(os.path.join('e:','movies','a.mp4'))#拼路径，等同于"E:\\movies\\"+'a.mp4'print(os.path.exists('e:'))#判断目录/文件是否存在print(os.p ...
分类：
编程语言 时间：
2020-05-21 10:27:41
阅读次数：
82
时区转换 主要是用来转换时区用的，特别涉及到冬令时和夏令时的区域，这样会很烦，所以需要用个方法来转换 这个主要是创建一些模型 下面的是具体的方法 具体用法如下面的代码所示 ...
分类：
其他好文 时间：
2020-05-21 09:24:22
阅读次数：
49
十、PostgreSQL12.2IN/EXISTS/ANY/ALL/JOIN百花争鸣1、IN/EXISTS/ANY/ALL哪个好?2、相同业务IN/EXISTS/ANY/ALL/INNERJOIN解决方案对比。3、相同业务NOT(IN/EXISTS/ANY/ALL)解决方案对比。4、数据量的增长对性能带来的严重影响如何解决?5、我们是否应该意识到更多的复杂性?6、给开发人员的建议!这是针对Post
分类：
数据库 时间：
2020-05-20 20:08:45
阅读次数：
80
本篇将会讲解应用部署到Kubenetes集群，集群副本集查看，集群自愈能力演示，集群扩容，滚动升级，以及回滚。 本篇是Docker&Kubenetes系列的第四篇，在前面的篇幅中，我们向Kubenetes中部署了单个应用实例。如果单个节点故障了，那么服务就不可用了，这在实际环境中是不能接受的。在实际 ...
分类：
Web程序 时间：
2020-05-19 22:36:49
阅读次数：
78
以上错误出现在使用 echarts 组件时，未导入或者使用不正确的情况下。 检查是否导入 line 或者 bar 这一类具体的 chart，比如： import 'echarts/lib/chart/line' 如果导入了，那么检查是否使用错误的情况。 比如，以下 type 使用的是 bar，但是实 ...
分类：
其他好文 时间：
2020-05-19 20:59:44
阅读次数：
65
