• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.5
• /
• pp.101-106
• /
• 2011

In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.286-288
• /
• 1998

본 논문은 VOD 서버에서 자원 활용 및 서비스 상황에 따라 융통성 있게 버퍼공유 크기를 변경함으로써 버퍼공유 효과를 높이면서 시스템 성능을 향상시켜 다수의 사용자들의 요구를 수용할 수 있는 버퍼공유 기법을 제안하다. 공유쌍이 버퍼를 모두 선점하여 더 이상의 새로운 서비스가 불가능한 경우 여분의 디스크 대역폭이 존재한다면 기존 서비스에 아무런 영향 없이 공유쌍을 분리시켜 새로운 서비스를 제공하도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.16-18
• /
• 2005

계산 그리드는 대형 컴퓨팅 자원을 필요로 하는 기관들이 계산 자원이나 저장 공간등을 공유함으로써 자원의 이용 효율을 높이고 사용자들에게 보다 다양한 컴퓨팅 서비스를 지원하는 것이 목적이다. 그러나, 컴퓨팅 자원을 많은 수의 사용자 커뮤니티내에서 공유하기 위해서는 자원의 사용과 관련된 어카운팅 정보를 사용자별로 정확하게 수집함으로써 자원의 사용 정책 등에 반영하여야 한다. 그러나, 기존의 어카운팅 방법으로는 그리드상의 수많은 자원들을 효율적으로 관리하기 어렵다. 본 연구에서는 그리드 환경에서 사용자 어카운팅을 구현할 수 있도록 계산 그리드의 클러스터를 기반으로 한 사용자 환경을 설계하였다. 본 연구에서 설계된 시스템은 사용자들이 동일한 자원을 이용할 때 서로 충돌되지 않고, 각자 독립된 접근 영역 안에서 자원을 이용할 수 있게 함으로써 사용자 어카운팅을 간편하게 만들어 준다는 특징이 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.185-187
• /
• 2011

전통적인 가상화 기술들은 하나의 물리 머신에서 서로 다른 운영체제들을 동작시키기 위해 여러 개의 가상 머신을 제공하고 있다. 이러한 가상화 기술들은 운영체제를 소스 수정없이, 혹은 약간의 수정만으로 물리 머신에서 동작하는 것과 동일한 방식으로 동작할 수 있도록 지원하기 때문에 호스트와 게스트 간의 깊은 시멘틱 갭을 발생시킨다. 이러한 시멘틱 갭은 여러 컴퓨팅 자원에 대한 공간 중복과 접근 중복의 중요한 원인이 되고, 이러한 자원 중복은 대규모 가상화 시스템의 확장성에 제약한다. 이러한 자원 중복을 제거하기 위해 컨텐츠 기반 페이지 공유 등 다양한 연구들이 진행되어 왔지만 운영체제 수정없이 지원하는 정책으로 인한 시멘틱 갭은 여전히 제안 기법들을 제한하게 된다. 이에 우리들은 운영체제의 자원 관리 부분을 수정하여 근본적인 시멘틱 갭을 제거함으로써 메모리와 스토리지의 공간 및 접근 중복성을 제거할 수 있는 파일시스템을 제안하였다. 그리고 실험을 통해 기존의 가상 블록 장치를 사용하는 파일시스템과 비교 및 평가하여 제안 시스템이 페이지 캐시 공유 및 스토리지 접근 중복 제거에 효과적임을 입증하였다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.10
• /
• pp.333-344
• /
• 2022

In a container-based cloud environment, multiple containers can share a graphical processing unit (GPU), and GPU sharing can minimize idle time of GPU resources and improve resource utilization. However, in a cloud environment, GPUs, unlike CPU or memory, cannot logically multiplex computing resources to provide users with some of the resources in an isolated form. In addition, containers occupy GPU resources only when performing GPU operations, and resource usage is also unknown because the timing or size of each container's GPU operations is not known in advance. Containers unrestricted use of GPU resources at any given point in time makes managing resource contention very difficult owing to where multiple containers run GPU tasks simultaneously, and GPU tasks are handled in black box form inside the GPU. In this paper, we propose a container management technique to prevent performance degradation caused by resource competition when multiple containers execute GPU tasks simultaneously. Also, this paper demonstrates the efficiency of container management techniques that analyze and propose the problem of degradation due to resource competition when multiple containers execute GPU tasks simultaneously through experiments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.346-348
• /
• 2000

