原子性

摘要： 基于申威处理器,在底层虚拟机(Low Level Virtual Machine,LLVM)编译器后端对锁机制提供编译支持,保证多线程环境下,对共享内存操作的原子性.锁机制研究与实现主要包括实现原子指令语义映射策略保证原子操作的原子性并在锁机制算法中加入对8位和16位数据类型的数据处理,实现锁机制在申威处理器上对小粒度数据类型的支持.基于并行计算机基准测试集NPB进行测试,在多线程环境下所有程序皆自校验通过.在16个线程下,Fortran语言程序平均加速比为11.91,最大加速比为15.73,C语言程序平均加速比为8.08,最大加速比为13.32.

摘要： 随着无线传感器网络的发展,其应用越来越广泛。为了提供可靠的服务质量并保证数据的一致性、有效性,这就需要无线传感器网络事务处理技术的研究。文中提出了一种适用于无线传感器网络的事务原子提交协议。此协议是对传统的2PC(Two Phase Commit,两阶段提交)协议的改进,为参与者提供了缓存机制,有效利用协调者的广播信息,降低能量消耗,在协调者和参与者中加入了定时器,定时器触发后会提供事务处理统一的出口(提交或撤销)。此外,还为协调者增加了心跳算法,提高了协议的可靠性。最后使用TOSSIM( TinyOS Simulator,TinyOS仿真器)进行实验,证明了其可行性。%With the development of wireless sensor networks,it is applied more widely. In order to provide reliable quality of service and ensure data consistency and validity,require study of wireless sensor network transaction processing technology. In this paper,present an atomic transaction commit protocol is suitable for wireless sensor networks. This protocol is the improvement of traditional 2PC ( Two Phase Commit) ,to provide participants with a caching mechanism for efficient use of radio coordinator information,reducing energy con-sumption,the coordinator and the participants joined the timer will provide a unified export transaction after the timer trigger ( committed or revoked) . Furthermore,increase the heart rate algorithms for coordinator to improve the reliability of the protocol. Finally,use TOSSIM ( TinyOS Simulator) to conduct experiments to prove its feasibility.

摘要： For the security of the digital transactions in goods transport,business gets money but may not delivery or custom-er harvests but does not consider,the atomicity of electronic payment protocols is designed by using the ECDH key exchange algorithm.Customers and merchants together generate digital goods.The results show the protocols can effectively solve the problem that the seller does not deliver or not in conformity with the provisions of the goods and the buyer receives goods but denies in the electronic commerce.%针对数字交易中商家收钱不发货和顾客收货不承认等货物传输的安全性问题，设计一种基于 ECDH 密钥交换算法的电子支付协议原子性方案，通过客户和商家共同协商产生数字货物。结果表明，所提方案有效地解决了电子商务中有关数字交易卖方不发货、发货不符合规定和买方收货却抵赖不承认的问题。

摘要： 针对控制密集型嵌入式系统对软件实时性、安全性等要求高的特点,吸收现有构件模型优点,提出了控制密集型嵌入式系统软件构件模型-CIES模型;该模型引入了输入、输出控制接口,将数据传输的控制流与数据流分离;采用先进先出锁机制对临界区接口数据传输进行保护,保证了接口数据传输原子性及构件间交互的有序性,提高了系统可靠性与安全性;最后,给出实例的代码实现,并以汽车电子稳定控制系统为例,给出其CIES模型实现.

摘要： 针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法.通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确定原子区域的挖掘方法.实验结果表明,该算法能有效挖掘程序中的相关变量,并检测程序中涉及到的多变量原子性违例错误.%This paper proposes a novel dynamic detection algorithm to detect multi-variable atomicity violation without consulting atomicity specification or annotation. It defines different dimensions of distances among shared memory, and uses the associated variable relationship to detect the atoms violation mistakes, then infers the correlations through them to get the atomic regions. Experimental results show that this algorithm can get the related variables, and test the procedure which involves atomic violations mistakes of multi-variable.

