• Title/Summary/Keyword: 무효화

Search Result 111, Processing Time 0.023 seconds

The Enhancement of Indirect Branch Prediction Accuracy via Double Return Address Stack (이중 함수 복귀 스택의 활용을 통한 간접 분기 명령어의 예측 정확도 향상 기법)

  • Kwak, Jong-Wook;Kim, Ju-Hwan
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06a
    • /
    • pp.494-497
    • /
    • 2011
  • 함수 복귀 예측은 이론적으로 오버플로가 발생하지 않는 한도 내에서 100%의 정확도를 보여야 한다. 하지만, 투기적 실행을 지원하는 현대 마이크로프로세서 환경 하에서는 잘못된 실행 경로로의 수행 결과를 무효화 할 때 RAS의 오염이 발생하며, 이는 함수 복귀 주소의 예측 실패로 이어진다. 본 논문에서는 이러한 RAS의 오염을 방지하기 위하여 RAS 재명명 기법을 제안한다. RAS 재명명 기법은 RAS의 스택을 소프트 스택과 하드 스택으로 나누어 관리한다. 소프트 스택은 투기적 실행에 의한 데이터의 변경을 복구할 수 있는 항목을 관리하고, 하드 스택은 소프트 스택의 크기 제한으로 겹쳐쓰기가 일어나는 데이터 가운데 이후에 재사용될 데이터를 관리하는 구조로 구성된다. 제안된 기법을 모의실험 한 결과, RAS 오염방지 기법이 적용되지 않은 시스템과 비교하여 함수 복귀 예측 실패를 약 1/90로 감소시켰으며, 최대 6.95%의 IPC 향상을 가져왔다.

이슈 & 이슈 - 건설산업 불공정 거래관행 뿌리 뽑는다

  • 대한설비건설협회
    • 월간 기계설비
    • /
    • s.276
    • /
    • pp.56-62
    • /
    • 2013
  • 정부는 건설현장에서 발생하는 다양한 형태의 불공정 관행을 개선하고 공정한 건설환경을 조성하기 위해 지난 6월 14일 '건설산업 불공정 거래관행 개선방안'을 발표했다. 개선방안은 하도급계약의 공정성을 높이기 위해 불공정 하도급계약을 무효화하고 발주자가 하도급계약을 의무적으로 점검토록 했다. 또한 건설하도급 외상매출채권 담보대출로 인한 하도급업체의 피해를 줄이기 위해 보험 보증 등을 통한 보호를 강화하는 방안도 담겼다. 이와함께 주계약자 공동도급 발주공사를 적극 발굴하여 원 하도급업체 간 수평적 협력관계 정착을 유도키로 했다. 정부의 이같은 개선방안은 그동안 대한설비건설협회가 정홍원 국무총리를 비롯하여 서승환 국토부 장관 등 관계부처와의 간담회와 관계요로에 수시로 건의한 결과 정부가 이를 적극 수용하여 마련된 것이다. 이로써 설비건설업계는 공공공사 분리발주 법제화와 함께 적극 추진하였던 주계약자 공동도급 활성화, 불공정하도급 관련 제도의 대폭적인 개선으로 경영환경이 크게 개선될 것으로 기대된다. 대한설비건설협회 김경회 총괄본부장은 "협회의 건의사항이 대폭 반영된 만큼 개선방안이 실효를 거둘 수 있도록 더욱 노력할 계획"이라고 밝혔다.

  • PDF

Design and Implementation of Incremental Updata Algorithm for Replication Consistency in Intranet (Intranet 환경에서 복제일관성을 위한 점진적 갱신 알고리즘의 설계 및 구현)

  • 함병훈;서창석;이기택;이병욱
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 1998.10a
    • /
    • pp.112-117
    • /
    • 1998
  • CERN에서 1992년 웹이 발표된 이후 기업내 정보 환경에 많은 변화중 가장 두드러진 부분이 인트라넷/익스트라넷 환경으로 대표되는 기업내 정보시스템이다. 이 환경을 통하여 수많은 사용자에게 내부의 정보를 지역과 클라이언트에 관계없이 제공하고 있으므로 기업내 데이터베이스를 연동하는 것이 중요한 비중을 차지했다. 그러나 과거의 기술로는 데이터베이스 연동시 상태정보를 지속적으로 유지할 수 없었고, 이로 인해 웹을 통한 서버와 다수의 클라이언트의 공동 작업 수행시 데이터에 대한 일관성 관리할 수 없었다. 본 논문에서는 새로운 웹과 데이터베이스의 연동을 사용하여 지속적인 상태유지를 가능하게 하고 여기에서 발생하는 공유데이터에 대한 일관성 유지를 기존 낙관적 병행제어 알고리즘인 후진(Backward) 및 전지(Foreword) 방법 대신 실시간 공유데이터의 공동작업에 적합한 점증적 갱신 알고리즘을 제안한다. 이 방법은 검증단계에서 충돌연산으로 인한 재시작을 줄이며, 사전에 불필요한 재시작을 방지하는 방법으로 자료갱신시 다른 클라이언트들에게 변경을 통보하며, 무효화 작업을 각 클라이언트에서 수행함으로써 서버의 부하를 줄일 수 있다.

  • PDF

