主导性国家与东盟安全共同体的建构——兼谈美国重返东南亚对建构东盟安全共同体的影响

当下,东盟安全共同体的建构正面临着重重阻碍,主要表现为规范难以建立、制度难以生成和国家间集体认同的单薄。与此同时,2009年后美国开始执行的重返东南亚的外交策略对东盟安全共同体的建构也产生了不可忽视的作用。以上两方面的因素都影响着东盟安全共同体的最终形成。基于此,本文认为,东盟安全共同体建构的关键性问题在于主导性国家的缺失;而美国对东盟安全共同体建构的强势介入在短期内有利于安全共同体的推进,但长期来看却会阻碍主导性国家的确立从而不利于东盟安全共同体的建构。

基于全同步对覆盖的线程调度序列生成方法

针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的TSS;最后,使用JPF检测工具,对4个Java类库并发程序进行了TSS生成实验,并与常用的默认线程调度(DS)、抢占式线程调度(PS)和交叉线程调度(CS)序列生成方法在生成效率方面进行了对比分析。实验结果表明,与DS、CS方法相比,TGBA方法生成的TSS能够覆盖全部同步对;当满足APSC时,与PS方法相比,TGBA方法测试生成所需要的状态数、迁移数至少减少了19 889和44 352,并且生成效率平均提升了1.95倍,因此TGBA方法能够降低状态空间的规模开销,提高TSS的生成效率。