C++博客-WHy so serious?-随笔分类-course

sicp 练习1.25

Eleven — Mon, 27 Jul 2009 12:14:00 GMT

from:http://dev.csdn.net/develop/article/64/64485.shtm

; ======================================================================
;
;          Structure and Interpretation of Computer Programs
;                  (trial answer to excercises)
;
;                  计算机程序的构造和解释(习题试解)
;
;                                             created: code17 02/28/05
;                                             modified:
; (保持内容完整不变前提下，可以任意转载)
; ======================================================================

;; SICP No.1.25
;; 本题为理解题

;; 直接定义(expmod base exp m)为base^exp基于m的模(modulo)
;; (define (expmod base exp m)
;;   (remainder (fast-expt base exp) m))
;; 在理想情况下是正确的，在语义上与原定义是等价的，甚至递归层数
;; 都是一样的，而且更加直观。
;;
;; 但在实践中，这样的定义是不可行的，这也是为什么我们要采用原文中的定义
;; 的原因：因为base^exp很可能是一个非常大的数。比如，当我们取第二个
;; 测试例子中的n=1000000时，base是[1,999999]区间中的任意
;; 随机数，它的平均取值为50000，而exp=1000000。50000^1000000是一个大得
;; 惊人的数，无论是fast-expt的层层函数调用计算，还是用remainder对其取模，
;; 计算量都是很大的。
;;
;; 而相反，原始的expmod函数
;; (define (expmod base exp m)
;;   (cond ((= exp 0) 1)
;;         ((even? exp)
;;          (remainder (square (expmod base (/ exp 2) m))
;;                     m))
;;         (else
;;          (remainder (* base (expmod base (- exp 1) m))
;;                     m))))
;; 通过分解(a*b mod n) 为 ((a mod n) * (b mod n) mod n)，使得每层递归
;; 调用的计算参数和返回值总是小于n (x mod n < n)，即便是计算过程中出现
;; 的最大数(a mod n) * (b mod n) 也依然是要小于n^2, 相对于前者n^n的数
;; 量级，实在是小得多，这样就避免了大数的计算问题。
;;
;; 比如经测试，在使用新的expmod的情况下，1009的验证需要1.2ms的时间，
;; 1000003的验证需要 93680ms，远高于原来的expmod函数。
;;
;; 这也同时印证了我们在1.24题中的分析，同样的操作在不同字长的数字上的
;; 代价是不同的。1000000的验证时间现在是1000的8000多倍，远不再是2倍左右
;; 的关系。在1.24中的，因为expmod算法的控制，操作数最多是n^2级的，字长
;; 所引起的差距并不明显，只在10^6-10^12间产生了一点点阶跃；而这里的算法
;; 中, 操作数可以达到n^n级，当n=1000时，1000^1000的字长大约在10000位(二
;; 进制数)左右，而n=1000000时1000000^1000000的字长则达到在20000000位(二
;; 进制数)左右，这字长的巨大差距导致了我们在1.24中已经发现的问题更加明显。

Eleven 2009-07-27 20:14 发表评论

课程设计总结

Eleven — Fri, 26 Jun 2009 08:08:00 GMT

dota到精疲力竭，感觉没啥事情干，就总结下课程设计吧。嗯，我们组的最终设计结果基本上达到了预期的目的了。编译器的几个基本模块基本上都实现了其功能。现在回想下上个星期，有几天还为实现过程而晃晃的，现在都过去了。对于我们的课程设计，个人感觉很满足的。过程中自己解决了不少设计问题和编码的具体问题。在此感谢SY同学和一直烦我的CJ。在讨论过程中有几次感觉还是很迷茫的，不过最终在你们的建议下还是一步步的过来了。
现在想想我们的内核，呵呵，我感觉还是蛮不错的。最后虽然有些问题没有解决，我想并不是我们没有注意到，因为时间也就这么些，平时在小浪费下，呃，感觉已经不错了。

Eleven 2009-06-26 16:08 发表评论

课程设计中期小结

Eleven — Sat, 20 Jun 2009 09:41:00 GMT

一周已经过去，下周就要有个结果了，在此记录一下课程设计的前期的进程。
基本的sql和ddl、dml已经写完了词法分析和语法分析，晚上要进行这几个模块的调试工作。
嗯，这也就基本上是第一个阶段了。
简单记录下工作过程：
星期一、二主要在考虑设计问题，界面和分析器的连接问题，还有分析器的设计。开始的时候没有仔细考虑分析器的设计问题。因为比较简单，所以认为顺序读取，然后直接进行判断就行了。先按这个思路做了一些吧，然后发现没有词法分析直接根据字符串来判断的话要选择的条件太多，而且不符合逻辑习惯，很容易出错。
然后周三否决的前面的分析器设计模式，重新词法分析。中间参照了《LeX与Yacc》的SQL分析一章。
周四进行了语法分析的编写，然后周五周六就这样过来了。
感觉从明天开始进度要稍微加快些。周二之前要处理好界面之外的工作，嗯，要着重看下文件的存取。感觉老师给的数据结构还不够完善。总之，加油吧！

Eleven 2009-06-20 17:41 发表评论

Embedded Lab2-3

Eleven — Fri, 20 Mar 2009 07:09:00 GMT

第二个实验可谓是多灾多难，重复了好几次，今天终于把它搞定了，心里也很舒畅。
这个实验的主要内容也就是通过bootp为目标机分配ip地址，然后用tftp传送内核与文件。
具体的过程和很多参考资料上的差不多，就是利用minicom工具，
先minicom -s进入界面设置一下串口的信息（波特率、数据位、奇偶校验、停止位、数据流控制）
然后save as dfl ->exit.
下面就要设置/etc/bootptab文件了：
Xsbase270:\
   ht=1:\
   ha=0x123456789a00:\
   ip=192.168.0.50:\
   sm=255.255.255.0
这里有几点要说明的，ha是目标机的mac地址，我们先设置了这个地址，然后在启动目标机以后把目标机的mac地址改成这个。因为目标机向主机申请ip的过程中以广播的形式发送请求信号，主机在收到了信号之后会在bootptab中查询匹配的目标机，然后将其中的信息发回给目标机，也就是说 bootptab中的信息就是主机发给目标机的。书上说还要设置/etc/xinetd.d/bootp文件，因为这个已经设置好了，这步就没有做。
按理说一切的过程很简单，但就这东西一直failed。主机一直收不到目标机的请求。后来老师来看了一下，原来是主机的ip都没有设置
用ifconfig eth0设置一下就OK了。
后面就是用tftp传文件，既然已经连接上了，后面就没什么了。

Eleven 2009-03-20 15:09 发表评论

Embedded Lab1

Eleven — Sat, 07 Mar 2009 05:24:00 GMT

第一次的实验比较简单，也就是熟悉一下环境，在linux下打些命令，烧写一下Boot Loader。老时鉴于我们大多数对于linux了解有限，哎，串口通信都没怎么弄，以至于后面的交叉编译也就没让我们做，估计要等到下次吧。
实验之前觉得arm板蛮神秘的，别人说它还满贵的呢，所以n多人做实验也只能分开来做了。
基本上就和书上的差不多，先tar解压缩JTAG的程序包，然后make一下，把生成的boot文件cp到/home/JTAG/Jflash-XSBase270下面。
最后运行一下boot就开始烧写了。
还是蛮简单的。

Eleven 2009-03-07 13:24 发表评论