Buffer Invalidation Schemes for High Performance Transaction Processing in Shared Database Environment (공유 데이터베이스 환경에서 고성능 트랜잭션 처리를 위한 버퍼 무효화 기법)

  • 김신희;배정미;강병욱
    • The Journal of Information Systems
    • /
    • v.6 no.1
    • /
    • pp.159-180
    • /
    • 1997
  • Database sharing system(DBSS) refers to a system for high performance transaction processing. In DBSS, the processing nodes are locally coupled via a high speed network and share a common database at the disk level. Each node has a local memory, a separate copy of operating system, and a DBMS. To reduce the number of disk accesses, the node caches database pages in its local memory buffer. However, since multiple nodes may be simultaneously cached a page, cache consistency must be ensured so that every node can always access the latest version of pages. In this paper, we propose efficient buffer invalidation schemes in DBSS, where the database is logically partitioned using primary copy authority to reduce locking overhead. The proposed schemes can improve performance by reducing the disk access overhead and the message overhead due to maintaining cache consistency. Furthermore, they can show good performance when database workloads are varied dynamically.

  • PDF

The Recent Progress of Network Neutrality Debate (망중립성 논의 최근 전개 동향)

  • Byun, J.H.;Cho, E.J.
    • Electronics and Telecommunications Trends
    • /
    • v.25 no.4
    • /
    • pp.121-129
    • /
    • 2010
  • FCC가 2005년 인터넷상에서 콘텐츠, 애플리케이션, 단말기의 비차별적 접속을 보장하기 위해 망중립성 4원칙을 발표한 이후 망중립성 원칙의 타당성에 대한 찬반 논란이 계속되어 왔다. 2008년에는 Comcast의 파일공유사이트 접속 차단 조치에 대해서 FCC가 망중립성 원칙 위반행위로 판정하여 중지 명령(Comcast order)을 내린 바 있다. 그러나 2010년 4월 사법부가 2008년 FCC의 Comcast order를 무효화함에 따라 망중립성 원칙 적용을 시도하던 FCC의 노력이 무산될 위기에 놓여 있다. 본 고에서는 FCC의 망중립성 원칙 제시 배경과 추진 경과, 사법부의 최근 판결내용, 이해당사자의 찬반 논란을 살펴보고 향후 망중립성 원칙의 법적 근거를 마련하기 위한 FCC의 선택지(option)를 전망하고자 한다.

Recent Trend of Interconnection System in U.S. (미국의 상호접속 제도 현황 및 최근 동향)

  • Byun, J.H.
    • Electronics and Telecommunications Trends
    • /
    • v.14 no.4 s.58
    • /
    • pp.54-66
    • /
    • 1999
  • 미국 연방통신위원회(FCC)는 1996년 통신법에 따라 통신시장에서 진입장벽을 제거함으로써 경쟁을 촉진하기 위해 상호접속 제도, 접속료 제도의 전면적인 개편을 추진하여 왔다. 그러나 FCC가 제정한 상호접속 규칙과 접속료 규칙은 지역 전화사업자 및 주공익사업위원회의 적극적인 반대로 소송으로 비화되었으며, 1998년과 1999년 초에 사법부의 판단이 내려졌다. 사법부의 판단 결과 망세분화 규칙을 제외한 대부분의 쟁점사항에 대해서 FCC의 경쟁활성화 정책이 본격 추진되게 되었다. 본 고에서는 미국의 상호접속 제도 및 접속료 제도의 발전과정, FCC가 제시한 새로운 상호접속 제도 및 접속료 제도의 주요 내용, 이들 제도의 무효화 주장에 대한 사법부의 판단결과를 살펴보고 그 시사점을 살펴보고자 한다.

