• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.101-105
• /
• 2001

본 연구는 유연 생산 시스템에서 버퍼 할당 최적화 알고리즘을 제시한다. 기존의 연구들과는 달리 제안된 알고리즘은 시스템의 복잡성과 Combinatorial특성을 모두 다를 수 있다. 알고리즘은 시뮬레이션을 사용하여 시스템의 복잡성을 모델링하고 수정된 유전 알고리즘을 사용하여 Combinatorial특성을 다루며 버퍼를 최적으로 시스템에 할당하게 한다. 제안된 알고리즘은 첫 번째 제한된 버퍼가 있는 상황에서 시스템 Output을 최대화하는 목적함수를 사용하여 최적 버퍼할당을 찾아내는 것과, 두 번째 원하는 Output을 달성할 수 있는 최소의 총 버퍼 수와 할당을 찾아내는 두 가지 목적함수에 적용된다. 마지막으로 유연 생산 시스템의 성능을 결정짓는 다른 요소들과의 관계를 살펴보기 위해 무인 운반 시스템의 발주방식과 무인 운반차의 수 등을 변화시켜 실험을 수행하고 그 결과를 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.81-83
• /
• 1999

주문형 비디오 시스템에서 사용자 요청의 초기대기시간과 메모리 요구량을 줄이기 위해서는 각 사용자 요청에 할당되는 버퍼의 크기를 최소화하는 것이 필요하다. 이는 초기대기시간과 메모리 요구량이 사용자 요청에 할당되는 버퍼의 크기에 따라 지수적으로 증가하기 때문이다. 그러나 기존의 버퍼 할당 기법은 시스템이 완전 부하인 상태만을 고려하여 버퍼 크기를 결정하고 할당함으로써 필요이상의 큰 버퍼를 각 사용자 요청에 할당한다. 그래서 본 논문에서는 시스템의 실행시간 정보(runtime information)를 활용하여 버퍼크기를 결정하고 할당함으로써 불필요한 메모리 할당을 없애는 동적 버퍼 할당 기법을 제안한다. 동적 버퍼 할당 기법은 특정 버퍼 스케쥴링 방식에 의존된 것이 아니기 때문에 기존의 모든 버퍼 스케쥴링 방식에 적용이 가능하다. 본 논문에서는 성능 평가를 통해 동적 버퍼 할당 기법의 우수성을 보인다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.50
• /
• pp.351-362
• /
• 1999

버퍼는 생산시스템에서 시스템내의 기계고장, 프로세스시간의 변화, 그리고 부품들의 이동경로의 복잡성 등과 같은 요인들로 인해 발생 가능한 blocking현상과 starving현상을 감소시키는데 사용되고 있다. 유연 생산시스템(Flexible Manufacturing System)에서는 버퍼의 단위당 비용이 높아 시스템내의 총 버퍼 크기는 제한적이어서, 적절한 버퍼 관리를 통해 시스템 효율성을 향상시킬 수 있다. 본 연구는 이러한 버퍼의 특성을 분석하고 AGVS(Automated Guided Vehicle System)을 사용하는 다중셀방식의 FMS(multi-cell Flexible Manufacturing Systems) 환경에서의 버퍼관리와 관련된 기존 연구들을 검토하고, 새로운 개념의 가상시스템버퍼를 소개한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.517-521
• /
• 2000

현대의 생산환경에서 널리 사용되고 있는 생산시스템의 형태는 FMS(Flexible Manufacturing System, 유연생산 시스템)로, FMS 는 다품종 소량생산과 생산성 향상이라는 두 가지 목표에 가장 적합한 형태라고 할 수 있다. 하지만 FMS에는 시스템의 효율을 저하시키는 blocking, starving, deadlock 등이 존재하며 이들의 영향을 줄이고자 재공재고의 일시적 저장공간인 버퍼를 설치하게 된다. 시스템내의 제약으로 인해 버퍼의 총 용량은 제한적이므로, 효율적인 버퍼관리는 시스템 성능 향상을 가능하게 할 수 있다. 본 연구에서는 FMS의 각 Workstation의 작업량을 고려한 버퍼 할당을 통해 시스템 효율 향상을 추구하고, 시뮬레이션 과정을 통해 검증해 보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.75-77
• /
• 1999

