• 한국정보처리학회논문지
• /
• 제7권4호
• /
• pp.1227-1235
• /
• 2000

In this paper, we propose new concepts that the distributed counter value with the distributed EC system identify each user who users the distributed system. The web user should register his/her own user ID in the cyber shopping mall system. Instead of registration, this paper proposes the proprietary mechanism that is distributing counter. The counter assigns the distinguished number to each client. The distributed lock algorithm is used for mutual assignment of the counter to each client. The proposed algorithm is the best solution in the distributed environment system such as cyber shopping mall. If a user should register his/her own ID in every EC system, he/she may not try to use these uncomfortable systems. The mutual counter is used to identify each client. All of these features are designed and implemented on Windows NT web server. Also these features were experiments with 5 clients for 300 times. According to the experiments, clients have their own mutual counter value. The proposed algorithm will be more efficient in internet application environment. Moreover, it will improve the number of internet users.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.145-147
• /
• 1998

이동 호스트를 갖는 이동 컴퓨팅 환경에서의 상호배제 알고리즘은 기존의 정적 컴퓨팅 환경과 여러 가지 다른 점이 있다. 본 논문에서는 이동 컴퓨터 환경에서 상호배제 문제를 효율적으로 해결하는 토큰 기반 상호배제 알고리즘을 제안하고, 이것은 성능을 메시지 송수신 비용으로 평가하였다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.961-971
• /
• 2019

공유 자원 간섭으로 인해 가상머신 간의 격리가 위반되고 은닉 채널 구현이 가능해서 클라우드 컴퓨팅 환경에서 가상머신 간의 격리는 중요 보안 요소이다. 본 논문에서는 Hyper-V 하이퍼바이저의 구조를 분석하여 가상머신 간의 은닉 채널을 구현한다. Hyper-V는 가상머신 간의 상호 배제를 위해 mutex(mutual exclusion) 기법을 사용한다. Mutex로 인해 가상머신 간의 간섭이 발생하고 은닉 채널 구현이 가능함을 밝힌다. 구조가 복잡한 Hyper-V에 적용가능한 mutex 자원 탐색 방안을 고안하여 은닉 채널을 다수 구현하였다. Mutex 기반 은닉 채널은 하드웨어 의존적이지 않으며, 은닉 채널이 탐지되거나 방어되는 경우 다수의 은닉 채널 중에서 다른 은닉 채널을 이용하면 방어 기법 회피가 가능하다.

• 한국통신학회논문지
• /
• 제24권7B호
• /
• pp.1313-1321
• /
• 1999

이단계 라킹 규약은 다수의 트랜잭션들의 수행이 병행되는 데이터베이스 환경에서 데이터의 논리적인 일관성을 보장하기 위하여 널리 사용되는 동시성 제어 기법이다. 이단계 라킹 규약을 사용하는 시스템에서는 두 개 이상의 트랜잭션들이 락을 잡은 상태를 서로 다른 트랜잭션이 가진 락을 무한정으로 상호 대기하는 교착 상태가 발생할 수 있다. 교착 상태 검출기는 트랜잭션들 간의 락 대기 정보를 기반으로 시스템 내에 교착 상태가 발생하였는가를 주기적으로 검출하는 기능을 제공한다. 데이터베이스 시스템에서는 트랜잭션들과 교착 상태 검출기의 수행이 병행되며, 이들은 각각의 수행을 위하여 락 대기 정보를 공통으로 읽고 쓰게 된다. 이와 같이, 락 대기 정보는 공유 정보에 해당되므로 상호 배제 기법을 이용한 락 대기 정보의 물리적 일관성을 보장하는 기법이 요구된다. 특히, 고성능의 주기억장치 데이타베이스에서는 이러한 상호 배제 기법의 성능이 전체 시스템에 큰 영향을 미치게 되므로 효율적인 상호 배제 기법은 매우 중요하다. 본 연구에서는 락 대기 정보의 물리적 일관성을 효과적으로 보장하는 새로운 상호 배제 기법을 제안한다. 제안\ulcorner는 기법은 상호 배제를 위한 처리 오버헤드를 극소화하고, 전체 시스템의 동시성을 극대화하는 것을 주요 목표로 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.525-527
• /
• 1999

본 논문은 사이버 쇼핑몰의 일반적인 제약사항으로 모든 사용자들이 ID 등록을 해야만 물품 구매를 할 수 있는 불편을 해소하였다. 본 논문은 이러한 불편을 해소하고자 사이버 쇼핑몰 사용자 ID 등록 절차 대신에 각 사용자를 구분하는 카운트를 사용한다. 이 카운트를 상호 배타적으로 할당하는 것을 보장하기 위한 분산 상호 배제 록 알고리즘(Distributed Mutual Exclusion Lock Algorithm)을 사용한다. 록 알고리즘의 정확한 구현으로 사용자들이 모든 사이버 쇼핑몰에 자신의 ID 등록을 통해서 물품 구매를 하는 불편함을 해결할 수 있다. 록 알고리즘은 사용자가 웹 페이지에 접속하게 되면 각 사용자를 구분하는 카운트 값을 배타적으로 할당하게 된다. 이러한 기능을 실제 웹 환경에서 설계 및 구현되었다. 또한 실제 웹 환경에서 설계 및 구현된 내용을 실험하였다. 실험 결과 각 사용자들에 대한 배타적인 카운트 값이 할당됨을 확인할 수 있었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권12호
• /
• pp.960-966
• /
• 2000

