自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

jimgreat的专栏

关注 缓冲区溢出

  • 博客(12)
  • 资源 (5)
  • 收藏
  • 关注

原创 spring-data-redis 的序列化问题

前几天有人在我的博文中留言,询问spring-data-redis的问题,如下,黑体为我的回答  我用spring-data-redis 成功的set了 而且也能成功get出来对应的数据~但是用redis-cli去服务器直接get数据是提示(nil) 这是什么原因啊? 正常是get一个不存在的key才会这样的 但是我用的是同一个key啊···通过spring-...

2012-08-09 09:58:00 286

原创 Spring-AOP、Struts2拦截器、MyBatis Plugin实现原理比较(一)

大部分人看到标题一定会有这样的疑问,"为什么把这个三个看起来不相关的东西放在一起比较呀?" 其实无论是AOP、拦截器还是Plugin 都是通过对目标点,一般来说就是对函数的拦截,扩展原有的功能,增加切面逻辑(日志,权限验证),修改上下文运行数据(实现Mybatis物理分页)。 Spring-AOP是个通用的框架,通过配置可以对任意函数进行拦截Struts2是Web框架,它...

2012-08-02 08:48:36 164

原创 jedis 升级 2.0.0 to 2.1.0

今天发现jedis 2.0.0 在使用pipeline时,如果结果是null,会有如下异常 java.lang.NullPointerExceptionat java.lang.String.(String.java:515)at redis.clients.util.SafeEncoder.encode(SafeEncoder.java:28)at redis.clients.je...

2012-07-30 17:28:29 266

原创 Spring-AOP、Struts2拦截器、MyBatis Plugin实现原理比较(三)

Spring AOP Spring和struts2拦截链的实现理念是一样的,所有的拦截器会组织成一个链,由中央调度器统一推进。 Spring在拦截器(通知 Advice) 的接口上做得更细致一些,在MyBatis和Struts2中,拦截器链的推进是要在每个拦截器的实现中显式调用的。而在Spring中,这个动作已经被封装了。 看下面这个 AfterReturningAdvic...

2012-07-18 11:02:41 199

原创 分析“备忘使用spring-data-redis中的redistemplate的一个大坑”

前几天刚刚粗略看了一下spring-data-redis的源码 (1.0.1-RELEASE) 今天一早看到了 “备忘使用spring-data-redis中的redistemplate的一个大坑” http://www.iteye.com/topic/1125295 又针对这部分分析了下源码,总结整理如下  spring-data-redis的各种Operations...

2012-07-17 12:01:22 1085

原创 Spring-AOP、Struts2拦截器、MyBatis Plugin实现原理比较(二)

Struts 2 Struts2是由StrutsPrepareAndExecuteFilter 的 doFilter 来处理每个HTTP请求的 由执行器的executeAction进入执行流程execute.executeAction(request, response, mapping); 实际的执行是由dispatcher发起的 public void e...

2012-07-16 16:13:37 117

原创 Redis Java Client Jedis 源码分析

 由于项目中使用Redis,所以使用它的Java客户端Jedis也有大半年的时间(后续会分享经验)。 最近看了一下源码,源码清晰、流畅、简洁,学到了不少东西,在此分享一下。(源码地址:https://github.com/xetorthio/jedis) 协议 和Redis Server通信的协议规则都在redis.clients.jedis.Protocol这个类...

2012-07-13 09:11:35 276 1

转载 实现 IEnumerable

http://www.cnblogs.com/zyylove2008/archive/2008/12/02/1345848.htmlusing System;using System.Collections;//注意using Collectionsusing System.Collections.Generic;using System.Text;namespace EnumerableTe

2009-02-24 13:47:00 406

原创 C#调用DLL时参数问题的一点心得

        C#导入DLL时,参数怎么定义是一个比较头痛的问题。特别是指针类型的参数,关于此问题本人有点不成熟的经验。      以 GetComputerName这个函数为例。     函数原型如下BOOL GetComputerName( LPTSTR lpBuffer, LPDWORD lpnSize);这个lpBuffer就是下个string型的

2008-02-27 11:44:00 5686 1

原创 关于Rails+MySQL的中文问题

1、首先要像下面这样在数据库中创那建表CREATE TABLE `students` (  `id` int(11) NOT NULL default 0,  `name` char(20) NOT NULL default ,  `tel` int(15) NOT NULL default 0,  PRIMARY KEY  (`id`)) Type=MyISAM CHARACTE

2007-01-29 08:30:00 630

原创 用Rails的Ajax实现注册时的用户名检测

    严格的说不应该是Rails的Ajax,因为Rails内建了prototype这个JavaScript库,里面封闭了处理Ajax 的函数。   所以你要在用到Ajax的 rhtml文件的中加入       这句代码来导入prototype.js文件 下面是注册用的 reg.rhtml文件,这里只写了一个名字字段         //显示Ajax回显的地方 "reg

2007-01-26 08:32:00 777 1

原创 第一篇

庆祝CSDN Blog开通!! 

2007-01-24 13:17:00 503 1

spin a model checker

Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field. In April 2002 the tool was awarded the prestigious System Software Award for 2001 by the ACM.

2009-01-05

Jspin GUI of spin

the GUI of spin a good model checker for modek cheking

2009-01-05

jlint-2.3.zip

模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking

2008-12-04

模型检测软件MAGIC

模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC

2008-11-24

BLAST pdf 模型检测软件BLAST手册

模型检测软件BLAST pdf文件BLAST pdf 模型检测软件BLAST手册

2008-11-24

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除