which which会在PATH环境中搜寻可执行文件 whereis Linux会将系统里面所有的文件都搜集到一个数据库文件中，whereis从这个数据库文件里面寻找文件 locate locate的使用很简单，直接在命令后面输入文件名或者部分名称，就能得到结果。locate和whereis一样， ...
分类：
系统相关 时间：
2021-06-02 16:12:00
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
yum -y install podman 参考地址 https://yeasy.gitbook.io/docker_practice/podman ...
分类：
系统相关 时间：
2021-06-02 15:51:44
阅读次数：
0
from fastapi.staticfiles import StaticFiles app.mount(path='/coronavirus/',app=StaticFiles(directory=' ./coronavirus/static', name='static')) ...
Index Key Column VS Index Included Column Can someone explain this two - Index Key Column VS Index Included Column? Currently, I have an index that ha ...
分类：
其他好文 时间：
2021-06-02 14:39:23
阅读次数：
0
Cookie 1.定义 为了辨别用户身份，进行Session跟踪而储存在用户本地终端上的数据（通常经过加密）,即由用户（客户端)保存的数据，类型为小型文本文件。只能保存key、value均为字符串的数据。可短期或长期保存，保存时间可以设置。 2.相关数据 一个cookie对象只能保存一个信息。 一个 ...
分类：
编程语言 时间：
2021-06-02 14:39:07
阅读次数：
0
第一种模型(直连) 在上图的模型中，有以下概念： P：生产者，也就是要发送消息的程序 C：消费者：消息的接受者，会一直等待消息到来。 queue：消息队列，图中红色部分。类似一个邮箱，可以缓存消息；生产者向其中投递消息，消费者从其中取出消息。 第二种模型(work quene) Work queue ...
分类：
其他好文 时间：
2021-06-02 14:16:36
阅读次数：
0
FROM centos:8MAINTAINER xiaocaidaoRUN mkdir /usr/local/javaADD jdk-11.0.10_linux-x64_bin.tar.gz /usr/local/javaENV JAVA_HOME /usr/local/java/jdk-11.0. ...
分类：
编程语言 时间：
2021-06-02 14:15:02
阅读次数：
0
Map Map 对象保存键值对，并且能够记住键的原始插入顺序。任何值(对象或者原始值) 都可以作为一个键或一个值。 描述 一个Map对象在迭代时会根据对象中元素的插入顺序来进行 — 一个 for...of 循环在每次迭代后会返回一个形式为[key，value]的数组。 键的相等(Key equali ...
分类：
其他好文 时间：
2021-06-02 14:11:38
阅读次数：
0
一、概述 zookeeper 类似文件系统，client 可以创建节点、更新节点、删除节点，那么如何做到节点的权限的控制呢？zookeeper的access control list 访问控制列表可以做到这一点。 # 语法 # 采用特定的授权策略给特定的对象授予特定的权限 setAcl path a ...
分类：
其他好文 时间：
2021-06-02 14:07:32
阅读次数：
0
