跳到主要內容

發表文章

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 導...

念

凌晨,我和仲昇又上了樟山寺一次,這次多了善迪。 大二那年和雅惠上去,剛一到寺前有一群狗從身邊走過,其中有 條狗卻專程為了我們倆而留下來,那種感覺,好像他知道我們來 這兒的目的,而他跟他現在的朋友一起來看我們,看來似乎過得 很好;一直到我們要下山了,還陪著我們走了一小段石階,我們 對他說:「回去吧,你有了新朋友呢!」就這樣,他叫了兩聲, 跟我們道別,靜靜地從旁邊走掉了,任憑我們想找也找不著了。 大三那一年換了個伴,跟仲昇上去,聊了一大堆有的沒有的八卦 ,很開懷,很盡興,雖然沒再看到那條狗感覺有些可惜有點想他 ,卻明白他現在一定在一個新的世界裡,快樂地生活著。 大四這一次,多了個伴,一樣聊了許多系上的事,無所不談。原 本有點不想去,也許是知道上去也見不到他,也許再不悲傷。上 山,為了祈福,為了風景,為的只是一種單純地享受。相信遠方 的朋友,幸福地活著。

[手札]老了

作者 : zeng (瞎了的導盲犬) 標題 : 老了 時間 : Tue Oct 24 09:41:21 2000 大四老人了,還待在五舍算不算是一種沈淪﹖倘若是,那麼我深愛這種 沈淪的感覺算是一種病態嗎﹖也不為什麼,或許我受不了寧靜,也許我 只是不想習慣九舍的環境,又或者說穿了只不過是因為懶罷了。 星期天練球,一天下來晒出一件「國王的內衣」,肌肉骨頭好似將要支 解一般,体力真是差爆了。膝蓋的舊傷,每到了天冷又溼之時,老人病 症又會再犯,是該好好注意自己身体的時候了。 某天深夜,由於抽水站車庫門關了,只好走路上山。不太有路燈,人兒 是一個也沒有,好些日子沒這樣孤單地走在回宿舍的路上。所幸,有兩 條像老朋友一樣的校狗,一路陪著我走上一百零八階,目送著我進了宿 舍。我們就像是認識了四年一般,平時沒什麼聯絡,在最需要他們的時 候,就如及時雨般地出現在眼前,想想,周遭也有一些是這樣令人窩心 的朋友吧! 寫這樣的東西很不習慣,太長時間沒寫文章,真的老了吧! -- ※ Origin: YKLM大學 ◆ From: 140.119.26.11

[手札]文化盃

作者 : zeng (為能自由而沈默) 標題 : 文化盃 時間 : Tue Aug 15 09:45:42 2000 就這兒吧.... 應個景寫寫參加文化盃的感想... 掐指一算... 似乎是第三年看著別人被花團擁簇... 自己的身價也總算從大一的一杯珍珠奶茶(因為學長忙著送學妹) 大二被學姐"暗蓋"一直未拿到手的仙人掌.... 到大三從學妹手中接過的一張雪中送炭的小卡及一束白色的小雛菊.. 心中一時各種滋味雜然而生.... 我總算相信我抽學妹的手氣還不算差.. 寫到這裡... 給我二分鐘撇個尿緩和一下情緒.... 『究竟是為何要死賴著文化盃合唱不放...』 『你究竟想荼毒文化盃合唱觀眾的耳朵多久...』 這些問題我偷偷地在好幾個無人的夜裡問自己.. 唱到第三年... 同年級的人最後終於一個也沒上場.. 社團的朋友投以奇怪的眼光問我到底有何居心... 自己卻仍義無反顧地像血蛭般賴在這兒... 企圖喝光所有學會請的飲料.... 更想以此逃避送學妹花的責任... 附帶說明一點... 我從來沒看懂過簡譜... 完全是想以一管爛竽來充數..... 寫到這裡... 給大家五分鐘對著螢幕吐痰唾棄一下.. 上場這一天.. 一如前兩年的心情... 翻遍床底找到積滿灰塵的灰色皮鞋... 吐了點口水在衛生紙上擦了擦.. 讓它看起來氣派點.. 找盡衣櫃的最下層... 挖到幸好沒皺掉的白色襯衫.. 暗自慶幸地穿上... 梳了梳那一堆最近終於有在變長的枯草... 澆了點水... 抹了些膠... 讓它看起來像有人整理一般.. 掃一掃掉在肩膀上的頭皮X... 挖一挖鼻X... 清一清耳X.. 寫到這裡... 再給大家三分鐘到廁所吐一吐再回來看.. 『政治是管理眾人之事.. ...親愛精誠 ...親愛精誠』 幸虧政大校歌沒人想改... 這樣一大段唱到第三年的歌詞... 讓我有更充分的時間仔細地端詳台上指揮的阿迪 借來的西裝外套和領帶在他的身上... 看來一點也不像我熟悉的那個愛看A 片愛打 AOE的他 『人要衣裝佛要...

