• 정보처리학회논문지D
• /
• 제15D권1호
• /
• pp.99-106
• /
• 2008

최신의 컴파일러는 실행 속도를 높이기 위해서 최적화 작업을 수행한다. 그러나 최적화 작업 중에 프로그램 구문의 실행 순서가 바뀔 수 있다. 단일 스레드 소프트웨어 에서는 최적화가 실행 결과에 영향을 주지 않지만 멀티 스레드 소프트웨어에서는 최적화로 인해서 기존의 실행 과정을 계산하는 방법으로는 설명할 수 없는 실행 결과가 발생할 수 있다. 이 문제점을 해결하기 위해서 자바 메모리 모델이 제안되었다. 자바 메모리 모델은 구문의 재배치를 고려하여 멀티 스레드 소프트웨어의 가능한 실행 과정을 명세하고 있다. 현재 자바 메모리 모델은 자바의 표준 메모리 모델로 정의되어 있다. 하지만 대부분의 멀티스레드 소프트웨어 검증 도구는 자바 표준 메모리 모델인 자바 메모리 모델 대신에 순차 일관성메모리 모델만을 고려하고 있다. 순차 일관성 메모리모델에서는 구문의 재배치를 고려하지 않는다. 본 논문에서는 자바 메모리 모델을 이용한 소프트웨어 모델 체킹 기법을 설명한다. 이를 이용하여 기존 소프트웨어 검증 도구인 JavaPathFinder 에서 오류가 없다고 한 소프트웨어의 오류를 찾아내었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권1호
• /
• pp.62-66
• /
• 2009

많은 컴파일러는 속도를 높이기 위해서 최적화를 수행한다. 최적화의 결과로 프로그램의 구문이 변경된다. 단일 스레드 소프트웨어에서는 변경된 구문이 영향을 받지 않지만 멀티스레드 소프트웨어에서는 변경된 구문 때문에 예상하지 못한 실행 결과가 발생할 수 있다. 멀티 스레드자바 소프트웨어는 스레드들 간에 메모리를 통한 상호작용을 자바 메모리 모델을 통해서 명세 한다. 자바 메모리 모델은 자바언어의 표준 메모리 모델이다. 하지만 현재까지 나와 있는 어떠한 자바 모델 체킹 도구도 자바 메모리 모델을 지원하지 않는다. 본 논문에서는 자바 메모리 모델을 지원하는 모델 체킹 도구를 개발하기 위해서 자바 메모리 모델을 지원하는 시물레이터를 많은 모델 체킹 도구에서 사용되는 SMT 기반으로 구현했다. SMT 기반 메모리 모델 시뮬레이터는 기존의 메모리 모델 시뮬레이터에서 몇분이 걸리는 계산 결과를 1초 이내에 계산하였다. 또한 이를 통해 기존 소프트웨어 모델 체킹에서 표현할 수 없는 실행 결과를 빠르게 표현할 수 있다.

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.2932-2945
• /
• 1999

As the Internet and Java technology have been growing up, parallel processing approach to utilize those idle resources connected to the Internet has become quite attractive. In this paper, JICE(Java Internet Computing Environment) was implemented as a parallel computing platform based on the Internet using multithreading and RMI mechanisms provided by Java. The basic model of JICE is constructed as three components, such as a client, a set of workers, and a broker. A worker communicates with other workers via a globally shared memory system. It provides users with master-slave programming model and a collection of library functions. The basic model of JICE is also extended as a multimanaging system. This multimanaging system is evaluated by analysis to show its effectiveness. According to numerical analysis and experiments with several benchmarks, it is shown that the performance of basic model depends on the shared memory reference ratio and user's library is a quite promising.

• 정보처리학회논문지A
• /
• 제10A권4호
• /
• pp.397-404
• /
• 2003