摘要： Both the finite state model and the CTL (Computation Tree Logic) formulations were first constructed for the secure e-commerce payment protocol based on four parties (FSET) in this paper. Then, the symbolic model checking (SMV) was used to analyze and verify the atomicity of the FSET protocol. The result of analysis and verification indicates that the FSET can meet with the money atomicity, the goods atomicity and the certified delivery, as well as the electronic payment security requirements.%以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证.验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性,协议符合电子支付的原子性安全要求.

摘要： 针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商.通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议.使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性.%In view of the existing problems of the payment protocols, e. g. security goal is single, increasing security requires are not been satisfied. This paper proposed a compound payment protocol, which satisfies a variety of security properties, such as authenticity, freshness of key, secrecy of key, non-repudiation, accountability, fairness and atomicity. The authentication sub-protocol of the new protocol can authenticate identities of the important entities in the foremost time, and the session keys used for transaction are negotiated efficiently. The payment sub-protocol is designed by using the following improvements. The first improvement is introducing certificates to prove the identities of the protocol entities. The second is transmitting the pay-ment receipts by the trusted party. The third is using FTP to transport electronic cashes and payment receipts. The new proto-col is proven to satisfy a variety of security properties by the logical analysis.

摘要： 多线程编程中的原子操作非常重要，与多线程程序的正确性和性能息息相关。本文介绍了如何使用Java、C＋＋1x等语言中直接提供的原子操作来很容易地实现对变量操作的原子性。

摘要： In C programs with multiple interruptions, the interleaving of interruptions may cause some unexpected interleaving executions and even wrong execution results. A kind of frequently occurred error is that the atomicity of programs is violated because of data race. To solve this problem, this paper introduces the abstract execution semantics for C programs under multiple interruptions, gives an atomicity definition based on the access of shared variables, presents the data race and atomicity checking algorithms based on the atomicity definition, and adopts function abstraction technique to reduce the traversed state space. At last, it designs and implements a prototype checker named MIDAC (multiple interruption C program data race and atomicity checker), and the experimental results demonstrate its effectiveness on several practical programs.%在多重中断C程序中,中断嵌套可能会导致一些非期望的交叠执行,从而造成错误的程序执行结果.典型的问题是共享变量引起的数据竞争破坏了程序的原子性.针对此类问题,对多重中断C程序的运行时语义进行建模,根据共享变量的访问给出了一种原子性的定义,提出了相应的数据竞争及原子性检测方法,并采用函数摘要技术缩减静态分析过程中所需遍历的程序状态.最后,设计并实现了一个数据竞争及原子性检测原型工具MIDAC(multiple interruption C program data race and atomicity checker),实验结果表明,该工具能够针对一定规模的实际程序得到很好的检测效果.

摘要： Traditional workflow management systems lack the abilities of handling transactions, thus cannot recover quickly enough. This paper introduced a prototype of transactional workflow by adding failure mode in modeling. When a task failed, the system could invoke the transactional algorithm with loosed atomicity to assure the data consistence, as well as decrease the work of participants. The experimental result shows that the workflow management system with transaction charactors can recover efficiently after failure.%传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行.实现事务工作流原型系统,通过扩充建模功能,在建模阶段指定失败处理模式,当任务执行失败时,系统自动调用事务处理算法保证工作流事务的放松的原子性及数据的一致性和正确性,减少人工参与决策的工作.实验表明,引入了事务处理功能的工作流系统具有任务执行失败后快速恢复的能力.

摘要： 本文使用语义近似度分析了集成信息的GV中数据项的语义原子性与关系数据源中数据项的结构原子性之间的各种映射关系，阐述了二者不一致性的产生原因以及解决途径，对集成信息的产生具有一定的帮助作用。

摘要： 本文概括介绍了电子商务中所涉及的一些问题和著名的电子商务协议以及电子商务中的原子性和匿名性.