[山服]忠治出隊之記(五)

作者 : zeng (為能自由而沈默) 標題 : 忠治出隊之記(五) 時間 : Tue Aug 8 02:06:33 2000 升大四的暑假... 仍懷著被二一的恐懼.. 我又和一群學弟妹們上了烏來... 這是次蠻舒服的出隊... 倒是油錢傷了點... 每天來回政大與烏來忠治之間..... 一天約莫騎七八十公里... 小F所幸勝任愉快 這樣每天的來回... 才更發現烏來夜景之美... 天上的星星多得數不清... 早上的太陽更是舒服得讓人感動.. 每天往返烏政之間... 為的只是幫他們升火煮飯... 張羅每天的吃吃喝喝.... 雖和寒假出隊一樣是在廚房幫忙.. 但這次與上次大大不同... 這次廚房裡主要是四個人幫忙... 三男一女.. 這四個人會煮的東西並不多... 據說前三天的菜單... 主食全是麵食... 涼麵.. 義大利麵.. 炒麵.. 夏天天氣熱... 水果買得太少... 菜也準備得不多... 所以有人直到第五天才拉出隊以來的第一泡屎... 想來也真不禁令人掬一把眼淚.. 這次出隊我卻是吃得最快樂的一次... 因為所有的食物在還沒裝盤之前... 必定經過小弟嘴巴試吃.. 也可以比較確定哪些東西可以吃... 哪些東西不能吃.. 像後來有一次魚沒煎熟.. (不是我煎的~~) 雖然煎的人仍然堅持擺上來給大家吃... 但大家看我們動都不動那盤魚的賊樣... 就清楚的知道那盤魚肯定不妙... 跟著別人煮了這麼多天的菜... 多少也學了點皮毛... 現在最有把握的大概是煮大鍋飯和加鹽巴這兩項絕技.. 比起去年只會端盤子.. 進步不可不謂神速.. -- ※ Origin: YKLM大學 ◆ From: 140.119.191.100

[手札]外宿

作者 : zeng (為能自由而沈默) 標題 : 外宿 時間 : Tue Aug 5 09:45:42 2000 離開宿舍後的生活.. 至今也快滿一個月了... 買了電視之後... 可以天天守著電視不放... 然而小弟的生活並不像俺親愛的同居人小昇昇一般刻苦... 每天除了到計中吹冷氣順便上班之外... 其餘時間幾乎是三天一小遊.. 五天一大遊... 沒錯... 正是所謂的報應.. 如此奢糜的生活令老天爺相當不悅.. 因而接著便發生了失足掉落三峽滿月圓瀑布之下巴小疤事件... 所幸下巴小疤並不能遮掩小弟臉上散發出的帥氣.. 這實在是一件值得普天同慶的事.. 這一陣子的新聞還真不少... 先是繼兩國論之後推出五十年未見之全台大斷電戲碼... 再是配合著中菲兩國航運的問題推出瓊斯盃中菲拳擊擂台賽.. 此賽事不論是雙方的招式動作以及場邊觀眾一面倒地支持主場球隊.. 並感謝氣溫大哥的大力鼎助... 全力加溫了本場賽事.. 打來算是精采萬分.. 為瓊斯盃寫下了歷史上的新猶.. 但未能恭逢其盛真是相當惋惜... 雖然離開了宿舍... 但由於小弟怠惰的天性使然... 造成得每個禮拜上山洗一次衣服... 因此我跟我的同居人在此向廣大的女性系胞們求援... 可否偷偷地將我們帥氣二人組的衣物運至女舍洗衣機... 重金懸賞... 意者請洽 29369135 以及 29360016 兩支熱線... 本系統由台灣佳音提供... 每分鐘收費二十元~~~ 前一陣子花了些錢整修了一下門面... 先是花了五百元到貝詩去剪了個阿雷古頭.... 再配合著一頂八百元的帽子遮醜... 並經過半個月的風吹雨打證實這錢還算沒有白花... 而剛從 11 路公車族晉升為鐵馬族... 又去光華花了五百元買了個新的包包... 花錢如流水正是小弟最近的寫照... 正所謂『天理輪迴,報應不爽』.... 在三峽滿月圓這個鳥不拉屎雞不生蛋的地方... 雖於『失足掉落瀑布之下巴小疤事件』後所幸安然地苟活人間.. 但俺五百元愛迪達帥氣背包卻在某『包包竊盜集團』的光顧之後...

[學顧]學顧學顧,身體要顧

