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

분산 공유메모리 시스템(DSM)의 성능 향상을 위해 일관성 모델의 측면에서 많은여구가 진행되었다. 분산 공유메모리 시스템의 성능을 저하시키는 가장 큰 요인은 거짓 공유 문제와 별도의 통신비용 문제를 들 수 있는데 , 동기화 연산에 의한 일관성 유지 방법, 흠-기반 접근방법 등의 보다 완화된 메모리 모델로서, 이러한 문제점을 해결하려는 연구가 진행되어 왔고, 어느 정도 타당한 결과를 보았다. 본 논문에서는 동기화 연산에 의한 일관성 모델을 기초로 동적 흠-기반 접근 방법을 제안하며, 이것은 흠에서의 이점 및 부하를 여러 프로세서에게 분산시켜 시스템 전반의 성능 향상을 가져온다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1998년도 추계학술대회논문집21세기를 위한정보기술의 발전방향
• /
• pp.137-144
• /
• 1998

데이터베이스 공유 시스템에서는 동일한 페이지가 여러 처리노드에 의해 동시에 캐싱 될 수 있으므로, 각 처리노드가 항상 최신의 내용을 참조하기 위해서는 캐싱 된 데이 터의 일관성이 유지되어야 한다. 본 논문에서는 로킹 오버헤드를 줄이기 위해 주사본 권한 을 이용하여 데이터베이스를 논리적으로 분할한 데이터베이스 공유 시스템 환경에서 필요한 캐쉬 일관성 기법들을 제안한다. 제안한 기법들인 DPCA_P와 DPCA_U는 PCA를 동적으로 할당하여 캐쉬 일관성을 위해 소요되는 메시지 전송량과 디스크 입출력 오버헤드를 줄임으 로써 성능을 향상시키며, 데이터베이스 부하가 동적으로 변하는 경우에도 효율적으로 동작 한다는 장점을 갖는다.

• 한국전자통신학회논문지
• /
• 제7권2호
• /
• pp.341-347
• /
• 2012

클라우드 컴퓨팅 환경에서는 기업이나 사용자가 실제로 소유하지 않은 컴퓨터 자원을 필요한 만큼 쓸 수 있다. 페이스 북과 같은 웹 2.0 응용의 경우, 서비스의 최대 수요를 예측하기 힘들다. 하지만 클라우드 컴퓨팅을 이용하면 많은 비용을 들이지 않고 수요를 만족시킬 수 있기 때문에 점점 넓게 대중화되고 있다. 클라우드 컴퓨팅의 장점 중 하나는 고가용성의 제공이다. 비공유 구조인 클라우드 컴퓨팅에서 고가용성을 제공하기 위해서는 기존의 강한 일관성을 그대로 적용할 수 없다. 궁극적 일관성과 같이 전통적 일관성을 완화한 기준들이 제안되었고, 많은 응용들에서 채용되고 있다. 이 논문에서는 클라우드 컴퓨팅에서 적용가능한 다양한 일관성 기준들에 대하여 고찰하고, 클라우드 환경에서 수행되는 각 응용들에 적합한 일관성 기준에 대하여 논의한다.

• 한국정보통신학회논문지
• /
• 제16권6호
• /
• pp.1291-1299
• /
• 2012

UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.803-814
• /
• 2008

제품계열아키텍처는 제품에 따라 선택될 수 있는 가변요소를 포함하고 있는 아키텍처이다. 제품계열아키텍처부터 특정 제품을 위한 유효한 아키텍처를 유도하기 위해서는 제품계열아키텍처 내의 가변요소들을 체계적으로 관리해야 한다. 본 논문에서는 특성모델과 제품계열아키텍처 모델간의 명시적인 대응관계를 통해서 제품계열아키텍처의 가변성을 관리한다. 하지만, 이들 모델 간의 대응관계가 올바르지 않거나, 제품계열 아키텍처의 구성요소들 간에 일관성이 없다면, 제품계열아키텍처의 가변성 관리가 올바르게 이루어지지 않게 된다. 따라서 본 논문에서는 먼저, 제품계열아키텍처를 개념, 프로세스, 배치, 모듈의 네 가지 관점의 모델로 정의하고, 특성 모델과 이들 모델 사이의 대응관계를 정형적으로 정의 한다. 이를 바탕으로 제품계열아키텍처의 올바른 가변성 관리를 위해서, 제품계열아키텍처 모델의 일관성, 다른 관점의 아키텍처 모델간의 일관성, 특성모델과 제품계열아키텍처 모델간의 일관성 검사를 위한 규칙을 정의한다. 이러한 일관성 규칙은 제품계열아키텍처로부터 유효한 제품 아키텍처를 유도하기 위한 이론적 기반을 제공한다.

• 대한가정학회지
• /
• 제38권5호
• /
• pp.91-106
• /
• 2000