본 논문에서는 컴퓨터 네트워크를 위한 견고한 분산방식 상호배제 생성 알고리즘을 소개한다. 현존하는 분산방식 상호배제 생성 알고리즘의 두 가지 큰 문제는 상호배제 생성을 위하여 필요한 메시지의 수를 어떻게 줄이느냐 하는 것과 노드고장시 얼마나 효율적으로 대처하느냐 하는 것이다. 소개되는 알고리즘은 적은 수의 메시지를 사용하고 복잡한 절차가 필요 없이 지능적인 노드고장 메시지를 사용하여 노드고장에 대처한다. 또한 부하가 많은 경우에 더 효율적이며 다수의 노드가 동시에 고장난 경우에도 작동이 가능하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.38-39
• /
• 2016

운영체제 수업 내용 중 가장 흥미로우면서도 이해하기가 어려운 부분이 상호배제 알고리즘이다. 이 논문에서는 상호배제 알고리즘으로 널리 알려진 Dekker's 알고리즘과 Peterson's 알고리즘을 C 언어 환경에서 실험하는 과정에서 겪은 시행착오를 공유함으로써 보다 효율적인 학습에 도움을 주고자 한다. 또한, Dekker's 알고리즘의 개선으로 이루어진 Peterson's 알고리즘은 성능 관점에서는 오히려 크게 저조하게 나타났는데 그 원인을 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.146-148
• /
• 1999

본 논문에서는 실시간 시스템에서의 상호배제를 제한된 시간안에 해결하기 위한 방안을 제안한다. Sanders 알고리즘을 이용해서 임계영역을 사용하기 위해 필요한 메시지의 수가 노드마다 서로 다를 수 있는 점을 이용한다. 즉, 서로 다른 데드라인을 가진 노드들이 임계 영역을 효과적으로 사용하기 위해서 데드라인이 상대적으로 가까운 노드가 임계영역 사용을 위해서 전송하는 메시지의 수를 적게 갖는 구조를 취함으로 전체적인 데드라인 miss 횟수를 줄이게 된다. 시뮬레이션을 통해서 이것의 성능 향상을 보인다.

• Ocean Systems Engineering
• /
• 제6권2호
• /
• pp.129-141
• /
• 2016

Due to the structural complexity, the response of a flexible riser under axisymmetric loads is quite difficult to determine. Based on equilibrium conditions, geometrical relations and constitutive equations, an analytical model that can accurately predict the axisymmetric behavior of flexible risers is deduced in this paper. Since the mutual exclusion between the contact pressure and interlayer gap is considered in this model, the influence of the load direction on the structural behavior can be analyzed. Meanwhile, a detailed finite element analysis for unbonded flexible risers is conducted. Based on the analytical and numerical models, the structural response of a typical flexible riser under tension, torsion, internal and outer pressure has been studied in detail. The results are compared with experimental data obtained from the literature, and good agreement is found. Studies have shown that the proposed analytical and numerical models can provide an insightful reference for analysis and design of flexible risers.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 하계학술대회논문집
• /
• pp.283-288
• /
• 2003

이 논문에서는 Manabe［2］에 의해 제안된 그룹상호배제를 위한 쿼럼(Quorum)기반의 알고리즘을 바탕으로 암호 기법을 이용한 보다 안전한 분산 알고리즘에 대하여 논한다. 그룹 상호배제는 하나의 리소스를 같은 그룹 내의 모든 프로세스에 의해서 공유되도록 할 수 있는 상호배제의 일반화이다［1］［4］. 하지만, 다른 그룹의 프로세스들은 상호 배타적인 방법으로 하나의 리소스를 사용하도록 요청된다. 즉, 다른 그룹의 프로세스들은 이미 임계영역에 있는 프로세스가 그 리소스에 대한 사용이 끝난 후 임계영역에 들어갈 수 있다. 분산 컴퓨팅 분야에서 계속적으로 제안된 알고리즘은 실제 개방된 인터넷상에서 각 프로세스들 간의 안전한 통신이 이루어져야 함에도 불구하고 프로세스들 간의 상호배제에만 초점을 맞춤으로서 안전성을 전혀 고려하지 않고 있다. 이 논문에서는 분산알고리즘에 암호학적 기법을 적용한 안전한 분산 알고리즘을 제시한다.