A Certification Protocol based on Broadcast Invalidation Approach (브로드케스트 무효화 기법을 이용한 인증 프로토콜)

  • Sung-Ho Cho;Min-Goo Kang
    • Journal of Internet Computing and Services
    • /
    • v.3 no.6
    • /
    • pp.79-89
    • /
    • 2002
  • The performance of OCC is very sensitive to the transaction abort rate, Even if the abort probability can be reduced by re-ordering, most of re-ordering schemes have space overhead in maintaining a graph or histories, In this paper, we proposed an efficient re-ordering scheme based on a broadcast invalidation mechanism. Our scheme, called CBI, can reduce the abort probability without space overhead in maintaining a graph or histories, By simulation studies, we showed that CBI reduced the abort rate and unnecessary operations, Additionally, we showed that CBI outperforms not only BTS but also TSH with low space overhead.

  • PDF

A New Offset Algorithm for Closed 2D Lines with Islands (섬을 가진 2차원 직선 폐곡선에 대한 새로운 오프셋 알고리듬)

  • Kim Hyun-Chul;Lee Sung-Gun;Yang Min-Yang
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.30 no.2 s.245
    • /
    • pp.141-148
    • /
    • 2006
  • In this paper, a new offset algorithm for closed 2D lines with islands is introduced and the result is illustrated. The main point of the proposed algorithm is that every point is set to be an offset by using bisectors, and then invalid offset lines, which are not to be participated in offsets, are detected in advance and handled with an invalid offset edge handling algorithm. As a result, raw offset lines without local invalid loops are generated. The proposed offset method is proved to be robust and simple, moreover, has a near O(n) time complexity, where n denotes the number of input lines. In addition, the proposed algorithm has been implemented and tested with 2D lines of various shapes.

The Position of [lateral] in Feature Geometry

  • Jun Jongho
    • MALSORI
    • /
    • no.29_30
    • /
    • pp.95-104
    • /
    • 1995
  • 최근 음운론에서 lateral 자질이 자질수형도에서 어디에 위치하는가에 대해 두 가지 접근이 있어 왔다. Levin(1988)은 lateral이 coronal에만 나타나는 제약에 기초해서, lateral 자질이 coronal 마디의 의존자질이라고 주장한다. 이에 반해 Rice & Avery(1991), 그리고 Shaw(1991)는 lateral 자질이 자질수형도의 위쪽에 위치한다고 주장한다. 이 두 이론을 비교하기 위해 본 논문에서는 다음과 같은 내용의 음운론적인 요소들과 음성학적인 요소들을 고려한다. 첫째, 음성학에서 lateral의 기능은 lateral이 일반적으로 수형도 위쪽에 위치하는 것으로 간주되는 조음방법 자질이라는 것을 시사한다. 둘째, Papuan 언어군에서 보고된 Velar lateral의 존재는 lateral이 coronal에만 나타난다는 제약을 무효화하면서 Levin이론의 전제를 의심스럽게 한다. 셋째, 몇 가지 다른 유형의 동화 현상에 대한 논의는 동화현상이 lateral이 수형도의 위쪽에 위치하는 이론에서 더 잘 설명된다는 것을 보여 준다. 마지막으로 Chumash와 Tahltan의 coronal harmony에서 나타나는 lateral의 transparency와 Cambodian과 Javanese에서 나타나는 OCP효과 따위도 lateral이 조음위치 마디의 의존 자질인 이론에서는 설명될 수 없는 underspecified lateral의 증거를 제시한다. 이와 같은 논의에 기초해서 본 논문의 결과는 lateral이 수형도 위쪽에 위치한다는 주장이 옳음을 보여준다.

  • PDF

Cache Consistency Scheme to Consider the Period of Data in Mobile Computing Environments (이동 컴퓨팅 환경에서 데이터의 주기성을 고려한 캐쉬 일관성 유지 기법)

  • Lim Jong-Won;Hwang Byung-Yeon
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.25-27
    • /
    • 2005
  • 이동 통신 기술의 급격한 발전으로, 이동 컴퓨팅 환경에서 데이터 서비스에 대한 수요가 점차 증가하고 있다. 이동 호스트 내에 캐쉬가 존재하면, 통신 대역폭의 절약 및 질의에 대한 빠른 응답을 가져올 수 있지만, 이동 호스트가 서버 데이터와의 캐쉬 일관성(Consistency)을 유지시켜야 한다는 문제가 생기게 된다. 본 논문에서는 기존의 기법들이 가지는 문제점들을 보완하기 위해 데이터의 주기성을 고려한 캐쉬 일관성 유지 기법을 제안한다. 제안한 기법은 데이터를 주기적, 비주기적 데이터로 분류하고 주기적 데이터에 만료시간을 삽입하고, 또한, 무효화 메시지를 저장해서 단절 후에 선별적으로 캐쉬 데이터가 나누어 질 수 있도록 해서, 캐쉬 내의 데이터가 접속 단절 후에 일방적으로 버려지는 것을 막을 수 있도록 한다.

  • PDF