基于RT-Thread多线程程序的可穿戴心理健康监测设备设计研究

为了实现个体心理健康的长期监测,获得客观评估心理状况的实时数据,研究设计了一款采集用户语音、行为以及环境数据的可穿戴设备,并借助主成分分析特征压缩法与集成思想完成心理健康的评估。实验结果表明,合成加速度的时域幅值方差值和第二共振峰特征值分布情况可有效区分心理健康状态。量表低分测试者的方差值分布相对集中,密度曲线在1 000 Hz~3 500 Hz范围内呈现高斯分布,与受试者心理健康状态实际情况相符。研究设计的决策分类模型准确率较高,均方根误差收敛于0.563,召回率较高,模型综合性能较优。此次研究设计的可穿戴心理健康监测设备能够长期有效监测用户行为数据,提供了便捷、客观、综合和个性化的心理健康管理方式。

多线程C程序内存安全性动态分析方法

随着数字化技术的不断发展,软件程序的结构逐渐变得越来越复杂,并发量要求的提升导致多线程程序的数量大幅增加。由于C语言程序对内存安全性的检测能力相对较弱,所以很多情况下都会导致软件程序出现漏洞,只有主动加强内存安全性检测才能为软件程序的安全稳定运行带来足够的支持与保障。本文对多线程C程序内存安全性进行分析,并以动态分析技术为核心探究内存安全性的分析检测方法,希望为关注多线程C程序内存安全性动态分析方法的人群带来参考。

一种基于无锁队列的运行时多线程并行验证方法

运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使用串行的方式处理,这大大降低了验证效率.因此,本文在分析了形式化规约的基础上,提出了一种基于无锁队列的运行时多线程并行验证方法.方法在现有工具MOVEC上实现并在测试集mibench上插桩运行,并与相关工具ACC、AC++和串行机制下的MOVEC进行了对比实验.实验结果表明,本文所实现的基于无锁队列的运行时多线程并行算法可以在有多个监控器的情况下有效地对C语言程序进行并行的运行时验证,且并行验证算法的性能比串行验证算法提升了约83%.

基于SOCKET和多线程的应用程序间通信技术的研究

探讨了基于多线程和SOCKET在不同的程序之间进行数据通信的方法。结合课题的实践论述了其中的关键问题和技术 ,并运用多线程、WINSOCK和“环”文件的方式完成了应用程序之间通信的任务。同时利用同步对象解决了多线程的资源共享问题。

使用C#语言进行多线程程序设计

主要对微软最新推出的C＃语言在.Net框架下进行多线程程序设计的方法进行了探讨，并介绍了在多线程编程情况下线程安全的概念和方法。

分布式测控系统的多线程应用程序设计

应用Windows（R）95／98／NT多线程编程方法，把分布式测控系统中的指令和数据传输、数据处理与显示、测试状态与报警提示、数据与状态存档以及应用程序响应操作员的键盘（或鼠标）输入等实时任务分别创建成多个线程，使用相应的同步和共享操作协调它们在应用程序中的执行过程，不仅充分利用了新一代操作系统所带来的优良性能，大大提高应用程序处理任务的效率和可靠性，而且为应用程序移植到未来的多处理器计算机系统中奠定了的基础。

多线程程序设计的概念与应用

多线程程序设计技术近年来得到迅速发展和日益广泛的应用。本文介绍了线程（Ｔｈｒｅａｄ）的概念、多线程程序设计（ＭｕｌｔｉｔｈｒｅａｄｅｄＰｒｏｇｒａｍｍｉｎｇ）的基本思想及其应用模式，讨论了ＰＯＳＩＸ标准中Ｐｔｈｒｅａｄ系统的用户级实现。最后以一个服务器程序的实例，说明了多线程程序的设计方法。

多线程并行程序数据竞争静态检测方法

通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层。通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列。实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位。

面向多线程程序基于效用的Cache优化策略

