An efficient job management of computing service using integrated idle VM resources for high-performance computing based on OpenStack

In recent years, various studies on OpenStack-based high-performance computing have been conducted. OpenStack combines off-the-shelf physical computing devices and creates a resource pool of logical computing. The configuration of the logical computing resource pool provides computing infrastructure according to the user’s request and can be applied to the infrastructure as a service (laaS), which is a cloud computing service model. The OpenStack-based cloud computing can provide various computing services for users using a virtual machine (VM). However, intensive computing service requests from a large number of users during large-scale computing jobs may delay the job execution. Moreover, idle VM resources may occur and computing resources are wasted if users do not employ the cloud computing resources. To resolve the computing job delay and waste of computing resources, a variety of studies are required including computing task allocation, job scheduling, utilization of idle VM resource, and improvements in overall job’s execution speed according to the increase in computing service requests. Thus, this paper proposes an efficient job management of computing service (EJM-CS) by which idle VM resources are utilized in OpenStack and user’s computing services are processed in a distributed manner. EJM-CS logically integrates idle VM resources, which have different performances, for computing services. EJM-CS improves resource wastes by utilizing idle VM resources. EJM-CS takes multiple computing services rather than single computing service into consideration. EJM-CS determines the job execution order considering workloads and waiting time according to job priority of computing service requester and computing service type, thereby providing improved performance of overall job execution when computing service requests increase.

     

基于模型检测的微服务组合平台QoS验证

针对当前缺少对微服务组合平台的服务质量（QoS）指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型（LMRM）,借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。     

基于模型检测的微服务组合平台QoS验证

针对当前缺少对微服务组合平台的服务质量（QoS）指标进行分析验证的问题，提出一种基于模型检测的形式化验证方法，对影响微服务平台性能的因素进行分析评估。首先，将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段，并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现；其次，将各个模块的实现过程建模为带标记Markov回报模型（LMRM），借助类似于进程代数的同步概念获得微服务组合过程的全局模型；接着，用连续随机回报逻辑公式刻画期望的QoS指标；最后，将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明，LMRM可较好地用于微服务组合平台的建模和QoS验证分析。     

基于云计算的电网企业信息运维模式研究

随着电网企业大量信息系统及设备投运,传统运维方式在调度数据及资源的灵活性和实时性方面出现了瓶颈,运维服务保障能力亟待提升。为解决以上问题,本文提出一种基于云计算的电网企业信息运维模式,从梳理业务需求处理流程入手,建设信息系统资源池平台和桌面云终端资源平台,整合公司信息系统及终端资源,为运维工作提供技术支撑。同时,优化云调度,完善云检修,提升信息资源利用效能。最后,规范服务交付流程,健全运维保障体系,明确信息运维管理格局,增强运维管控水平。该模式可快速响应资源调度,优化资源使用效能,提升用户体验,实现从面向设备为核心到面向服务为核心的运维管理模式新转变,全面提升信息运维服务保障能力和内部资源管控能力。     

航空制造过程管理电子标签技术应用研究

针对航空制造企业属于典型的离散型复杂制造、生产过程复杂、质量控制要求高等特点,分析了企业资源计划管理与车间现场控制之间信息和管理的分离而导致的生产管理问题,在企业内部生产过程中通过引入电子标签技术跟踪在制品,并兼容条码标签,实现了生产物料信息的实时采集;设计了软件平台实现了制造过程管理与企业资源计划管理的数据和业务集成。某航空制造企业应用的结果表明,生产过程控制能力、生产效率和生产质量得到明显改善。     

Deadlock prevention in concurrent real-time systems

