码迷,mamicode.com
首页 > 2017年12月29日 > 全部分享
形式化验证工具(PAT)Perterson Algorithm学习
今天学习一下Perterson Algorithm. 这个算法是使用三个变量来实现并发程序的互斥性算法。 具体看一下代码: Peterson算法是一个实现互斥锁的并发程序设计算法,核心就是三个标志位是怎样控制两个方法对临界区的访问,这个算法设计的想当精妙,我刚开始看的时候就被绕了一下。 算法使用两个 ...
分类:其他好文   时间:2017-12-29 15:26:08    阅读次数:134
apue 第19章 伪终端
伪终端是指对于一个应用程序而言,他看上去像一个终端,但事实上它并不是一个真正的终端。 进程打开伪终端设备,然后fork。子进程建立一个新的会话,打开一个相应的伪终端从设备。复制输入、输出和标准错误文件描述符,调用exec,子进程从设备编程伪终端。 伪终端能像终端一样,但是无意义的函数调用如改变波特率 ...
分类:其他好文   时间:2017-12-29 15:25:57    阅读次数:200
vue-cli打包之后页面为空的问题。
做了一个demo,想看一下打包之后的样子,发现页面是空的。 发现问题就要解决: 1.首先看控制台没有报任何错误,那就证明我们的代码是没有任何问题的。 只能是路径问题造成的。 2.在路由router/index.js中加入一个404页面,代码引入创建之类的就不说了。也就是说只要路径错误,Error这个 ...
分类:其他好文   时间:2017-12-29 15:25:49    阅读次数:146
hibernate 常识
应用程序与hibernate是通过持久化类通信:hibernate需要访问的属性一定要在*.hbm.xml中定义,不一定在持久化类中定义,但持久化类一定要提供该属性的set和get方法。如果持久化类里有一个属性,数据库中表没有对应字段,可以用*.hbm.xml中的formula属性做对应关系,例如下图,持久化类中有totalPrice属性,数据库表里没有4.5.
分类:Web程序   时间:2017-12-29 15:25:41    阅读次数:132
3.部署场景1:带有遗留的Open vSwitch
部署场景1:带有遗留的Open vSwitch 此场景描述了使用带有Open vSwitch(OVS)的ML2插件的OpenStack网络服务的(基本)实现。 遗留的实现通过为普通用户提供一种方法来管理自助服务的虚拟数据中心基础设施的网络部分,他们可以在一个项目中管理虚拟网络,包括以下组件 项目(租 ...
分类:其他好文   时间:2017-12-29 15:25:34    阅读次数:131
POJ 3181 Dollar Dayz ( 完全背包 && 大数高精度 )
题意 : 给出目标金额 N ,问你用面额 1~K 拼成 N 的方案有多少种 分析 : 完全背包的裸题,完全背包在 DP 的过程中实际就是列举不同的装填方案数来获取最值的 故状态转移方程为 dp[i] += dp[j-w[i]] 但是这题怎么可能那么简单呢! N 和 K 的上限导致答案过大,需要使用高 ...
分类:其他好文   时间:2017-12-29 15:25:25    阅读次数:136
HTTP 超文本协议
转载 :http://mp.weixin.qq.com/s/3d3zhksViX2NTuIssiYGJg ...
分类:Web程序   时间:2017-12-29 15:25:02    阅读次数:122
判断页面是否在iframe中,
//判断页面是否在iframe中,是的话就跳出iframe框,多用于登录页 ,将此段代码放到要做判断的页面上即可 ...
分类:其他好文   时间:2017-12-29 15:24:53    阅读次数:97
October 09th 2017 Week 41st Monday
My motto is: Contended with little, yet wishing for more. 我的座右铭是:为一点点感到满足,但希望获得更多。 If you can live your life in this way, you will feel much happier a ...
分类:其他好文   时间:2017-12-29 15:24:43    阅读次数:128
Oracle查询优化改写--------------------给查询结果排序
一、查看员工所雇员工信息(查询部门号==10并且按照入职时间升序排序。第二种用数字来代替) 二、按多个字段排序(dmpno,deptno,sal,ename,job) 三、按照子串排序(有一种速查方法,就是按照顾客电话号码尾号的顺序记录,这样查询的时候就可以很快缩小查询范围) last_name 名 ...
分类:数据库   时间:2017-12-29 15:24:33    阅读次数:195
CentOS安装C函数库的man帮助
安装linux可能没有安装C的man帮助, 像我安装时选择的是最小化安装就没有, 网上的大多是ubunu的安装方式,或者是C++的man帮助, 都不适合,那么CentOS安装C man手册的方法就是: 如果要安装C++的STL帮助, 去这个网站 http://216.165.129.141/pub/ ...
分类:其他好文   时间:2017-12-29 15:24:27    阅读次数:123
python中numpy计算数组的行列式numpy.linalg.det()
numpy.linalg.det numpy.linalg.det(a)[source] 计算任何一个数组a的行列式,但是这里要求数组的最后两个维度必须是方阵。 a : (..., M, M) array_like Input array to compute determinants for. d ...
分类:编程语言   时间:2017-12-29 15:24:16    阅读次数:471
数据库事务
一、数据库事务隔离级别 数据库事务的隔离级别有4个,由低到高依次为Read uncommitted 、Read committed 、Repeatable read 、Serializable ,这四个级别可以逐个解决脏读 、不可重复读 、幻读 这几类问题。 √: 可能出现 ×: 不会出现 脏读 不 ...
分类:数据库   时间:2017-12-29 15:24:09    阅读次数:162
三层交换机的设置
1.实现跨vlan 2.实现路由功能(跨网段) (一)跨VLAN通讯 两个交换机都划分VLAN10 VLAN20 设置IP 192.168.1.254 192.168.2.254 每个交换机的两个接口均分别再VLAN10 VLAN20 1.设置pc ip 网关 192.1681.1192.168.1 ...
分类:其他好文   时间:2017-12-29 15:24:02    阅读次数:175
Python——语言基础
1.数据类型 1.1.字符串 1.1.1.变量声明 1.1.2.相关函数 1.2.布尔类型 1.2.1.变量声明 1.2.2.相关函数 1.3.数字类型 1.3.1.变量声明 1.3.2.相关函数 1.4.列表(list) 1.4.1.创建列表 1.4.2.获取元素和切片 1.4.3.添加/替换元素 ...
分类:编程语言   时间:2017-12-29 15:23:51    阅读次数:189
vs使用gitflow
1、背景:之前在开发一个项目时,用tfs管理代码,并用“禁止多人编辑”来避免冲突,但仅适用于开发团队较小时。缺点: (1)、开发团队较大,开发人员较多时,会出现经常互相锁,增加沟通成本。比如增加文件时会锁住proj项目文件,其他人员不能增加文件。 (2)、当项目1.0版上线时,会继续开发增加其他功能 ...
分类:其他好文   时间:2017-12-29 15:23:44    阅读次数:152
SCOPE_IDENTITY()和 SELECT @@IDENTITY 的用法
这俩个,是在插入数据的时候使用,返回刚刚插入数据行的ID 大家慎用@@IDENTITY,而尽量采用 SCOPE_IDENTITY() 函数替换之。 SCOPE_IDENTITY() 也是得到最后一条自增域的值,但是它是仅限在一个操作范围之内,而不像 @@IDENTITY 是取全局操作的最后一步操作  ...
分类:其他好文   时间:2017-12-29 15:23:34    阅读次数:110
985条   上一页 1 ... 32 33 34 35 36 37 38 ... 58 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!