为了提供高速的数据访问,多核处理器常使用Cache划分机制来分配二级Cache资源,但传统的共享Cache划分算法大多是面向多道程序的,忽略了多线程负载中共享和私有数据访问模式的差别,使得共享数据的使用效率降低.提出了一种面向多线程程序的Cache管理机制UPP,它通过监控Cache中共享、私有数据的效用信息,为每个线程以及共享数据分配Cache空间,使得各个线程以及共享数据的边际效用最大化,从而提高负载的整体性能.另外,UPP还考虑了程序中数据的使用频率以及临近性信息,通过提升、动态插入策略过滤低重用数据,从而使得高频数据块留在Cache中.通过实验表明,其性能相对于基于LRU的纯共享Cache结构和基于公平的静态Cache划分结构均有提升.

基于Delphi多线程的串行通信程序设计

串行通信由于具有硬件结构简单、成本低廉等优点而得以广泛应用。文章介绍了用Delphi实现的串行通信的一个应用实例,讨论了在多个任务并发执行的环境下多线程的设计方法,以及在线程中进行串行通信的一般过程。

一种多线程计算程序的机群移植方法

机群并行化应用程序的用户接口和编程方式多种多样 ,常常令用户望而却步 .该文详述了一种从程序的目标代码着手 ,以 EL F格式可执行文件 PL T表项重定位为基础 ,利用多线程程序自身的并发和同步特征 ,让线程中的计算负载分布到机群各节点的移植技术 .为用户提供透明的机群并行机制 ,提出并讨论了相应的 Master-Worker(Task- Farming)计算通信模型以及调度策略 .最后 ,通过实现该移植技术 ,分析基于 BL AS库多线程矩阵乘法程序移植后的运行结果 。

面向多线程多道程序的加权共享Cache划分

并行应用在共享Cache结构的多核处理器执行时,会因为对共享Cache的冲突访问而产生性能下降和执行时间不确定的现象.共享Cache划分技术可以把共享Cache互斥地分配给多个进程使用,是解决该问题的有效方法.由于线程间的数据共享,线程数目不同的应用对共享Cache的利用率不同,但传统的以失效率最低为目标的共享Cache划分算法(例如UCP)没有区分应用线程数目的不同.文中设计了一种面向多线程多道程序的加权共享Cache划分框架(Weighted Cache Partitioning,WCP),包括面向应用的失效率监控器和加权Cache划分算法.失效率监控器以进程为单位动态监控在不同的Cache容量下应用的失效率;而加权Cache划分算法扩展了传统的失效率最优的Cache划分算法,根据应用线程数目的不同在进行Cache划分时给应用赋予不同的权值,以使具有更多线程的应用获得更多的共享Cache,从而提高系统的整体性能.实验结果表明:加权Cache划分算法虽然失效率有所增高,但却改进了IPC吞吐率、加权加速比和公平性.在由科学和工程计算应用组成的多道程序测试用例中,WCP-1的IPC吞吐率比以失效率最低为目标函数的共享Cache划分算法最高高出10.8%,平均高出5.5%.

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是，多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难，这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则，利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法 ,该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息 ,利用这些信息能够判断出程序中的多线程可实现路径 ,从而提高多线程程序静态切片的精度和效率 .最后给出一个多线程切片的实例 .

多线程Java程序安全行为模型的静态检查方法

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

用Delphi开发二进制方式的多线程串行通讯程序

本文介绍了在 Delphi环境下如何采用控件方法实现上位机与单片机之间的二进制方式的多线程串行通讯。文中给出了一个编程示例 ,具体说明了这种软件的使用方法。

JAVA与多线程程序设计

介绍了进程、线程的基本概念及其优缺点,多线程在程序设计中的应用,JAVA语言多线程的定义、实现、同步方法、解决冲突的措施以及在编程中注意的问题。介绍了1个JAVA多线程实例程序,用以演示多线程在动画中的应用。

Java程序的多线程机制

多线程是 Java的一个重要特点 ,这使得在一个 Java程序内部可同时进行多种运算 ,从而充分利用系统资源 ,提高程序运行效率。本文结合开发中的实例论述在

多线程同步机制在应用程序与驱动程序通信中的应用

本文对WindowsNT操作系统的多线程同步机制和同步对象进行了分析,以其在检测仪和经纬仪同步通信程序开发中的应用为例,论述了如何通过共享事件来实现应用程序和设备驱动程序的同步通信,并给出了同步驱动程序的实现原理和具体编写步骤。

一种基于类的Java多线程程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。