跳到主要內容

16GB ROCm 本地 LLM-as-a-Verifier 實測數據:Qwen3.5-9B 跑起來到底多快

TL;DR: 用 Qwen3.5-9B(Q4_K)在單張 16GB AMD GPU 上跑本地 LLM-as-a-Verifier,每次 code comparison 約 0.5–2 秒,cache hit rate 66%,正確程式碼穩定給 1.0 分,有 bug 的給 0.0–0.14 分。16GB 跑 9B 模型綽綽有餘,還有空間跑其他服務。 這篇是實測續篇,前兩篇分別講了 架構設計 和 Docker 封裝 。前兩篇講的是「做什麼」跟「怎麼做」,這篇來量「到底多快」。 1. 測試環境 在一台 homelab Linux(CachyOS)上跑的: 項目 內容 GPU AMD 16GB(15.9 GiB)via ROCm 模型 Qwen3.5-9B(8.95B 參數,Q4_K ~5.7GB GGUF) 後端 llama.cpp(llama-server,ROCm HIP build) Verifier Docker container(llm-verifier),port 8010 模型 VRAM ~10.2 GB(模型本身 + 動態 KV cache) GPU 使用率 78% 系統 RAM 62 GB;使用 27 GB(swap 用了 9.3 GB) Context window 131,072 tokens MIN_SCORE 0.8 後端跑在另一台機器上,走 local Gigabit 網路連線。 2. Verifier 在幹嘛 docker-llm-as-a-verifier 包裝了 LLM-as-a-Verifier 這個研究套件,讀取 token-level log probability 來算連續分數,不是簡單的 yes/no 判斷。 Container 開了 7 個 HTTP endpoint: Endpoint Method 用途 /health GET 健康檢查 /v1/compare POST 兩組答案比對評分 /v1/select POST Best-of-N 選最佳 /v1/track POST Agent 軌跡分數追蹤 /v1/directed POST 導...

內容為王.與朋友在 FB 閒聊對於數位內容的想望

因為我一直很關注數位內容的發展,不過對於現在的閱讀載具倒沒有那麼有興趣,技術推陳出新,會有更好的載具不斷出現,最主要是對於數位內容有著很高的期待,除了數位內容的共同標準,還有數位化個人出版的智慧產權的發展,個人認為,數位化的內容將是未來趨勢,僅管目前仍有尚待解決的問題,不過趨勢是不會改變的。

以前寫過一篇:釋放空間.解放圖書館.文明的入口,裡頭其實有提到一些看法 (也有關於 epub 的格式的介紹)。

image 最近也發現了一個網站:Pubu書城,提供雜誌、小說、商業理財等各類電子書,支援 pdf 及 epub 檔案下載,PC、手機及電子閱讀器皆可支援,既是出版社的通路,也提供素人作家出版的平台。

覺得還蠻有趣的,至少華文個人出版的平台已經出現了,而數位內容的發展還得繼續觀察,所以先跟大家分享這個網站:http://www.pubu.com.tw/

底下是閒聊的對話》(歡迎回應加入討論)


一開始是我轉載了一篇文章連結:您可以想像圖書館的預算被刪減後會怎樣嗎?,開始聊起來的。

咖哩:不管圖書館預算如何,我希望可以儘快把所有紙本圖書都電子化,讓圖書館成為典藏珍貴書籍的博物館,而實際的圖書館化身成為幾部主機,大家以後出書也都一律電子版,不要再砍樹了!

Jimmy Yen:說實在的,數位化的預算可能還要更高才成

咖哩:目前的收藏要一頁頁掃描甚至OCR成電子檔,是一件困難的事(Google做了好多年了),但假如一旦成為電子化,才有希望將內容做長久的保存以及分享,也才有希望從浩瀚書海中被需要的人『搜尋』到,願那一天儘快來臨!

Jesse Wang:以 IT 人來看電子化藏書不見的比較環保,你需要更多的電力、更多的電腦來儲存及備援,電力的製造跟電腦的製造目前就是非常不環保。更別說若干年後因為儲存媒介跟檔案格式的變更,很可能反而讓一堆電子檔都無法再使用。早期的卡帶現在已經不太能找到設備來讀取,反而幾千年前的羊皮紙跟竹簡還能看內容。

咖哩:儲存不一定需要電力持續support,但是紙本書籍的照顧需要溫濕度控制,你可以想一想,在一般沒有控制溫濕度的空氣中,隨身碟比較耐放還是紙本,更何況隨身碟還只是很隨便的儲存方式。
你如果要說這些硬體的製造很不環保,那麼,紙本書籍世世代代都要吹冷氣控制溫濕度,甚至講究一點還要燈光的控制,長久下來這些照護成本一定超過電子儲存方式,純粹時間長短的問題而已。
只有複製率高的電子形式才能維持不死,你所提的羊皮紙與竹簡恰好是最糟糕的例子,數千年前存活至今的羊皮紙與竹簡比例非常低,要不是少數被放在氣候合適的古墓中陪葬,如今根本不可能問世。

