加载中…
个人资料
silverbullettt
silverbullettt
  • 博客等级:
  • 博客积分:0
  • 博客访问:56,085
  • 关注人气:98
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
搜博主文章
博文

  希特,一年没写博客了,时间的车轮滚滚前进,该来的我不推,现在复活!


别名分析

 从本质上说,指针就是别名。C语言里的指针彻底暴露出实现细节——内存地址,加之它的定义形式与使用形式不一样,再加上指针可以乱指,所以用起来有点麻烦,分析起来也麻烦。Java掩盖了指针的本质,同时虚拟机用GC加以管理,基本上不会出现乱指的情况,但是因为Java有继承、有虚函数、还有反射,所以分析别名也麻烦。C++也有自己的别名机制:引用,通常在向函数传递参数的时候使用。话说回来,其实Java里的变量全都是引用。

  无论是C指针也好、Java变量也好、C++引用也好,它们都是给对象增加别名的方法,因此我认为用别名分析统称这一类机制比较合适。而别名分析需要回答的一个根本问题是:哪些“

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
(2013-03-11 08:40)
分类: 生活多美好

跌入无穷尽井底

思想完全被控制

困在无涯洞仰望天际

脱不了你范围

继续徘徊在你的世界

魂游在你的单位

井底里梦见你一切

 

最好不要提

命运何来受控制

有阵时候埋怨你不济

你走了再别提

有阵时候自责心有愧

无从赠你好东西

狠心与内疚在交替

藏身这个洞永远封闭

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
标签:

2012

分类: 生活多美好

  好久没写博客,其实有好多东西想写,但这段时间一直在学该死的英语,搞完还有些乱七八糟的事,所以还得等一阵。在此之前,我想回味一下刚刚过去的一年,顺便试试 Live Writer。一年前的今天,我给2012年定下15个目标,最终只完成了6个;尽管如此,我觉得这一年过得还不错,不,应该是很不错

 

  一月。复习考试,这个学期我跟沈阳翘掉了N多课,但最终都没挂科哇哈哈哈,好运由此开始。

 

  二月。放假在家,学习计算理论。计算理论好有趣,搞得我一度怀疑我应该学计算机科学而不是工程。不过现在又清醒了,敲代码始终是我的最爱,无可替代!

 

  三、四月。论文冲刺月。翘掉那么多课就是为了论文。这段时间每天都只能睡8个小时——再少我就挂了。。。不过现在回想起来,那段日子挺美妙的:每天7点半到实验室,龙龙跟大树总是比我早,有时会跟沈阳一起急急忙忙跑过去,进去之后吃个早餐,然后开始干活,直到晚上10点半甚至11点,中间有课就去上,上完又回来,周末也不休息。大家每天在实验室折腾那两台机子,写脚

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
标签:

scheme

continuation

it

分类: 语言

    终于,我也不能免俗地要来谈谈这几个 Schemer 的必谈话题(顺便山寨了一个标题)。

Scheme 是一门神奇的编程语言,它不仅是世界上第一个完整支持闭包(closure)的语言,也是世界上第一个提供 continuation 的语言。你可以看到 wiki 上几个关于 Continuation 的条目全部用 Scheme 作为示例语言。如无特指,本文以及接下来的两篇文章中凡是提到 continuation 的地方,均是指 Scheme 中的 continuation。

什么是 continuation ,它的语义其实不难理解,The Scheme Programming Language 说得很明白:

During the evaluation of a Scheme expression_r, the implementation must keep track of two things: (1) what to evaluate and (2) what to do with the value. ... We call 'what to do with the value' the continuation of a computation.

Continuation 就是一个表达式被求值之后,接下来要做的事情。描述很简单,但是 Scheme continuation 的用法比较奇葩,导致我在学习 continuation 的过程中被

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
这两天写了点东西,有点心得,写出来分享一下。

