Elastos内存管理对软件调试的支持

软件调试支持是操作系统的重要组成部分,而由于内存管理不善造成的软件BUG占软件故障的很大比例.从内存管理的角度,讨论了Elastos操作系统对软件调试的支持.介绍了Elastos的内存布局和堆管理器算法,然后论述了堆、栈的内存管理,以及针对软件调试所提供的栈保护页设置、堆块前/后内存越界检查等.最后简要地介绍了构件Domain技术和基于伪驱动的内核窥探调试.通过Elastos内存管理的调试支持,可以提高修复和内存管理相关的BUG,增强软件的可靠性,减小软件的开发成本.     

面向TD协议栈的内存管理技术研究

内存管理是一个一直值得研究和优化的问题。在TD—SCDIVIA高层协议栈软件跨平台技术的研究过程中,文中提出了一种内存管理方法：在软件和操作系统之间设立抽象层,抽象层的内存池在系统初始化时集中申请,软件运行时的内存申请释放由抽象层进行调度,抽象层采用大小最匹配算法将内存池中的内存块给软件使用。抽象层提供link函数以提高软件执行效率,并提供内存泄露和内存越界使用的检测。与传统内存管理相比,使用文中介绍的内存管理技术的高层协议栈软件,一次内存调度平均速度可以提高1微秒,并能完全屏蔽下层不同操作系统之间的差异。     

一种嵌入式软件离线重放调试方法

在嵌入式多核操作系统中,软件的运行环境十分复杂,在软件开发过程中往往会遇到某些错误现场不稳定复现的情况,为嵌入式软件的调试带来困难。针对上述问题,向开发人员提供软件调试过程的现场重放能力,对嵌入式软件的调试过程进行真实记录（包括：调用栈、内存、变量、寄存器等调试现场信息）,生成并通过离线解析日志文件以支持开发人员对调试现场的确定性复现和分析,为嵌入式软件的调试提供了有效途径。     

Java中堆与栈的内存分配

堆与栈是Java用来在内存中存放数据的地方,不能直接设置堆和栈,由Java自动管理。本文对堆内存与栈内存的分配进行了阐述。     

基于XML-Glue的可扩展脚本框架模型设计

介绍了嵌入式和欣操作系统Elastos。它是基于构件技术、支持构件化应用的操作系统,采用了支持动态加载、更换、卸载系统构件的灵活内核技术模型。在基于Elastos的CAR构件系统上,利用构件系统所具有的元数据和反射机制提出了一个可扩展的脚本框架。该脚本框架提出的意义在于：用户可以使用XML和脚本语言开发应用,用C/C＋＋开发逻辑构件,从而实现逻辑和界面的分离,这不仅加快了开发速度,而且有利于软件的升级。     

Java虚拟机内存分配探析

Java把内存划分为堆和栈。介绍了堆和栈的区别,并以String类对象为例说明它们在内存分配中的不同,及对程序编写的影响。     

嵌入式MPSoC的调试功能实现

从软件角度讨论了嵌入式MPSoC的调试功能实现．在实时操作系统中设置了调试管理部分,通过构建操作系统的调试进程实现相应的调试功能,实现的调试功能模块包括相应的调试命令集规范、输入／输出模块及执行命令模块．实时操作系统驻住在MPSoC的主控芯片上,通过将执行命令模块放置到不同的处理器核上实现调试各核及核上程序的功能．为了保证操作系统自身功能正确,首先通过硬件EJTAG模块调试操作系统本身,并开发了相应的软件RDView;然后使用操作系统的调试管理部分实现调试本机及其他处理器核上应用程序的执行状况．基于软件实现的调试管理功能以较小的内存代价,方便、有效地实现了MPSoC的调试功能．     

Elastos平台上可执行文件的三种入口规范

Elastos嵌入式操作系统是基于CAR构件技术、支持构件化应用的操作系统,是国家863计划支持的TD-SCDMA的操作系统标准.Elastos平台上的可执行文件是Elastos嵌入式操作系统中最重要的文件类型,因为可执行文件是完成操作的真正执行者.可执行文件的大小、运行速度、资源占用情况及可扩展性等与文件加载过程和文件的入口规范紧密相关.研究可执行文件的加载过程、执行流程和入口规范对编写高性能程序和一些黑客技术的运用都是非常有意义的.     

基于Elastos操作系统的图形引擎的设计与实现

Elastos图形系统Vinci是Elastos操作系统的一个子系统,负责在屏幕上绘制像素、文本和用户界面（包括窗口、菜单、对话框）等。图形引擎的体系结构决定了此系统的简易性、灵活性、效率和稳定性,所以它的设计又显得至关重要。分别介绍了基于Elastso操作系统的图形系统Vinci、此图形引擎的设计需求,在此基础上根据图形系统的引擎功能设计需求结合nitros图形系统Vinci自有的特点,实现了Vinci引擎的设计,使得基于Vinci系统的Elastos操作系统可以完成各种各样的操作。     

基于指针概念理解JAVA知识点