클라이언트 서버 환경에서 발생하는 많은 문제점, 특히 유지 보수의 기하급수적인 증가와 네트웍 트래픽의 증가 그리고 클라이언트와 서버 연동의 비표준화 등으로 인하여 최근 컴퓨터 패러다임은 분산 객체 클라이언트 서버 환경으로 바뀌고 있다. 이러한 분산 객체 시스템에서는 클라이언트와 서버 사이에 미들웨어를 둠으로써 클라이언트 서버 환경에서 발생하는 많은 문제점을 해결하였다. 본 논문에서는 이러한 분산 객체 시스템 하에서 최근 각광받고 있는 에이전트 기술을 이용하여 네트웍 상의 자원을 효율적으로 사용할 수 있도록 자원 공유 모델을 설계하였으며, 실제 구현은 CORBA를 기반으로한 지능형 에이전트를 이용한 원격 컴파일링을 프로토타입으로 구현하였다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.5
• /
• pp.538-544
• /
• 2005

The service supporting structure for users in ubiquitous computing environment requires technology that divides efficiently resources shared around users according to users context. So, needs research that analyze service items and resources that is offered according to users context information and divide adaptively necessary service and resources. Therefore, in this paper we proposes an intelligent P2P mobile agent that recognizes users context using portable mobile devices and is available for intelligent service by sharing serviced item according to users' context. The proposed structure removes monopoly for specific resources, and supports effective users context-awareness and service.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1261-1264
• /
• 2003

인터넷 인구의 증가로 인하여 보다 강력한 컴퓨팅 파워를 위해 네트워크로 연결되어 모든 것을 공유하고자 하는 노력이 진행되었다. 이를 관리하는 기존의 시스템들은 시스템관리나 네트워크 장비, 회선에 대한 관리 등이 따로 수행되고 있는 실정이다 이에 따른 복잡한 네트워치 자원들을 관리하기 위해서 플랫폼 독립적 통신을 위한 JAVA RMI와 TCP/IP, SNMP를 이용한 네트워크 자원관리 시스템을 설계 및 구현하였다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2005.08a
• /
• pp.321-326
• /
• 2005

연구 개발자들은 자신의 정보활동에 있어 전체 활동의 20 ${\sim}$ 40%를 관련 정보의 탐색 및 분석에 사용하고 정보활동 결과는 개인 컴퓨터에 저장한다. 그러나 개인 컴퓨터상의 유용한 정보는 정보관리 및 공유 도구의 부재로 인하여 가치 및 유용성을 상실하고 있다. 본 연구에서는 데스크 탑 서치와 P2P 기반의 정보공유 기능을 갖는 시스템을 제안한다. 데스크 탑 서치를 통하여 연구 개발자는 본인의 컴퓨터에 저장된 정보를 효율적으로 활용할 수 있다. 연구 개발자들이 많은 시간을 들여 축적한 유용한 정보자원을 쉽게 공유할 수 있게 하는 P2P 기반의 정보공유는 연구개발 활동의 전체적인 생산성을 높일 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.129-132
• /
• 2003

그리드와 같은 대규모 컴퓨팅 자원이 연결되어 이용되는 분산처리 환경에서 가장 중요한 기능중에 하나가 자원 탐색(lookup)기능이다. 찾기 기능은 미리 정해진 형태로 지원을 등록하고 이 정보를 중앙에서 관리하는 단일기관이나 소규모로 분산된 컴퓨팅 자원을 공유하는 환경에서는 문제되지 않는다. 그러나 임의로 가입과 탈퇴가 가능하고 대규모로 자원이 연결된 그리드 환경에서는 빠른 자원 탐색이 성능의 기본 요소가 된다. 이 논문에서 그리드 환경에서 자원탐색 방법으로 분산형 자원탐색 방법인 Chord시스템을 이용하고 자원탐색방법을 신뢰성 있게 유지하기 위해 메시지큐를 이용하여 시스템을 모델링하고 시스템을 설계한 내용을 기술하였다. 이를 위하여 Chord시스템에 Message Queue System을 통합하여 응용 프로그램에서 요청한 자원탐색을 메시지 큐에 저장하여 노드가 failure되거나 네트워크가 분할이 되더라도 메시지 큐에 저장된 내용을 바탕으로 일관성을 유지할 수 있는 방법을 제시하였다.