免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 1301 | 回复: 7

[内核入门] 请帮助 [复制链接]

论坛徽章:
0
发表于 2015-08-13 11:01 |显示全部楼层
我们对linux内核做了抽取(相当于反向设计吧)
因我们能力有限,知道这里大咖多,来此请大家帮助。真心希望能够得到大伙的帮助
程序逻辑抽取-linux之内核源代码bricktou.com(这是网址,这里不允许链接)

论坛徽章:
20
程序设计版块每日发帖之星
日期:2015-08-17 06:20:00程序设计版块每日发帖之星
日期:2016-07-16 06:20:00程序设计版块每日发帖之星
日期:2016-07-18 06:20:00每日论坛发贴之星
日期:2016-07-18 06:20:00黑曼巴
日期:2016-12-26 16:00:3215-16赛季CBA联赛之江苏
日期:2017-06-26 11:05:5615-16赛季CBA联赛之上海
日期:2017-07-21 18:12:5015-16赛季CBA联赛之青岛
日期:2017-09-04 17:32:0515-16赛季CBA联赛之吉林
日期:2018-03-26 10:02:16程序设计版块每日发帖之星
日期:2016-07-15 06:20:0015-16赛季CBA联赛之江苏
日期:2016-07-07 18:37:512015亚冠之萨济拖拉机
日期:2015-08-17 12:21:08
发表于 2015-08-13 21:42 |显示全部楼层
有点意思,能简单介绍一下工作原理吗?
怎么把“代码”映射为“逻辑”?
形式上看把变量和函数参数去掉了,保留了控制结构和每个call?

bricktou.com/idx_error.html 这一页说,可以检查“逻辑错误”。
那么逻辑错误又是怎么定义的?

论坛徽章:
0
发表于 2015-08-14 10:56 |显示全部楼层
简单的工作原理就是编译原理。
我们认为:从看代码开始,到理解系统,实际要经过多个层次的升华。根据我的经验(保险核心业务,代码量接近300M),如果从一个点看进去,很快就会被代码缠住,很难做到把握全局。这就好比看金字塔,如果你在塔下看,你只能仰视它,且只能看到的局部。但如果你能够俯视它,你首先看到的是全貌,包括他的整体结构和周边环境,然后再根据需要,详细观察局部。这就是认识系统的两种截然不同的途径。
如何做到俯视系统呢?我们认为,你在观察系统时的“关心点”能够放在它“做了什么”,而不是放在它是“怎么做的”,你就会轻松很多,套用一句名言:通向广场的路不止一条。
关于代码和逻辑的映射,一般情况下,对于一句代码,我们的大脑会经过一连串的转化,然后总结出一句话,这算是看懂了这句代码(实际就是逻辑)!是吧?以下只是我的方式(不能代表大多数):看到符号->代表的意思(多数情况在大脑中会是转化为中文意思),未知->查找意思(可能找不到,留下未知继续向下看或在达到一个量级就放弃了)。之所以看不懂,是由于我们不知道符号代表的意思,或着是查询符号代表的意思要费很大的周折,于是越看越累。我看代码的表现是头疼。
形式上看把变量和函数参数去掉了,保留了控制结构和每个call?非也!
关于逻辑错误:一般情况下代码常犯的逻辑错误有十几种(别人总结的),但有些我们不认可,比如 变量未使用,实际上这是早期硬件条件不足提出的,对于现在吗?当然养成好的编程习惯是重要的!我们目前主要检查的是“条件语句包含赋值语句”,此种情况也可认为是笔误(我在工作中尽量把别人的错误轻描淡写),但造成的影响确实较深。对于“不达代码”也可以检查,但有误告,需要手工过滤。

论坛徽章:
20
程序设计版块每日发帖之星
日期:2015-08-17 06:20:00程序设计版块每日发帖之星
日期:2016-07-16 06:20:00程序设计版块每日发帖之星
日期:2016-07-18 06:20:00每日论坛发贴之星
日期:2016-07-18 06:20:00黑曼巴
日期:2016-12-26 16:00:3215-16赛季CBA联赛之江苏
日期:2017-06-26 11:05:5615-16赛季CBA联赛之上海
日期:2017-07-21 18:12:5015-16赛季CBA联赛之青岛
日期:2017-09-04 17:32:0515-16赛季CBA联赛之吉林
日期:2018-03-26 10:02:16程序设计版块每日发帖之星
日期:2016-07-15 06:20:0015-16赛季CBA联赛之江苏
日期:2016-07-07 18:37:512015亚冠之萨济拖拉机
日期:2015-08-17 12:21:08
发表于 2015-08-14 11:41 |显示全部楼层
如何做到俯视系统呢?我们认为,你在观察系统时的“关心点”能够放在它“做了什么”,而不是放在它是“怎么做的”,你就会轻松很多,套用一句名言:通向广场的路不止一条。
之所以看不懂,是由于我们不知道符号代表的意思,或着是查询符号代表的意思要费很大的周折,于是越看越累

非常赞同

论坛徽章:
0
发表于 2015-08-19 21:03 |显示全部楼层
linux内核反向设计更新到4.1.6
本版整理了“调度”

论坛徽章:
0
发表于 2015-09-02 09:46 |显示全部楼层
内核抽取更新到v4.2
本次整理了“进程创建”
期待你的完善

论坛徽章:
9
程序设计版块每日发帖之星
日期:2016-02-13 06:20:00数据库技术版块每日发帖之星
日期:2016-06-15 06:20:00数据库技术版块每日发帖之星
日期:2016-06-16 06:20:00数据库技术版块每日发帖之星
日期:2016-06-18 06:20:00程序设计版块每日发帖之星
日期:2016-06-27 06:20:00程序设计版块每日发帖之星
日期:2016-07-09 06:20:00IT运维版块每日发帖之星
日期:2016-07-15 06:20:00IT运维版块每日发帖之星
日期:2016-07-27 06:20:00程序设计版块每日发帖之星
日期:2016-08-18 06:20:00
发表于 2015-09-05 16:03 |显示全部楼层
做逆向?
根据代码自动生成设计文档和需求文档?

论坛徽章:
8
羊年新春福章
日期:2015-03-19 02:03:312015亚冠之北京国安
日期:2015-06-16 22:04:45程序设计版块每日发帖之星
日期:2015-06-23 22:20:00每日论坛发贴之星
日期:2015-06-23 22:20:002015亚冠之首尔
日期:2015-06-24 19:18:072015亚冠之广州恒大
日期:2015-08-06 10:29:442015亚冠之柏太阳神
日期:2015-11-02 11:21:0515-16赛季CBA联赛之辽宁
日期:2015-12-09 15:05:02
发表于 2015-09-05 16:56 |显示全部楼层
持保留意见. lz可以搞搞.
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

SACC2019中国系统架构师大会

【数字转型 架构演进】SACC2019中国系统架构师大会
2019年10月31日~11月2日第11届中国系统架构师大会(SACC2019)将在北京隆重召开。四大主线并行的演讲模式,1个主会场、20个技术专场、超千人参与的会议规模,100+来自互联网、金融、制造业、电商等领域的嘉宾阵容,将为广大参会者提供一场最具价值的技术交流盛会。




----------------------------------------

大会官网>>
  

北京盛拓优讯信息技术有限公司. 版权所有 16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122
中国互联网协会会员  联系我们:huangweiwei@it168.com
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP