Automatic Generation of Simulators for Processors Enhanced for Security in Virtualization

被引:0
|
作者
Mhatre, Swapneel C. [1 ]
Chandran, Priya [1 ]
机构
[1] Natl Inst Technol Calicut, Dept Comp Sci & Engn, Kozhikode 673601, Kerala, India
来源
IEEE ACCESS | 2025年 / 13卷
基金
新加坡国家研究基金会;
关键词
Virtualization; Security; Virtual machine monitors; Generators; Computer architecture; Pipelines; Timing; Registers; Virtual machines; Register transfer level; Compiler; computer architecture; hypervisor; operating system; security in virtualization; simulation;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
All new computer architectures need to be performance evaluated for acceptance and simulation is the most widely used method for evaluation of new processor designs. Sharing resources with virtualization raised many security concerns, leading to the development of processors that are enhanced for security in virtualization. The simulators for processors enhanced for security in virtualization need to perform simulation of hypervisor instructions, simulation of security in virtualization, and simulation of new instructions. However, a simulator with all of these three features is not found in the literature. Hence, this paper proposes an approach for the simulation of processors enhanced for security in virtualization that provides all these three features. For user convenience, the simulators are generated automatically from the target processor specifications using a simulator generator. The paper also proposes an approach for simulating a new pipeline with a designer-specified number of stages with automatic detection of pipeline hazards and automatic stalling or flushing of the pipeline on detection of hazards. To demonstrate the use of the simulator generator and the generated simulator, three case studies are considered - simulation of RISC-V with HyperWall, simulation of RISC-V with bit-serial dot-product unit, and simulation of RISC-V with Galois Field arithmetic extension. The paper concludes that the proposed approaches help in accurately simulating the overhead due to security in virtualization and also in providing flexibility to the designer to simulate the desired processor configurations.
引用
收藏
页码:11930 / 11943
页数:14
相关论文
共 50 条
  • [1] Automatic Generation of Simulators for Processors Enhanced for Security in Virtualization
    Mhatre, Swapneel C.
    Chandran, Priya
    IEEE ACCESS, 2025, 13 : 11930 - 11943
  • [2] On the Simulation of Processors Enhanced for Security in Virtualization
    Mhatre, Swapneel C.
    Chandran, Priya
    Jithin, R.
    COMPANION OF THE 2018 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE '18), 2018, : 51 - 52
  • [3] Automatic generation of microarchitecture simulators
    Onder, S
    Gupta, R
    1998 INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES, PROCEEDINGS, 1998, : 80 - 89
  • [4] Automatic test program generation for pipelined processors
    Iwashita, Hiroaki
    Kowatari, Satoshi
    Nakata, Tsuneo
    Hirose, Fumiyasu
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994, : 580 - 583
  • [5] AUTOMATIC GENERATION OF CAD/CAM PROCESSORS.
    Ellis, T.M.R.
    Janos, J.
    Technical Paper - Society of Manufacturing Engineers. MS, 1979, (MS79-16):
  • [6] AUTOMATIC TEST PATTERN GENERATION ON PARALLEL PROCESSORS
    ARVINDAM, S
    KUMAR, V
    RAO, VN
    SINGH, V
    PARALLEL COMPUTING, 1991, 17 (12) : 1323 - 1342
  • [7] Enhanced Cloud Security by Combining Virtualization and Policy Monitoring Techniques
    Loganayagi, B.
    Sujatha, S.
    INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY AND SYSTEM DESIGN 2011, 2012, 30 : 654 - 661
  • [8] Building next-generation network security processors
    Davis, S
    Roberts, M
    ELECTRONIC ENGINEERING, 2000, 72 (884): : 95 - +
  • [9] KNOWLEDGE REPRESENTATIONS FOR THE AUTOMATIC-GENERATION OF NUMERICAL SIMULATORS FOR PDES
    BALABAN, D
    GARBARINI, J
    GREIMAN, W
    DURST, M
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1989, 31 (4-5) : 383 - 393
  • [10] AUTOMATIC CODE GENERATION SYSTEM FOR POWER PLANT DYNAMIC SIMULATORS
    Katagiri, Yukinori
    Yoshida, Takuya
    Yashiki, Tatsurou
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON POWER ENGINEERING 2009 (ICOPE-09), VOL 2, 2009, : 401 - 406