摘要：在之前一篇博文《基于AADL的嵌入式软件的开发方法》中，大体提到了AADL的应用背景，并在《体系结构分析与设计语言AADL基础》中对AADL基本知识进行了整理，本文在此基础上，为了增强建模工具和验证工具Cheddar之间的互操作性，引入了AADL的四种经典通信设计模式：同步数据流模式、互斥模式、黑板模式和排队缓冲模式。一、同步数据流(Synchronous data-flows)模式1.描述 在同步数据流模式中，线程在dispatch时读取输入端口的数据、在complete时向输出端口写数据。此模式不需要共享的data构件，processor构件需要指定固定优先级调度策略（如Rate M... 阅读全文

摘要：3.18是哥德巴赫的生日，本来想这一天用穷举的方法验证下他的猜想，无奈因为其它的事情而暂时耽搁，昨晚终于把程序写好了，今天在这里分享一下。一、哥德巴赫猜想 任一大于2的偶数都可以分解成两个质数的和。二、穷举验证算法 算法说明： 1、用prime动态数组保存所有质数，并将前两个数初始化为3和1，这样初始化是为动态构造出质数数组prime。 2、如果满足猜想，则输出格式为：偶数x 左质数 右质数 3、用r_index表示prime的最大可索引游标，用l_index表示左质数在质数数组prime中的游标，用cur_index表示每个x开始判断是否为质数前的l_index值。 4、... 阅读全文

摘要：从春节后回校到现在40多天，参与了课题申请（自然基金），感觉收获颇丰，简单写点经验以备忘。一、内容文字方面 1.写东西前，要先看5-10篇论文（英文）再写，不能看一篇后还没有完全理解，就直接写，这样会导致最终文字的重叠、没有整体逻辑性。 2.看完论文后已经形成了一个整体结构，才可以将材料分类整理出来，注意要用一条主线串联，而不是简单罗列。 3.论文一定要多看英文的，不仅仅是看摘要，最好也看论文的前三章，对于理解背景与相关概念非常有帮助。 4.整篇文章的总线要清楚，一般是背景提出问题，然后针对这些问题分析现状，再根据问题和现状制定自己的研究内容和技术路线。二、表达技巧方面 1.多用诸如... 阅读全文

摘要：目前，许多可用的MPI实现只关注HPC(高性能计算)的部分方面或是专注于解决某个具体问题，这导致了这些MPI实现不兼容、如果独立安装组合来获取它们的特有功能。Open MPI是在LAM/MPI,LA-MPI, and FT-MPI的基础上的一种全新的基于构件概念的MPI实现，提供了以前MPI实现无法实现的独特的组合方法。Open MPI的基于构件的体系结构不仅为第三方研究提供了稳定的平台，也使得独立软件附件能够在运行时组合。本文从总体上介绍了Open MPI的目标、概念、设计及实现。一、Open MPI的目标 Open MPI并不是LAM/MPI, LA-MPI和FT-MPI的简单组合，... 阅读全文