摘要： 本文分析了简单支付协议中不同银行间的交易行为和各主体的超时约束，建立消费者、商家、银行和超时计时器的时间自动机模型，并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上，增加了超时计时器进程来负责接收来自其它进程的超时信息。在各主体的计时器触发超时之后，计时器将发送超时信息，再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性，并且比原模型更加符合协议运行的实际环境。

摘要： 将电子代金券的思想引入基于帐号的支付协议中,采用混合加密体制和数字签名技术,提出了一种新的电子支付协议.协议模拟现金代金券的模式,在保证安全性的基础上实现了代金券的可验证性、可传递性、原子性和匿名性,降低了电子商务交易的瓶颈,简化了交易过程.

摘要： 本文针对SET安全协议的不足,提出了比较具体的改进措施.引入交易认证中心CA,先将交易的金额冻结,再让商家发货,直到消费者收到货后的一段时间内都没有异议,才将交易金额转至商家账户.如果消费者对商家提供的商品或服务有异议,则由交易中心CA来处理.当商家没有提供所承诺的商品或服务时,相对于原SET协议中先支付后发货使消费者处于不利地位,改进后的新协议较好地实现了公平性.在交易中,商家和消费者对商品进行了内容、质量等认证,使新协议满足了原子性.

摘要： 本发明涉及一种含卤原子手性中心的化合物及其制备方法、应用和含卤原子手性的天然产物的制备方法。上述含卤原子手性中心的化合物的制备方法包括如下步骤：将化合物1和化合物2在路易斯酸和有机碱的催化作用下进行反应，然后纯化，制备含卤原子手性中心的化合物，其中，化合物1的结构式为

摘要： 本发明公开一种原子磁强计的碱金属原子数密度空间分布均匀性的测试系统及方法，该系统包括按光前进方向依次设置的检测激光器、激光扩束系统、偏振元件、磁屏蔽系统、碱金属原子气室、光束轮廓相机、分光棱镜等，该方法基于光学吸收原理，通过用像素为um级别的光束轮廓相机来测试通过碱金属气室前后的线偏光光强衰减，计算出原子数密度在空间上的二维分布矩阵，并用离散系数分析原子数密度分布的均匀性。本发明操作简单，易于实施，分辨率极高，可以在不改变原子磁强计光路的基础上直接测量，高精度的测试出原子数密度在空间分布的均匀性，有利于提高测量灵敏度，尤其是抑制多通道差分磁强计的共模干扰。

摘要： 本发明提供了一种无手性原子的螺旋手性全顺式聚苯乙炔衍生物材料的制备和应用方法。即将非光学活性的聚3,5‑二羟甲基‑4‑取代苯乙炔衍生物溶于手性溶剂制成溶液后，通过膜渗透方法用非手性溶剂将溶液中手性溶剂进行置换，经沉淀洗涤制备成一系列具有螺旋手性但不含手性原子的全顺式螺旋聚3,5‑二羟甲基‑4‑取代苯乙炔衍生物材料，并制备了相应的涂覆型高效液相色谱手性固定相。本发明的全顺式螺旋聚苯乙炔衍生物的制备方法，所用手性试剂可以重复使用，具有成本低廉、操作简单的特点，其手性固定相具有较好的手性拆分性能，具有十分广阔的应用前景。

摘要： 本发明涉及一种含卤原子手性中心的化合物及其制备方法、应用和含卤原子手性的天然产物的制备方法。上述含卤原子手性中心的化合物的制备方法包括如下步骤：将化合物1和化合物2在路易斯酸和有机碱的催化作用下进行反应，然后纯化，制备含卤原子手性中心的化合物，其中，化合物1的结构式为化合物2的结构式为含卤原子手性中心的化合物的结构式为上述含卤原子手性中心的化合物的制备方法提供了一种非对映选择性构建含卤原子手性中心的思路，能够用于含卤原子天然产物的制备合成中。

