• 제목/요약/키워드: 스테이트 머신

검색결과 3건 처리시간 0.017초

안전한 이더리움 분산 어플리케이션 개발을 위한 스테이트 머신 기반의 디자인 패턴 (A State Machine Design Pattern for Secure Ethereum Dapp)

  • 엄현민;이명준
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2019년도 제59차 동계학술대회논문집 27권1호
    • /
    • pp.389-390
    • /
    • 2019
  • 최근 블록체인 기반의 어플리케이션이 증가하고 이들을 위한 스마트 컨트랙트가 설계상 오류로 부적절하게 사용될 가능성이 증대되고 있다. 따라서 스마트 컨트랙트의 설계를 보다 안전하게 지원할 수 있는 방안이 필요한 실정이다. 본 논문에서는 State machine을 이용하여 이더리움 스마트 컨트랙트의 기능사용을 보다 안전하게 지원하기 위한 기법을 제안한다. 제안된 기법은 전체 동작의 흐름의 제어하기 위한 Transition Contract와 각각 상태에 대한 스마트 컨트랙트인 State Contract를 이용하여 스마트 컨트랙트의 동작과정을 제어한다.

  • PDF

TradeB: 신뢰성있는 중개인을 통한 블록체인 기반 재화 계약 서비스 (TradeB: A Blockchain-based Property Trade Service Using Trusted Brokers)

  • 윤여국;엄현민;이명준
    • 예술인문사회 융합 멀티미디어 논문지
    • /
    • 제9권9호
    • /
    • pp.819-831
    • /
    • 2019
  • 현대에 거래되는 재화의 종류는 소비형태의 변화에 의해 급속도로 많아지고 있다. 그러나, 거래되는 재화의 종류가 많아진 만큼 이에 대한 정확한 가치판단이 흐려지는 경우가 발생한다. 미술품, 창작물 등의 재화는 소비자가 올바른 가치를 판단하기 어렵다는 단점이 크게 부각되고, 거래 형태 또한 다양하여 이에 대한 신뢰성을 보장받기 힘들다는 문제가 발생한다. 다양한 재화에 대한 접근성이 확대된 현재, 이러한 단점들은 공유경제 시장의 안정성을 저해하는 요인으로 꼽힌다. 본 논문에서는 이러한 문제점을 해결하기 위하여 신뢰성 있는 중개인을 통한 블록체인 기반의 재화 계약 서비스를 제안한다. 제안한 서비스는 이더리움 블록체인에서 동작하는 스마트 컨트랙트를 사용하여 신뢰성 있는 중개인을 등록하고 재화의 가치검증 및 계약 과정에 사용한다. 또한 재화의 등록 내용, 제안 및 계약 과정을 블록체인에 등록하여 계약 과정의 신뢰성을 보장한다. 모든 동작 과정은 스마트 컨트랙트에 등록되고, 이더리움 블록체인의 트랜잭션 히스토리에 저장되므로, 등록된 데이터의 신뢰성을 보장할 수 있다. 또한 등록, 제안 및 계약의 전 과정이 스테이트 머신 기반의 스마트 컨트랙트에 의해 동작하기 때문에 사용자는 계약 과정을 보다 안전하게 제어할 수 있다.

다중 큐 SSD 기반 I/O 가상화 프레임워크의 성능 향상 기법 (Improving Performance of I/O Virtualization Framework based on Multi-queue SSD)

  • 김태용;강동현;엄영익
    • 정보과학회 논문지
    • /
    • 제43권1호
    • /
    • pp.27-33
    • /
    • 2016
  • 오늘날 가상화 기술은 가장 유용하게 사용되는 컴퓨팅 기술 중 하나이며 모든 컴퓨팅 환경에서 널리 활용되고 있다. 그러나 가상화 환경의 I/O 계층들은 호스트 머신의 I/O 동작 방식을 인지하지 못하도록 설계되어 있기 때문에 I/O 확장성 문제는 여전히 해결해야 할 문제로 남아 있다. 특히, 다중 큐 SSD가 보조 기억 장치로 사용될 경우, 증가한 잠금 경쟁과 제한된 I/O 병렬화 문제로 가상 머신은 다중 큐 SSD의 공인된 성능을 활용하지 못하는 문제가 발생한다. 이러한 성능 문제를 해결하기 위해 본 논문에서는 가상 CPU마다 전용 큐와 I/O 스레드를 할당하는 새로운 기법을 제안한다. 제안 기법은 성능 저하의 주요한 원인 중 하나인 잠금 경쟁을 효율적으로 분산시키고 또 다른 원인인 Virtio-blk-data-plane의 병렬화 문제를 해소한다. 제안 기법을 평가한 결과 최신 QEMU 보다 IOPS가 최대 155% 향상되는 것을 확인하였다.