Jimmy Yen:你們兩個說的都有道理,就電子化的過程來看,現在比較嚴重的問題是"標準",各家(聯盟)都有自己格式的電子內容,因為事涉閱讀載具與數位內容銷售的大利益,所以暫且不論保存,我覺得要先把統一的介面形成了,然後當閱讀工具普及加上使用者普遍接受度提高(至少要更優化閱讀的舒適度),使用量達到了,才有人會願意大量地把原來的文獻內容給數位化,甚至是採用通用的標準產出全新的數位內容。
數位化的載具應當可以提供較之傳統書籍更多內容的可能,透過網路。不過這跟有人喜歡在網路上找資料,有人則仍舊傾向傳統閱讀形式,至少我覺得還沒到完全偏向哪一邊的時候,而我現在想想,我們可能習慣也願意用快速的電腦網路來尋找資訊,如果老了,至少我們習慣的資訊提供來源 (電腦網路) 也必須跟著進入銀髮族產業思維才行,比如說字要夠大啦,顯示器要夠舒適等等。

Jimmy Yen:現在的數位內容被導向比較動態的影片內容,事實上也可以說因為為格式的相容性較高,所以這樣的數位內容"目前"比較有發展的前景(量可以大得起來),但仍舊缺乏想像中的數位文字內容的豐富形式(不單單只是影片或多媒體)。要說是現代人習慣快速的影片形式來吸收資訊嗎?亦是亦非吧,應該是說靜態的那一塊還沒有感覺成功的範例出現。
另外一個是,閱讀載具太貴了!

Jimmy Yen:不過至少有一個幾乎不會改變的交集:"網路"
所以我覺得隨著網路媒體形式的革新,應該可以看到「開放而通用的」數位內容形式的產生,當然這就得開始談新一代著作權等等更深的問題,從技術上和形式上有能力保障著作權者的權益,接下來的世界每個人都是出版者。
最後還是回歸既存的文獻經典,配合數位化的變革會有什麼樣的高度延伸性,這應該是很有趣的一件事。(學歷史的時候不是都要比較年代比較來比較去的嗎?以後會很有趣,我的想像)

留言

這個網誌中的熱門文章

有點誇張的準專業機.Minolta Alpha 7 (Dynax 7、Maxxum 7).2000

題外話,去年幫朋友標了這台,遲遲未寫一篇介紹,其實是有私心的,好東西少一點人知道比較不會搶。 上個禮拜因為自己要 幫朋友拍攝一場婚禮 ,無巧不巧原本服役的 707si 掛了,於是跟朋友商借了 Alpha 7 來拍,拍過之後就一直放在身邊,說實在的有點捨不得還,快門聲,手感,強大的性能,實在是有點誇張。 拿 Alpha 7 拍我女兒的時候,因為有 LCD,我女兒會說我要看,而不是問我 把拔這台是底片的嗎 ?讓我解釋半天她也不相信,直指著 LCD 要看照片,很妙,但是個識貨的女孩,一眼就看出這台相機的特點,機背有 LCD。 於 1998 年推出頂級機 Alpha 9 之後,2000 年推出的 Alpha 7 除了快門速度和連拍速度緊挨著機皇而沒有強過頭,卻在準專業定位的 Alpha 7 身上加入多項先進的功能,其中許多 Alpha 9 所沒有的,相當驚人,整理於下: ※ 全新開發之 CDC912 對焦系統,九點寬域對焦,排列為黃金矩陣 ,宣稱為世界首快之 AF 對焦;機背轉盤可選擇對焦點並直接對焦。(Alpha 9 為三點寬域自動對焦) ※ 首見機背大型點矩陣式 LCD 大幅增加人機溝通性能,若採垂直控制拍攝時LCD會隨之轉為垂直。 ※ DMF (Direct Manual Focus) 功能 :透過機身可讓鏡頭全時手動,無須撥動AF/MF鈕 ※ 世界首見 STF (Smooth TransFocus) 特效 ,可使每支鏡頭作出特殊背景鬆濛感,類似Minolta STF 135mm f/2.8[T4.5]的效果 (作用原理:相機自動切換為多重曝光,並於曝光時逐漸縮小光圈葉片)。[Custom 3] ※搭配新一代納入距離編碼器的鏡頭時,Alpha 7 可採 ADI (Advanced Distance Intergration) 測光模式 ,或配合 TTL 4 區閃燈測光。 ※一推出即支援 SAM 超音波馬達鏡頭。(Alpha 9 需要更新韌體) 功能很多很強大,底下就先挑一些比較有意思的設計做介紹。 》十四區蜂巢式測光,LCD 顯示 當同時按下 AE 曝光鎖 (AEL) 與 LCD 顯示選擇鍵 (DISP) 時,會顯示 14 區各分區的相對EV值,與灰色部份比較,白色的為正值,黑色的為負值,以上圖為例,畫面最暗的地方是 –2.3,最亮的地方是 ...

