세상밖으로...

http://www.mail-archive.com/cloudsuite@listes.epfl.ch/msg00150.html 참조. /bin/rm: cannot remove ~~~/Intercept.d.tmp Intercept.d.tmp를 삭제하지 못해서 오류가 난다고 더 이상 진행이 안된다. 링크의 내용을 참조하면 llvm-2.9/lib/ExecutionEngine/JIT/Intercept.cpp 파일에 unistd.h를 include 해주라는데, 실제로 해주니까 올바르게 컴파일이 된다. http://keeda.stanford.edu/pipermail/klee-dev/2012-August/000907.html building 하면 --emit-llvm 이 없다고 오류가 난다. llvm-2.9 폴더의 Mak..

Source code를 받으면, BUILDING.txt 문서가 있는데 이를 참조. Requirements: * Unix System* JDK 1.6* Maven 3.0* Findbugs 1.3.9 (if running findbugs)* ProtocolBuffer 2.4.1+ (for MapReduce and HDFS)* CMake 2.6 or newer (if compiling native code)* Internet connection for first build (to fetch all Maven and Hadoop dependencies) Ubuntu의 경우, Findbugs를 제외하고 apt를 통해서 받을 수 있다. ProtocolBuffer의 경우, 이름이 protobuf-c-compiler,..

Android에서 CPU와 관련된 내용들을 얻는 것은 Linux에 의존하게 된다. (아님 그냥 내가 못 찾은 것. -_-;) Linux에서 CPU에 대한 정보는 /sys/device/system/cpu에서 구할 수 있다. 그 중 우리가 원하는 CPU의 현재 Hz와 Mode, 사용 가능한 Hz와 Mode에 관한 정보는 /sys/……/cpu/[cpu number]/cpufreq 폴더에 존재한다. CPU가 single core라면 CPU0만 존재하고 dual 이상이라면 CPU0, CPU1… 이런 식으로 늘어난다. 현재의 평범한 multi core system이라면 CPU숫자와 상관 없이 CPU에 대한 동일한 정보를 얻어올 수 있지만 차후 big.LITTLE 기능이 적용된다면 코어마다 다를 수도 있을 것 같다...

안드로이드의 YouTube 어플리케이션이나 웹 브라우저를 사용해서 동영상을 봐도 YouTube나 웹 브라우저의 네트워크 통계에는 적용되지 않는 것을 볼 수 있다. 이는 YouTube나 웹 브라우저가 자기 자신이 아닌 내부의 미디어 플레이어를 이용해서 동영상을 틀어주기 때문이다. 실제 동영상 스트리밍 서비스까지 구현을 해본 적이 없어서 이런 것이 어떠한 방식으로 진행이 되는지 감도 못 잡고 삽질만 하다가 드디어 조금은 실마리를 잡은 것 같다. /proc/net/tcp 파일을 cat 등으로 읽으면 다음과 같은 결과를 얻을 수 있다. /proc/net/tcp에 대한 자세한 정보는 이 곳 에서 /proc/net/tcp로 찾으면 확인할 수 있다. 간단히 말하면 TCP socket의 현재 내용을 dump하는 곳이다..

Traffic Stats Class Android에서 network traffic의 rx/tx 에 관한 정보를 얻어올 수 있게 해주는 class. Network 사용량들은 UID별로 /proc/uid_stat/[UID]/ 에서 파일로 확인할 수 있으며 그렇기 때문에 원하는 process의 정보를 가져오기 위해서는 process의 UID를 알아야 한다. 데이터를 가져오는 함수들은 대부분 native interface로 이루어져 있다. UID: Unix-like OS에서 user에게 할당하는 ID. Android에서는 package를 설치할 시 package에게 User ID를 할당하여 개인적인 저장 공간을 유지할 수 있도록 하고 package를 삭제할 시 UID도 삭제가 된다. 그림 1 Android /p..

/proc/stat 그림 1 Android /proc/stat 명령어: cat /proc/stat 나오는 결과는 컴퓨터 기동 이후의 누적 시간이므로 usage를 나타내기 위해서는 일정 간격을 두고 측정해야 한다. /proc/stat 호출 시의 형식 Cpu user system nice idle wait hi si zero CPU: CPU core의 숫자. User: user mode에서의 실행 시간 System: system mode에서의 실행 시간 Nice: 낮은 권한의 user mode에서의 실행 시간 Idle: I/O완료가 아닌 대기 시 Wait: I/O 완료 대기 시간 Hi: Hard Interrupt(IRQ) Si: Soft Interrupt(SoftIRQ) Zero: 끝 그림 2 multi-c..

주소: cmusatyalab / kimberley Kimberlize system은 사용자에게 사전의 설치 없이 application을 실행할 수 있는 기능을 VM 기술을 통해 제공한다. 요구되는 application이 돌아가는 VM은 다른 machine이 미래에 사용될 것이라 예상될 때 사용자에 의해 미리 만들어 진다. Runtime은 target machine에서 즉시 조립되고 resume 된다. 우리는 the VirtualBox VM monitor를 가상화 platform으로 사용하도록 선택했다. VirtualBox는 최근 Sun Microsystems가 구매한 독일 소프트웨어 회사 Innotek의 open-source 가상화 제품이다. 10기가 이상의 VM 상태를 runtime에 전송하는 것은 아..

Kimberley: 고정된 infrastructure를 일시적으로 모바일 기기가 사용할 수 있게 해주는 목적의 시스템. 주소: cmusatyalab / kimberley Kimberley는 kimberlize와 display control manager(KCM)을 사용하여 mobile device가 큰 화면에서 application을 실행할 수 있도록 해준다. System Usage 전형적인 Kimberley system의 사용방법: 관리자는 base VM과 하나 이상의 kimberlize patch를 제작하기 위해 kimberlize tool을 사용한다. 관리자는 몇 개의 display를 설치하고 display에 base VM을 배분한다. 그 machine들 위에 서 Kimberley service를 ..

ubuntu 12.04기준 /etc/X11/xinit/xinput.d/nabi 파일에 GTK_IM_MODULE=xim QT_IM_MODULE=xim 둘 중 하나 없는 것을 추가하면 됩니다.

Compaq CQ57번대 기종 사용 중입니다 큰 문제점은 아니고 wubi로 설치를 했는데 설치 화면이 나오지 않습니다. 화면의 갱신이 없을 뿐이지 실제로 설치는 진행 중이라서 기다리기만 하시면 설치가 됩니다. 아마 이전부터 있던 Radeon 그래픽카드 모델들의 문제점이라 생각합니다. 혹은 Intel 그래픽 카드와 약간의 충돌을 일으켰을 수도 있겠네요. 혹시 Kubuntu를 wubi를 이용해서 설치했을 시 설치 화면에서 마우스는 움직이는데 화면 갱신이 안되시는 분들은 10~20분 정도 기다려 보시길 바랍니다. 그리고 가급적 해당 증상이 일어난다면 랜선을 제거하시고 설치하기를 추천합니다. kaist mirror가 속도가 낮을때가 많다보니 보이지도 않는데 되는지 안되는지 확인하는거 보다 설치하신 후 다음 미러..