NDLI: Virtual machine based heterogeneous checkpointing

Please wait, while we are loading the content...

2015 IEEE International Parallel and Distributed Processing Symposium

2014 IEEE 28th International Parallel and Distributed Processing Symposium

2013 IEEE 27th International Symposium on Parallel and Distributed Processing

2012 IEEE 26th International Parallel and Distributed Processing Symposium

2011 IEEE International Parallel & Distributed Processing Symposium

2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS)

2009 IEEE International Symposium on Parallel & Distributed Processing

2008 IEEE International Symposium on Parallel and Distributed Processing

2007 IEEE International Parallel and Distributed Processing Symposium

Proceedings 20th IEEE International Parallel & Distributed Processing Symposium

19th IEEE International Parallel and Distributed Processing Symposium

18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.

Proceedings International Parallel and Distributed Processing Symposium

Proceedings 16th International Parallel and Distributed Processing Symposium

Table of contents and front cover [Proceedings 16th International Parallel and Distributed Processing Symposium]

Compression-domain parallel rendering

Parallel JPEG2000 image coding on multiprocessors

A parallel ultra-high resolution MPEG-2 video decoder for PC cluster based tiled display systems

An efficient technique for corner-turn in SAR image reconstruction by improving cache access

Parallel wavelet transform for large scale image processing

Using programmable NICs for time-warp optimization

A strategy to compute the InfiniBand arbitration tables

Incorporating quality-of-service in the virtual interface architecture

GNBD/VIA: a network block device over virtual interface architecture on Linux

Can user-level protocols take advantage of multi-CPU NICs?

Model-based fault detection in powerline networking

A metric and mixed-integer-programming-based approach for resource allocation in dynamic real-time systems

A prediction-based real-time scheduling advisor

Adaptive scheduling under memory pressure on multiprogrammed SMPs

Scheduling multiple data visualization query workloads on a shared memory machine

Preemptive multiprocessor scheduling anomalies

Parallel and distributed computing issues in pricing financial derivatives through quasi Monte Carlo

A single phase distributed commit protocol for main memory database systems

An adaptive hash join algorithm on a network of workstations

A parallel ultra-high resolution MPEG-2 video decoder for PC cluster based tiled display systems

Achieving scalability in parallel tabled logic programs

Compiling several classes of communication patterns on a multithreaded architecture

Compiler and runtime support for irregular reductions on amultithreaded architecture

Efficient pipelining of nested loops: unroll-and-squash

Compiler-directed I/O optimization

The R-LRPD test: speculative parallelization of partially parallel loops

A SIMD vectorizing compiler for digital signal processing algorithms

Virtual machine based heterogeneous checkpointing

Fine-grain access control for securing shared resources in computational grids

Enforcing resource sharing agreements among distributed server clusters

On reliable and scalable peer-to-peer Web document sharing

Finding good peers in peer-to-peer networks

Modeling and evaluating peer-to-peer storage architectures

Generalized multipartitioning for multi-dimensional arrays

Routing permutations in partitioned optical passive stars networks

Quantifying and resolving remote memory access contention on hardware DSM multiprocessors

Communication characteristics of large-scale scientific applications for contemporary cluster architectures

Performance characterization of a molecular dynamics code on PC clusters: is there any easy parallelism in CHARMM?

Memory-intensive benchmarks: IRAM vs. cache-based machines

Comparing the memory system performance of DSS workloads on the HP V-Class and SGI Origin 2000

Distribution sweeping on clustered machines with hierarchical memories

Optimizing graph algorithms for improved cache performance

Predicting the performance of wide area data transfers

Faster collective output through active buffering

nfsp: a distributed NFS server for clusters of workstations

Design and implementation of a pluggable fault tolerant CORBA infrastructure

Improving the performance of distributed CORBA applications

Java mirrors: building blocks for remote interaction

A recursion-based broadcast paradigm in wormhole routed mesh/torus networks

Fault-tolerant broadcasting in wormhole-routed torus networks

Short cut Eulerian routing of datagrams in all optical point-to-point networks

A performance model for k-ary n-cube networks with self-similar traffic

Average-case scalability analysis of parallel computations on k-ary d-cubes

A parallel numerical algorithm for boundary-value FIDEs on a PC cluster

A parallel cloth simulator using multilevel algorithms

Blending of composite panel designs using genetic algorithms

Fast inductance extraction of large VLSI circuits

A high performance algorithm for incompressible flows using local solenoidal functions

Minimum average transmission power routing in CDMA ad hoc networks utilizing the blind multiuser detection