作者 : zeng (嗯哼哦厚啊哈~) 標題 : 學顧學顧,身體要顧 時間 : Thu Jun 29 01:09:28 2000 小弟學生助理(以下簡稱學助)的生涯,至今年六月底為止,正式宣 告結束。任內之功過,毀譽參半。此時的我,無官一身輕、無事一身 閒的喜悅和空虛同時湧入心頭,轉眼間,大學三年就這麼無聲無息地 過了,不過反省並非小弟的風格,過去就讓他過去~像ㄜ便便一般, 沖完水水就啥也不留,當然這是就一般正常狀況而言。 學助的工作,先前小弟已於本版發表過相關的介紹,因此不再贅述, 若要我給這個工作評個分數,根據事少、薪多、離家近的原則來看, 我給它85分~其中有84分是特別加分加給排班特權這件事~ 我相信,排過班的人都同意,排班肯定是門極須頭腦和心機的學問。 姑且不論每個人一定要有至少六個小時的下限要求,光是要把自己喜 歡的人跟你排在同一時間值班,把討厭的人或情敵踢到微二給他賣一 整天的紙就已經足以讓你頭疼地睡不著吃不下了,難就難在如何幹得 不著痕跡、不令人起疑,其中之巧妙惟有親身經歷方能深自體悟。 最近又開始的學顧培訓甄選,三天總共來了六七十個人,我們除了再 一次呼籲新政府正視不景氣持續低迷的氛圍,大刀闊斧地從事經濟改 革,以突破目前由於經濟不景氣所引起之工作供不應求的困境。除此 之外,雖然據說本次前來參加的學顧培訓的同學們並無『0+1』小 姐之流,但培訓小組仍將秉著有教無類的教育精神,為生產新一批學 生顧問,竭盡一己之力。我們期許未來教育系能在計中佔下五席以上 學顧名額。 前陣子ㄜ便便的時候(可見有好一陣子沒有ㄜ便便了),突然對煙味 有一種莫名的親切及好感,先前一位戰友留下來滿室的煙味,讓我大 口大口地吸著,完全無視於離屁眼底下三十公分處,那一坨又一坨奇 臭無比的廢棄物,倒也十足自在快活地享受了個舒適愉悅的午後ㄜ便 便時光。 卸任了單身聯盟會長的職務以後,小弟開始往『狗』皮條界發展,為 了能在擁有此界獨佔鰲頭、獨霸一方的地位,先後參加許多座談會及 研討會,研究狗的心理並向赫赫有名的狗學權威P教授學習如何從流 浪狗的眼神看出其一生歷...

[手札]努力吧..

作者 : zeng (我是尿灑在你腳上) 標題 : 努力吧.. 時間 : Wed May 3 16:13:24 2000 昨天林恭談到有關他大學以來「身材變形史」,其中的一小段: 『嗯,另一個原因則是交了女朋友。從前,我一天只吃四餐,早 餐、中餐、晚餐、宵夜,自從大二交了女友之後,由於兩個人進 食時間往往不一致,因此我的飲食習慣居然變成一天六餐,七點 早餐、十點早餐、午餐、六點晚餐、七點半晚餐、外加宵夜.... 。另外還得經常解決女朋友吃不下的甜點、飲料。』 嗯!雖然小弟加入男朋友俱樂部的年資尚淺,但古語有云:『不 聽前輩言,吃虧在眼前』,既之前輩所云似乎為必然發生之情況 ,再往前追溯前輩大一的體力狀況完全凌駕於小弟之上,以整個 發展的起點來看,小弟實屬相當不利,加以小p 這兩個禮拜下來 居然瞬間變瘦、而我垂直上升的情況來看,前輩的預言果然十分 靈驗。 眼前更存在許多問題無法解決,『長得不高並且再也長不高』的 困境依然存在,體形也逐漸趨近於酪梨,不喝啤酒也長出啤酒肚 ,真他媽怪哉,另外還有變帥等煩人的問題纏身! 改進身材的計劃並非從來沒做過,大二升大三暑假住外面時便開 始了每日伏地挺身計劃,直到迎新營單日狂摔兩次車之後,本計 劃始告中止。前幾日與善迪學弟手牽手去觀賞戀愛講義,看完兩 人激動地流下冷汗,頓悟『沒錢財也得有身材』的真理,當下決 定從星期一開始,每天五十下仰臥起坐、二十下伏地挺身,並且 每日增加五下,預計不出三十天,每天仰臥起坐即突破二百下、 伏地挺身突破一百五十下的規模,偉哉偉哉~ 就從現在開始,一直努力著吧! -- ※ Origin: YKLM大學 ◆ From: ccs.cc.nccu.edu.tw