HMvisor: dynamic hybrid memory management for virtual machines

2021 ◽  
Vol 64 (9) ◽  
Author(s):  
Dang Yang ◽  
Haikun Liu ◽  
Hai Jin ◽  
Yu Zhang
2013 ◽  
Vol 427-429 ◽  
pp. 2305-2308
Author(s):  
Xiao Rui Wang ◽  
Qing Xian Wang

To deal with the problem of external storages management in multiple virtual machines environment, a system design scheme of external storages management is proposed with the idea of virtual memory management and protocol of object-based Network storage. Experiments showed that virtual partition could be created and repealed dynamic, the capability of partition could be increased dynamic with practical requirement, and write protection based partition could also be realized, flexibility of external storages management is enhanced greatly and usage efficiency also increased notably.


Author(s):  
Michael Roland ◽  
Josef Langer ◽  
Rene Mayrhofer

Purpose – The purpose of this paper is to address the design, implementation, performance and limitations of an environment that emulates a secure element for rapid prototyping and debugging. Today, it is difficult for developers to get access to a near field communication (NFC)-secure element in current smartphones. Moreover, the security constraints of smartcards make in-circuit emulation and debugging of applications impractical. Therefore, an environment that emulates a secure element brings significant advantages for developers. Design/methodology/approach – The authors' approach to such an environment is the emulation of Java Card applets on top of non-Java Card virtual machines (e.g. Android Dalvik VM), as this would facilitate the use of existing debugging tools. As the operation principle of the Java Card VM is based on persistent memory technology, the VM and applications running on top of it have a significantly different life cycle compared to other Java VMs. The authors evaluate these differences and their impact on Java VM-based Java Card emulation. They compare possible strategies to overcome the problems caused by these differences, propose a possible solution and create a prototypical implementation to verify the practical feasibility of such an emulation environment. Findings – While the authors found that the Java Card inbuilt persistent memory management is not available on other Java VMs, they present a strategy to model this persistence mechanism on other VMs to build a complete Java Card run-time environment on top of a non-Java Card VM. Their analysis of the performance degradation in a prototypical implementation caused by additional effort put into maintaining persistent application state revealed that the implementation of such an emulation environment is practically feasible. Originality/value – This paper addresses the problem of emulating a complete Java Card run-time environment on top of non-Java Card virtual machines which could open and significantly ease the development of NFC secure element applications.


2009 ◽  
Vol 14 (4) ◽  
pp. 1-18 ◽  
Author(s):  
Peter Bertels ◽  
Wim Heirman ◽  
Erik D'Hollander ◽  
Dirk Stroobandt

2012 ◽  
Vol 34 (12) ◽  
pp. 2278-2291 ◽  
Author(s):  
Yang CHEN ◽  
Jin-Peng HUAI ◽  
Chun-Ming HU

Author(s):  
Codruţ Stancu ◽  
Christian Wimmer ◽  
Stefan Brunthaler ◽  
Per Larsen ◽  
Michael Franz

2011 ◽  
Vol 11 (4-5) ◽  
pp. 429-432
Author(s):  
JOHN GALLAGHER ◽  
MICHAEL GELFOND

Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP)—the 27th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.


Sign in / Sign up

Export Citation Format

Share Document