The end-to-end performance effects of parallel TCP sockets on a lossy wide-area network

Enhancing data migration performance via parallel data compression

Fault recovery for a distributed SP-based delay constrained multicast routing algorithm

A new approach to fault-tolerant wormhole routing for mesh-connected parallel computers

Optimal remapping in dynamic bulk synchronous computations via a stochastic control approach

On QoS-based scheduling of a meta-task with multiple QoS demands in heterogeneous computing

The least choice first scheduling method for high-speed network switches

Cluster load balancing for fine-grain network services

Load balancing in distributed systems: an approach using cooperative games

Peppermint and Sled: tools for evaluating SMP systems based on IA-64 (IPF) processors

Issues concerning Linux clustering: cluster management and application porting

Creating a national lab shared storage infrastructure

Architecture of the Entropia distributed computing system

A prototypical self-optimizing package for parallel implementation of fast signal transforms

Compile/run-time support for thread migration

Capturing causality by compressed vector clock in real-time group editors

A multithreaded concurrent garbage collector parallelizing the new instruction in Java

Efficient support for two-dimensional data distributions in distributed shared memory systems

A. novel approach to reduce L2 miss latency in shared-memory multiprocessors

A feasibility study of hierarchical multithreading

Hybrid predication model for instruction level parallelism

Hierarchical interconnects for on-chip clustering

DEM-1: a particle simulation machine for efficient short-range interaction computations

Graph partitioning for parallel applications in heterogeneous Grid environments

Clustering algorithm for scheduling parallel programs on NOWs with synchronization requirements at the application level

Bandwidth-centric allocation of independent tasks on heterogeneous platforms

Toward optimal diffusion matrices

A new clustering algorithm for large communication delays

Twiddle-factor-based FFT algorithm with reduced memory access

A parallel two-level hybrid method for diagonal dominant tridiagonal systems

High-performance parallel and distributed computing for the BMI eigenvalue problem

Parallel out-of-core matrix inversion

An out-of-core sorting algorithm for clusters with processors at different speed

Accountable Web-computing

Determination of the topology of a directed network

Deleting keys of B-trees in parallel

Buckets strike back: improved parallel shortest-paths

Detecting temporal logic predicates on the happened-before model

A new model for static mapping of parallel applications with task and data parallelism

Static mapping heuristics for tasks with dependencies, priorities, deadlines, and multiple versions in heterogeneous environments

Task allocation for distributed multimedia processing on wirelessly networked handheld devices

Models and scheduling mechanisms for global computing applications

Barrier synchronization on a loaded SMP using two-phase waiting algorithms

Efficient manipulation of large datasets on heterogeneous storage systems

Standards based heterogeneous metacomputing: the design of HARNESS II

A software design model for parallel applications on heterogeneous systems

Heterogeneous multi-cluster networking with the Madeleine III communication library

Characterizing NAS benchmark performance on shared heterogeneous networks

Performance prediction technology for agent-based resource management in grid environments

Load balancing highly irregular computations with the adaptive factoring

The self-tuning dynP job-scheduler

A realistic model and an efficient heuristic for scheduling with heterogeneous processors

Distributed dynamic scheduling of composite tasks on grid computing systems

Utilization-based heuristics for statically mapping real-time applications onto the HiPer-D heterogeneous computing system

Supporting co-allocation in an auctioning-based resource allocator for grid systems

Adaptive QoS management for collaboration in heterogeneous environments

Automatic reincarnation of deceased plug-ins in the HARNESS metacomputing system

A framework for using benefit functions in complex real time systems

Fibre-ribbon ring network with inherent support for earliest deadline first message scheduling

Monitoring network QoS in a dynamic real-time system

A metrics-based approach to intrusion detection system evaluation for distributed real-time systems

Quantized EDF scheduling in a stochastic environment

Switched real-time ethernet with earliest deadline first scheduling protocols and traffic handling

An efficient schedulability analysis policing technique for periodic, dynamic real-time applications

Collaborative problem solving agent for on-board real-time systems

An asymmetric real-time scheduling for Linux

Resource-aware real-time CORBA in multi-server distributed environment

Adaptive soft real-time Java within heterogeneous environments

Dynamic power management of multiprocessor systems

FARM: a feedback-based adaptive resource management for autonomous hot-spot convergence system

A reliability-aware value-based scheduler for dynamic multiprocessor real-time systems

Failure behavior analysis for reliable distributed embedded systems

Generating parallel programs from the wavefront design pattern

