检索结果-内蒙古大学图书馆

32nd IEEE international parallel and distributed Processing symposium (IPDPS)

作者： Akiyama, Soramichi Hirofuchi, Takahiro Takano, Ryousei Natl Inst Adv Ind Sci & Technol Tsukuba Ibaraki Japan

ISBN: (纸本)9781538655559

Performance fluctuations are common in various software such as databases and software networking stacks. A fluctuation refers different performance (latency, throughput) for similar or identical data-items (e.g. requests, queries, packets) due to non-functional states such as cache warmth. While tail latency caused by fluctuations badly affect user experiences, diagnosing them is difficult as reproducing non-functional states in a controlled environment is not feasible. To this end, we estimate elapsed time of each function for each data-item individually to observe a single fluctuation occurrence online so that reproducing non-functional states is no longer needed. The issue is that instrumentation-based tracing methods are too heavy because a function takes a few micro seconds in high-throughput software systems for the multi-core age. We propose a hybrid approach of instrumentation and hardware-based sampling. It enables to diagnose performance fluctuations of high-throughput software systems with acceptable and adjustable overhead. Our evaluations show that it can clearly show a performance fluctuation that occurs by different cache-warmth in a sample application, and that it can be also applied to realistic software.

关键词： Instruments software systems Databases Engines Throughput Fluctuations"

来源：评论

学校读者我要写书评

暂无评论

distributed information and control in a concurrent hypermedia-oriented architecture

引用

international JOURNAL OF software engineering AND KNOWLEDGE engineering 2000年第3期10卷 345-369页

作者： Dattolo, A Loia, V Univ Naples Federico II Dipartimento Matemat & Applicazioni R Caccioppoli I-80126 Naples Italy

The market for parallel and distributed computing systems keeps growing. Technological advances in processor power, networking, telecommunication and multimedia are stimulating the development of applications requiring parallel and distributed computing. An important research problem in this area is the need to find a robust bridge between the decentralisation of knowledge sources in information-based systems and the distribution of computational power. Consequently, the attention of the research community has been directed towards high-level, concurrent, distributed programming. This work proposes a new hypermedia framework based on the metaphor of the actor model. The storage and run-time layers are represented entirely as communities of independent actors that cooperate in order to accomplish common goals, such as version management or user adaptivity. These goals involve fundamental and complex hypermedia issues, which, thanks to the distribution of tasks, are treated in an efficient and simple way.

关键词： distributed hypermedia design open hypermedia systems configuration management adaptive hypermedia systems object-oriented concurrent design actor-based models

来源：评论

学校读者我要写书评

暂无评论

software-Like Debugging Methodology for Reconfigurable Platforms

Software-Like Debugging Methodology for Reconfigurable Platf...

引用

23rd IEEE international parallel and distributed Processing symposium

作者： Lagadec, Loic Picard, Damien Univ Bretagne Occidentale Lab STICC F-29269 Brest France

ISBN: (纸本)9781424437511

This paper presents a new debugging methodology for applications targeting reconfigurable platforms. The key issue behind is that bringing software engineering techniques advantages to hardware design would reduce design cycles hence time-to-market. Our high-level synthesis framework supports probes insertion both in the behavioural description of the application and in its hierarchical netlist. Probe status can control the execution, and traced signals can be read back from software. Probes' conditions can be reassigned at runtime tackling the main disadvantage of modifications through re-synthesis and favours short debugging cycles similarly to software development.

关键词： Probes

来源：评论

学校读者我要写书评

暂无评论

Performance Analysis of parallel FEM Codes Using TAU Toolkits

Performance Analysis of Parallel FEM Codes Using TAU Toolkit...

引用

9th international symposium on distributed Computing and Applications to Business, engineering and Science (DCABES 2010)

作者： Ru Zhongliang Wang Min Zhao Hongbo Henan Tech Univ Coll Civil Engn Jizozuo Peoples R China

ISBN: (纸本)9780769541105

Domain decomposition method is a popular algorithm, which is adopted to the parallel finite element method(FEM). The formulation for solving sparse linear systems of equations is presented. The TAU performance analysis software is used to analyze and understand the execution behavior of the parallel algorithm such as: communication patterns, processor load balance, and computation versus communication ratios, timing characteristics, and processor idle time. This is all done by displays of post-mortem trace-files. Performance bottlenecks can easily be identified at the appropriate level of detail. A large-scale mechanical calculation of a dam by the parallel FEM program was brought out using the Dawning 5000A parallel computer at the Henan technical University Supercomputer Center. The TAU performance analysis software are used to analyze and understand the execution behavior of the parallel algorithm such as: communication patterns, processor load balance, computation versus communication ratios, timing characteristics, and processor idle time. This is all done by displays of post-mortem trace-files. Statistics show that the formulation is efficient in parallel computing environments and that the formulation is significantly faster and consumes less memory.