摘要： 本发明公开一种原子磁强计的碱金属原子数密度空间分布均匀性的测试系统及方法，该系统包括按光前进方向依次设置的检测激光器、激光扩束系统、偏振元件、磁屏蔽系统、碱金属原子气室、光束轮廓相机、分光棱镜等，该方法基于光学吸收原理，通过用像素为um级别的光束轮廓相机来测试通过碱金属气室前后的线偏光光强衰减，计算出原子数密度在空间上的二维分布矩阵，并用离散系数分析原子数密度分布的均匀性。本发明操作简单，易于实施，分辨率极高，可以在不改变原子磁强计光路的基础上直接测量，高精度的测试出原子数密度在空间分布的均匀性，有利于提高测量灵敏度，尤其是抑制多通道差分磁强计的共模干扰。

摘要： 本发明属于催化剂合成技术领域，涉及多酚或芳香族羧酸用于普适性构筑单原子金属催化剂及原子分散的多元金属催化剂的制备方法。先按照每5～500 mL溶剂溶解0.5～100 g多酚或芳香族羧酸的比例分别配制多酚和芳香族羧酸及可溶性金属盐的溶液，常温搅拌将可溶性金属盐的水溶液滴加至多酚和芳香族羧酸溶液中成胶质溶液；再分别配制另一种或多种不同可溶性金属盐与多种配合物的络合物溶液，常温搅拌将络合物溶液滴加至上述胶质溶液；将基底材料浸渍于胶质体系内，取出后与硫源、氮源、磷源、硼源在惰性气体保护下煅烧，冷却后即得。本发明操作工艺简单、普适、易行，可以灵活调控多元单原子金属，且可涂渍于多种不同基底，反应时间短，易于工业化实施。

摘要： 本发明提供了一种含有硼原子、氮原子和硒原子或碲原子的稠环化合物，如式(I)所示。本发明采用含有硼原子、氮原子和硒原子或碲原子的稠环化合物作为发光材料，一方面可利用稠环化合物的刚性骨架结构降低激发态结构弛豫程度，从而实现较窄的半峰宽；另一方面还利用硒原子或碲原子的重原子效应促进反系间窜越，从而获得延迟荧光效应，实现高的发光效率。同时，通过改变稠环化合物中含有的芳环或杂芳环的种类，还能够实现对延迟荧光寿命和半峰宽的进一步调节。实验结果表明，采用本发明的发光化合物作为电致发光器件的发光层，既能够在无需滤光片和微腔结构的情况下实现窄的电致发光半峰宽，又能实现高的器件外量子效率。

摘要： 本发明提供原子束准直方法、原子束准直器、原子干涉仪、原子陀螺仪。对原子束照射第一激光(701a)、第二激光(701b)、第三激光(701c)。第一激光与第三激光具有与基态和第一激发态之间的跃迁对应的波长。第二激光具有与基态和第二激发态之间的跃迁对应的波长。首先，由第一激光使在与原子束的行进方向正交的方向上具有比期望的速度小的速度分量的原子从基态跃迁至第一激发态。接着，由第二激光向处于基态的原子赋予动量。被赋予了动量的原子改变行进方向，从原子束中除去。最后，由第三激光使在正交方向上具有比期望的速度小的速度分量的原子从第一激发态返回基态。

摘要： 本发明涉及癌症，特别是对基于铂的化疗剂具有抗性的癌症的治疗。一种用于治疗癌症的药物组合物，其包含有效量的具有两个金(I)原子的化合物以及药用赋形剂，所述两个金(I)原子的每个都在连接两个金(I)原子的共价连接中共价键合于碳原子。

摘要： 本申请提出了一种保证原子性和顺序性的数据存储方法，涉及计算机技术领域，其中，该方法包括：在数据存储过程中，通过主机以事务为单位顺序地发送传输命令至设备端的持久性存储区域，并通过提交门铃通知设备处理传输命令；在设备处理完请求时，通过主机以事务为单位顺序地完成请求并通知上层应用，从而保证原子性和顺序性。采用上述方案的本申请在保证原子性和顺序性的同时，降低了数据和命令传输延迟和所消耗的带宽，提升了数据存储的效率。