대부분의 갈등해소에 관한 연구들은 갈등해소방법 사용의 상황에 따른 일관성을 미리 가정하고 있다. 그러나 몇몇 연구에서 갈등해소방법에 있어 성격의 효과와 함께 상황적 효과가 있음을 보고하고 있다. 아직까지는 갈등의 쟁점, 감정, 관련 인물과 이들의 상호작용을 고려한 갈등해소방법의 일관성에 관한 연구가 부재한 실정이다. 본 연구는 상황에 따른 갈등해소 방법 선택의 일관성의 수준과 결혼 적응도에 있어서의 이들의 영향을 조사하였다. 나아가, 갈등해소의 과정 및 절차를 관찰하였다. 350쌍의 한국 부부들에게 설문조사(1차연구)를 실시하였으며, 이를 바탕으로 50쌍을 선발하여 갈등해소 과정을 관찰하였다(2차연구). 설문조사 결과에 의하면, 쟁점의 종류나 관련 대상에 따라서는 비교적 일관성 있는 방법을 사용하였으나, 감정상태에 따라서는 비 일관적인 해소방법을 사용하였다. 안정형 애착유형자는 건설적 해소 방법을 사용하는 반면, 불안정 애착유형자는 파괴적 또는 회피적 해소방법을 사용하는 경향을 보였다. 관찰 연구 결과에 의하면, 건설형 및 회피형 사용자는 설문조사와 관찰연구에서 일관성 있는 행동을 보였으며, 파괴형 해소방법 사용자는 설문조사와 관찰연구에 있어 일관성이 결여되어 있었다. 갈등해소의 과정, 즉 시작, 진행, 종료에 있어 유의한 타이가 발견되었으며, 이것이 결혼 적응도에 영향을 주었다. 연구결과들은 갈등해소와 결혼 적응에 관한 이론과 연계되어 논의되었다.

• 정보과학회 논문지
• /
• 제42권1호
• /
• pp.7-14
• /
• 2015

스토리지 클래스 메모리(SCM)는 메모리와 스토리지의 장점을 동시에 가지고 있기 때문에 기존의 스토리지를 대체할 차세대 스토리지로 주목 받고 있다. 하지만 현재까지 제안된 SCM 전용 파일시스템은 데이터 일관성을 충분히 보장하지 않거나 혹은 보장될 경우, 과도한 일관성 유지 비용을 발생시키는 문제점을 지니고 있다. 본 논문에서는 보편적으로 사용하는 WAL(Write Ahead Logging) 방식의 일관성 유지 기법 대신 롤백-복구 방식을 이용하여, 블록내의 변경되는 데이터의 비율에 따라 로그 데이터 기록 방식을 변경하는 데이터 일관성 유지 기법을 제안한다. 본 기법은 데이터 일관성 손실 없이 로그 데이터의 크기를 줄여 데이터 쓰기 및 동기화 비용을 최소화시킬 수 있다. 제안한 기법을 평가하기 위해 리눅스 3.10.2 상에 구현하여 성능을 측정한 결과, 다른 일관성 유지기법에 비해 평균적으로 9배 정도의 데이터 쓰기 성능이 향상됨을 볼 수 있었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권1호
• /
• pp.1-6
• /
• 2014

모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(software product line engineering)을 도입하고 있다. 소프트웨어 제품라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적성(traceability)과 가변성(variability) 정보의 일관성(consistency)을 유지하는 것이 중요하다. 본 연구에서는 휘처(feature)의 가변성과 다른 산출물에 정의한 가변성의 일관성을 검증하는 규칙을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.495-497
• /
• 2000

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.181-183
• /
• 2002

최근 이동 컴퓨터(Mobile Computing)환경에서의 잦은 접속 단절로 인한 클라이언트 캐시 일관성(Consistency) 문제를 해결하기 위한 방법으로 클라이언트 캐시 유지에 대한 연구가 진행되고 있다. 이러한 캐시 유지 방법의 한 분야로서 캐시 데이터의 일관성 문제를 해결하기 위한 무효화 보고(Invalidation Report, IR)에 대한 연구가 진행 중이다. 그러나 기존의 무효화보고는 시간 의존적인 정보로써 전송되기 이전 일정 시간동안의 서버 업데이트 정보만을 포함한다. 따라서 서버의업데이트 정도와 무관하게 일정 시간 이상의 클라이언트 접속 단절에 대하여 클라이언트의 캐시 일관성을 유지하지 못한다. 따라서 본 논문에서는 시간 의존적 정보를 가지는 무효화 보고와 서버의 업데이트 정도에 따른 무효화 보고를 함께 사용하여 클라이어트의 접속 단절 시간과는 무관하게 서버의 업데이트 정도에 따라 캐시 일관성을 유지할 수 있는 효율적인 기법을 제안한다.