Nakeman | Kemin | 半学术IT歌文

2009年总结

Kemin — Fri, 29 Jan 2010 19:55:00 +0800

还记得09年年初时的傲气，和三月份时说，争取年半前找到事做，结果是眼看着09年完全烧完，形影依然单，饭菜照旧做。若有人问我有何感想，09年有何收获，有没有对自己的选择感觉到有偏差甚至后悔。我会说，我对自己的选择还是感到非常自信，现在我的心情和对明天的希望比去年今天有过之而无不及。上班不能代表什么，感觉自己有长足进步才是王道。虽然截至此总结为止，我还未能确定什么时候上班，可是已经可以看到闭关的尽头了。这篇总结是对09年的小结，也是对我这两年半的自修日子的一个了结。

信息、状态和控制的关系（头脑风暴）

Kemin — Fri, 29 Jan 2010 19:54:00 +0800

我们说，计算涉及状态的操控和这种操控的有目标的安排，那操控由谁来主导呢？答案是一个称为计算主体的东西在主导计算过程。计算主体表现形式有自动机、人等有一定逻辑判断能力的对象。计算主体必须能识别操作指令的操作语义（无论原始的还是非原始的），确切执行操作语义所对应的对计算客体所作的状态变更。

December 2009

Kemin — Fri, 29 Jan 2010 19:52:00 +0800

December 2009

概览嵌入式系统的各种周边设备

Kemin — Wed, 30 Dec 2009 13:17:00 +0800

Linux 在嵌入式领域如此流行的一个重要原因是它有很好的移植性和扩展性；得益于Linux的强大的抽象机制，（基于Linux编写的）大量应用软件可以无缝地运行在不同的硬件平台。如下图所示，为你的嵌入式系统添加有特色的功能（硬件），你只需要为其编写夹在内核抽象层（ kernel abstraction layers）和硬件层之的底层设备驱动即可。假如一位内核工程师也参与嵌入式系统的组件选择，那么你比较容易找到相似的驱动。寻找相似的驱动主要是找设备的芯片，驱动设备的控制器。为了熟悉嵌入式系统，为其编写驱动，我们顺时针方向的走一遍下图中一些常见的嵌入式设备（控制器），我们从NOR闪存开始。

载板主撑软件包（bootloader部分）

Kemin — Sun, 20 Dec 2009 23:30:00 +0800

载板主撑软件包（Board Support Package）是指一集负责初始化硬件载板上的设备和封装硬件相关细节为操作系统提供高层接口的程序。有了BSP，操作系统（包括硬件驱动）有一定的独立性，从而在不同的硬件平台间移植变得更容易。BSP与常见HAL有类似的功能和角色，但不是完全一样。

有限记忆程序与有限状态换能机器

Kemin — Sat, 19 Dec 2009 19:28:00 +0800

计算（Computations）是为解题而设计的。程序（Programs）是描述计算的载体，机器（computers）是执行程序的装置。计算机科学领域关注两个对象——程序和机器。“第二章探讨有限记忆的程序（finite-memory programs）。状态（state）的概念被用来对有限记忆程序内的位置（location ）进行抽象和对程序的变量的赋值（assignment ）的抽象。状态的概念是用来展示如何将有限记忆的程序建模成一种抽象计算机，叫有限状态换能器（transducers）。

状态与信息

Kemin — Sat, 19 Dec 2009 16:03:00 +0800

在计算机科学和自动机理论领域里，状态（state）的概念是指程序或机器的一个唯一的信息格局（unique configuration），换句说，机器可以有多个互不相同的格局，每一个格局叫状态。

快乐再认识

Kemin — Sat, 19 Dec 2009 16:01:00 +0800

问：快乐是什么？答：在我的认识里，快乐有两种，消费型和创作型。消费型快乐不会持久的，应该追求后者。

计算、程序和机器

Kemin — Sun, 13 Dec 2009 00:38:00 +0800

计算（Computations）是为解题而设计的。程序（Programs）是描述计算的载体，机器（computers）是执行程序的装置。计算机科学领域关注两个对象——程序和机器。“程序”包括研究程序设计的方法论，比如算法、数据结构和编译原理等；“机器”包括研究执行程序的机器的开发方法，比如操作系统（KEMIN:OS了实现虚拟机器，机器涵盖了机器指令及其操作的数据的性质）。因此可得，程序、机器、问题（problems）和计算是计算机科学的核心课题，全面厘清它们的性质非常重要。性质包括属性和关系。

构建交叉编译工具链

Kemin — Sat, 05 Dec 2009 13:24:00 +0800

在过去很长的一段时间里，构建一套交叉编译工具链对于嵌入式开发者来说简直是一场恶梦，因为他们得手动跟踪各种源码包（及其更新包）之间的依赖关系。buildroot，和有名的微型C库——uclibc一起发布的小工具改变这一事实。Buildroot是像Linux内核构建系统类似的基于GNU make的软件构建系统。不过，Buildroot只包含构建所需的Makefiles和一些patches，没有待构建软件的源码，源码必须从网上动态下载。Buildroot主要是就用来构建[使用uClibc的交叉编译工具链 ]和根文件系统。