Release laysim-GR740 v2.2

  laysim-GR740 v2.2 Quad Core Processor Emulator


1. Support DWARF5 debugging format in laysim-gr740 for RTEMS6/GCC v12.2.1


2. Fully support FentISS XNG in laysim-gr740-dbt/mdbt


3. Performance Improvement

    - Improve Performance by removing spin-locks in Atomic Instructions (MDBT only)

    - Decrease Memory Usage by using the hash table instead of the direct table for spc-tpc map table (DBT/MDBT only)


laysim-gr740-mdbt v2.2 shows highest performance on Intel i9-12900K

    - RTEMS5.1 smpmigration02 : 905.07 raw MIPS (the RTP is 141.69%)

    - RTEMS5.1 smpmrsp01 : 975.61 raw MIPS (the RTP is 157.45%)

    - RTEMS5.1 smpmutex02 : 699.93 raw MIPS (the RTP is 147.95%)

    - RTEMS5.1 smpschedaffinity05 : 1221.49 raw MIPS (the RTP is 170.15%)

    - RTEMS5.1 smpschededf03 : 1134.44 raw MIPS (the RTP is 162.87%)

    - RTEMS5.1 smpswitchextension01 : 472.90 raw MIPS (the RTP is 141.35%)



댓글

댓글 쓰기

이 블로그의 인기 게시물

Download laysim-NOELV, laysim-GR740, laysim-GR712RC, and laysim-UT700

Currently the evaluation version of laysim-NOELV (RISC-V/RV64G, quad core),  laysim-GR740  (quad core),  laysim-GR712RC  (dual core), and  laysim-UT700  can be downloaded.  All  laysim  support Windows and Linux x64 platform including CentOS 7/8, Ubuntu 18.04/22.04, openSUSE 12/15 and Debian 10.3. Limitation of laysim The evaluation version of laysim  does not have any execution limitation except acquiring 1 year free license as described in user's manual Chapter 2.2.  KARIDRIVE has been down for a long time due to security issues. If you need laysim, please send an email to jwchoi@kari.re.kr .
Read more

laysim Processor Emulator for GR740, GR712RC, UT700 and more..

이미지
I'm Jong-Wook Choi from KARI (Korea Aerospace Research Institute). I'm an on-board flight software engineer in KARI. I've developed the flight software for KOMPSAT-2/3/5/3A, CAS-500 and GEO-KOMPSAT-2A/2B. Currently I involve in developing of the flight software for KOMPSAT-6/7/7A, and KPLO (Korean Pathfinder Lunar Orbiter). For many years, flight software (FSW) has been developed and verified using the software test bed (STB) environment based on the real hardware in KARI. During the development of FSW on the STB, we have experienced lots of annoying problems such as delayed deliver of target hardware, limited concurrent access to the STB from software engineers, and the time and cost to create multiple STBs for different satellites. Thus, software-based satellite simulators have been developed from the beginning of a satellite project to avoid these issues. The software-based simulator enables the FSW to be developed concurrently with the satellite hardware from the in...
Read more

Release laysim-GR740 for Evaluation

이미지
laysim-GR740 Quad Core Processor Emulator laysim-GR740 consists of three types of emulators: laysim-gr740 ,  laysim-gr740-dbt  and  laysim-gr740-mdbt . laysim-gr740 is a graphic user interface (GUI)-based and cycle-accurate emulator for the GR740 quad core processor based on interpretation method. It includes an embedded source-level debugger and supports MMU for Linux-SMP and XtratuM-SMP. laysim-gr740-dbt is a GUI-based high-performance and cycle-approximate processor emulator with dynamic binary translation method. laysim-gr740-mdbt  is a new parallel GR740 processor emulator which adopts the multi-thread framework with DBT through 2 years development by KARI. It can satisfy the real-time performance of GR740 on a high-end PC such as Intel i9-11900K @5GHz. All  laysim-gr740 ,  laysim-gr740-dbt  and  laysim-gr740-mdbt  support Windows and Linux x64 platform including CentOS 7/8, Ubuntu 18.04 and Debian 10.3. Also two types of CLI (C...
Read more