효율적인 메모리 사용을 위한 free 명령어 삽입 알고리즘

Slides:



Advertisements
Similar presentations
일자행사내용시간장소비고 5.22 ( 수 ) 바다사랑 캠페인 & 수중 폐기물 수거행사 10:00 모항항 5.29~30 Clean-up Day ( 바다정화활동 )2일2일 42 개 항. 포구 5.31 ( 금 ) 해수부장관배 전국 바다낚시대회 05:00 안흥항 해군 군악대 (
Advertisements

◈보론: 한국 코미디의 흐름 년대 배삼룡, 구봉서, 곽규석 열등아로서 배삼룡(슬랩스틱 코미디) 배삼룡-좌절의 정서 이기동-”에, 어디론가 멀리 가고 싶구나”-탈출 욕구 1980년대 이주일-열등아와 독설, 정치성 “너만 잘났냐.. 나도 잘났다”, “못생겨서 죄송합니다”
Copyright © 2013 by bs100 co.,Ltd 영화사랑 마케팅 제안서 Movie Ticket Promotion, Gift Proposal 영화사랑 2015 포함 전국 250 개 개봉관.
삼성중공업 마이스터 O 기 PORTFOLIO O O O 평택기계공업고등학교 OOOOO 과 (2016 년 2 월 졸업 예정 )
년 5 월. 2 ( 주 ) 휴테크산업은 생활건강용품, 의료기기 및 스포츠 헬스용품을 제조 및 국내 온, 오프라인을 통해 유 통하는 업체로 고객의 편의와 행복 그리고 보다 나은 건강한 삶을 위해 고객만족을 실현코자 노력하고 있는 기업입니다. ( 주 ) 휴테크산업은.
김 혁 Profile 김 혁 Profile ‘ 하면 될 수 밖에 없다 ’ 는 믿음으로 꿈을 현실로 만들어 드리겠습니다. 상업시설 : 특수물건, 근생, 단지내, 쇼핑몰, 로드아울렛, 공구상가, 회타운 등 주거시설 : 아파트,
Indent Style, Recursive Function 전자계산입문 2009/03/27.
March 25, 2009 우체국 보험 2008 년도 외부감사인의 검사 결과. □ 안건제출근거 : 회계감사기준 260( 내부감시 관련 감사문제에 관한 내부감시기구와의 협의 ) □ 안건제출배경 : 2008 회계연도 재무제표에 대한 감사과정에서 제기된 주요 이슈사항 및 발견사항에.
매매춘과 청소년 賣春과 賣春과 買春의 買春의 차이점 賣春 ; 賣春 ; 성을 판매하는 사람에게 촛점 성을 판매하는 사람에게 촛점 賣買春 ; 賣買春 ; 성을 구매, 판매하는 사람 도 문제. 성을 구매, 판매하는 사람 도 문제.
우리 ! 어디가 ? 가족 여행 정보 앱. 요약 년 국내관광 소비액은 24 조원으로 관광에 시장은 계속 커지고 있으며, 가족 여행도 늘어나고 있는 추세이다. 2. 주 5 일제시행, 여가 활동에 대한 관심 증가, “ 아빠 ! 어디가 ?”,”1 박 2 일 ” 과.
2014학년도 대입전형준비 에듀넷 활용하기 세마고등학교 진로상담부.
1. 과학중점학교 어떤 학교인가? 1. 과학중점학교 어떤 학교인가? 일반 인문계고등학교에서 인문학적 소양과 더불어
작목별 맞춤형 안전관리 시범사업 추진내용 및 절차
2008 사회통계조사 통 계 청 사회복지통계과.
이진 나무 구조 강윤섭 2008년 5월 23일.
강의 기법과 상황대처 경기도 마약퇴치운동본부 김이항 약사 10.
서울특별시 중구 통일로 10 연세재단세브란스빌딩
8. 파일 인덱스: 탐색트리 (Search Tree)
성과주의 인사고과제도 (제안서) 전 략 기 업 컨 설 팅 ( Strategic Business Consultants)
M원 탐색트리.
창의 경영 학교 2011 사교육절감형 학 성 초 등 학 교 (목) 집중컨설팅 안녕하십니까
Chapter 7. Binary Search Trees - 보충 자료-
메탄 하이드레이트 활용 방법과 기술 환경공학과 천대길.
직업재활실습 김은비.
노무관리 교육 10분만 시간 내십시오 복잡하게 보이는 노무관리 완벽하게 이해시켜 드립니다. 1.
& 7월, 신규가입 더블 혜택 ! 하나샵 가입하고 여행템 받자! 7월, 신규가입 더블 혜택 ! 캐리어+여행필수템 증정
2007 1학기 10 함수 활용.
쉽게 배우는 알고리즘 3장. 정렬Sorting
제2절 법인세의 계산구조와 세무조정 1. 각 사업연도소득에 대한 법인세 계산구조 회계와 사회 결산서상 당기순이익
자료구조: CHAP 7(3) 트리 순천향대학교 컴퓨터공학과 하 상 호.
자료구조: CHAP 7 이진 탐색 트리 순천향대학교 컴퓨터공학과 하 상 호.
추억 만들어 드리기 캠페인 대한민국 자랑스런 어르신들을 위한 서울 마포구 서교동 층
NML 프로그래밍 소개 2004년 9월 9일 신재호 서울대학교 컴퓨터공학부 년 봄, A 수업에서 김재황님이 사용했던 것을 다듬은 자료입니다.
Copyright Joymax All rights reserved
게임 품질 관리 QA 업무 스킬 – 버그 리포팅 GameQA.co.kr
1. 병원 직원들을 위한 서비스기본 과정 ■ 교육 목적 ■ 교육 내용 ▪ 의료 환경 변화의 이해와 고객만족 서비스 마인드 함양
법 학 부 전은섭 이민지 이동임 문창욱 석다은 권지은 송진희 경영학부 조성현 권용준
산학협력단 연구지원금 시스템 사용자 매뉴얼 Copyrightⓒ2014 UOSICF. All Rights Reserved. 1.
ERP회계정보관리사 2011년 9월 개강 국립안동대학교 특강 - 장현주 ERP회계정보관리사.
-펀(Fun)! 펀(Fun) 리더십-.
2DGP Project 1차 발표 염혜린 © Copyright Showeet.com – Free PowerPoint Templates.
T-Tree MMDB 강원대학교 컴퓨터 과학과 양 기 운
6장 데이터 타입(3) 순천향대학교 컴퓨터공학부 하 상 호.
학교폭력 책임교사 역량강화 연수.
태양열 급탕 시스템 제안서 에너지 축적식 축열탱크 ㈜ 해 인.
인천공항 스카이 허브라운지 상세페이지  배송비 부분에서 B2B, B2C 두가지 버전이 필요하며,
강수동 (전)전국공무원노동조합 진주시지부장 (현)민주노총 진주지부장 (현)민주노총 경남지역본부 수석부본부장
청소년 우울증 인식 개선 프로그램 안녕하세요..오늘은 jumping blue 세 번째 시간이자 마지막 시간입니다.
메모리 타입 분석을 통한 안전하고 효율적인 메모리 재사용
2DGP Project 2차 발표 염혜린 © Copyright Showeet.com – Free PowerPoint Templates.
대학 가기와 진로 강홍준 기자
2DGP Project 최종 발표 염혜린 © Copyright Showeet.com – Free PowerPoint Templates.
1. 복리후생비 복리후생비란? ✔ 법인이 임원 또는 사용인(파견근로자 포함)을 위하여 지출한 비용
-펀(Fun)! 펀(Fun) 리더십-.
COME TO THE SAVIOUR MAKE NO DELAY HERE IN HIS WORD HE’S
자동 유지관리 시스템을 갖춘 방사형 초기우수 및 합류식 월류수(CSOs)처리기술.
로봇중점 교육과정 설명회 M Motivate Template Read On 가 온 고 등 학 교.
캡스톤디자인 1, 3 설명회 (졸업작품) 전자 및 통신 전공
알파에셋 행복나무 2Star 파생상품 투자신탁 4호(LG, SK)
미시 경제학 강원 대학교 2012학년도 2 학기 담당 교수: 정기문.
무시하는 상사 일 미루는 동료가 최악 많이 웃으셧나요? 이제 펀경영에 대한 이야기를 해 보겠습니다.
웃 음 율 동.
8단계 3층을 완성한다 Case 1 Case 2 Case 3 Case 4
아 름 씨 에 스 “올바른 장례문화 정착 선두 재단” 비 영 리 재단법인
담당교수 : 김 인 규 동양문화에서 얻는 삶의 지혜 동양사상이란 무엇인가?` 담당교수 : 김 인 규
교통정책 분석 지하철 무임승차 문제 행정융합포럼 行아웃 4조.
삼성스타일 리포트 8가지 비법.
제16장 호텔의 회계업무 제 3부 호텔 영업부문의 경영관리 2절 호텔회계의 기본 이해 3절 호텔의 영업회계
'18년 하반기 포스코대우 신입사원 모집 □ 회사소개 □ 근무조건 □ 모집부문 및 지원자격
Science Fun? 사이펀?! 나만의 다이어트 컵 만들기
Presentation transcript:

효율적인 메모리 사용을 위한 free 명령어 삽입 알고리즘 이욱세 KAIST 전자전산학과/프로그램 분석 시스템 연구단 2002년 10월 26일

목적 자동으로 보다 효율적인 메모리 사용 free l fun insert i l = case l of | h::t => if i<h then i::l else h::(insert i l) free l

방법론 메모리 모양새와 사용을 분석 분석결과를 이용해 안전한 free 명령어 삽입 요약 수준을 프로그램 텍스트에 따라 조절 공유 정보 유지 힙 셀들을 분리하는 방법론 사용 분석결과를 이용해 안전한 free 명령어 삽입 실행 시간에 부가적인 정보 전달을 통해 공격적인 메모리 반납(deallocation) 가능

예제: copyright fun copyright t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node(t1, p)

결과: copyright fun copyright [b,s] t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright [bÆ:s,s] t2 in (free t when b; Node (t1, p))

분석: copyright (1) fun copyright t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node(t1, p)

분석: copyright (2) fun copyright t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node(t1, p)

분석: copyright (3) fun copyright t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node(t1, p)

분석: copyright (4) fun copyright t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node(t1, p)

삽입: copyright (1) fun copyright [b,s] t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node (t1, p)

삽입: copyright (2) fun copyright [b,s] t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright t2 in Node (t1, p)

삽입: copyright (3) fun copyright [b,s] t = case t of Leaf => Leaf | Node(t1,t2) => let p = copyright [bÆ:s,s] t2 in Node (t1, p)

실험결과

결론 효율적인 메모리 사용을 위한 free 명령어 삽입 알고리즘 제시. (5.2%-98.7%) 리스트 기반 프로그램의 경우 정확히 분석. 공유가 심한 경우 분석 결과 나쁨.