To meet consistency requirements found in concurrent applications, a process must be guaranteed that it will be able to use all resources in a set ofpassive resources (such as shared data structures). To provide predictable execution time required in real-time systems, a process also needs guaranteed access to at least one of a set ofactive resources (such as processors) associated with each passive resource. As such, a concurrent real-time-process has AND-OR resource requirements. If locking is used to provide exclusive access to resources, deadlock is possible since processes can request additional resources while holding other resources. Deadlock detection and recovery techniques and deadlock avoidance techniques typically involve preempting resources or terminating processes, and are therefore inappropriate for real-time systems that require the execution time of processes to be predictable. This paper describes a general resource request condition that we proveprevents deadlock in AND-OR systems. It also describes how we use this AND-OR deadlock prevention technique in a concurrent real-time system.This work is supported in part by the following grants: ONR N000014-89-J-1131 and ARO DAAG-29-84-k-0061.     

泛政府行业信息化数据跨域共享服务总线平台的设计与实现

对泛政府行业内网与其他网络间的跨网域的请求服务进行了研究,提出了泛政府行业信息化数据跨域共享服务总线平台的设计方案,底层硬件设计上基于单向光传输方式,实现不同网域间数据的安全隔离传输;上层系统软件通过服务总线（ESB）体系架构和定义统一请求调用接口,实现跨区域、跨网域间服务授权访问、资源授权调用和数据安全转发。整个系统由请求协议转换、安全检控组件、健康度评估、MQ数据服务、节点资源调度、限流熔断管理、通道任务管理、资源监控上报等模块组成,可实现请求服务、设备状态上报、通道任务管理、安全访问控制等功能,并根据不同业务量级设定不同应用模式,可满足跨网域移动警务请求服务数据资源的安全、高效传输需求。     

An Efficient On-Demand Virtual Machine Migration in Cloud Using Common Deployment Model

Cloud Computing provides various services to the customer in a flexible and reliable manner. Virtual Machines (VM) are created from physical resources of the data center for handling huge number of requests as a task. These tasks are executed in the VM at the data center which needs excess hosts for satisfying the customer request. The VM migration solves this problem by migrating the VM from one host to another host and makes the resources available at any time. This process is carried out based on various algorithms which follow a predefined capacity of source VM leads to the capacity issue at the destination VM. The proposed VM migration technique performs the migration process based on the request of the requesting host machine. This technique can perform in three ways namely single VM migration, Multiple VM migration and Cluster VM migration. Common Deployment Manager (CDM) is used to support through negotiation that happens across the source host and destination host for providing the high quality service to their customer. The VM migration requests are handled with an exposure of the source host capabilities. The proposed analysis also uses the retired instructions with execution by the hypervisor to achieve high reliability. The objective of the proposed technique is to perform a VM migration process based on the prior knowledge of the resource availability in the target VM.     

A resource management and fault tolerance services in grid computing

In grid computing, resource management and fault tolerance services are important issues. The availability of the selected resources for job execution is a primary factor that determines the computing performance. In this paper, we propose a resource manager for optimal resource selection. Our resource manager automatically selects the set of optimal resources among candidate resources that achieves optimal performance using a genetic algorithm. Typically, the probability of a failure is higher in the grid computing than in a traditional parallel computing and the failure of resources affects job execution fatally. Therefore, a fault tolerance service is essential in computational grids. And grid services are often expected to meet some minimum levels of Quality of Service (QoS) for a desirable operation. To address this issue, we also propose a fault tolerance service that satisfies QoS requirements. We extend the definition of failures from the conventional notion of failures in distribute systems in order to provide a fault tolerance service that deals with various types of resource failures, which include process failures, processor failures, and network failures. We also design and implement a fault detector and a fault manager. The implementation and simulation results indicate that our approaches are promising in that (1) the resource manager finds the optimal set of resources that guarantees efficient job execution, (2) the fault detector detects the occurrence of resource failures and (3) the fault manager guarantees that the submitted jobs complete and the performance of job execution is improved due to job migration even if some failures occur.     

基于服务推荐的MRO运营管理平台系统构建研究

越来越多的MRO工业品供应商意识到MRO采购与服务信息化的重要性,纷纷开始选择开发运营管理平台系统,因此MRO运营管理平台系统的构建日益得到行业用户的重视.针对MRO产品经销商的销售与行业特点,通过深入调研现有的几大MRO工业品电商运营模式,结合企业实际现状,与现有ERP系统互补,采用MVC模式为MRO销售企业的线上销...     

