在RedHat6.4上编译z3求解器

2017年02月05日 18 阅读

因为项目需要，我们使用到了微软的z3求解器求约束，但是z3求解器在红帽平台上并没有发布编译好的二进制版本，而我们的运行环境是红帽的RedHat企业版6.4，因此需要自己编译相应的二进制。z3是由微软公司开发的一个优秀的SMT求解器（也就定理证明器），它能够检查逻辑表达式的可满足性。目前的最新版本是4.4.1，github主页。从z3主页上面下载最新的代码git clone git@github.com:Z3Prover/z3.git切换工作目录到z3下执行...

在RedHat 6.4安装Redis集群

2017年02月05日 15 阅读

在RedHat 6.4安装Redis集群下载解压并安装redismake test提示需要更高版本的tcl,跳到安装过程可能遇到的问题wget http://download.redis.io/releases/redis-3.0.7.tar.gztar xf redis-3.0.7.tar.gz cd redis-3.0.7mkdir -p /opt/redismake testmake PREFIX=/opt/redis install复制两个脚本到安...

Linux下安装配置Nexus

2017年02月05日 15 阅读

一、安装和运行nexus1、下载nexus：http://www.sonatype.org/nexus/go可选择tgz和zip格式，以及war，选择tgz或zip时不同版本可能在启动时存在一定问题，可能是因为jdk版本问题，若无法启动请选择2.5或更早的版本注：nexus 2.6版本之后不再支持jdk1.62、安装nexus若下载war，则将其放置tomcat下的webapp目录中，改名为nexus，运行tomcat服务，即可访问http://local...

Nexus安装与配置

2017年02月05日 13 阅读

一.安装nexus前准备 1.先安装jdk,maven vi /etc/profile 在末尾添加export JAVA_HOME=/opt/jdk1.7export MAVEN_HOME=/opt/maven-3.3.9export PATH=$JAVA_HOME/bin:$MAVEN_HOME/bin:$PATH让配置生效 source /etc/profile java -version mvn --help 2.配好dns,能ping通外网（比如w...

Linux下不同运维人员共用root 账户权限审计

2017年02月05日 15 阅读

一、为什么？ 在中小型企业，公司不同运维人员基本都是以root 账户进行服务器的登陆管理，缺少了账户权限审计制度。不出问题还好，出了问题，就很难找出源头。 这里介绍下，如何利用编译bash 使不同的客户端在使用root 登陆服务器使，记录各自的操作，并且可以在结合ELK 日志分析系统，来收集登陆操作日志二、环境 服务器：CentOS 6.5、Development tools、使用密钥认证，SElinux 关闭。 客户端：生成密钥对，用于登录服务器...

Linux 系统管理 使用技巧

2017年02月05日 15 阅读

一、这篇文章讲了什么？ 这篇文章参考性很强，希望以后多分享一些文章啦。所以就把草稿箱的其中一篇很实用性的Linux小技巧分享给运维的基友们。后续该篇文章会一直更新新技巧哟。感谢童鞋们的关注哈。二、干货开始啦！1.查看端口监听[root@linuxidc ~]# netstat -n | awk "/^tcp/ {++S[$NF]} END {for（a in S） print a,S[a]}"CLOSE_WAIT 4ESTABLISHED 3432.查看...

磁盘管理之软RAID

2017年02月05日 13 阅读

1、RAID概述RAID，Redundant Arrays of Inexpensive（Independent）Disks的简称，独立磁盘冗余阵列，简称磁盘阵列。简单来说，RAID是把多个硬盘组合成为一个逻辑扇区，因此，操作系统只会把它当作一个硬盘，经常被用在服务器电脑上。不同的RAID实现的功能也是不尽相同的，或增强处理速度，或增强容错能力，当然，更有甚者，是可以兼备这个特性的。2、RAID分类<1>RAID0 <2>RAID...

Linux删除根驱动的代价

2017年02月05日 16 阅读

虽然在操作Linux的实际情况中，误删除根驱动的的操作一般不会发生，但是小编还是在此演示一下，重在让大家更加深入的了解Linux的启动过程。先查看/boot分区下内容操作系统启动的时候，通过BIOS-->MBR-->GRU的层层引导，访问到/boot下的vImlinux-2.6.32-642.x86.64内核文件，但是此时是没有根的，具体为什么，前面的内容已经提到。为了加载根，就要访问/lib/moudles，同样行不通，所以就在/boot中植...

Linux 计划任务 Cron

2017年02月05日 14 阅读

难题---每分钟要执行某个程序检查服务的运行---每天要对数据进行备份---每月要对日志进行备份......如果你也存在这样的问题，Cron将可以帮助你从繁重的工作中解脱出来。--------------------------------------------------------------------------------1、Cron是什么 Cron是计划任务，它保证了某个程序在特定的时间内的准确执行。要安排任何一个cron，就必须有负责这个c...

Spring Cache集成EHCache

2017年02月05日 13 阅读

EHCache支持内存和磁盘的缓存，支持LRU、LFU和FIFO多种淘汰算法，支持分布式的Cache，可以作为Hibernate的缓存插件。同时它也能提供基于Filter的Cache，该Filter可以缓存响应的内容并采用Gzip压缩提高响应速度。可以通过spring集成提供缓存管理，spring为ehcache提供了如下的实现类：EhCacheCache实现Cache接口EhCacheCacheManager实现CacheManager接口EhCache...

