--1.创建表空间 CREATE TABLESPACEf ts_demo DATAFILE 'D:\app\Administrator\oradata\orcl\ts_demo.dbf' SIZE 10M; --2.创建用户 CREATE USER testemp IDENTIFIED BY 123 ...
分类：
数据库 时间：
2020-05-25 10:57:05
阅读次数：
124
Scala 学习 样例类和模式匹配 1.样例类 样例类是Scala用来对对象进行模式匹配而并不用大量样板代码的方式。 样例类使用case作为修饰符，其特点如下： 1.添加一个跟类同名的工厂方法，用于对象构造 2.参数列表中参数隐式获得一个val前缀 3.编译器会添加一个copy方法用于制作修改过的拷 ...
分类：
其他好文 时间：
2020-05-25 00:04:56
阅读次数：
55
前提已掌握Django的基本初始化操作以及对整体框架的了解 一、首先在models层创建一个数据表（注意在admin里注册model并且初始化数据库（makemigrations、migrate）） 1 from django.db import models 2 3 # Create your m ...
分类：
数据库 时间：
2020-05-24 13:59:06
阅读次数：
51
基于redis的分布式锁(redisson) 分布式锁介绍： 我们在开发应用时，如果需要对一个共享变量进行多线程同步访问的时候，我们可以使用Java多线程的各个技能点来处理，保证完美运行无BUG。 但是这里的都只是单机应用，即在同一个JVM中；然后随着业务发展、微服务化，一个应用需要部署到多台服务器 ...
分类：
其他好文 时间：
2020-05-24 10:13:11
阅读次数：
47
官方文档：InnoDB Locking and Transaction Model 一、InnoDB存储引擎中的锁 1.共享锁和排它锁(Shared and Exclusive Locks)--行级别锁 InnoDB存储引擎实现了两种标准的行级锁： 共享锁(S)：允许持有该锁的事务读取一行记录。 排 ...
分类：
数据库 时间：
2020-05-23 16:24:29
阅读次数：
81
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
@(软件测试技术栈) Linux基础命令 文件类命令 1.磁盘与目录 df ls midir cd ，进入d盘，不是 ，CMD是 `cd ~`，跳转直自己的home目录 pwd $PWD 2.文件编辑 vi、vim i:insert a:append ESC:退回命令模式 ： w:write q:q ...
分类：
系统相关 时间：
2020-05-23 09:35:19
阅读次数：
79
本文是【WeX5的正确打开方式】系列的第6篇文章，简单介绍一下WeX5中数据组件的特性和结构形式。 数据组件的由来 上一篇 WeX5绑定机制我们实现了一个简单的记账本应用，当时所有数据都用 JSON 对象写在 js 代码里面，然后通过绑定机制将数据和UI界面 绑定起来。我们是这样写的： 1 var ...
分类：
其他好文 时间：
2020-05-22 21:18:49
阅读次数：
65
数据库结构 1. 项目目录结构 2. pom.xml 添加依赖 <?xml version="1.0" encoding="UTF-8"?> <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org ...
分类：
编程语言 时间：
2020-05-22 19:20:03
阅读次数：
51
