• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.3
• /
• pp.161-171
• /
• 2010

As embedded systems adopt monolithic kernels, NAND flash memory is used for swap space of virtual memory systems. While flash memory has the advantages of low-power consumption, shock-resistance and non-volatility, it requires garbage collections due to its erase-before-write characteristic. The efficiency of garbage collection scheme largely affects the performance of flash memory. This paper proposes a novel garbage collection technique which exploits data redundancy between the main memory and flash memory in flash memory-based virtual memory systems. The proposed scheme takes the locality of data into consideration to minimize the garbage collection overhead. Experimental results demonstrate that the proposed garbage collection scheme improves performance by 37% on average compared to previous schemes.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.17 no.2
• /
• pp.199-203
• /
• 2017

Mutually-actuated-nano-electromechanical (MA-NEM) memory switches are proposed for scalability improvement. While conventional NEM memory switches have fixed electrode lines, the proposed MA-NEM memory switches have mutually-actuated cantilever-like electrode lines. Thus, MA-NEM memory switches show smaller deformations of beams in switching. This unique feature of MA-NEM memory switches allows aggressive reduction of the beam length while maintaining nonvolatile property. Also, the scalability of MA-NEM memory switches is confirmed by using finite-element (FE) simulations. MA-NEM memory switches can be promising solutions for reconfigurable logic (RL) circuits.

• The KIPS Transactions:PartA
• /
• v.11A no.3
• /
• pp.157-162
• /
• 2004

This paper suggests the CAMD(Compression Algorithm for in-Memory Data) algorithm that is not moved the pages into the swap space by assigning the compressed cache area in the main memory. The CAMD algorithm that supports the virtual memory system takes high memory usability and performance benefit by reducing the page fault. The memory data is not general data. It is extraordinary data format. In general it consists of specific form of data. Therefore. the CAMD algorithm can compress this data efficiently.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.14 no.6
• /
• pp.741-749
• /
• 2014

Low power double data rate 2 non-volatile memory (LPDDR2-NVM) has been deemed the standard interface to connect non-volatile memory devices such as phase-change memory (PCM) directly to the main memory bus. However, most of the previous literature does not consider or overlook this standard interface. In this paper, we propose address phase skipping by reforming the way of interfacing with LPDDR2-NVM. To verify effectiveness and functionality, we also develop a system-level prototype that includes our customized LPDDR2-NVM controller and commercial PCM devices. Extensive simulations and measurements demonstrate up to a 3.6% memory access time reduction for commercial PCM devices and a 31.7% reduction with optimistic parameters of the PCM research prototypes in industries.

• International Journal of Computer Science & Network Security
• /
• v.24 no.4
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• Journal of Information Processing Systems
• /
• v.2 no.3 s.4
• /
• pp.147-152
• /
• 2006

NAND flash memory-based embedded systems are becoming increasingly common. These embedded systems have to provide a fast boot time. In this paper, we have designed and proposed a flash file system for embedded systems that require fast booting. By using a Flash Image Area, which keeps the latest flash memory information such as types and status of all blocks, the file system mounting time can be reduced significantly. We have shown by experiments that our file system outperforms YAFFS and RFFS.

• Proceedings of the KIEE Conference
• /
• 2006.07d
• /
• pp.2249-2250
• /
• 2006

기존의 89S51의 Flash Memory에 데이터를 저장하기 위해서 패러럴 포트를 사용하였다. 하지만 패러럴 포트를 이용한 방법은 많은 단점을 갖고 있는데, 그 중에 하나의 포트에 하나의 디바이스밖에 접속 할 수 없기 때문에 여러 디바이스를 접속하기 위해서는 포트 수를 증가시켜야 한다는 문제점이 있다. PC는 패러럴 포트를 $1^{\sim}2$개 정도만 갖고 있어서 확장을 하기가 여의치 않다. 이에 따라 패러럴 포트의 단점을 보완하고자 한다. 이러한 문제를 해결하고 보완 할 수 있는 USB 통신을 이용해 Micro-Controller인 89S51에 내장된 Flash Memory에 데이터를 저장 하려고 한다.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.617-618
• /
• 2006

기존의 89S51의 Flash Memory에 데이터를 저장하기 위해서 패러럴 포트를 사용하였다. 하지만 패러럴 포트를 이용한 방법은 많은 단점을 갖고 있는데, 그 중에 하나의 포트에 하나의 디바이스밖에 접속 할 수 없기 때문에 여러 디바이스를 접속하기 위해서는 포트 수를 증가시켜야 한다는 문제점이 있다. PC는 패러럴 포트를 1개 정도만 갖고 있어서 화장을 하기가 여의치 않다. 이에 따라 패러럴 포트의 단점을 보완하고자 한다. 이러한 문제를 해결하고 보완 할 수 있는 USB 통신을 이용해 Micro-Controller인 89S51에 내장된 Flash Memory에 데이터를 저장하려고 한다.

• Proceedings of the KIEE Conference
• /
• 2006.07b
• /
• pp.1283-1284
• /
• 2006

기존의 89S51의 Flash Memory에 데이터를 저장하기 위해서 패러럴 포트를 사용하였다. 하지만 패러럴 포트를 이용한 방법은 많은 단점을 갖고 있는데, 그 중에 하나의 포트에 하나의 디바이스밖에 접속 할 수 없기 때문에 여러 디바이스를 접속하기 위해서는 포트 수를 증가시켜야 한다는 문제점이 있다. PC는 패러럴 포트를 $1{\sim}2$개 정도만 갖고 있어서 확장을 하기가 여의치 않다. 이에 따라 패러럴 포트의 단점을 보완하고자 한다. 이러한 문제를 해결하고 보완 할 수 있는 USB 통신을 이용해 Micro-Controller인 89S51에 내장된 Flash Memory에 데이터를 저장 하려고 한다.

• Proceedings of the KIEE Conference
• /
• 2006.07c
• /
• pp.1743-1744
• /
• 2006

기존의 89S51의 Flash Memory에 데이터를 저장하기 위해서 패러럴 포트를 사용하였다. 하지만 패러럴 포트를 이용한 방법은 많은 단점을 갖고 있는데, 그 중에 하나의 포트에 하나의 디바이스밖에 접속 할 수 없기 때문에 여러 디바이스를 접속하기 위해서는 포트 수를 증가시켜야 한다는 문제점이 있다. PC는 패러럴 포트를 $1{\sim}2$개 정도만 갖고 있어서 확장을 하기가 여의치 않다. 이에 따라 패러럴 포트의 단점을 보완하고자 한다. 이러한 문제를 해결하고 보완 할 수 있는 USB 통신을 이용해 Micro-Controller인 89S51에 내장된 Flash Memory에 데이터를 저장하려고 한다.