zzfx

2018年1月12日

摘要： Generic programming is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then instantia 阅读全文

posted @ 2018-01-12 17:05 zzfx 阅读(253) 评论(0) 推荐(0)

Declarative programming-声明式编程-布局约束是一个案例

摘要：声明式编程需要底层或运行时环境支持。声明式语言的关键词确定了执行的关键控制流。表述编程语言是说明性的东西；而不是具体的执行方案。通常他的执行由解释器进行。 In computer science, declarative programming is a programming paradig 阅读全文

posted @ 2018-01-12 15:59 zzfx 阅读(512) 评论(0) 推荐(0)

编程范式（Programming Paradigm）-[ 程序员的编程世界观 ]--编程范式是程序员看待程序应该具有的观点

摘要：编程范式（Programming Paradigm）是某种编程语言典型的编程风格或者说是编程方式。随着编程方法学和软件工程研究的深入，特别是OO思想的普及，范式（Paradigm）以及编程范式等术语渐渐出现在人们面前。面向对象编程（OOP）常常被誉为是一种革命性的思想，正因为它不同于其他的各种编程范阅读全文

posted @ 2018-01-12 15:34 zzfx 阅读(1168) 评论(0) 推荐(0)

编程思想-编程范式

摘要： Different approaches to programming have developed over time, being identified as such either at the time or retrospectively. An early approach consci 阅读全文

posted @ 2018-01-12 14:51 zzfx 阅读(312) 评论(0) 推荐(0)

编程思想进化史与软件复杂性

摘要：软件问题对象的问题： 1）业务逻辑的复杂型； 2）软件组件的规模；软件复杂度的升级：一维线性（单纯计算）；二维平面（带有业务逻辑的结构型计算）；三维立体：描述复杂的现实世界；针对软件开发任务的升级，编程思想也有一个相应的升级过程：编程思想的进化； 1）面向计算：计算机出现的驱动力，具有唯一解；阅读全文

posted @ 2018-01-12 11:25 zzfx 阅读(206) 评论(0) 推荐(0)

结构化编程-Structured programming

摘要：结构话编程强调的是对流程的控制；它为面向过程编程提供天然的支持。 Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a 阅读全文

posted @ 2018-01-12 11:07 zzfx 阅读(856) 评论(0) 推荐(0)

2018年1月11日

未解决符号表，导出符号表和地址重定向表

摘要：让我们总结一下：编译器把一个cpp编译为目标文件的时候，除了要在目标文件里写入cpp里包含的数据和代码，还要至少提供3个表：未解决符号表，导出符号表和地址重定向表。未解决符号表提供了所有在该编译单元里引用但是定义并不在本编译单元里的符号及其出现的地址。导出符号表提供了本编译单元具有定义，并且愿意阅读全文

posted @ 2018-01-11 18:50 zzfx 阅读(570) 评论(0) 推荐(0)

弱符号与强符号，弱引用与强引用--库是没有链接的编译单元的集合

