Custom Vscode Extension Analyzer Debug
Custom Vscode Extension Analyzer Debug 最近都告一段落了，晚上臨時起意寫了個plugin 結合我的靜態分析器 apt-get install npm apt-get install npde.js https://code.visualstudio.com/api/get-started/your-first-extension 選取 vs…
ALL POSTS
Posts · Page 8
symbolic execution & z3 solver
symbolic execution 在論文最後的report 中，嘗試去添加 path constraint，得以進一步讓使用者更清晰的顯示 colect table 里相同 stmt 分支 模糊的地帶 因為 gimpler ir 有可能會有相同的 gimple stmt 名稱 可能要等最終論文發表後才可以公布我目前的程式碼，我的論文主要是實做一個靜態分析器去檢測memory…
gcp loadblance setting & gcp armor
gcp loadblance setting & gcp armor 前幾天開了一台linux 本來要做後台作品集的，結果第一天晚上因為想說應該沒人那麼無聊結果就有一個大陸人用tomcat弱密碼就被入侵了，它們透過tomcat 的 manager，上傳自己的war 包，去執行真他們的java 程式，被它們拿來挖礦，記得排查apache2 的log ip就不碼了 直接被放這隻 莫…
rebuild jetson kernel in tx1 add ebpf module
rebuild jetson kernel in tx1 https://blog.kevmo314.com/compiling-custom-kernel-modules-on-the-jetson-nano.html Build Kernel Follow these instructions to build and install the kernel image an…
ebpf dynamic memleak detect & free 大致原理
dynamic memleak detect user-space https://zhuanlan.zhihu.com/p/133854805 https://ztex.medium.com/kprobe-%E7%AD%86%E8%A8%98-59d4bdb1e1fe 這幾篇文章有提出比較細節的架構，我這邊再順一次，補充一下一些基礎概念，總而言之，memleak.py 是如何…
ebpf dynamic memleak detect & free
dynamic memleak detect 最近在rathat上研究bpf看能不能往runtime 去做memleak free，其實可以去從中觀看出，在runtime 的時候，某些lib 或者funtion，實際是可以透過signal去重寫結束狀態，或許可以在程式退出的時候，徹底把memleak 給釋放。 https://github.com/iovisor/bcc/blo…
30 DAY os Timer(二)
Timer 昨天的優化還是要繼續主要還是進行中斷加速的優化 調整為共用緩衝區 依照他的說法假設我們每次增加一個timer 是否都要為 timer 去增加一個 緩衝區 所以就提出了共用緩衝區的概念，那麼共用緩衝區會怎樣，會不會造成不知道是哪一個timer 發生的中斷 HariMain 調整前中斷判斷 c Copy if ( fifo8_status ( & keyfifo ) +…
30 DAY os Timer(一)
Timer 要補足 timer 這樣才可以往任務切換前進，中間跳過一些 有關畫面和緩衝區的一些優化詳細可能要看書 今天要補充的就是，能不能透過 系統的 PIT "Programmable Interval Timer"，讓我們透過設定 PIT 去控制中斷比如說每幾秒呼叫中斷一次IRQ0、這個功能用來計時或者固定時間用來呼叫 系統process 調度 很有用處(每幾秒切換到其他p…
30 DAY os Memory Manager
30 Day os day 3 這幾天有點忙我們來把記憶體管理的基礎打好，接下來下一個地方可能會去研究不同任務的切換，有大致上讀過，linux kernel 0.11也是跟這個地方在不同任務的調度做不同的演算法，透過gtd 去動態切換 tss這邊，這邊看能不能直接幫這個作業系統改一些linux kernel 0.11 實驗上去 https://mooc.study.163.co…
30 DAY os Interrupt
30 Day os day 2 前一天，大概會涉及一些asm 和 background 一些基礎知識讀起來有點硬，我算抽取蠻多其他話，只讀引用的片段應該蠻好理解的 今天大概會往中斷的部分前，一路到滑鼠鍵盤控制和優化整個程式碼架構等等，讓程式可讀性比較好一點 結構化 文字顯示與 GDT/IDT 初始化 HariMain 跟之前的方式來比作者想用struct 來重新封裝 這些bio…
30 DAY os helloword os
30 Day os day 1 這本書對於操作系統可以有基本的認識，想在暑假看能不能完成一下kernel，論文大致上已經在後半段兩年內業應該沒問題，暑假可以來玩一下別的東西但是對於因為本來想要學習一下linux kernel 0.11 目前有看一些原始碼，但是完成了一些Process 調度，和中斷的實驗 這邊參考 https://jasonblog.github.io/note…
Goodlock Deadlock detection
Goodlock Deadlock detection 如何檢測有效的死鎖之前，我們要找到死鎖的路徑 https://zoomkoding.github.io/os/2019/05/28/deadlock-3.html 那麼什麼路徑才是有效的呢?? 當 Cycle 在一個 thread 中創建時 在上述情況下，cycle 是fake的，因為它在一個 thread 中創建。 想想…
pthread_created 追蹤 與防止 memory leak
pthread_created pthread_created 會發生 memory leak 的情況來探討 追程式碼 https://blog.csdn.net/hnwyllmm/article/details/45749063 這邊大部分解說的情況確實是正確的 我這邊再把他稍微精簡一下 https://blog.csdn.net/David_xtd/article/deta…
Kubernetes auto scaling
Kubernetes auto scaling 整體在Hyper-v 上實作，可以把我們之前的 service 部屬到 container pod 管理很多 service 可以配合 k8s 去進行集群的控管，因為負載不同也可以自行擴容等等，可能後續會再加入 aws 進行其他研究， 基本上跟以前hadoop 差不多灌完環境在複製一份虛擬機就好 master node 個別下指令…
build linux kernel ebpf version
Raspberry build kernel virtualbox 最近跟 wsl2 要則一共存，來試用一下 Hyper-v 上次重編 kernel 開啟核心組態 BPF JIT Compiler 忘記紀錄一下，來重來一次 官方文檔案 https://www.raspberrypi.org/documentation/linux/kernel/building.md code…
trace memory using ebpf script
前些天記錄了關於mtrace 一些東西 實驗室同學提到了一些方式，找到了切入 malloc 的一些方法，跟當初猜想的一樣動態攔截可能遇到這些情況可以透過加鎖的方式去達成攔截但是效率就不太敢保證了 http://firewof5566.blogspot.com/2015/04/mtrace3thread-safety.html https://stackoverflow.com/…
mtrace runtime output
mtrace 如何在程式還沒跑完的時候用mtrace 攔截發生記憶體洩漏的問題呢 mtrace 就是去 hook malloc or free 的 function 的東西 嘗試了幾種方式，在編譯glibc 也就是 c語言 預設會去call function 的 library 主要就是在 有加鎖，預設我是要從原本的入口點 這邊修改的結果嘗試了很多方式， 主要是看能不能讓寫檔部…
Activeloop hub easy load/upload tensorflow pytorch dataset
activeloopai/Hub https://github.com/activeloopai/Hub 這個 project 主要是要解決 是再說 一般處理ml/ai 的時候建模比較少，大多是在做資料的預處理所衍生出來的專案，裡面有簡單example https://debomastet335.medium.com/exploring-hub-activeloop-a-tal…
