4GB以上超大文件上传和断点续传服务器的实现 随着视频网站和大数据应用的普及，特别是高清视频和4K视频应用的到来，超大文件上传已经成为了日常的基础应用需求。 但是在很多情况下，平台运营方并没有大文件上传和断点续传的开发经验，往往在网上找一些简单的PHP或者Java程序来实现基本的上传功能，然而在实际 ...
分类：
Web程序 时间：
2020-05-20 18:52:19
阅读次数：
70
面向对象设计与构造 第三单元 总结 一、JML规格化设计 JML，全称 ，是用于对Java程序进行规格化描述的注释性质语言。 笔者在本文总结了常见的JML语法描述。 1. 注释结构 在注释行或注释块中，以 开头的行被认作JML注释行。 java //行注释 //@ ensures \result = ...
分类：
其他好文 时间：
2020-05-20 17:18:55
阅读次数：
44
在 Java 的世界里遨游，如果能拥有一双善于发现的眼睛，有很多东西留心去看，外加耐心助力，仔细去品，往往会品出不一样的味道。 通过本次分享，能让你轻松 get 如下几点，绝对收获满满。 a）如何让 Java 程序实现优雅停服？有思想才是硬道理！ b）addShutdownHook 的使用场景？会用 ...
分类：
编程语言 时间：
2020-05-20 09:34:19
阅读次数：
71
OO第三单元总结 JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。JML以javadoc注释的方式来表示规格，每行都以@起头。而JM ...
分类：
其他好文 时间：
2020-05-20 00:19:58
阅读次数：
73
JML理论梳理与工具链分析 JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。 JML的注释结构 JML以javadoc注释的方式表示 ...
分类：
其他好文 时间：
2020-05-19 22:39:41
阅读次数：
56
spec:volumes:-name:time-localtimehostPath:path:/etc/localtimetype:‘volumeMounts:-name:time-localtimereadOnly:truemountPath:/etc/localtime此设置不需要配置PodPreset，但针对java项目，可能会发生时区针对java程序无法生效
分类：
其他好文 时间：
2020-05-19 10:57:43
阅读次数：
258
https://www.cnblogs.com/alsodzy/p/8527407.html 虽然写起动shell的频率非常不高。。。但是每次要写都要对付一大堆的jar文件路径，新加jar包也必须要修改起动shell。 在网上找到一个挺好的通用shell脚本。 只需要修改一些配置变量，就可以用来做起 ...
分类：
编程语言 时间：
2020-05-18 14:19:26
阅读次数：
57
来源：柠檬学园 以下是我用过不错的Intellij插件，分享给大家希望能帮到大家。 1.?.ignore ========== 地址： "https://plugins.jetbrains.com/plugin/7495 ignore" 生成各种ignore文件，一键创建git ignore文件的模 ...
分类：
编程语言 时间：
2020-05-18 12:27:40
阅读次数：
65
相信对Java程序员来说， synchronized 关键字对大家来说并不陌生，当我们遇到并发情况时，优先会想到用 synchronized 关键字去解决， synchronized 确实能够帮助我们去解决并发的问题，但是它会引起一些其他问题，比如最突出的一点就是程序效率问题，不过后面随着JDK1. ...
分类：
其他好文 时间：
2020-05-17 20:32:36
阅读次数：
132
IO简介 可以使用java程序对磁盘的文件进行操作 in/out相对于程序而言的输入(读取)和输出(写出)的过程。 在Java中，根据处理的数据单位不同，分为字节流和字符流 == in/out一定要区分方向 == 如下: 流 字节流: 针对二进制文件 1. 读取 (父类) 文件读取 高级读取 对象读 ...
分类：
其他好文 时间：
2020-05-16 18:49:24
阅读次数：
94