关键词： domain decomposed method perforcemence parallel FEM TAU

来源：评论

学校读者我要写书评

暂无评论

Efficient On-line Hardware/software Task Scheduling For Dynamic Run-time Reconfigurable systems

Efficient On-line Hardware/Software Task Scheduling For Dyna...

引用

26th IEEE international parallel and distributed Processing symposium (IPDPS)

作者： Al-Wattar, Ahmed Areibi, Shawki Saffih, Faycal School of Engineering University of Guelph Guelph ON N1G 2W1 Canada

ISBN: (纸本)9780769546766

Modern reconfigurable devices such as FPGAs can be reconfigured at run time. Some of them can be dynamically partially reconfigured, which means part of the FPGA is changed without interrupting other parts. This feature adds tremendous flexibility to the Reconfigurable Computing (RC) Field but also introduces challenges. Reconfigurable Operating systems tend to ease applications development and most importantly applications verifications and maintenance. In this paper we propose novel scheduling algorithms for reconfigurable computing that can handle both hardware and software tasks. The algorithms proposed reuse hardware tasks to reduce reconfiguration overhead, migrate tasks between software/hardware, and give priority to hardware tasks. Results obtained indicate that adding a software processor element not only adds flexibility, but also increases system performance. Two on-line schedulers were designed and implemented. RCSched-I is a simple based implementation that nominates the first available free Partial Reconfigurable Region (PRR) for new tasks. RCSched-II on the other hand nominates any free PRR. Both schedulers check the nominated PRR(s) against the ready task for a match, then decide if there is a need for reconfiguration or not. RCSched-II reconfigures the least recently configured PRR, which increases hardware tasks reuse and decreases total processing time.

关键词： Reconfigurable Computing Reconfigurable OS Partial Reconfiguration Scheduling Hardware tasks Hardware OS Task Migration

来源：评论

学校读者我要写书评

暂无评论

Experience Report: Verifying MPI Java Programs using software Model Checking 28

Experience Report: Verifying MPI Java Programs using Softwar...

引用

28th IEEE international symposium on software Reliability engineering

作者： Ayub, Muhammad Sohaib Rehman, Waqas Ur Siddiqui, Junaid Haroon LUMS Sch Sci & Engn Dept Comp Sci Lahore Pakistan Univ Saskatchewan Dept Comp Sci Saskatoon SK Canada

ISBN: (纸本)9781538609415

parallel and distributed computing have enabled development of much more scalable software. However, developing concurrent software requires the programmer to be aware of non-determinism, data races, and deadlocks. MPI (message passing interface) is a popular standard for writing message-oriented distributed applications. Some messages in MPI systems can be processed by one of the many machines and in many possible orders. This non-determinism can affect the result of an MPI application. The alternate results may or may not be correct. To verify MPI applications, we need to check all these possible orderings and use an application specific oracle to decide if these orderings give correct output. MPJ Express is an open source Java implementation of the MPI standard. Model checking of MPI Java programs is a challenging task due to their parallel nature. We developed a Java based model of MPJ Express, where processes are modeled as threads, and which can run unmodified MPI Java programs on a single system. This model enabled us to adapt the Java PathFinder explicit state software model checker (JPF) using a custom listener to verify our model running real MPI Java programs. The evaluation of our approach shows that model checking reveals incorrect system behavior that results in very intricate message orderings.

关键词： Java Model checking Adaptation models Message systems software Standards Message passing message passing Model checking Java Java programming language Computer based information systems mannose phosphate isomerase remote procedure calls computer software Adaptation models parallel programming computer programs

来源：评论

学校读者我要写书评

暂无评论

Specifying and analysing distributed object-oriented systems

Specifying and analysing distributed object-oriented systems

引用

1999 international symposium on software engineering for parallel and distributed systems, PDSE 1999

作者： Frey, Maximilian Podolsky, Markus Institut für Informatik Technische Universität München MünchenD-80290 Germany

ISBN: (纸本)0769501915