Implementing the NAS benchmark MG in SAC

A C++ implementation of the co-array programming model for blue gene/L

Treating a user-defined parallel library as a domain-specific language

Design and evaluation of a high-level interface for data mining

A performance optimization framework for compilation of tensor contraction expressions into parallel

Implementing openMP using dataflow execution model for data locality and efficient parallel execution

Heaps and stacks in distributed shared memory

Effective cross-platform, multilevel parallelism via dynamic adaptive execution

VGV: supporting performance analysis of object-oriented mixed MPI/OpenMPI parallel applications

Scalable parallel program debugging with process isolation and grouping

A comparative study of parallel and distributed Java projects for heterogeneous systems

Efficiency of thread-parallel Java programs from scientific computing

A new estimation method for distributed Java object activity

A scalable and reliable multicast communication service in Java

Translating Java to C without inserting class initialization tests

Methodology for Java distributed and parallel programming using distributed collections

Mobile active objects for highly dynamic distributed computing

JMPI: implementing the message passing standard in Java

Debugging of metacomputing applications

Experiences with retargeting the Java HotSpot virtual machine

Symmetrical pair scheme: a load balancing strategy to solve intra-movie skewness for parallel video

Performance evaluation of a distributed video storage system

Request redirection and data layout for network traffic balancing in cluster-based video-on-demand s

Efficient applications in user transparent parallel image processing

Efficient wavelet-based video coding

Real-time communication for distributed vision processing based on imprecise computation model

Optimizations in the grid visualization kernel

System-level analysis for MPEG-4 decoding on a multi-processor architecture

Variable partitioning and scheduling of multiple memory architectures for DSP

Eclipse: heterogeneous multiprocessor architecture for flexible media processing

Pattern recognition tool to detect reconfigurable patterns in MPEG4 video processing

Fault-tolerant quantum computers

From experimental assessment of fault-tolerant systems to dependability benchmarking

Availability requirement for a fault management server in high-availability communication systems

Fault-tolerance in the network storage stack

Protocols for fault-tolerant distributed-shared-memory on the SOME-bus multiprocessor architecture

A generalized analytic performance model of distributed systems that perform N tasks using p fault-p

Hardware-software Co-reliability in field reconfigurable multi-processor-memory systems

Optimizing the reliability of component-based n-version approaches

A distributed primary-segmented backup scheme for dependable real-time communication in multihop net

The viator approach: about four principles of autopoietic growth on the way to future hyperactive ne

Checking a non-byzantine FT scheme against Byzantine faults

Survivable computer networks in the presence of partitioning

Workshop on advances in parallel and distributed computational models

Efficient pairing functions-and why you should care

Mobile computing: opportunities for parallel algorithms research

Doubly-logarithmic energy-efficient initialization protocols for single-hop radio networks

Real time interactive visualization system for flexible molecular docking

A game-theoretic model and algorithm for load balancing in distributed systems

Fault tolerant distributed coloring algorithms that stabilize in linear time

An analytical evaluation of tiling for stencil codes with time loop

A hybrid randomized initialization protocol for TDMA in single-hop wireless networks

Algorithms for SMP-clusters dense matrix-vector multiplication

Dominating set based bluetooth scatternet formation with localized maintenance

A new multimedia multicast routing in a large scale network

Nonblocking k-fold multicast networks

Parallel algorithms for median filtering on arrays with reconfigurable optical buses

On cost-optimal merge of two intransitive sorted sequences

Basic algorithms for the asynchronous reconfigurable mesh

On the communication capability of the self-reconfigurable gate array architecture

Bit-matrix decomposition and dynamic reconfiguration: a unified arithmetic processor architecture, d

Improving code efficiency for reconfigurable VLIW processors

High level synthesis for programmable devices: the HADES project

Multipartite tables in jbits for the evaluation of functions on FPGAs

JPG - a partial bitstream generation tool to support partial reconfiguration in virtex FPGAs

An FPGA interpreter with virtual hardware management

DART: a dynamically reconfigurable architecture dealing with future mobile telecommunications constr

A run-time reconfigurable ATM switch

Dynamically modifiable ciphers using a reconfigurable CAST-128 based algorithm on AMTEL's FPSLIC rec

Reconfigurable implementation of elliptic curve crypto algorithms

Internet authentication of LUT-based FPGA configuration files

Layered shortest path (LASH) routing in irregular system area networks

Evaluation of alternative arbitration policies fo myrinet switches

Investigating switch scheduling algorithms to support qos in the multimedia router

Exploiting transparent remote memory access for non-contiguous- and one-sided-communication

