Assaf Schuster | Technion Israel Institute of Technology (original) (raw)

Papers by Assaf Schuster

Research paper thumbnail of Deconstructing Amazon EC2 Spot Instance Pricing

Research paper thumbnail of The rise of RaaS

Communications of The ACM, Jul 1, 2014

Research paper thumbnail of In the RaaS cloud, virtual machines trade in fine-grain resources on the fly

Research paper thumbnail of Memory Elasticity Benchmark

Proceedings of the 13th ACM International Systems and Storage Conference, 2020

Research paper thumbnail of VSwapper

ACM SIGPLAN Notices, 2014

The number of guest virtual machines that can be consolidated on one physical host is typically l... more The number of guest virtual machines that can be consolidated on one physical host is typically limited by the memory size, motivating memory overcommitment. Guests are given a choice to either install a "balloon" driver to coordinate the overcommitment activity, or to experience degraded performance due to uncooperative swapping. Ballooning, however, is not a complete solution, as hosts must still fall back on uncooperative swapping in various circumstances. Additionally, ballooning takes time to accommodate change, and so guests might experience degraded performance under changing conditions. Our goal is to improve the performance of hosts when they fall back on uncooperative swapping and/or operate under changing load conditions. We carefully isolate and characterize the causes for the associated poor performance, which include various types of superfluous swap operations, decayed swap file sequentiality, and ineffective prefetch decisions upon page faults. We address t...

Research paper thumbnail of Virtual CPU validation

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Research paper thumbnail of Optimal Simulations in Reconfigurable Arrays

There are several reconfiguring models of parallel computation that are considered in the publish... more There are several reconfiguring models of parallel computation that are considered in the published literature, depending on their switching capabilities. Three of the more popular ones are the Horizontal-Vertical Reconfigurable Mesh (HV-RN model) [LM89a, LM89b, ML89], the Linear Reconfigurable Mesh (LRN model) [MPRS87, BPRS91], and the General Reconfigurable Mesh (RN model) [Wan91, Sch91]. Can these reconfigurable models (in particular two dimensional arrays) be the basis for the design of massively parallel computers? Perhaps the most basic related question is: given an algorithm which is designed for a large reconfigurable mesh, can it be executed efficiently on a smaller reconfigurable mesh? We call it the simulation problem. Despite the fact that machines already exist and a large number of efficient algorithms are known for reconfigurable arrays, this question was left open for all reconfiguring models of computation. In this work we give several positive answers to the simula...

Research paper thumbnail of Distributed mining of association rules

Research paper thumbnail of Distributed Symbolic Model Checking for �-Calculus

Research paper thumbnail of Distributed Symbolic Model Checking for �-Calculus

Research paper thumbnail of The Power of Reconfiguration

Jpdc, 1998

This paper concerns the computational aspects of the reconfigurable network model. The computatio... more This paper concerns the computational aspects of the reconfigurable network model. The computational power of the model is investigated under several network topologies and assuming several variants of the model. In particular, it is shown that there are reconfigurable machines based on simple network topologies, that are capable of solving large classes of problems in constant time. These classes depend on the kinds of switches assumed for the network nodes. Reconfigurable networks are also compared with various other models of parallel computation, like PRAM's and Branching Programs. Part of this work is to be presented at the 18th International Colloquium on Automata, Languages, and Programming (ICALP), July 1991, Madrid. y Department of Computer Science, The Hebrew University, Jerusalem 91904, Israel. E-mail: yosi@humus.huji.ac.il, Supported by Eshcol Fellowship. z Department of Applied Mathematics and Computer Science, The Weizmann Institute, Rehovot 76100, Israel. E-mail: p...

Research paper thumbnail of E cient on-the-fly race detection in multithreaded C++ programs

Research paper thumbnail of A Distributed System for Genetic Linkage Analysis

Lecture Notes in Computer Science, 2007

Research paper thumbnail of General Terms

This paper focuses on local computations of distributed aggregation problems on fixed graphs. We ... more This paper focuses on local computations of distributed aggregation problems on fixed graphs. We define a new metric on problem instances, Veracity Radius (VR), which captures the inherent possibility to compute them locally. We prove that VR yields a tight lower bound on output-stabilization time, i.e., the time until all nodes fix their outputs, as well as a lower bound on quiescence time. We present an efficient aggregation algorithm, I-LEAG, which reaches both output stabilization and quiescence within a time that is proportional to the VR of the problem instance, and is also efficient in terms of per-node communication and memory. We empirically show that the VR metric also effectively captures the performance of previously suggested efficient aggregation protocols, and that I-LEAG significantly outperforms these protocols in several respects. Categories and Subject Descriptors C.4 [Performance of Systems]: [Performance attributes];

