• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.559-561
• /
• 2011

멀티코어 환경에서는 공유 데이터에 대한 동기화로 인한 병목 현상이 중요한 문제점 중의 하나이다. 그리고 동적 메모리 할당자는 대량의 메모리를 할당 및 해제하는 프로그램에서 공유 데이터에 대한 동기화 문제로 성능 저하를 유발시키고 있다. 이를 해결하기 위해 다양한 lock-free 메모리 할당 기법들이 소개되었지만 false sharing과 heap blow-up과 같은 여러 가지 문제점들을 가지고 있다. 이에 본 논문에서는 새로운 연속할당 기법을 제안하고, 이를 이용하여 동일 블록 내의 오브젝트 할당/해제에 따른 동기화 문제를 해결함으로써 효과적인 lock-free 메모리 할당 기법을 제안하였다. 그리고 제안 기법을 구현하여 기존의 메모리 할당 기법들과 실험을 통하여 검증하였으며, 대량의 메모리를 사용하는 멀티 스레드 환경에서 특히 좋은 성능을 보이는 것을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.331-334
• /
• 2006

워크플로우 비즈니스 프로세스는 설러 단위 업무(Activity)로 구성되며 단위 업무에는 여러 가지 타입이 존재한다. 유저 태스크(User Task) 타입은 특정 애플리케이션을 통해 처리되는 중요한 단위 업무 타입중 하나이며 본 논문에서는 유저 태스크 타입에 대한 최적의 수행자를 할당할 수 있는 질의어 기반 수행자 할당 방식을 기술한다. 이 방식은 기존의 워크플로우 관리시스템의 워크플로우 엔진에서 제공하는 로드-밸런싱 알고리즘을 현행 그대로 유지하는 동시에 조직의 조직 구조 정보를 이용하여 유저 태스크에 대한 기존의 할당 방식에서 확장된 형태의 수행자 할당 방법을 제공함으로써 태스크 처리에 대한 최적의 수행자를 할당하여 단위 업무의 처리 효율성을 향상시킨다.

• Environmental and Resource Economics Review
• /
• v.19 no.1
• /
• pp.23-43
• /
• 2010

This article compares two different auction designs for $CO_2$ emission allowances, namely uniform pricing and multiple pricing, in view of market efficiency. Experimental economic method of Buckley et al. (2004) is applied in this analysis. As a result of this analysis as expected, multiple pricing method brings out Winner's curse. It means that uniform pricing method is more efficient than multiple pricing method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.260-262
• /
• 2000

현재의 인터넷망을 이용하여 음성, 화상 정보를 실시간으로 이용하고자 하는 다양한 응용이 시도되어 왔다. 인터넷망이 최선의 노력(best effort)만을 제공하기 때문에 발생되는 신뢰성과 지연의 문제는 이미 많은 연구가 있어왔고 현재 어느 정도의 서비스 품질을 획득하여 인터넷폰과 같은 서비스가 실제로 이용되고 있다. 그러나 무선 통신의 경우는 이에 더하여 무선 구간에서의 자원 할당의 문제가 남아 있다. 본 연구에서는 코어 망으로 인터넷 프로토콜을 사용하는 차세대 망에서, 무선 이동단말 간의 멀티미디어 서비스가 가능하도록 효율적인 주파수 할당을 지원하는 QoS 관리자를 설계하였다. 제안한 QoS(Quality of Service) 관리자는 요구 대역폭이 다른 멀티미디어 호 요청에 대해 융통성 있는 주파수 할당이 가능하도록 대국의 QoS 관리자와의 협상을 통해 제한된 범위 내에서 서비스 품질을 조절하여 보다 높은 서비스 수준을 유지할 수 있도록 한다.

• The KIPS Transactions:PartA
• /
• v.8A no.3
• /
• pp.189-200
• /
• 2001

This paper proposes a memory allocation model for Real-Time Linux. The proposed model allows users to create several continuous memory regions in an application, to specify an appropriate region allocation policy for each memory region, and to request memory blocks from a necessary memory region. Instead of using single memory management module in order to support the proposed model, we adopt two-layered structure that is consisted of region allocators implementing allocation policies and a region manager controlling regions and region allocator modules. This structure separates allocation policy from allocation mechanism, thus allows system developers to implement same allocation policy using different algorithms in case of need. IN addition, it enables them to implement new allocation policy using different algorithms in case of need. In addition, it enables them to implement new allocation policy easily as long as they preserver predefined internal interfaces, to add the implemented policy into the system, and to remove unnecessary allocation policies from the system, Because the proposed model provides various allocation policies implemented previously, system builders can also reconfigure the system by just selecting most appropriate policies for a specific application without implementing these policies from scratch.

• Proceedings of the Korea Electromagnetic Engineering Society Conference
• /
• 2000.11a
• /
• pp.59-62
• /
• 2000