支持随机服务请求的云虚拟机按需物理资源分配方法

本文针对云平台按负载峰值需求配置处理机资源、提供单一的服务应用和资源需求动态变化导致资源利用率低下的问题,采用云虚拟机中心来同时提供多种服务应用.利用灰色波形预测算法对未来时间段内到达虚拟机的服务请求量进行预测,给出兼顾资源需求和服务优先等级的虚拟机服务效用函数,以最大化物理机的服务效用值为目标,为物理机内的各虚拟机动态配置物理资源.通过同类虚拟机间的全局负载均衡和多次物理机内各虚拟机的物理资源再分配,进一步增加服务请求量较大的相应类型的虚拟机的物理资源分配量.最后,给出了虚拟机中心基于灰色波形预测的按需资源分配算法ODRGWF.模拟实验表明所提算法能够有效提高云平台中处理机的资源利用率,对提高用户请求完成率以及服务质量都具有实际意义.     

Research on static service BOM transformation for complex products

With the trend toward servitization and the development of big data, host manufacturers of complex products are exploring methods to effectively organize product data for providing satisfactory maintenance, repair and overhaul (MRO) service. With the motivation, this research develops a service bill-of-material (SBOM) from a product life cycle perspective. We propose a generic-SBOM (G-SBOM) to manage common information of one product type or batched products and an individual-SBOM (I-SBOM) to administrate instance products, together constituting a static SBOM. The transformation processes from engineering BOM, manufacturing resume and purchased part information to SBOM are explained in detail and described in a mathematical model. The compound SBOM reduces data redundancy and meets the basic requirements of MRO service, such as position management and alternative parts management. At the same time, its formation process reflects product lifecycle data integration for complex products. Finally, this method is verified by a product example and realized in a prototype XBOM system for a high-speed train manufacturer enterprise in China.     

轨道交通车辆维修BOM组织模式及应用研究

本文主要从轨道车辆运营商入手．通过维修BoM的组织模式研究,结合轨道车辆维修单元和跟踪属性的管理特点,提出了轨道车辆运营维护阶段维修BOM的有效组织模式。通过维修单元的构建、维修BOM模板的定义及实例化三个环节可以有效组织轨道车辆维修BOM。文中重点介绍了维修单元的跟踪属性和对象更换管理在维修单元对象使用全寿命过程管理中的实现方式,以及在轨道车辆维修作业管理系统中的有效应用。基于有效组织的维修BOM可以实现车辆设备使用全寿命过程中的维修信息可追溯性。有助于维修质量的提升、维修计划的优化以及维修成本的控制,提升车辆安全运营保障。     

基于操作记录与回放技术的远程同步教学工具

随着国家教育信息化的发展,远程教育成为一种越来越重要的教学模式。目前以“中国教育在线”为代表的大多数远程教学平台只提供了文本课件、视频/音频等静态教学资源。这些资源缺乏交互性,难以向学生精细化再现其制作过程与教学场景,无法满足互动教学的要求。此外,这些教学资源数据量通常较大,不适于在网络上及时传输,难以保障远程教学的及时性和实效性。在分析远程教学需求以及所面临的挑战基础上,提出了一种基于记录/回放技术的操作远程同步方法,通过记录教师在Eclipse等教学平台上制作教学资源的操作序列,将其远程同步到学生端并进行回放,由此在学生端重现教学资源,以交互式地帮助学生掌握学习知识、提高学习效率。相比于传统的以文本、视频/音频等静态教学资源为主的远程教学方式,该方法可实现及时的知识展现,且由于传输的操作序列数据量相比视频/音频要少,因而更能适应复杂网络环境下远程教学的需要。在此基础上,实现了一个基于Eclipse教学平台的操作远程同步工具并进行了详尽的实例研究,证明了所提出方法的可行性和高效性。     

Toward an execution system for self-healing workflows in cyber-physical systems