Research paper thumbnail of Accelerating sum-product computations on hybrid CPU-GPU architectures

Research paper thumbnail of Algorithms and optic implementation for reconfigurable networks

Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology', 1990

ABSTRACT

Research paper thumbnail of A Platform-Independent Distributed Runtime for Standard Multithreaded Java

International Journal of Parallel Programming, 2006

Research paper thumbnail of Conceptual distance of numerically specified case features

Case-based reasoning (CBR) systems rely on the conceptual ordering of entities called cases. If a... more Case-based reasoning (CBR) systems rely on the conceptual ordering of entities called cases. If atomic case features are allowed to assume numeric as well as symbolic values, then a systematic comparison regime is needed to aggregate similarity scores. A common approach to deal with real-numbered features is normalisation. However, there are two conspicuous problems with this procedure: the similarity between two features is dependent on the corresponding values of all other cases to be ranked; and real-numbered features are often interpreted by human experts according to conceptual constraints associated with features. In such situations, a conceptual distance between two features should be determined rather than the length of a `gap' on a linear scale. Within the framework of a comprehensive case-knowledge architecture, the notion of a concept frame that can be associated with a case feature is proposed. Through this component it is possible to represent polymorphic atomic cas...

Research paper thumbnail of Supporting multiple parallel programming paradigms on top of the Millipede virtual parallel machine

Proceedings Second International Workshop on High-Level Parallel Programming Models and Supportive Environments, 1997

Many attempts are made to integrate the resources and services of distributed computational envir... more Many attempts are made to integrate the resources and services of distributed computational environments into vir-tual parallel machines (VPMs). While utilizing idle CPU cycles and thus being very cheap and available to everyone, such metacomputing environments will ...

Research paper thumbnail of 3-Valued Circuit SAT for STE with Automatic Refinement

Lecture Notes in Computer Science, 2007

Research paper thumbnail of Deconstructing Amazon EC2 Spot Instance Pricing

Research paper thumbnail of The rise of RaaS

Communications of The ACM, Jul 1, 2014

Research paper thumbnail of In the RaaS cloud, virtual machines trade in fine-grain resources on the fly

Research paper thumbnail of Memory Elasticity Benchmark

Proceedings of the 13th ACM International Systems and Storage Conference, 2020

Research paper thumbnail of VSwapper

ACM SIGPLAN Notices, 2014

The number of guest virtual machines that can be consolidated on one physical host is typically l... more The number of guest virtual machines that can be consolidated on one physical host is typically limited by the memory size, motivating memory overcommitment. Guests are given a choice to either install a "balloon" driver to coordinate the overcommitment activity, or to experience degraded performance due to uncooperative swapping. Ballooning, however, is not a complete solution, as hosts must still fall back on uncooperative swapping in various circumstances. Additionally, ballooning takes time to accommodate change, and so guests might experience degraded performance under changing conditions. Our goal is to improve the performance of hosts when they fall back on uncooperative swapping and/or operate under changing load conditions. We carefully isolate and characterize the causes for the associated poor performance, which include various types of superfluous swap operations, decayed swap file sequentiality, and ineffective prefetch decisions upon page faults. We address t...

Research paper thumbnail of Virtual CPU validation

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Research paper thumbnail of Optimal Simulations in Reconfigurable Arrays

There are several reconfiguring models of parallel computation that are considered in the publish... more There are several reconfiguring models of parallel computation that are considered in the published literature, depending on their switching capabilities. Three of the more popular ones are the Horizontal-Vertical Reconfigurable Mesh (HV-RN model) [LM89a, LM89b, ML89], the Linear Reconfigurable Mesh (LRN model) [MPRS87, BPRS91], and the General Reconfigurable Mesh (RN model) [Wan91, Sch91]. Can these reconfigurable models (in particular two dimensional arrays) be the basis for the design of massively parallel computers? Perhaps the most basic related question is: given an algorithm which is designed for a large reconfigurable mesh, can it be executed efficiently on a smaller reconfigurable mesh? We call it the simulation problem. Despite the fact that machines already exist and a large number of efficient algorithms are known for reconfigurable arrays, this question was left open for all reconfiguring models of computation. In this work we give several positive answers to the simula...

Research paper thumbnail of Distributed mining of association rules

Research paper thumbnail of Distributed Symbolic Model Checking for �-Calculus

Research paper thumbnail of Distributed Symbolic Model Checking for �-Calculus

Research paper thumbnail of The Power of Reconfiguration

Jpdc, 1998

This paper concerns the computational aspects of the reconfigurable network model. The computatio... more This paper concerns the computational aspects of the reconfigurable network model. The computational power of the model is investigated under several network topologies and assuming several variants of the model. In particular, it is shown that there are reconfigurable machines based on simple network topologies, that are capable of solving large classes of problems in constant time. These classes depend on the kinds of switches assumed for the network nodes. Reconfigurable networks are also compared with various other models of parallel computation, like PRAM's and Branching Programs. Part of this work is to be presented at the 18th International Colloquium on Automata, Languages, and Programming (ICALP), July 1991, Madrid. y Department of Computer Science, The Hebrew University, Jerusalem 91904, Israel. E-mail: yosi@humus.huji.ac.il, Supported by Eshcol Fellowship. z Department of Applied Mathematics and Computer Science, The Weizmann Institute, Rehovot 76100, Israel. E-mail: p...

Research paper thumbnail of E cient on-the-fly race detection in multithreaded C++ programs

Research paper thumbnail of A Distributed System for Genetic Linkage Analysis

Lecture Notes in Computer Science, 2007

Research paper thumbnail of General Terms

This paper focuses on local computations of distributed aggregation problems on fixed graphs. We ... more This paper focuses on local computations of distributed aggregation problems on fixed graphs. We define a new metric on problem instances, Veracity Radius (VR), which captures the inherent possibility to compute them locally. We prove that VR yields a tight lower bound on output-stabilization time, i.e., the time until all nodes fix their outputs, as well as a lower bound on quiescence time. We present an efficient aggregation algorithm, I-LEAG, which reaches both output stabilization and quiescence within a time that is proportional to the VR of the problem instance, and is also efficient in terms of per-node communication and memory. We empirically show that the VR metric also effectively captures the performance of previously suggested efficient aggregation protocols, and that I-LEAG significantly outperforms these protocols in several respects. Categories and Subject Descriptors C.4 [Performance of Systems]: [Performance attributes];

Research paper thumbnail of Accelerating sum-product computations on hybrid CPU-GPU architectures

Research paper thumbnail of Algorithms and optic implementation for reconfigurable networks

Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology', 1990

ABSTRACT

Research paper thumbnail of A Platform-Independent Distributed Runtime for Standard Multithreaded Java

International Journal of Parallel Programming, 2006

Research paper thumbnail of Conceptual distance of numerically specified case features

Case-based reasoning (CBR) systems rely on the conceptual ordering of entities called cases. If a... more Case-based reasoning (CBR) systems rely on the conceptual ordering of entities called cases. If atomic case features are allowed to assume numeric as well as symbolic values, then a systematic comparison regime is needed to aggregate similarity scores. A common approach to deal with real-numbered features is normalisation. However, there are two conspicuous problems with this procedure: the similarity between two features is dependent on the corresponding values of all other cases to be ranked; and real-numbered features are often interpreted by human experts according to conceptual constraints associated with features. In such situations, a conceptual distance between two features should be determined rather than the length of a `gap' on a linear scale. Within the framework of a comprehensive case-knowledge architecture, the notion of a concept frame that can be associated with a case feature is proposed. Through this component it is possible to represent polymorphic atomic cas...

Research paper thumbnail of Supporting multiple parallel programming paradigms on top of the Millipede virtual parallel machine

Proceedings Second International Workshop on High-Level Parallel Programming Models and Supportive Environments, 1997

Many attempts are made to integrate the resources and services of distributed computational envir... more Many attempts are made to integrate the resources and services of distributed computational environments into vir-tual parallel machines (VPMs). While utilizing idle CPU cycles and thus being very cheap and available to everyone, such metacomputing environments will ...

Research paper thumbnail of 3-Valued Circuit SAT for STE with Automatic Refinement

Lecture Notes in Computer Science, 2007