关于“如何构造可配置词法分析器”这个问题,V神已经写了非常好的文章,并且他实现的功能比我的强悍得多也完善得多,我写东西的一个原则就是人家写好了的话题我就不写了。不过V神写得实在太好、太详细,如果直接看了他的文章就没什么思考的余地了,所以我以启发式的方式再来啰嗦一下如何构造这个东西。


首先词法分析器的理论基础就是有穷自动机正则表达式,非常简单。接下来我列出一串我自己在写的过程中遇到的问题,如果你能解决这些问题,那你就能写出一个正宗的词法分析器 (其中一些问题我会给出提示)。理论与实践之间有些差距,你所要做的就是跨越这中间的鸿沟。


  1. 有穷自动机和正则表达式完全等价,他们跟词法分析器有什么关系?

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
(2012-08-11 18:57)
标签:

杂谈

分类: 思!

 

世界上有很多事物,明明都是同样的东西,但是在不同的层次观察,会发现它们展现出完全不同的性质,这是很有趣的事情。

 

整体论

或者叫做只看见局部,不看见全体,只看见树木,不看见森林。

 

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
标签:

reading

it

分类: 编程思绪

 

应于泽瀛同志的号召,我把几个还算了解的领域内的经典书籍按我认为合理的阅读顺序在这写出,供各位暑期参考。我提到的书籍很多是多次再版的经典,要买书或者借书的同学注意一下最新的版次。

 

操作系统

操作系统的重要性不言

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
(2012-05-30 07:32)
标签:

talent

programmer

it

分类: 编程思绪
    故事的最开始,你对于计算机一无所知,除了玩。
    但是你发现自己玩得特别顺,就算没有人教。
    于是你不满足于玩,你决定要探探这个箱子里的秘密。你寻求网络的帮助,然后你知道了编程。冥冥之中,你认定这将是自己未来的事业。
    这个时候,你是个菜鸟,除了满腔的激情和热爱,你一无所有。

    为了成长,你不停地阅读、不停地阅读……虽然从来没人告诉你该读什么书,但有一天你回头看的时候,发现自己读的都是经典。
    你一开始就懂得的代码要写得漂亮,要保持风格,但你又不知道怎么样才是好看,所以你照猫画虎,把自己的代码写得跟书上一样。
    你也从不满足书上长篇大论的理论,学到什么新技术都非得亲手实践不可,哪怕只是照抄书上的代码。
    很快,非常快,你就可以做到脱离编程语言思考。
转而,你学会用“领域语言”去思考,这会帮助你分解问题,哪怕是很小的问题,你也能把它分而治
阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
  在图算法中经常要执行遍历每个顶点和每条边的操作,即图搜索。许多图算法都以图搜索为基础,如2-着色问题、连通性计算基于深度优先搜寻(depth-first search, DFS),而无权最短路径则基于广度优先搜索(breadth-first search, BFS)。基于搜索的算法还包括计算最小生成树的Prim算法以及计算最短路径的Dijkstra算法,这4个算法就是今天的主题。我写这篇文章无意证明算法的正确和有效性,而是希望能揭示图搜索算法背后统一的思想。

 

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 

 

 

我用两个星期的课余时间查阅了数十篇关于软件恢复技术(software recovery)的论文,这篇文章是一个总结,并提出一个用于衡量软件恢复技术的模型,希望对学习和研究软件恢复技术的朋友能起到一点帮助。

软件恢复与故障研究以及可靠性领域是分不开的,最近几年涉及到故障领域的朋友,一定看过[1]。这篇论文提纲挈领地对可靠性计算领域的几乎所有重要概念都下了精确的定义,当然也包括Recovery。论文的

阅读  ┆ 评论  ┆ 转载 ┆ 收藏 
  

新浪BLOG意见反馈留言板 不良信息反馈 电话:4006900000 提示音后按1键(按当地市话标准计费) 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 会员注册 | 产品答疑

新浪公司 版权所有