Spring Cache集成Memcached

2017年02月05日 13 阅读

使用memcahed的客户端xmemcached实现Cache、CacheManager接口。一、添加jar依赖<dependency> <groupId>com.googlecode.xmemcached</groupId> <artifactId>xmemcached</artifactId> <version>2.0.0</version> </dependen...

Spring Cache集成Redis

2017年02月05日 13 阅读

redis大家都耳熟能详了，spring context默认没有实现redis的cache相关接口，我们需要自己实现，并借助org.springframework.cache.support.SimpleCacheManager进行redis缓存管理。添加jar包：<dependency> <groupId>redis.clients</groupId> <artifactId>jedis</artif...

Spring Cache缓存介绍

2017年02月05日 13 阅读

Spring 3.1 引入了激动人心的基于注释（annotation）的缓存（cache）技术，它本质上不是一个具体的缓存实现方案（例如 EHCache 或者 OSCache），而是一个对缓存使用的抽象，通过在既有代码中添加少量它定义的各种 annotation，即能够达到缓存方法的返回对象的效果。Spring 的缓存技术还具备相当的灵活性，不仅能够使用 SpEL（Spring Expression Language）来定义缓存的 key 和各种 cond...

Sqoop安装配置及Hive导入

2017年02月05日 14 阅读

Sqoop是一个用来将Hadoop（Hive、HBase）和关系型数据库中的数据相互转移的工具，可以将一个关系型数据库（例如：MySQL ,Oracle ,Postgres等）中的数据导入到Hadoop的HDFS中，也可以将HDFS的数据导入到关系型数据库中。官网地址：http://sqoop.apache.org/一、安装配置1.下载最新版本1.4.6，下载http://mirrors.cnnic.cn/apache/sqoop/1.4.6/sqoop-...

Shell基础：常用技巧&amp;重定向&amp;管道操作

2017年02月05日 14 阅读

Shell脚本介绍和常用工具Shell脚本Shell脚本：实际就是windows里的批处理脚本，多条可一次执行的Shell命令集合。Linux上的脚本可以用很多种语言实现，bash shell是比较简单的一种，更高阶的可以用其他脚本语言，比如Python。Shell脚本对系统的管理能力非常强大，甚至可以使用Shell结合php实现Web管理Linux系统功能：可以自己写一个Web页面（示例：基于Php），对系统进行管理，包括查看删除用户，配置网络，发送邮件...

Shell基础：Linux权限管理

2017年02月05日 13 阅读

Linux权限基本概念查看系统（文件夹/文件）权限: ls -l =>d/-xxx xxx xxx. num owner group sizedate filenamed代表目录，-代表文件第一个xxx 表示所有者的权限; 第二个xxx表示所在组的权限; 第三个xxx表示其他用户的权限为了保护系统，创建完文件以后，某个文件的默认权限为-rw-r--r--. 所有者有读写权限，其他用户只有读的权限num表示文件数目，创建的是文件,num=1，创建的是文...

Shell基础：变量类型 &amp; 运算符

2017年02月05日 13 阅读

Shell变量Shell支持三种类型的变量用户自定义变量：用户自定义的变量，变量名以英文字母或下划线开头，区分大小写。位置变量：根据位置传递参数给脚本的变量，默认支持9个位置变量 $1,$2,$3...$9预定义变量: 预定义的特殊变量，只能使用，不能修改用户自定义变量#定义变量：变量名＝变量值, 可以使用"常量/其他变量/命令执行结果"赋值var1="test var"var2="test variable $var1"var3=｀date｀#单引号中将...

Shell脚本基础，管道，重定向，Shell变量

2017年02月05日 14 阅读

Linux并不用文件名的后缀来区分文件格式，但是习惯上我们还是用".sh"来表示一个shell脚本文件刚刚写完的一个shell脚本程序通常是没有执行权限的，需要手动$chmod +x filename.sh来添加可执行权限开头任何一个shell脚本程序都必须在开头用#！标识使用的shell程序，如果用的是bash，那就是#！/bin/sh注释shell脚本一行中的#之后的部分为注释管道管道是管理Linux十分有用的工具，它可以把前一个命令的结果直接传递给后...

echo，Shell管道与重定向

2017年02月05日 13 阅读

echo显示后面的内容，缺省选项表示将后面的内容原模原样的显示出来，可以配合Shell的管道与重定向使用实现对写文件操作|表示将前一个命令的返回结果用作后一个命令的参数>表示如果没有文件就创建新文件并写入内容，如果文件存在将原文件清空并写入内容;>>表示如果文件不存在就创建新文件并写入内容，如果文件存在就将将内容追加到原文件$echo [-e] [内容字符串] -e 将内容中的转义字符按照其含义显示，支持的转义字符如下：a 发出警告 删...

Ubuntu教程：apt-cache, apt-get 使用

2017年02月05日 13 阅读

如果你初次使用Ubuntu，打开软件中心看到那少的可怜的软件一定十分失望，难道大名鼎鼎的Linux就这么几款软件可用？当然不是，软件中心只是Ubuntu提供的一个软件库，浩如烟海的Linux软件其实都存储在各个镜像站里，掌握软件管理命令才能充分使用Linux的便利功能。apt-cache和apt-get是apt包的管理工具，他们根据/etc/apt/sources.list里的软件源地址列表搜索目标软件、并通过维护本地软件包列表来安装和卸载软件。apt-c...