开放平台数据处理模块存储优化.pdfVIP

：开放分发；异步处理；Redis；HandlerSocket

开放处理模块的数据优化

，

(交通大学软件学院，100044)

开放处理模块的功能是将用户发布的新鲜事和从第抓取

到的新鲜事处理成本平台的表现形式并加以。首先描述了数据处理模

块的设计与实现。随着平台用户数的增加，出现了由于数据量增大所造成的数

据积压、数据库延迟、接口调用响应超时等问题，因此提出采用拆分数据

表、增加Redis缓存范围、异步处理、增加冗余来对数据进行优化，实

验证明优化后开放平台的性能大大提高，基本满足目前需求。

：开放分发；异步处理；Redis；HandlerSocket

AADL在中断控制系统建模中的应用

1233

，谯婷婷，，

(1.大学计算机科学与610054；2.西安飞行

自动控制，陕西西安710065；3.西安大学计算机学院，陕西西

安710071)

目前，体系结构分析与设计语言(AADL)已广泛应用于对实时性要求很高的

大型嵌入式系统，这得力于AADL在系统需求分析阶段就可以准确确定系统的

软硬件要求，并能大大降低系统的更改测试成本的特性。由于AADL缺少对中

断的描述以及对中断控制系统正确性的测试方法，本文将以系统为例提出

一种中断控制器的设计方法和基于中断控制器的中断测试思路，并且进行可靠

性建模。

AADL，中断控制系统，中断控制器，GSPN

30

开放处理模块的数据优化

作者：，

作者单位：交通大学软件学院,100044

本文：