• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.364-366
• /
• 2006

자원이 한정적인 시스템을 위해 실시간 운영체제는 자원을 효율적으로 관리해야 한다. 대부분 실시간 운영체제는 효율적인 메모리 관리를 위해 동적으로 메모리를 할당한다. 하지만 동적 메모리의 할당과 해제의 반복은 비연속적인 메모리 공간을 생성하고 이런 비연속적인 메모리의 생성은 단편화와 같은 성능을 저하시키는 요인이 된다. 논문은 실시간 운영체제에서 시간결정성을 높여줄 수 있도록 분산된 프리 메모리 블록을 할당하는 기법을 설계 및 구현하였다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.2
• /
• pp.61-70
• /
• 2008

Dynamic memory allocators are used for embedded systems to increase flexibility to manage unpredictable inputs and outputs. As embedded systems generally run continuously during their whole lifetime, fragmentation is one of important factors for designing the memory allocator. To minimize fragmentation, a budgeted memory allocator that has dedicated storage for predetermined objects is proposed. A budgeting method based on a mathematical analysis is also presented. Experimental results show that the size of the heap storage can be reduced by up to 49.5% by using the budgeted memory allocator instead of a state-of-the-art allocator. The reduced fragmentation compensates for the increased code size due to budgeted allocator when the heap storage is larger than 16KB.

• Journal of KIISE:Software and Applications
• /
• v.37 no.10
• /
• pp.760-767
• /
• 2010

There are many memory leak detection tools. However, programmers, who develop very large programs, tend to avoid testing their programs with memory leak detection tools since these tools require runtime and space overheads. Thus, we present a memory leak detection technique which enables programmers to test their modules in their unit test phase with low overheads. To achieve this goal, we extend the existing cyclic memory allocation technique and evaluate our memory leak detection technique on a tiny DBMS. In our experiments, we find our tool has reasonably low runtime and space overheads and it reports only a small number of false positives.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.675-678
• /
• 2002

동적 메모리 관리는 컴퓨터 시스템의 중요하고 본질적인 동작이다. 메모리를 얼마나 효율적으로 이용 하느냐에 따라 시스템의 성능이 달라진다. 따라서 본 논문에서는 실시간 시스템을 위해 보다 효율적으로 메모리를 사용하는 동적 메모리 할당 알고리즘, BHF(Binary-search-tree-Half-Fit)를 제안한다. 제안된 알고리즘은 메모리 요청을 위해 2 의 거듭제곱의 프리 블럭 리스트를 이진 탐색 트리로 사용한다. 제안된 알고리즘의 효율성을 나타내기 위하여 절반-적합 알고리즘과 이진 버디 시스템과 비교, 분석하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.9
• /
• pp.442-460
• /
• 2001

In video-on-demand(VOD) systems it is important to minimize initial latency and memory requirements. The minimization of initial latency enables the system to provide services with short response time, and the minimization of memory requirements enables the system to service more concurrent user requests with the same amount of memory. In VOD systems, since initial latency and memory requirement increase according to the increment of buffer size allocated to user requests, the buffer size allocated to user requests must be minimized. The existing static buffer allocation scheme, however, determines the buffer size based on the assumption that thy system is in fully loaded state. Thus, when the system is in partially loaded state, the scheme allocates user requests unnecessarily large buffers. This paper proposes a dynamics buffer allocation scheme that allocates user requests the minimum buffer size in fully loaded state as well as a partially loaded state. This scheme dynamically determines the buffer size based on the number of user requests in service and the number of user requests arriving while servicing current requests. In addition, through analyses and simulations, this paper validates that the dynamics buffer allocation outperforms the statics buffer allocation in initial latency and the number of concurrent user requests that can be supported. Our simulation results show that, in proportion to the static buffer allocation scheme, the dynamic buffer allocation scheme reduces the average initial latency by 29%~65%, and in a systems having several disks. increases the average number of concurrent user requests by 48%~68%. Our results show that the dynamic buffer allocation scheme significantly improves the performance and reduce the capacity requirements of VOD systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.268-270
• /
• 2004

