The proceedings contain 34 papers. The topics discussed include: STeC: a location-triggered specification language for real-time systems;functional safety analysis method for CTCS Level 3 based on hybrid automata;low ...
ISBN:
(纸本)9780769546698
The proceedings contain 34 papers. The topics discussed include: STeC: a location-triggered specification language for real-time systems;functional safety analysis method for CTCS Level 3 based on hybrid automata;low power consumption data structure design for embedded applications in real-time systems;measuring time lag with nested preemptions and resumptions;component based design of fault tolerant devices in cyber physical system;RESTful management for cyber-physical systems;a novel self-adaptive fault-tolerant mechanism and its application for a dynamic pervasive computingenvironment;design and implementation of an automotive telematics gateway based on virtualization;ESF - an extensive service foundation from internet of things perspective;research of context situation awareness technology.
Along with the development of multicore architectures and cloud computing, concurrent programming and computation becomes a huge challenge for application developers. Distributed environment turns into complexity and ...
详细信息
Managed languages typically use read barriers to interpret forwarding pointers introduced to keep track of copied objects. For example, in a multicore environment with thread-local heaps and a global, shared heap, an ...
详细信息
ISBN:
(纸本)9781450313506
Managed languages typically use read barriers to interpret forwarding pointers introduced to keep track of copied objects. For example, in a multicore environment with thread-local heaps and a global, shared heap, an object initially allocated on a local heap may be copied to a shared heap if it becomes the source of a store operation whose target location resides on the shared heap. As part of the copy operation, a forwarding pointer may be established in the original object to point to the copied object. This level of indirection avoids the need to update all of the references to the object that has been copied. In this paper, we consider the design of a managed runtime that eliminates read barriers. Our design is premised on the availability of a sufficient degree of concurrency to stall operations that would otherwise necessitate the copy. Stalled actions are deferred until the next local collection, avoiding exposing forwarding pointers to the mutator. In certain important cases, procrastination is unnecessary - lightweight runtime techniques can sometimes be used to allow objects to be eagerly copied when their set of incoming references is known, or when it can be determined that having multiple copies would not violate program semantics. We evaluate our techniques on 3 platforms: a 16-core AMD64 machine, a 48-core Intel SCC, and an 864-core Azul Vega 3. Experimental results over a range of parallel benchmarks indicate that our approach leads to notable performance gains (20 - 32% on average) without incurring any additional complexity.
Compared to the conventional physical cluster, the virtual cluster technology has features such as flexible configuration, easy management and high system security, which provides users with an easily customized compu...
详细信息
Data-centric and service-oriented workflows are commonly used in scientific research to enable the composition and execution of complex analysis on distributed resources. Although there are a plethora of orchestration...
详细信息
As Cyber-physical System (CPS) is gaining more and more concerns recently, the requirements modeling becomes a critical issue in CPS. In this paper we propose a requirements model for CPS by extending the Four-Variabl...
详细信息
HBase is an open source distributed Key/Value store based on the idea of BigTable. It is being used in many data-center applications (e. g. Facebook, Twitter, etc.) because of its portability and massive scalability. ...
详细信息
ISBN:
(纸本)9780769546759
HBase is an open source distributed Key/Value store based on the idea of BigTable. It is being used in many data-center applications (e. g. Facebook, Twitter, etc.) because of its portability and massive scalability. For this kind of system, low latency and high throughput is expected when supporting services for large scale concurrent accesses. However, the existing HBase implementation is built upon Java Sockets Interface that provides sub-optimal performance due to the overhead to provide cross-platform portability. The byte-stream oriented Java sockets semantics confine the possibility to leverage new generations of network technologies. This makes it hard to provide high performance services for data-intensive applications. The High Performance computing (HPC) domain has exploited high performance and low latency networks such as InfiniBand for many years. These interconnects provide advanced network features, such as Remote Direct Memory Access (RDMA), to achieve high throughput and low latency along with low CPU utilization. RDMA follows memory-block semantics, which can be adopted efficiently to satisfy the object transmission primitives used in HBase. In this paper, we present a novel design of HBase for RDMA capable networks via Java Native Interface (JNI). Our design extends the existing open-source HBase software and makes it RDMA capable. Our performance evaluation reveals that latency of HBase Get operations of 1KB message size can be reduced to 43.7 mu s with the new design on QDR platform (32 Gbps). This is about a factor of 3.5 improvement over 10 Gigabit Ethernet (10 GigE) network with TCP Offload. Throughput evaluations using four HBase region servers and 64 clients indicate that the new design boosts up throughput by 3X times over 1 GigE and 10 GigE networks. To the best of our knowledge, this is first HBase design utilizing high performance RDMA capable interconnects.
Context situation, which means a snapshot of the status of the real world, is formed by integrating a large amount of contexts collected from various resources. How to get the context situation and use the situation t...
详细信息
The performance of airplane in commercial airline environment is determined by, and therefore an indicator of performance measure of, the thermodynamic properties of airplane. The aim of this study was to establish th...
详细信息
The automotive telematics gateway is an important part of modern high-end cars providing various safety and convenience services for the vehicle owner. We have developed a software platform for automotive gateway base...
详细信息
暂无评论