Cyber-physical systems (CPS) represent a new class of information system that also takes real-world data and effects into account. Software-controlled sensors, actuators and smart objects enable a close coupling of the cyber and physical worlds. Introducing processes into CPS to automate repetitive tasks promises advantages regarding resource utilization and flexibility of control systems for smart spaces. However, process execution systems face new challenges when being adapted for process execution in CPS: the automated processing of sensor events and data, the dynamic invocation of services, the integration of human interaction, and the synchronization of the cyber and physical worlds. Current workflow engines fulfill these requirements only to a certain degree. In this work, we present PROtEUS—an integrated system for process execution in CPS. PROtEUS integrates components for event processing, data routing, dynamic service selection and human interaction on the modeling and execution level. It is the basis for executing self-healing model-based workflows in CPS. We demonstrate the applicability of PROtEUS within two case studies from the Smart Home domain and discuss its feasibility for introducing workflows into cyber-physical systems.     

动态优先级服务请求队列管理模型研究

针对通用数据交换平台的体系结构以及服务流程，提出民航数据交换平台的多等级用户动态服务排队模型，介绍了实现模型所需的多线程模式，探讨了服务请求动态优先级的更新时机、与模型负载相关的参数设置。该模型通过三级多堆多线程对具有动态优先级的服务请求进行排序，实现了根据用户等级优先次序为其提供服务的功能。在实验中，根据设定的相关参数得到了模型的响应延迟，试验结果证明该模型适用于面向多等级用户的数据交换平台。     

Optimizing utilization of resource pools in web application servers

Among the web application server resources, the most critical for their performance are those that are held exclusively by a service request for the duration of its execution (or some significant part of it). Such exclusively held server resources become performance bottleneck points, with failures to obtain such a resource constituting a major portion of request rejections under server overload conditions. In this paper, we propose a methodology that computes the optimal pool sizes for two such critical resources: web server threads and database connections. Our methodology uses information about incoming request flow and about fine‐grained server resource utilization by service requests of different types, obtained through offline and online request profiling. In our methodology, we advocate (and show its benefits) the use of a database connection pooling mechanism that caches database connections for the duration of a service request execution (so‐called request‐wide database connection caching). We evaluate our methodology by testing it on the TPC‐W web application. Our method is able to accurately compute the optimal number of server threads and database connections, and the value of sustainable request throughput computed by the method always lies within a 5% margin of the actual value determined experimentally. Copyright © 2010 John Wiley & Sons, Ltd.     

.面向协同系统集成的数据同步模型*

为了在系统协同工作过程中使异构数据库的数据同步,基于agent技术给出了一个数据同步模型。在该模型中,agent的局部代理利用数据同步监听器对数据的变化进行实时监听,全局代理利用数据同步检测器对数据是否同步进行定期检测,并生成相应的同步命令由全局代理分发执行,解决了协同系统中异构数据库的数据同步问题。最后,该模型应用到一个"项目控制管理系统"中,说明了该模型的可用性和有效性以及数据同步机制的正确性和实时性。     

Primitives for resource management in a demand-driven reduction model

Graph reduction has recently become well-known as a suitable technique for implementing applicative languages. However, its use hitherto has been primarily in implementing determinate programs. This paper is concerned with extensions to a demand-driven graph reduction language for performing resource management, and entail indeterminate operations. Our focus is on primitives for programming the synchronization and scheduling of resources, as found, for example, in operating systems. We propose queueing operators and operators for controlling the order of execution of operations. We show that demand-driven graph reduction simplifies the implementation of resource management, especially in obviating explicit protocols for task creation and deletion, and for busy waiting. The language FGL (Function Graph Language) is first introduced, and the primitives are presented in this language. A number of examples are then presented to show the versatility of these primitives. The paper concludes with a brief sketch of a higher-level notation, calledresource expressions, for specifying synchronization properties.This research was undertaken while the authors were at the University of Utah, Salt Lake City, and was supported by a grant MCS77-09369 A01 from the National Science Foundation.