Protocols and strategies for optimizing performance of remote memory operations on clusters

Portals 3.0: protocol building blocks for low overhead communication

Performance evaluation of I/O traffic and placement of I/O nodes on a high performance network

MPI-IO on DAFs over VIA: implementation and performance evaluation

Enhancing the performance of tiled loop execution onto clusters using memory mapped network interfaces and pipelined schedules

Analyzing the influence of virtual lanes on the performance of infiniband networks

A strategy to manage time sensitive traffic in infiniband

Toward a framework for preparing and executing adaptive grid programs

Is OpenMP for grids ?

Smartapps, an application centric approach to high performance computing: compiler-assisted software and hardware support for reduction operations

Model-based control of adaptive applications: an overview

Overview: an integrated framework for performance engineering and resource-aware compilation

$S^{4}W:$ globally optimized design of wireless communication systems

Concept-based component libraries and optimizing compilers

A parallel-object programming model for petaflops machines and blue gene/cyclops

Next generation system software for future high-end computing systems

Pragma: an infrastructure for runtime management of grid applications

Designing energy-efficient software

Multi-level modeling of software on hardware in concurrent computation

Performance mining of large-scale data-intensive applications

TurboBLAST : a parallel implementation of blast built on the turbohub

Improving performance of multiple sequence alignment analysis in multi-client environments

TCS: estimating gene genealogies

Parallel genehunter: implementation of a linkage analysis package for distributed-memory architectures

Parallel EST clustering

Parallel out-of-core algorithm for genome-scale enumeration of metabolic systemic pathways

Massively parallel solutions for molecular sequence analysis

Monte carlo simulation of HIV-1 evolution in response to selection by antibodies

Aligning two fragmented sequences

Quasiperiodic biosequences and modulo incidence matrices

Disconnected operations in mobile environments

Beyond the "device as portal": meeting the requirements of wireless and mobile devices in the legion grid computing system

A map-based dead-reckoning protocol for updating location information

An adaptive compulsory protocol for basic communication in highly changing ad-hoc mobile networks

Location management handoff overhead in hierarchically organized mobile ad hoc networks

Distributed spanner with bounded degree for wireless ad hoc networks

Channel assignment with separation for special classes of wireless networks: grids and rings

APTEEN: a hybrid protocol for efficient routing and comprehensive information retrieval in wireless

Agent-based system for mobile commerce

A distributed h-out of -k mutual exclusion algorithm for ad hoc mobile networks

Intrusion detection based on the immune human system

A middleware for large scale networks inspired by the immune system

Real time interactive visualization system for flexible molecular docking

Genetic economy, symmetry, and computational complexity for atomic virus structure determination

Parallel GA-based wrapper feature selection for spectroscopic data mining

Message routing and scheduling in optical multistage networks using simulated annealing

A genetic algorithm for optimization of logical topologies in optical networks

Parallel and distributed computing with coevolutionary algorithms

Evolutionary methods for the antenna parameter setting problem

Artificial life techniques for reporting cell planning in mobile computing

A distributed discrete-time neural network architecture for pattern allocation and control

Problem independent parallel genetic algorithm for design optimization

Mixed formal specifications with PVS

An approach to compositional model checking

From CSP-OZ to Java with processes

Parallelizing multithreaded Java programs: a criterion and its /spl pi/-calculus foundation

Proving self-stabilization with a proof assistant

Program composition in Isabelle/UNITY

Mechanical verification of hypercube algorithms

Composition and refinement for partial object specifications

Formal specification and design of mobile systems

Specification of an access control system with a formalism combining CCS and CASL

An investigation on multiple e-payments and micro-payment - a technical and market view

Defending against distributed denial of service attacks using resistant mobile agent architecture

Research and design of a middleware for supporting wide-area distributed applications

On the dynamic allocation of mobile agents by on-line task scheduling

E-union: concept and framework of open B2B e-trading marketplaces

Greedy cached query rewriting in content-oriented XML web engine

Naplet: a flexible mobile agent framework for network-centric applications

Business process monitoring using web services in B2B e-commerce

Optimisation of the establishment of secure communication channels in wireless mobile networks

SARA, a web based remote sensing digital library

Graph visualization of web data with domain-specific attributes

Empirical observations regarding predictability in user access-behavior in a distributed digital library system

Research and implementation of tsinghua architecture digital library

Approximate string matching in LDAP based on edit distance

Performance tuning of an intranet application - a case study

An adaptive admission control mechanism for a cluster-based web server system

