一种多线程软件并发漏洞检测方法

多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用S*PR网建模,但是尚未有理论支撑混合整数规划用于其漏洞检测.定义了S*PR网的一个子类——SEM-S*PR网,它允许资源库所初始标志大于1且分支可对称地使用资源,进而可建模一类使用信号量的多线程软件.依据结构特点,证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非空.此结论是混合整数规划用于SEM-S*PR网建模的多线程软件的并发漏洞检测的理论基础.

一种基于有限自动机的多线程软件设计方法

本文首先介绍了有限自动机的基本理论,然后,基于该理论,提出了一种多线程软件设计方法。这种软件设计方法能解决多用户环境下,系统服务性能不佳及系统资源不足等问题。

基于锁信息的多线程软件原子性错误检测方法

原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。

基于LabWindows的实时多任务加载总控台软件设计

针对起落架系统电液加载试验中具有参数实时测量和系统实时控制的多任务并行特点,采用多线程技术和LabWindows/CVI平台,开发出了实时多任务总控台软件,结果成功地应用于实际加载试验系统中,实现了系统可靠实时测控的要求。

重磁三维自动反演软件系统的分析与设计

由于三维反演计算非常耗时,导致目前的重磁三维自动反演系统的工作方式效率低。为了改善工作效率和提高反演结果的质量,提出实时可视化自动反演方式,设计并开发了一个重磁三维实时可视化反演系统。该系统在三维反演计算的过程中,将中间反演结果同时进行成图可视化,使得工作人员能及时分析和评价中间反演结果并能修改参数,以此来介入和引导复杂的反演过程,快速有效地得到比较理想的反演结果。该系统具有实时性、交互性和引导性特点。对该系统进行了分析和设计,并给出了其中的关键技术与设计方案。

模型检测技术在软件并行缺陷检测中的应用

多线程并行运行的软件在提高性能的同时,其交互的组合随着程序规模增大变得更为复杂,给软件的设计与验证带来了挑战。本文从常见的并行缺陷入手,提出使用模型检测的方法对其进行检测和分析,实践表明,使用该方法可有效检测此类并行缺陷。

强实时测控系统的软件设计技术

从满足测控系统的实时性要求,本文从A/D触发时钟和触发模式等硬件配置的软件设置方法,数据传输方式和端口I/O操作方法的选择,及软件多线程应用技术等方面,探讨了提高数据采集速率的实施策略和技巧。

四招为VISTA减负

相信很多朋友已经用上了Vista，在使用Vista的过程中是不是发现了很多的不足？比如，在启用多线程下载软件时，总是觉得下载速度没有Windows×P快，系统关机的速度也是极其缓慢。下面我们就亮出四板斧来优化Vista。

玩转FlashGet另类技巧

FlashGet(网际快车)是一款出色的国产多线程下载软件，目前最新版本为V1．5，相信在许多朋友的系统中都有它忙碌的身影。其实，除了强大的下载功能外，FlashGet还有很多其它用途和玩法，请看小生为大家带来的技巧!

FlashGet应用技巧五招

Flash Get（网际快车）是款出色的国产多线程下载软件，除了强大的下载功能外，FlashGet还有许多技巧，这里给一简单介绍几个，希望能帮助大家更好的应用。

快“蚁”加鞭

作为出色的多线程下载软件，网络蚂蚁名扬网内外。虽然大家经常用它，但大多是在其默认设置下使用，未能最大限度地发挥网络蚂蚁的能力。本文的目的就是通过优化网络蚂蚁中容易被大家所忽略的设置，“榨干”网络蚂蚁的“油水”，来个快“蚁”加鞭！

让FlashGet下得更省心

FlashGet（网际快车）作为目前最流行的多线程下载软件，具备了下载工具所需要的各种功能。常见的功能大家可能都很熟悉，但本文将要介绍的这几个高级技巧，你绝对不能忽略。因为：掌握了这几个技巧，将让你下碍更省心。

新书上架

《多核程序设计技术-通过软件多线程提升性能》， 《软件设计精要与模式》 ，《PHP与MySQL基础教程》。

Shttpd

Windows下支持多线程下载的．超级小的httpd．压缩后只有15K。使用方法如下（如图6所示）：

使用FlashGet拷贝文件的另类方法

FlashGet（网际快车)是一款常用的支持断点续传的多线程下载软件．由于可方便地对下载文件进行分类管理，因此成了网民的首选下载软件。除了强大的下载功能外，调动我们的大脑积极思维，还会发现FlashGet有许多妙用。下面我们使用FlashGet来实现断点拷贝和定时批量拷贝文件。