멀티미디어 데이터를 제공하는 서버 시스템에 동시에 여러 사용자가 요청을 해 왔을 때 데이터의 특성을 고려해서 적당한 지연시간을 줌으로 해서 시스템의 버퍼를 효율적으로 사용하게 하여 시스템의 성능을 향상시킨다. 다양한 데이터를 제공함에 있어서 시간에 따른 버퍼의 사용량의 변화를 보면 멀티미디어 데이터가 아닌 일반 데이터의 경우와 다르게 비효율적인 면을 볼 수 있다. 이 비효율적인 면을 시간과 버퍼의 크기를 서로 교환함으로서 버퍼의 사용량을 27%정도 줄이는 모델을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.829-831
• /
• 2011

버퍼 오버플로우 공격은 그 방식이 간단하고 효과적이기 때문에, 오랜 시간 동안 널리 사용되고 있는 소프트웨어 공격 방법 중 하나이다. 오랜 시간 동안, 버퍼 오버플로우 공격을 방어하는 방법들에 대한 다양한 기법들이 제안되었지만, 여전히 많은 소프트웨어들이 버퍼 오버플로우 공격의 위협에 노출되어 있다. 이는 대부분의 소프트웨어 기반의 버퍼 오버플로우 공격에 대한 방어 기법들은, 적용 대상 소프트웨어에 대한 재 컴파일을 필요로 하고, 하드웨어 기반의 방어 기법들은, 추가적인 적용 및 업데이트 비용이 발생하여 현실적으로 적용이 어렵기 때문이다. 이러한 문제를 해결하고자, 본 논문에서는 버퍼 오버플로우 공격에 대한 가상화 환경에서의 방어 시스템을 제안한다. 본 방어 시스템은, 보호하고자 하는 소프트웨어에 대한 수정 없이 전체 시스템에 적용할 수 있으며, 버퍼 오버플로우 공격으로부터 효과적으로 시스템을 방어할 수 있다.

• 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.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.3
• /
• pp.271-281
• /
• 1999

본 논문에서는 멀티미디어 파일 시스템을 위한 새로운 버퍼관리기법을 제안한고 이를 실제 구현을 통하여 성능을 분석하였다. 제안한 관리 기법에서는 다양한 멀티미디어 파일의 참조 특성을 반영하여 참조되는 파일에 일정량의 버퍼를 할당해주고, 새로운 데이터에대한 대치는 그 파일에게 할당된 버퍼에서만 수행되도록 하였다. 또한 이런 버퍼 할당을 데이터 소비율에 맞게 동적으로 조정할 수 있는 방법과 새로운 파일 참조를 제어하는 채택 제어 방법도 설계/구현하였다. FreeBSD를 수정하여 구현한 시스템에서의 실험에 의하면 제안한 버퍼 관리 기법이 FrddBSD의 경우보다 다양한 데이터 소비율을 필요로 하는 참조인 경우에 적은 수의 버퍼를 이용하여 더 높은 적중률(hit ratio)을 제공할 수 있음을 알 수 있었다. 이런 향상된 적중률은 멀티미디어 상영시 니터(jitter)를 줄이는데 기여할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.74-76
• /
• 1998

본 논문에서는 유닉스 파일 시스템에서의 버퍼캐쉬 크기에 따라 사용자 데이터와 메타데이터의 버퍼 캐쉬 히트율을 분석하였다. 그리고 메타 데이터가 유닉스 운영체제 파일 시스템의 성능에 미치는 영향을 분석하고 이를 기반으로 버퍼 캐쉬의 동적 특성과 성능의 장애 요인들을 분석하였다. 유닉스 운영체제에서 사용되는 사용자 데이터와 메타데이터에 대한 버퍼 캐쉬의 동적인 동작을 분석하기 위하여 trace-driven방법을 이용하였으며 이를 위하여 시뮬레이터를 작성.사용하였다. 파일 시스템은 특정 유닉스 버전에 영향을 받지 않기 위해 USF[1]에 기초하였고, 작업부하(workload)로는 Sprite- trace 데이터 중 allspice 서버에서 추출한 데이터를 사용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.421-423
• /
• 2002

동영상 정보 검색 시스템은 비교적 작은 크기의 동영상 클립과 클립을 인덱싱하기 위한 키 프레임으로 구성된다. 본 논문에서는 동영상 정보 검색 시스템을 위한 버퍼 캐시에서 버퍼 교체 기법을 연구하였고, 버퍼 캐시 사용의 효율성을 연구하였다. 실험을 통해 버퍼 캐시가 좋은 성능을 가지려면 적은 수의 동영상 클립에 요청이 편중되어야 함을 알 수 있었다.