[古典相機] M 系列快門最速.ME MX 合體.Pentax ME Super.1980

Pentax M 系列機身中,快門速度達到 1/2000 秒的,就只有 ME Super 以及需搭配特殊鏡頭 AF 35-70 f2.8 自動對焦的 ME-F 。 為什麼要說 ME Super 是 MX 以及 ME 的合體呢? MX 是只有曝光手動控制, ME 是只有光圈先決,另有幾台 M 系列 1980 年代出的 MG、MV、MV1,也都只有提供光圈先決,除了改變 EV 值外,沒辦法手動調整快門速度,ME Super 是整個 M 系列機身第一台同時可以手動設定快門也能 Auto 快門的機身,或許是因為希望機身維持像 ME 一樣小,所以在快門設定的功能上,並不像其他家是用機頂轉盤的方式 (OM-2 是用機身接環前的轉環),Pentax ME Super 的快門設定是機頂上的兩個鈕,只能在觀景窗內,透過 LED 指示燈顯示所選用的快門速度,同時也會顯示是否 Over 或者 Under。 機身的設計與 ME 幾乎相同,除了機頂右邊的轉盤處加了兩個手動設定快門速度的鈕,其他都相同,寬度和高度就比 ME 多了一點點,真的只有一點點,就各多個 0.5mm,但重量卻比 ME 更輕,猜想是使用了更輕量的機身結構吧,而可搭配的捲片馬達手把也能通用 (ME、ME II)。 MX 與 ME、ME Super 之比較》 機型 生產 體積 (mm) 重量 快門速度 閃燈同步快門 MX 1976-1985 135.8 x 82.5 x 49.3 495g 1 ~ 1/1000, B 1/60 ~ 1, B ME 1976-1980 131 x 82.5 x 49.5 460g 8 ~ 1/1000, B 1/100 ~ 8, B ME Super 1980-1987 131.5 x 83 x 49.5 445g 4 ~ 1/2000, B 1/125 ~ 4, B ...

我家用的除濕機,象印輕巧型沸石式溫風除濕機 ZOJIRUSHI RV-JBF60RV

Angel 扶著的那台就是了,我很喜歡這台運作時的還不算太吵,也不會太佔空間,我們的衣帽間不大但太亂了所以就不拍全貌了,不佔空間又輕這個優點對老婆來說還蠻重要的,老婆也常常用這台的排風口把突然下雨還沒晾乾的衣服放進衣帽間烘乾。 當初會選這台,主要是因為象印這台 RV-JBF60 是沸石式除濕的技術,而不是以前我們用的那種冷媒除濕機,冷媒除濕機的原理其實跟冷氣是一樣的,差別是在冷氣把熱風往外排,而除濕機只是把熱風直接排出來在同一個空間。 日本象印創新技術的沸石式除濕為最新進的科技突破,而在日本已經成為主流!取代傳統壓縮機式的除濕機,無需冷媒,因此相對具有重量輕,體積小,低噪音,除濕力強的等優勢,簡單說就是像海綿一樣會吸水的石頭,吸到飽合水滲透下到水箱,有別傳統壓縮機式除濕機的笨重,高分貝又不環保的除濕方式! 發現最近好像有特價,比我之前買得還便宜說,而且賣場還有 18 期 0 利率,所以跟大家分享一下。 原價$11990↓限時狂殺 象印輕巧型沸石式溫風除濕機(RV-JBF60) 體積輕巧,收納便利 除濕度指標一目瞭然 10㎡~21㎡除濕面積 82分鐘衣物快速烘乾 無冷煤沸石式除濕 商品特色: 1. 超輕量5.3Kg,無冷媒又環保的沸石除濕。 2. 竹炭除臭及綠茶兒茶素防霉的過濾網。 3. 82分鐘快速烘乾衣物。 4. 6大安全設計自動停止。 5.( 3 )/ 4 / 6 H定時運轉設計。 6. 135度超廣角的風口,烘乾 / 除濕更透徹。