현재 CDMA 시스템에서 통화채널의 주파수 할당 방식에 Hashing 알고리즘이 사용되며, Hashing알고리즘에 의해 FA(frequency assignment)간 부하 균형을 유지하고 있다. Hashing 알고리즘은 모든 가입자 번호를 각 FA에 균일하게 할당하지만, 개별 기지국의 가입자 분포는 각 FA별로 반드시 균일하게 분포되지는 않는다. 이런 FA간 가입자 분포의 불균형은 해당 기지국의 과부하로 인식되어 조기 FA 증설이 요구되며, 해당 과부하 FA의 통화품질 열화를 일으킨다. 따라서 부하 균형에 따라 통화채널의 FA할당을 조절하기 위한 Hashing 후 강제 할당 방식인 OFD(optional forced distributio)을 제안하고 이를 CDMA 시스템에 적용하여 부하 균형의 개선 효과를 얻었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.379-381
• /
• 2003

인터넷을 이용한 분산/병렬 시스템은 지리적으로 분산된 다양한 성능의 유휴 상태 호스트 자원을 사용하여 대용량 작업을 처리한다. 인터넷의 호스트들은 다양한 성능을 가질 뿐만 아니라, 상태가 언제 변할지 예측하기 힘들다. 호스트의 성능은 작업 처리율에 영향을 주므로 인터넷 기반 분산/병렬 시스템은 호스트성능에 따른 작업 할당 스키마를 제공한다. 그러나, 호스트의 성능에 따라 할당받은 작업을 수행하는 중에 각 호스트 성능과 상태가 변하여 작업 진행률에 영향을 주므로 작업 할당 알고리즘들의 수행 중에 실시간 모니터링이 요구된다. 실시간 모니터링은 PDP 시스템에 부하 균형 및 결함 허용을 제공하고 관리자와 시스템 개발자에게 보다 효율적인 작업 할당 정책을 제안한다. 본 논문에서는 인터넷 기반 분산/병렬 시스템인 PDP에서 호스트 성능과 상태들의 실시간 모니터링 방법에 대해서 논의한다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8S
• /
• pp.2722-2728
• /
• 2000

현재의 인터넷 망을 이용하여 음성, 화상 정보를 실시간으로 이용하고자 하는 다양한 응용이 시도되고 있다. 차세대 통신으로 주목 받고 있는 IMT-2000에서도 기존의 회선 교환망 대신 인터넷 망을 이용함으로써 경제성, 관리의 편의성, 새로운 서비스의 창출이 가능한 등의 이점이 있다. 인터넷 망이 최선의 노력(best effort)만을 제공하기 때문에 발생되는 신뢰성과 지연의 문제는 이미 많은 연구가 있어왔고 현재 어느 정도의 서비스 품질을 획득하여 VoIP(Voice Over Internet Protocol)와 같은 서비스가 실제로 이용되고 있다. 그러나 무선 통신의 경우는 이에 더하여 무선 구간에서의 자원 할당의 문제가 남아 있다. 본 연구에서는 코어 망으로 인터넷 프로토콜을 사용하는 차세대 All-IP 망에서, 무선 이동단말 간의 멀티미디어 서비스가 가능하도록 효율적인 주파수 할당을 지원하는 QoS 관리자를 설계하였다. 제안한 QoS(Quality Of Service)관리자는 요구 대역폭이 다른 멀티미디어 호 요청에 대해 융통성 있는 주파수 할당이 가능하도록 대국의 QoS 관리자와의 협상을 통해 제한된 범위 내에서 서비스 품질을 조절하여 보다 많은 호 연결 요청이 성공할 수 있도록 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.164-165
• /
• 2013

멀티프로세서에서 시스템의 병렬성을 향상시키기 위해서 멀티스레드 프로그램을 이용한다. 이러한 멀티스레드 프로그램은 스레드간 역할을 분담하여 작업을 진행하게 된다. 멀티스레드 프로그램에는 생산자-소비자 구조가 있다. 기존 메모리할당자들은 생산자-소비자 구조에 대한 연구가 진행되지 않고, 크리티컬 섹션이 긴 락을 사용하여 성능상에 문제가 있다. 우리는 이러한 문제점을 독특한 메모리 해제 방법을 통해 해결하였고, 실험을 통해 메모리 할당자의 속도가 향상되는 것을 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.248-250
• /
• 2024

해제 후 재사용 (Use-After-Free, UAF)는 오랜 시간 동안 소프트웨어 보안에서 중요한 문제로 인식되어 왔다. 이 문제를 해결하기 위해 다양한 완화 방법과 방어 연구가 활발히 진행되고 있다. 이러한 연구들은 대부분 기존 벤치마크 성능과 비교했을 때 낮은 성능을 보인다. 이는 메타 데이터와 코드 계측 정보가 증가하여 포인터를 많이 사용하는 벤치마크의 메모리 사용량이 증가하기 때문이다. 이 연구는 SVF를 활용하여 스택에서만 메모리 할당자 호출 지점을 분석한다. 추후 이 분석 정보를 여러 UAF 연구에 적용하여 런타임 오버헤드를 줄이는 것을 목표로 한다.