The ability to check whether the modeled system satisfies certain properties is a very important aspect in the software development process. Many object-oriented methods do not pay enough attention to behavioral descriptions. Indeed, they mostly do not provide formally founded descriptions that can be checked an atomatically. This paper presents an integrated approach, consisting of formally founded description techniques, an expressive temporal logic for specifying properties, and a model checking mechanism for automatically checking whether some executions of the specified system satisfy the required properties. © 1999 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

On the Needs and Challenges of Model-Based engineering for Spaceflight software systems 17

On the Needs and Challenges of Model-Based Engineering for S...

引用

17th IEEE international symposium on Object/Component/Service-Oriented Real-Time distributed Computing (ISORC)

作者： Pettit, Robert G. Mezcciani, Navneet Fant, Julie Aerosp Corp Chantilly VA 20151 USA Aerosp Corp El Segundo CA 90245 USA

ISBN: (纸本)9781479944309

Spaceflight software continues to experience exponential growth as functionality migrates from hardware to software. The resulting complexity of these mission critical systems demands new approaches to software systems engineering in order to effectively manage the development efforts and ensure that reliability is not compromised. Model-based systems / software engineering (MBE) approaches present attractive solutions to address the size and complexity through abstraction and analytical models. However, there are many challenges that must be addressed before MBE approaches can be effectively adopted on a large scale across an entire system. In this paper, we discuss some of the key motivators and challenges based on our experiences with flight software programs employing elements of MBE.

关键词： Model-Based engineering systems engineering software engineering Flight software

来源：评论

学校读者我要写书评

暂无评论

Programmable and Scalable Reductions on Clusters

Programmable and Scalable Reductions on Clusters

引用

IEEE 27th international parallel and distributed Processing symposium (IPDPS)

作者： Ciesko, Jan Bueno, Javier Puzovic, Nikola Ramirez, Alex Badia, Rosa M. Labarta, Jesus Barcelona Supercomp Ctr Barcelona Spain

ISBN: (纸本)9780769549712

Reductions matter and they are here to stay. Wide adoption of parallel processing hardware in a broad range of computer applications has encouraged recent research efforts on their efficient parallelization. Furthermore, trends towards high productivity languages in mainstream computing increases the demand for efficient programming support. In this paper we present a new approach on parallel reductions for distributed memory systems that provides both scalability and programmability. Using OmpSs, a task-based parallel programming model, the developer has the ability to express scalable reductions through a single pragma annotation. This pragma annotation is applicable for tasks as well as for work-sharing constructs (with implicit tasking) and instructs the compiler to generate the required runtime calls. The supporting runtime handles data and task distribution, parallel execution and data reduction. Scalability is achieved through a software cache that maximizes local and temporal data reuse and allows overlapped computation and communication. Results confirm scalability for up to 32 12-core cluster nodes.

关键词： reductions software cache parallel programming runtime systems distributed systems

来源：评论

学校读者我要写书评

暂无评论

software tools for scalable multilevel application engineering

引用

international JOURNAL OF SUPERCOMPUTER APPLICATIONS AND HIGH PERFORMANCE COMPUTING 1997年第3期11卷 236-250页

作者： Decker, KM Wylie, BJN [o_1]SWISS CENTER FOR SCIENTIFIC COMPUTING (CSCS/SCSC) CH-6928 MANNO SWITZERLAND [o_2]SWISS CENTER FOR SCIENTIFIC COMPUTING (CSCS/SCSC) CH-6928 MANNO SWITZERLAND

Contemporary activities at CSCS/SCSC have resulted in two complementary software systems for practical parallel programming. Both developments are user oriented and application driven, efficiently exploiting and reusing demonstrated portable technologies at multiple levels that we have proven to scale to systems with large numbers of processors. The Annai parallel application engineering environment supports existing standards for portable program development (HPF, Fortran, C, MPI) and offers convenient program browsing and navigation, execution control, and interaction mechanisms. Specific functionality for parallel programming includes high-level language support for unstructured computations, interactive source-level symbolic debugging with deadlock detection and deterministic execution replay, SPMD/data-parallel debugging with distributed breakpoints and array visualization, scalable profile summary displays of execution statistics accumulated at runtime, and detailed program evolution anti processor interaction charts. The intelligent program development environment (PDE) is typified by four characteristics supporting programming at a very abstract level, closer to the scientist's perspective: application-oriented problem description formalisms, the use of design skeletons and templates, an interactive user guidance mechanism, and automatic program synthesis techniques. Ongoing work aims at the integration and further development of sofar demonstrated results with additional advanced technologies into comprehensive application engineering and problem-solving environments for productive parallel computing with distributed resources.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：