전용 목적의 임베디드 자바 시스템은 일반적으로 프로그램을 이루는 모든 클래스 파일들이 호스트 컴퓨터 상의 ROMiaer에 의해 하나의 ROM 이미지로 변형되고, ROM에 적재된 이미지를 임베디드 시스템의 자바가상기계가 실행하는 모델을 따른다. 제한된 크기의 메모리 자원과 낮은 성능의 프로세서를 갖는 임베디드 시스템에서는 이 ROM 이미지를 어떤 형식으로 정의하는가 하는 것이 매우 중요하다. 그 형식에 따라 원래의 클래스 파일보다 휠씬 적은 크기의 메모리 만으로도 전체 클래스 정보를 담을 수 있게 되며, 또한 클래스 내부 정보에 신속하게 접근할 수 있게 되기 때문이다. 본 논문에서는 simpleRTJ라고하는 임베디드 자바가상기계에서 구현된 ROMizer와, 특히 그것이 생성하는 RON 이미지의 형식에 대해 분석해보았다. 분석 결과 ROMizer는 원래 클래스 파일에 비해 절반 이상의 메모리 절감 효과를 얻게 하며, 최대 6배 이상의 속도로 클래스 내부 정보를 접근할 수 있게 하는 것으로 밝혀졌다. 이 연구의 결과는 ROM 기반의 임베디드 자바 시스템을 위한 보다 효율적인 ROMizer 의 개발에 적용되어질 수 있을 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
• /
• pp.72-73
• /
• 2008

• 제어로봇시스템학회논문지
• /
• 제7권7호
• /
• pp.632-639
• /
• 2001

This paper proposes an improved architecture of web-based monitoring systems for monitor of processes in plants from the soft real-time point of view. The suggested model is designed to be able to guarantee the temporal and spatial consistency and transmit the monitoring data periodically via the intranet and the Internet. The model generates one thread for monitoring management, one DB thread, one common memory, and corresponding monitoring threads to clients. The monitoring thread is executed during the smaller time than the execution time of the process used in the conventional methods such as CGI and servlet method. The Java API for the server API, VRML, EAI(External Authoring Interface) and Java Applets for efficient dimensional WEB monitoring are used. The proposed model is implemented and tested for a FMS plant, Some examples show that the proposed model is useful one.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권9호
• /
• pp.3663-3679
• /
• 2020

Scheduling plays a dynamic role in cloud computing in generating as well as in efficient distribution of the resources of each task. The principle goal of scheduling is to limit resource starvation and to guarantee fairness among the parties using the resources. The demand for resources fluctuates dynamically hence the prearranging of resources is a challenging task. Many task-scheduling approaches have been used in the cloud-computing environment. Security in cloud computing environment is one of the core issue in distributed computing. We have designed a deep learning-based security model for scheduling tasks in cloud computing and it has been implemented using CloudSim 3.0 simulator written in Java and verification of the results from different perspectives, such as response time with and without security factors, makespan, cost, CPU utilization, I/O utilization, Memory utilization, and execution time is compared with Round Robin (RR) and Waited Round Robin (WRR) algorithms.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권2호
• /
• pp.157-164
• /
• 2005

무선 인터넷 기술과 모바일 컴퓨팅 기술의 발달로, M-Commerce가 PDA나 모바일 폰 등과같은 다양한 무선 장치상에서 실현되고 있다. 현재 M-Commerce를 위한 상품 컨텐츠는 목표 무선 장치의 특징을 충족할 수 있도록 새롭게 작성되고 있다. 이것은 자원의 중복이며, 자원 관리에 엄청난 노력이 요구된다. 따라서 현재 I-Commerce를 위해서 제공되고 있는 인터넷 상품 정보를 효과적으로 이용하는 것이 필요하다. 그러나 이러한 이용에는 적은 메모리 용량, 작은 디스플레이 화면, 낮은 수행속도 등의 모바일 장치의 많은 제약성이 고려되어야 한다. 본 논문에서는 모바일 폰 상에 인터넷 XML 상품 문서를 효과적으로 이용하기 위해 클라이언트에서 문서에 대한 객체계층구조를 구성하는 4가지 방법을 제안하고, 실험을 통해서 사용자 응답시간과 메모리 사용량 관점에서 비교, 분석한다.