摘要：库是没有链接的编译单元的集合 1.弱符号与强符号对C/C++而言，编译器默认函数和初始化了的全局变量为强符号。未初始化的全局变量为弱符号。此处弱符号与强符号均是针对定义来说的，不是针对符号的引用。也可以通过GCC的 “__attribute__((weak))”来定义任何一个强符号为弱符号。 [c 阅读全文

posted @ 2018-01-11 18:25 zzfx 阅读(688) 评论(0) 推荐(0)

GCC中的强符号和弱符号及强引用和弱引用

摘要： 1. 强符号和弱符号 1.1 u-boot和kernel中的__weak指令 u-boot和kernel比较普遍地使用了__weak来定义函数。在include\linux\compiler-gcc.h中__weak是这样定义的： #define __weak __attribute__((wea 阅读全文

posted @ 2018-01-11 18:07 zzfx 阅读(1417) 评论(0) 推荐(0)

C语言中的强符号与弱符号

摘要：注意，强符号和弱符号都是针对定义来说的，不是针对符号的引用。一、概述在C语言中，函数和初始化的全局变量（包括显示初始化为0）是强符号，未初始化的全局变量是弱符号。对于它们，下列三条规则使用： ① 同名的强符号只能有一个，否则编译器报"重复定义"错误。 ② 允许一个强符号和多个弱符号，但定义会选阅读全文

posted @ 2018-01-11 17:59 zzfx 阅读(467) 评论(0) 推荐(0)

2018年1月10日

链接器符号解析算法小解以及静态库链接顺序等等问题

摘要：一、编译链接在编写linux驱动程序时，时常会发现链接出错，当时往往不知道错误在哪。现在了解到链接器的工作原理之后，明白当时为什么出错了。对于以后有效率地编写驱动程序有很大帮助。一个C语言程序，经过诸如GCC之类的编译器编译成可执行文件一般会经历4个处理过程，这个大部分的linux入门书籍都有讲到阅读全文

posted @ 2018-01-10 22:01 zzfx 阅读(515) 评论(0) 推荐(1)

符号解析

摘要：链接器如何解析多重定义的全局符号在编译时，编译器向会便器输出每个全局符号，汇编器把这些信息隐含地编码在可重定位目标文件的符号表内。函数和初始化的全局变量是强符号，未初始化的全局变量是弱符号。根据强弱符号的定义，unix链接器使用以下规则处理多重定义的符号：1）不允许有多个重定义符号是强符号；2）如阅读全文

posted @ 2018-01-10 21:59 zzfx 阅读(725) 评论(0) 推荐(0)

编译器与链接器的功能

摘要：编译器生产组件；链接器将这些组件拼装到一起。阅读全文

posted @ 2018-01-10 20:09 zzfx 阅读(242) 评论(0) 推荐(0)

hook的本质就是在本原可执行文件中加东西

摘要： hook的本质就是在本原可执行文件中加东西。本质就是添加东西；阅读全文

posted @ 2018-01-10 18:23 zzfx 阅读(327) 评论(0) 推荐(0)

Mac-O文件加载的全过程(一)

摘要：在Mac的开发中，有没有想过当我们点击可执行文件之后，Mac究竟做了什么事情才让我们的程序运行起来？对于应用层开发人员或者普通的用户而言，其实无需知道的这么详细；但是对于内核开发人员而言，如果能了解这一系列的过程，那么将增强我们的内核的开发功底。那么下面我们开始分析我们的鼠标点击之后，阅读全文

posted @ 2018-01-10 18:03 zzfx 阅读(1174) 评论(2) 推荐(0)

系统在执行可执行文件几个过程

摘要：通过分析下面这个最熟悉的可执行文件，来好好总结和了解下Mach-O这种文件格式，并且也总结下系统在执行可执行文件几个过程： + 解析文件 + 依赖建立 + 初始化运行环境 + 执行进程 http://blog.csdn.net/bjtufang/article/details/50628310 阅读全文

posted @ 2018-01-10 18:00 zzfx 阅读(277) 评论(0) 推荐(0)

2018年1月8日

软件分解维度

摘要：业务域：事务；功能域：分层、分块；技术域：实现。阅读全文

posted @ 2018-01-08 21:57 zzfx 阅读(135) 评论(0) 推荐(0)

软件的描述x

摘要： 1）文档描述； 2）模型描述； 3）架构描述； 4）代码描述；阅读全文

posted @ 2018-01-08 21:41 zzfx 阅读(179) 评论(0) 推荐(0)

面向对象的本质-简化复杂、应对变化

摘要：结构、角色、职责。阅读全文

posted @ 2018-01-08 19:29 zzfx 阅读(178) 评论(0) 推荐(0)

构造定律（constructal law）-构造定律作为第二个时间箭头，将和热力学第二定律一道将宇宙推向无序。

摘要：优化系统结构，使信息和物质流在结构内的流动更畅通。构造定律（constructal law）优化系统结构，使信息和物质流在结构内的流动更畅通。构造定律（constructal law）由Adrian Bejan于1995创立的构造定律（constructal law）： For a fini 阅读全文

posted @ 2018-01-08 14:44 zzfx 阅读(778) 评论(0) 推荐(0)

公告