- 博客(134)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 第十章：vim程序编辑器
vi 文本编辑器 vim是高级的vi一、vi与vim1.1、为什么要学vim很多Unix Like都内置了vi + 很多程序编辑软件都会调用vi + vi具有程序编辑能力 vi 是文本编辑器 vim是高级的vi，可以是一个程序开发工具vim很根据文件扩展名或者文件内的开头信息自动调用该程序的语法判别式。1.2、vi的使用vi共有三种模式：一般模式、编辑模式、命令行模式 1、一般模式
2016-07-19 22:27:15
614
原创 第九章：文件与文件系统的压缩与打包
一、压缩文件的用途与技术文件压缩 减少占用的内存 压缩技术例如：将计算机中bit数据转换成byte数据 + 重复数据进行统计记录(100个1)用途：这样想，CPU处理速度快，文件下载速度慢，如果是下载压缩文件，再来解压缩，效率会高很多。Linux内核大小：300~400M二、Linux常见的压缩命令Linux压缩文件的扩展名：tar(compress压缩技术) gz(gzip) nz2(b
2016-07-13 12:01:25
652
原创 2016-7
7-3 ：华为入职 前一天mark 1. 房子还没定下来，7月份入职高峰期，再加上两室一厅的很少，有的可能会有各种问题(光线、距离等) 2. 报道资料准备：华为应届生报道材料邮件 1、用人单位联与学生保存联 2、报到材料：身份证、毕业证/学位证、四六级证书、2张2寸免冠彩照 3、落户材料：报到证、户口迁移证及其复印件、身份证复印件一份、报到证复印件一份(身份证号码 ，铅笔)、毕业
2016-07-03 09:51:20
467
原创 第八章：Linux磁盘与文件系统管理
一、认识EXT2文件系统Linux最原始的文件系统时EXT2，文件系统是创建在硬盘上。 1.1、硬盘组成以及分区的简单回顾磁盘的组成：圆形盘片 + 机械手臂与磁头 + 主轴马达盘片分为扇区，每个512byte，第一扇区很重要，包括的信息：MBR(446byte) + 分区表(64);/dev/sd[a~p]：SCSI、SATA、USB、Flash等磁盘文件名 + dev/hd[a~d]：ID
2016-06-24 11:34:09
606
原创 第七章：Linux文件与目录管理
一、目录与路径1.1、绝对路径与相对路径绝对路径：/相对路径：非/开头2、目录的相关操作几个比较特殊的目录 1、.：当前目录； 2、..：上一层目录； 3、-：前一个目录； 4、~：当前目录所在的主文件夹 5、~用户：该用户所在的主文件夹常见的目录处理命令(要经常使用TAB键补全) 1、cd：切换命令；change directory 2、pwd：显示当前目录的绝对路径； p
2016-06-22 19:57:46
544
原创 第六章、Linux文件权限与目录配置
一、用户与用户组Linux一般讲文件可存取访问的身份分为3个类别，文件的所有者(owner)，所在组(group)和其他组(other)。Linux用户身份与用户组记录的文件 1、etc/passwd：一般用户以及root的信息 2、etc/shadow：个人密码； 3、etc/group：所有组名；二、Linux文件权限概念2.1、Linux文件属性ls -al：详细显示该文件的详细
2016-06-20 22:33:43
450
原创 第五章：首次登录与在线求助man page
Linux采用了异步的磁盘/内存数据传输模式，同时又是多人多任务的环境，所以不能随便关机一、首次登录系统1.1、首次登陆图形界面会话：可以使用不同的图形界面来操作整个Linux系统； 1、CentOS5.x至少提供了GNOME/KED两种图形界面。(默认是GNOME ),也成为窗口管理员Gnome的操作与注销 1、图形界面：桌面、控制面板、任务栏、4个虚拟桌面 2、资源管理器=文件系统
2016-06-17 11:36:08
492
原创 第四章：Linux的安装
一、本练习机的规划磁盘分区规划 1、/boot——100MB——primary 2、/——10GB——primary 3、/home——5GB——primary 4、swap——1GB——logical(最多只能有一个逻辑分区)引导装载程序(Boot Loader) 1、CentOS5.x默认的grub； 2、安装在MBR上；二、开始安装CentOS5.x大致内容为：调整启动媒体(
2016-06-13 16:00:19
455
原创 第三章：主机规划与磁盘分区
牢记：各个组件或设备在Linux下面都是一个文件，在/dev/目录下二、磁盘分区2.1磁盘连接方式与设备文件名的关系分区：例如，Windows中一个硬盘分区后CDEF四个盘；两种常见的磁盘接口：IDE、SATA(目前应用多) 1、主机提供2个IDE接口，每个接口可以连接2个IDE设备，也就是说主机可以连接到4个IDE设备，对应的Linux文件名为：dev/hda,b,c,d 2、SATA设备
2016-06-05 19:06:47
496
原创 第二章：Linux如何学习
一、Linux当前的应用角色1.1企业环境的利用网络服务器：稳定性好，网络特别稳定(Linux最强大的地方在于网络)，WWW，Mail Server、File Server服务器Linux的开发者Towards是个性能癖，Linux的执行速度快；适用于数据集群运算。1.2 个人环境使用桌面计算机手机，例如Android手机也使用了Linux内核；嵌入式系统二、苦难经验回忆录学习建议L
2016-06-05 17:15:21
354
原创 第一章：Linux是什么
一、Linux是什么1.1 Linux是什么是操作系统(内核（硬件驱动+资源管理） + 接口) 1、Linux也可以在X86架构的计算机上运行，原因是：开源，可修改成各种机器上运行的版本，具有可移植性；Windows就不行了1.1 Linux之前Unix历史Multics系统 1、成员：Bell、MIT(麻省理工学院)、GE(通用电气公司) 2、任务：30台终端的分析操作系统扩展到300
2016-06-04 11:20:45
459
原创 第0章：计算机概论
一、计算机介绍1、计算机硬件五大单元输入单元中央处理器CPU：控制单元 + 算术逻辑单元 1、CPU：含有特定功能的位指令集芯片(想要CPU有什么功能，就要求芯片上有什么类型的微指令集)； 2、算术逻辑单元：程序运算与逻辑判断； 3、控制单元：协调各个单元之间的工作；内存：输入——内存——CPU——内存——输出。
2016-06-02 15:32:19
367
原创 JaConTeBe benchmark
Abstract意义：研究人员提出了很多方法来检测并发错误和改善多线程程序，但是对这些方法有效性的评估仍是一个问题现有的研究中用于检测这些方法有效性的程序代码或者是Bug都不具有现实意义的代表性。论文的工作：为了提升代表性，论文提出了JaConTebe benchmark，47个并发错误；测试用例来描述buggy行为；验证检测方法的有效性；提交到开源库中Introduce很重视并发bug
2016-05-06 17:26:53
864
原创 融合计算知识储备
华为E9000融合架构刀片服务器 (数据中心基础设施) 1. 背景知识 1、虚拟化：把一个物理实体通过虚拟化技术变成若干个逻辑上的对应无，有两种虚拟技术的实现： ①、时分复用技术：利用处理机的空闲时间来运行其它程序(例如CPU并发处理多个进程，给用户的感觉就是有多个CPU分别执行了多个程序) ②、空分复用技术：利用存储器的空闲空间来存放其它程序(例如电脑硬盘被分成CDEF
2016-04-16 10:09:15
1978
原创 improve
2016-4-5华为手机一寸相片 1、一寸 = 3.3333cm 2、一寸不是指照片的对角线长度，国家规定了寸跟长度大小的转换标准 3、一寸=2.5cm * 3.5cm 两寸=3.5cm*5cm图片的相关概念 1、图片类型：矢量图 + 点阵图(我们平时的图片就是这一类型) 2、像素 ①、概念：一张点阵图图片可以看成很多个点组成，一个点即是一种颜色，像素就是组成一张图片的点。像素越
2016-04-05 19:05:52
1089
原创 装B锦句
生活你不只是眼前的苟且，还有诗和远方——高晓松 音乐《同桌的你》 + 导演、编剧《那时花开》+ 评委《曾轶可》 + 脱口秀主持人《晓说》 + 醉驾/离婚 + 高级知识分子家庭
2016-04-01 09:50:20
380
原创 Benchmark库的建立06：变量溢出 Bug
Bug类型变量溢出 Bug正确版本程序apps/benchmark/TestOverflow程序描述传感器每0.1S采集数据并保存到的buffer[2]数组中；传感器采集数据成功，切换LED0的状态，并提交 computeTask任务，采集失败则切换LED1的状态；任务computeTask中计算结果如果大于uint16_t则发生溢出，切换LED2的状态。Avrora运行程序cd
2016-02-29 11:01:31
438
原创 Benchmark库的建立05：任务Post失败 Bug
Bug类型 任务Post失败 Bug正确版本程序 apps/benchmark/BlinkPostFail 程序描述 定时器每隔0.25s提交任务TestTask，任务 TestTask的功能是切换LED0的状态；如果任务Post提交成功，切换LED1的状态，否则切换LED2的状态。Avrora运行程序alias avrora=’java -jar avrora-beta
2016-02-27 21:47:47
555
原创 Benchmark库的建立04：单个任务的长时间执行Bug
Bug类型单个任务的长时间执行Bug（执行这个任务耗时很长而引起的bug）正确版本程序apps/benchmark/BlinkRunTask程序描述在Blink程序的基础上添加computeTask任务并在 Timer0.fired（）事件中post出去。每隔0.25s/0.5s/1s的时间间隔切换LED0/LED1/LED2的状态。Avrora运行程序alias avrora=’
2016-02-26 19:16:37
604
原创 Benchmark库的建立03：空指针异常Bug
Bug类型 空指针异常Bug正确版本程序 apps/benchmark/BlinkToRadio 1、运行BlinkToRadio节点结果： 2、PC端运行结果： 程序描述 以计数和发送节点id作为packet的有效负载，通过无线定时将packet发送出去；BaseStation节点将接收到的数据包通过串口转发给PC端，并在PC端打印接收到的数据包；接收其它节点发送过
2016-02-25 11:37:59
423
原创 Benchmark库的建立02：除0 bug
Bug类型Bug类型正确版本程序apps/benchmark/BlinkToDivide程序描述计算一个常量与数组中每个数的比率值；每计算一个比率值切换LED1的状态；除0时切换LED1的状态；计算结束后切换LED3的状态。Avrora运行程序alias avrora=’java -jar avrora-beta-1.7.113.jar -colors=false -banner=f
2016-02-24 11:20:46
469
原创 Benchmark库的建立01：数组越界bug
正确版本程序tinyos-2.x/apps/Oscilloscope程序描述节点周期性启动传感器采集数据，传感器收集10个数据之后通过无线发送给基站节点；无线开启失败或者采集数据失败时切换LED0的状态；节点成功发送数据时切换LED1的状态；节点接收到消息时切换LED2的状态。Avrora运行程序alias avrora=’java -jar avrora-beta-1.7.113.ja
2016-02-22 20:57:48
441
原创 TinyOS bug程序的执行01(T-Check中的bug)
没看懂的地方： 1、Uart层接收到的数据字节数据是一步一步封装成分配器层的Message_t吗，姑且这样理解吧。 2、payload、message_t和packet三者之间的关系，PC与节点之间或者节点与节点之间发送的所谓“数据包”一个基本的格式概念不是很清楚。bug1：串行栈bug背景知识介绍内容涉及到BaseStation节点与PC端数据通信的基本实现； 注意：TinyOS2.X中数
2016-01-24 17:30:42
1063
原创 TinyOS08：在Avrora上运行Sentomist的三个实验
实验一： 单跳数据采集中的数据污染程序实现的功能：传感器节点监测温度，并以单跳的方式将数据传给数据接收器(data sink)该程序是Oscilloscope实例中的程序，根据指定的时钟延迟D周期性采集温度数据，程序通过ADC中断处理程序获得采集的数据，当采集的数据达到3个时，以数据包的形式发给数据接收器。两个相关的传感器实例简单介绍1：Sense实例 Sense实例：周期性读取传感器数据，
2016-01-05 23:13:08
1318
原创 TinyOS08：Avrora学习笔记
Avrora的mailing-listhttp://www.mail-archive.com/[email protected]/maillist.html http://lists.ucla.edu/cgi-bin/mailman/listinfo/avrora avrora –action=simulate simple.odaction的缺省值，等价于：$avrora simple.o
2015-12-28 14:17:15
664
原创 TinyOS07：elf文件格式及分析工具objdump
objdump是GUN中专门用于将二进制目标代码从一种格式转换成另一种格式的二进制工具(对象文件格式分析工具)，并且在转存过程需可以对二进制代码进行相关操作；ELF简单来说就是一种跨平台的二进制文件。GNU中的objdumpobjdump属于GNU中的二进制工具，GNU中的二进制工具专门用于将二进制目标代码从一种格式转换为另一种格式(dump单词本身有转存的意思)与objdump类似的GNU二进
2015-12-27 11:37:09
4590
原创 Avrora学习笔记(官网)
Avrora：有精确时钟特性可扩展的传感器网络模拟器。 Avrora总的来说既是一个传感网程序的模拟器，也为传感网程序提供了一个分析框架What is AvroraAvrora：Avrora为Atmel和Mica2传感器节点中AVR单片机程序提供的的一款仿真和分析工具；Avrora是一个用于仿真和分析嵌入式程序的框架；Avrora提供了一个用于嵌入式程序de 分析、实验的Java API。
2015-12-18 16:57:32
2110
原创 TinyOS论文11：Sentomist
Sentomist：通过症状挖掘检测传感器网络的瞬态错误Abstract在摘要部分首先介绍了无线传感网络应用程序：事件驱动、看似简单、以复杂的并发模型执行的，很容易产生错误，特别是瞬态错误(瞬态错误：会产生，持续的时间不长)瞬态错误产生的原因：传感网程序中具有隐式依赖关系的事件过程交错执行时很可能产生瞬态错误；而且这种瞬态错误隐藏的很深，现有的测试工具不只很难检测这种瞬态错误，连这种瞬态错误的症
2015-12-16 14:53:14
480
1
原创 TinyOS论文10：Bug Hunting in Sensor Network Applications
Abstract论文提出了KleeNet工具，一个独立平台的传感网程序bug检测工具，他能针对所有可能的输入测试应用程序，能够保证程序的内存安全；KeelNet根据真实输入值生成正确的测试集，并且识别特定的错误程序路径；将KeelNet很好地集成到了TinyOS中；IntroduceWSNs应用程序：内存限制 + CPU资源有限 + 低级、非类型安全的语言且没有动态监测和内存保护 + 高度
2015-12-15 16:56:16
550
原创 TinyOS论文09：Random Testing of Interrupt-Driven Software
中断驱动软件的随机测试Abstract嵌入中断驱动软件由于大范围的执行路径，很难做到完全测试，论文提出了随机中断测试：在随机次数中出发随机的中断处理器；本地的对中断驱动软件的随机测试应用程序：一些随机生成的中断钓鱼违反了系统语义，造成错误伪报。论文贡献：RID的设计、实现、实验评估。RID：限制中断训练的测试方式来处理嵌入式软件，并且会考虑到非预期的中断。总之：执行随机测试 + 不会产生误报。
2015-12-14 17:01:25
562
原创 TinyOS论文08：Proteum
一个评估C程序测试充分性的工具Abstract该论文提出了Proteum的主要特征，Proteum是一个支持变异测试标准的测试工具；通过配置可以让Proteum测试很多面向过程的编程语言；Proteum的相关环境：SUM工作站 + OPENWIONDOWS环境。Introduce在Proteum中，由测试session来引导程序测试过程。在测试session中测试人员可以创建、中断或者继续
2015-12-10 21:27:19
1008
2
原创 TinyOS论文07：MILU :
MiLu：一个可定制、运行时优化、高阶的C语言变异测试工具； 1. MiLu：C语言变异测试工具 1、一阶 + 高阶变异测试 2、之前的工具是将所有可能的变异算子应用到测试中；而MiLu可以指定应用到测试中的变异算子； 3、为减少运行时开销，MiLu使用“测试治理(test harness)”技术将变异体和测试集嵌入到测试程序中。 2. background介绍了现有的一些变异测试工具
2015-12-10 11:26:14
860
原创 TinyOS论文06：Clairvoyant: A Comprehensive Source-Level Debugger for Wireless Sensor Networks
Clairvoyant：一个功能全面的源码级传感网程序调试器Abstract开发人员可以通过Clairvoyant连接到无线传感器网络，并且执行标准的调试命令，例如break、step、watch、backtrace中这专门为调试WSNs设计的专门的命令。Clairvoyant也视图减少在调试过程中网络负载、内存占用、执行速度、锁的一致性和结点的快速声明周期一、Introduce源码级调试器
2015-12-03 17:21:18
619
原创 TinyOS论文05：Efficient Memory Safety for TinyOS
TinyOS的有效内存安全。 Safe TinyOS：在现有的TinyOS之上保证传感网程序的内存安全和类型安全。 Deputy通过注解为传感网程序插入相应的验证代码，类似于Java中的泛型，只是Deputy验证的是变量的范围值。Abstract创建可靠地传感器网络程序很难：并发 + 分布 + 没有保护的硬件内存 + 资源受限 + 低级的编程语言；论文为TinyOS应用程序提供了有效的内存安
2015-11-28 21:04:40
595
原创 TinyOS论文04：Demo: Towards Bug-free Implementation for Wireless Sensor Networks
Abstract在这个例子程序中，提出了一种特定领域的模型检测器——NesC@PAT；NesC@PAT工具将NesC程序作为输入，并且自动验证WSNs中违反的特定属性(例如无死锁、状态可达和线性时序逻辑公式)。NesC@PAT能够找出非正常情况下小概率的传感网bug，普通的模拟和调试是不嫩找出这些bug的。IntroductionTinyOS/NesC程序的并发性和事件驱动的特点导致有些b
2015-11-27 23:25:17
517
1
原创 TinyOS论文03：Bugs or Anomalies? Sequence Mining based Debugging in Wireless Sensor Networks
bugs或者异常？无线传感器网络中基于调试的序列挖掘。Abstract传感网程序由于它的分布式特点、高并发、资源有限，很容易出现bug。论文提出了一种基于序列挖掘技术、灵活的、迭代的WSNs调试技术。实现步骤为： 1、论文首先开发了一种数据结构：矢量化概率后缀树(以一种灵活的、基于向量的简单后缀树方式的建模技术从程序运行流中提取和存储序列化信息)。 2、之后，通过集成vPST和SVM(支持向
2015-11-25 11:29:01
525
原创 TinyOS论文02：Finding Symbolic Bug Patterns in Sensor Networks
Abstract论文提出了一种用于归纳和总结传感网bug的错误诊断算法。多个不同的事件模式由于具有相同的事件属性可能有相同的错误表现，例如：某些系统中，发送方和接收方如果超出2个范围的跳数的话就会出错。特征模式提取技术用于识别和描述传感网的异常行为，用于归纳传感网节点或者信息交换的特征模式一、Introducebug特征模式：传感器网络中那些可能导致bug的实际可观测的消息交互以及结点、角色
2015-11-21 17:15:43
423
原创 TinyOS论文01：T-Check：Bug Finding for Sensor Networks.
一、摘要T-Check工具：使用随机漫步和明确的状态模型检测来找出运行在TinyOS上的传感网程序的安全和活性错误；所涉及到的模拟器：TOSSIM模拟器(事件驱动)：对中断驱动并发和底层硬件交互的抽象；T-Check不能检测某些底层的错误，但能够检测分布是错误，譬如说当一个结点失效时集合树协议未能正确地修复。二、介绍部署一个可靠的传感器网络很难 + 数据收益率低于100%T-Check：
2015-11-11 09:45:38
896
原创 TinyOS06：Avrora的Mailing List
一、Mailing List 概念简单介绍总体概述：一组人对某一感兴趣的话题通过邮件的方式进行交流。分类： 1、讨论组：更早期 + 讨论组中的每个成员都可以向其他成员同时发送邮件 + 讨论形； 2、邮件列表：有专门的管理人员 + 而对于通常的邮件列表来说，是由管理者发送信息，一般用户只能接收信息 + 公告形。每一个用户可以订阅别人的邮件列表，成为邮件列表的接受者 + 也可以创建邮件列表，成
2015-11-09 22:58:47
354
基于Java的群聊系统
2015-07-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人