센서 네트워크는 제한된 메모리와 배터리를 가진 센서 노드로 구성되는 네트워크로서, 노드의 이동이나 장애로 인한 토폴로지 변화가 빈번하다. 이러한 센서 노드의 주소 할당에 있어서 기존의 방식들은 고정 주소를 할당하는 방식이므로 네트워크의 구성형태나 토폴로지의 변화에 맞게 주소를 변경하기 어렵다는 문제점이 있다. 이에 본 논문에서는 트리 기반의 동적 주소 할당 방식을 제안하였는데, 이는 초기에 트리 기반으로 생성된 노드 주소를 동적으로 할당하여, 라우팅 경로 등의 네트워크 변화에 따라 유동적으로 주소를 재할당한다. 메커니즘의 검증을 위해서는 ns-2 시뮬레이터를 사용하여 동작을 할인하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1391-1400
• /
• 1997

공유 메모리 다중 프로세서상에서 많은 동적 객체를 생성하는 언어가 실행될 때, 동적 객체에 대한 메모리 관리 알고리즘은 프로그램의 실행 속도에 큰 영향을 미친다. 본 논문에서는 이러한 환경에서 프로그램의 성능을 향상 시킬 수 있는 새로운 메모리 관리 알고리즘을 제안한다. 이를 위해 힘 영역의 할당 및 회수 작업을 병렬 타스크 중심으로 행한다. 또한 동적 객체를 병렬 타스크사이에 공유 되는 객체(shared data) 와 비공유 객체(mon-shared data)로 구분하고, 힘 영역을 공동 영역과 전용 영역으로 분리 한다. 이는 병렬 타스크가 동적으로 스케줄링되는 것을 자유롭게 하고 창조 지역성 을 높이는 효과가 있으며, 전용 영역에 대한 메모리 재사용으로 인하여 볼용 셀수집기의 수행 횟수를 줄일 수 있다.

• Journal of the Institute of Convergence Signal Processing
• /
• v.7 no.3
• /
• pp.136-142
• /
• 2006

Existing buffer management schemes for shared-memory output queueing switches can be classified into two types: In the first type, some constant amount of memory space is guaranteed to each virtual queue using static queue thresholds. The static threshold method (ST) belongs to this type. On the other hand, the second type of approach tries to maximize the buffer utilization in 머 locating buffer memories. The complete sharing (CS) method is classified into this type. In the case of CS, it is very hard to protect regular traffic from mis-behaving traffic flows while in the case of ST the thresholds can not be adjusted according to varying traffic conditions. In this paper, we propose a new buffer management method called weighted dynamic thresholds (WDT) which can process packet flows based on loss priorities for quality-of-service (QoS) functionalities with fairly high memory utilization factors. We verified the performance of the proposed scheme through computer simulations.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.7
• /
• pp.708-712
• /
• 2008

Existing dynamic memory allocation schemes for general purpose operating system can not directly apply to the wireless sensor networks (WSNs). Because these schemes did not consider features of WSNs, they consume a lot of energy and waste the memory space caused by fragmentation. In this paper, we found features of WSNs applications and made the model which adapts these issues. Through this research, we suggest the slab allocator that reduces the execution time and the memory management space. Also, we evaluate the performance of our scheme by comparing to one of the previous systems.

• Journal of KIISE
• /
• v.44 no.5
• /
• pp.439-448
• /
• 2017

The workloads of large high-performance computing (HPC) scientific applications are steadily becoming "bursty" due to variable resource demands throughout their execution life-cycles. However, the over-provisioning of virtual resources for optimal performance during execution remains a key challenge in the scheduling of scientific HPC applications. While over-provisioning of virtual resources guarantees peak performance of scientific application in virtualized environments, it results in increased amounts of idle resources that are unavailable for use by other applications. Herein, we proposed a memory resource reconfiguration approach that allows the quick release of idle memory resources for new applications in OS-level virtualized systems, based on the applications resource-usage pattern profile data. We deployed a scientific workflow application in Docker, a light-weight OS-level virtualized system. In the proposed approach, memory allocation is fine-tuned to containers at each stage of the workflows execution life-cycle. Thus, overall memory resource utilization is improved.