1 Java内存划分情况 计算机中程序运行都是在内存中进行的,Java程序是交给JVM自动管理,内存区域是指JVM的内存,大致可划分为四个部分:(1) Java栈Java栈也称作虚拟机栈,是Java方法执行的内存模型.Java栈中存放的是一个个的栈帧,每个栈帧对应一个被调用的方法,在栈帧中包括局部变量表、操作数栈、指向当前方法所属类的运行时常量池的引用、方法返回地址和一些额外的附加信息.(2)本地方法栈本地方法栈以帧的形式存放本地方法的调用状态,包括方法调用的参数、局部变量、中间结果等.方法都是以方法帧的形式存放在方法区.(3) Java堆Java堆是一个运行时的数据区,用来存储数据的单元,堆中存放通过new关键字新建的对象和数组.在JVM中只有一个堆,可以在运行时动态地分配内存大小,存取速度较慢.在堆中声明的对象不能直接访问,必须通过在栈中声明的引用来调用.引用变量存储的是指向堆中的数组或对象的地址,即指针.(4)方法区方法区是被线程共享的区域.在方法区中,存储了每个类的信息,包括类的名称、方法信息、字段信息、静态变量、常量以及编译器编译后的代码等.     

浅谈Java中数据的存储

堆与栈都是Java中用来在RAM中存放数据的地方,介绍了堆与栈存储数据的特点,对Java中的各种数据类型在堆与栈中的存储方式进行了分析。     

一种检测运行栈与静态数据区重叠的新方法

嵌入式系统中由于内存限制,容易出现运行栈和数据区重叠的错误。已有的两种检测该错误的方法在准确性和易用性方面存在缺陷,不适用于基于软件模拟器的大规模回归测试。文章通过改变运行栈与静态数据区的布局,将运行栈与静态数据区重叠的错误转化为运行栈超越内存地址空间的错误。新方法大大简化了这种运行时错误的检测和调试。     

基于C++的动态内存实时监测器

通过对地球物理软件研发过程中比较常见内存错误的调研与总结,设计并实现了一个基于C/C++的动态内存检测工具,采用内嵌与关键函数截获方式,对编译器开放接口进行扩展与改进.该工具通过对软件运行过程中堆内存使用情况的实时收集、分类统计与分析,达到动态的监控与检测内存堆栈错误的目的.以中国石化石油物探技术研究院自主研发的油气综合解释系统NEWS子系统-叠前叠后联合解释模块主要流程为例,用该检测工具对其进行全面的测试与应用.实践表明,嵌入监测器的应用软件在开发过程中大幅降低了内存泄漏现象,运行时减少了内存错误导致的异常崩溃现象,提高了应用软件的稳定性,并能够对开发以及测试人员快速定位与分析软件错误起到较强的指导作用.     

Space-Reduction Strategies for Model Checking Dynamic Software

Effective model-checking of modern object-oriented software systems requires providing support for program features such as dynamically created threads, heap-allocated objects and garbage collection. These features have often proven problematic to treat using many previous model-checking frameworks that do not provide sophisticated heap representations and optimizations.In this paper, we define a flexible framework for combined heap and thread symmetry reductions in explicit-state model checking that can be tuned to trade run-time overhead for precision. In addition, we describe various strategies for duplication-reducing state-space encodings for object-oriented heap structures. We have implemented these techniques in Bogor (our extensible software model-checking framework), and we present empirical data to support the effectiveness of these memory reductions on a collection of realistic examples and to demonstrate that they improve upon previous approaches. These techniques, formalized in a group theoretic framework, can be applied to any non-deterministic heap object diagram.     

一个NT平台上分布式对象数据库服务器系统

FISH系统是一个用于支持先进应用(如GIS,EC,CIMS)的新一代分布式对象数据库系统.该系统采用了许多新颖技术,如DSVM(distributed shared virtual memory)、持久堆、页式对象、透明锁、紧凑提交等.重点介绍了该系统的总体结构和设计思想,特别是FISH系统在Windows NT上实现所涉及的底层技术,包括内存映射、共享内存、远程过程调用、多线索连接、页面故障处理等.基于OO7的性能测试表明,FISH系统在NT机群环境下取得了与在分布式UNIX环境下同样高的分布执行效率     

Elastos智能手机动态多UI电话簿排序的实现

Elastos手机是一款可用于TD-SCDMA通信网络的智能手机,它采用Elastos嵌入式操作系统,运行于Elastos构件运行平台之上,并使用SQLite嵌入式数据库作为公用存储.讨论了为Elastos智能手机提供动态多UI电话簿排序的数据处理技术,介绍了在SQLite的CAR构件封装与移植的基础上,如何实现各种中文排序以支持电话簿的排序功能.     

Elastos智能手机动态多UI电话簿排序的实现

Elastos手机是一款可用于TD-SCDMA通信网络的智能手机,它采用Elastos嵌入式操作系统,运行于Elastos构件运行平台之上,并使用SQLite嵌入式数据库作为公用存储。讨论了为Elastos智能手机提供动态多UI电话簿排序的数据处理技术,介绍了在SQLite的CAR构件封装与移植的基础上,如何实现各种中文排序以支持电话簿的排序功能。     

基于和欣操作系统的面向服务软件模型研究

本文介绍了嵌入式和欣操作系统,提出了面向服务软件模型及其提供的三种服务模式,解决了传统的面向对象软件模型的局限性,并使用此编程模型构造了一个电子签名软件,具体说明了此模型的优点。     

Efficient and scalable omniscient debugging for model transformations

This paper discusses a technique for supporting omniscient debugging for model transformations, which are used to define core operations on software and system models. Similar to software systems developed using general-purpose languages, model transformations are also subject to human error and may possess defects. Existing model-driven engineering tools provide stepwise execution to aid developers in locating and removing defects. In this paper, we describe our investigation into a technique and associated algorithms that support omniscient debugging features for model transformations. Omniscient debugging enables enhanced navigation and exploration features during a debugging session beyond those possible in a strictly stepwise execution environment. Finally, the execution time performance is comparatively evaluated against stepwise execution, and the scalability (in terms of memory usage) is empirically investigated.