Ubuntu系统安装软件时报以下错误： E: Sub-process /usr/bin/dpkg returned an error code (1) 解决： mv /var/lib/dpkg/info /var/lib/dpkg/info_old mkdir /var/lib/dpkg/info ...
分类：
系统相关 时间：
2020-05-28 20:06:50
阅读次数：
78
(jvisualvm.exe) 可以打开 visual vm，然后在 工具 --> 插件 --> 可用插件里面下载 （有时刷不出来，将设置代理点一下，点击不设置代理，再刷一下） 实在不行，就只能拿这个出错的链接自己想办法去下载了。下载了之后：工具 --> 插件 --> 已下载 进行离线安装 参考：h ...
分类：
其他好文 时间：
2020-05-27 18:27:04
阅读次数：
324
java的垃圾回收是自动化的，偶时候会出现内存溢出的情况，内存溢出也是jvm分配的内存中对象过多，超出了最大可分配内存的大小。 提到java的垃圾回收机制就不得不提一个方法：? System.gc()用于调用垃圾收集器，在调用时，垃圾收集器将运行以回收未使用的内存空间。它将尝试释放被丢弃对象占用的内 ...
分类：
编程语言 时间：
2020-05-27 00:58:56
阅读次数：
80
热点随笔： · Java GC（垃圾回收机制）面试讲解 (你个小秃头)· [翻译] .NET 官宣跨平台 UI 框架 MAUI (hez2010)· 走向统一的 .NET 旅程 (张善友)· 又是一年毕业季——程序员的苦与乐 (老於`)· 使用Flutter开发的抖音国际版 (风清扬 No.1)· ...
分类：
其他好文 时间：
2020-05-25 09:19:07
阅读次数：
81
OO第三单元总结 一、 JML语言的理论基础及应用工具链 （1）JML语言理论基础 1.原子表达式： \result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... ...
分类：
其他好文 时间：
2020-05-23 20:30:19
阅读次数：
59
一、现象 当上传附件时，系统反复出现宕机问题（内存溢出）。 二、分析 dump线程日志和GC日志，发现JVM启动参数未设置，初始内存较小，当附件上传时，附件较大，内存剧增，来不及扩容就OOM了。 三、解决方法 设置初始JVM启动参数（生产上应该先考虑项目JVM初始参数设置值，不是等到出问题了再跑去解 ...
分类：
其他好文 时间：
2020-05-23 16:36:41
阅读次数：
46
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 ...
分类：
其他好文 时间：
2020-05-23 13:26:34
阅读次数：
44
JML理论基础 表达式 | 含义 : : | : : \result | 返回值 \old() | 原值 \not_assigned() | 值为“括号中变量没有被赋值”的真值 \not_modified() | 值为“括号中变量值没有发生变化”的真值 \nonnullelements() | 括号 ...
分类：
其他好文 时间：
2020-05-23 10:00:49
阅读次数：
54
[toc] 简介 在java程序中，我们通过日志来定位和发现项目中可能出现的问题。在现代java项目中，我们使用log4j或者slf4j，Logback等日志记录框架来处理日志问题。 JVM是java程序运行的基础，JVM中各种事件比如：GC,class loading,JPMS,heap,thre ...
分类：
其他好文 时间：
2020-05-23 09:15:56
阅读次数：
58