Semi-user-level communication architecture

Using compatible keys for secure multicasting in E-commerce

A framework for network management using mobile agents

High-level vs low-level parallel programming for scientific computing

Parallel algorithms for perturbed tridiagonal Toeplitz systems using projection methods

Robust parallel ILU preconditioning techniques for solving large sparse matrices

Parallelization of radiation transport on unstructured triangular grids with spatial decomposition a

Performance of a novel algorithm for perpendicular magnetic recording simulation

A parallel LCC simulation system

The improved BiCG method for large and sparse linear systems on parallel distributed memory architectures

Programming the Bi-CGSTAB matrix solver for HPC and benchmarking IBM SP3 and alpha ES40

Overview of hydra: a concurrent language for synchronous digital circuit design

Scheduling in a grid computing environment using genetic algorithms

A performance visualization tool for HPF and MPI iterative solvers

Software tools and parallel computing for numerical weather prediction models

Performance impact of process mapping on small-scale SMP clusters -a case study using high performance linpack

Mapping functions and data redistribution for parallel files

Scheduling divisible tasks on heterogeneous linear arrays with applications to layered networks

Efficient parallel algorithms for 2-dimensional ising spin models

Comparative performance of frontal(direct) and pcg(iterative) solver based parallel computations of finite element analysis

Dynamic scheduling parallel loops with variable iterate execution times

An SoC solution for massive parallel processing

Modular interconnection system for optical PCB and backplane communication

Implementing associative search and responder resolution

Efficient tiling for an ODE discrete integration program: redundant tasks instead of trapezoidal shaped-tiles

Selecting data distributions for unbounded loops

The case for datacentric grids

Load-balanced parallel merge sort on distributed memory parallel computers

The power of SIMDs vs. MIMDs in real-time scheduling

An associative static and dynamic convex hull algorithm

On the structure of concurrent interpreters

Performance evaluation of selected job management systems

High performance wide area data transfers over high performance networks

ASCI queuing systems: overview and comparisons

On the scalability of many-to-many reliable multicast sessions

A risk-free multiversion temporally correct algorithm

Dynamic performance forecasting for network-enabled servers in a metacomputing environment

On the performance of cubic networks under correlated traffic pattern

Observations on client-server and mobile agent paradigms for resource allocation

Performance evaluation of a random-walk-based algorithm for embedding dynamically evolving trees in butterflies

Using rational approximations for evaluating the reliability of highly reliable systems

Comparative analysis of adaptive wormhole routing in Tori and hypercubes in the presence of hotspot traffic

Bulk synchronous parallel computing using a high bandwidth optical interconnect

One-to-all broadcasting scheme for static interconnection networks with arbitrary topology

Reliable communication in faulty star networks

Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000

Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001

Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing

Proceedings.Seventh IEEE Symposium on Parallel and Distributed Processing

Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed Processing

Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed Processing

[1992] Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990

Virtual machine based heterogeneous checkpointing

Content Provider	IEEE Xplore Digital Library
Author	Agbaria, A. Friedman, R.
Copyright Year	2002
Description	Author affiliation: Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel (Agbaria, A.; Friedman, R.)
Abstract	Checkpointing an application is the act of saving the application's state during its execution on stable storage so that if the application fails, it can be restarted from the last saved state, thereby avoiding loss of the work that was already done. A heterogeneous checkpoint/restart mechanism allows to restart an application from a saved state that was taken in a hardware architecture and/or operating system that can be different from those in the machine on which it is restarted. This paper explores how to construct such a mechanism at the virtual machine level. That, is, rather than dumping the entire state of the application process, the mechanism reported here dumps the state of the application w.r.t. a virtual machine. During restart, the saved state is loaded into a new copy of the virtual machine, which continues running from there. The heterogeneous checkpoint/restart mechanism reported here was developed for the OCaml variant of ML. The paper reports on the main issues encountered in building such a mechanism and the design choices made, presents performance evaluations, and discusses some lessons and ideas for extending the work to native code OCaml, and to Java Virtual Machines.
Sponsorship	IEEE Comput. Soc. Tech. Committee on Parallel Process. IEEE Comput. Soc. Tech. Committee on Comput. Architecture IEEE Comput. Soc. Tech. Committee on Distributed Process. ACM SIGARCH
File Size	303658
File Format	PDF
ISBN	0769515738
DOI	10.1109/IPDPS.2002.1015495
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2001-04-15
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Virtual machining Checkpointing Operating systems Application software Hardware Computer architecture Java Registers Memory management Computer science
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in