LINEAR TEMPORAL LOGIC (LTL) Temporal logics (TL)은 다양한 reactive system을 명세하기에 편리한 형식이다. 우리는 이것을 논리적인 시간양식을 시간 추상화 헸다고 말할 수 있다. linear temporal logic (LTL)는 각각의 지점의 시간 상태에 무한 순서로 이며, linear-time관점에 기반을 둔다. Linear temporal property은 사실이되는 무한 시퀀스의 집합을 설명하는 시간적 논리 수식 그래서 문제 1Write the spaceWire spec. in Temporal LogicErrorReseta.The ErrorReset state shall be entered after a system reset, after link o..
Summarized fromDavid C, The Definitive Guide to the Xen Hypervisor, Prentice Hall, 2007Part 1. The Xen Virtual Machine CH1. The State of Virtualization 1.1 What Is Virtualization?Virtualization is similar conceptually to emulation which a system pretends to be two or more of the same system.Simplified system of virtualization in modern OSes (i.e., multi-process)CPU scheduling (i.e., process sche..
Tuning Embedded Linux When Less is More Darren HartIntel CorporationELCE 2011 Agenda - 목적, 동기, 목표- 전체 이미지에 대한 종합 보고서 - 필요한 컨셉과 도구 - 한 구성이 반복되는 구조이다.이마자에 대한 사이즈 분석후tunning 하고 분석하고 다음 단계로 진행하는 구성이다 총 5 step으로 되어 있다. Objectives- raw image size 을 줄인다.- 정적 메모리 사용량을 줄인다. ( 적제되는 리눅스의 사이즈를 줄인다. )- 다이나믹 메모리 사용량을 줄인다. ( 쓸모없는 에플리케이션 줄인다. ) - boot시간을 줄인다. Motivation결국은 메모리를 아끼는것이 돈을 버는것이고 성능( I/O 오버해드나 부팅시간..
http://elinux.org
Kernel Size Tuning features 리눅스에는 많은수의 기능을 제어할수 있는 옵션이 있다. 시간이 지남에 따라 그 기능들이 너무 많아 졌다. 아지만 상업용 전자 장비는 리눅스의 많은 기능이 필요하지 않다. 커널 옵션을 조율할때는 매우 조심해야 한다. 많은 파트를 제거 해낸다면 그만큼 메모리를 아낄수 있다. Linux-tiny patches Linux-tiny patch 세트는 Matt Mackall에 의해서 개잘자가 리눅스 커널의 크기를 줄일수 있도록하고자 하는 의도에 의하여 개발되었다. These patches are described at: http://elinux.org/Linux_Tiny The Linux-tiny patch set includes a number of differe..
Measuring the kernel 커널 사이즈를 판단을 위한 3가지 관점 1. 커널이미지는 플레쉬에 저장이된다. 2. RAM 의 커널이미지는 정적인 크기이다. (보통 압축되지 않은 이미지이다) - 커널이 로딩될때 text, data, BSS segment가 포함된다. text와 BSS segment는 커널 실행시간에도 일정한 크기를 유지하지만 data와 stack segment는 시스테의 요구에 따라 늘어날수 있다. 3. 커널은 일정량의 dynamic REM을 사용한다. - 사용량은 시스템이 동작하는동안 변경이 될수있다. 그러나 시스템이 셋업될때 메모리의 베이스라인량만큼 할당이된다. 특정 어플리케이션의 요구되는 최소한의 메모리보다 더 많이 할당이 될수도 있다. XIP DRIP 조사해서 추가하기 Mea..
중앙집중식 버전 관리 시스템 (Centralized VCS) Subversion, CVS, Perforce 같은 CVCS 시스템은 많은 클라이언트가 중앙 서버로부터 파일을 받아서 사용(Checkout)한다. 그런 이유로 중앙 서버의 하드디스크에 문제가 생겨서 모든 자료를 날린다면 복구할 방법이 없다. 아니 있다. 클라이언트들이 버전1부터 끝까지 각각 가지고 있다면 버전 1부터 다시 커밋하면 된다... 분산형 버전 관리 시스템(Distributed VCS) Git, Mecurial, Bazaar, Darcs 같은 DVCS 시스템은 클라이언트가 마지막 Snapshot을 받아오지 않고 그냥 저장소를 전부 복제한다. 서버에 문제가 생기면 아무 클라이언트의 복제물로 서버를 복원할 수 있다. 위 차이점은 사실 흔하..
gitosis 이런거 책보고 따라 하다 삽질한다.이것만 믿고 그대로 적용하시길...구성 1) 리눅스 서버에 git 서버를 만들고 저장소를 생성합니다 2) 윈도우에 TortoiseGit를 설치하고 1)에서 생성한 저장소를 clone합니다 방법 리눅스 서버에서 git 서버를 만들고 저장소 생성하기 아래의 모든 행동은 관리자 권한으로 합니다 1) git 패키지 설치하기 # yum install git-core 2) git 서버 계정 생성하기 계정을 추가하기 전에 그룹을 만든 후 계정을 추가합니다 사용자가 많아질 때 그룹으로 관리하기 편하거든요 # groupadd git # adduser -r -c 'git version control' -g git -d /home/git/ git # passwd git 비밀번..