author/新分類

基於學習的快取一致性協議帶參驗證

一、背景 帶參系統存在於許多應用領域中,比如快取一致協議等。因為它的研究價值,驗證這樣的系統的也就吸引來了形式化驗證、模型檢測和定理證明等社群的關注。要想驗證帶參系統的正確性,就必須驗證任意例項大小的系統中

換個角度聊聊FaaS

Serverless/FaaS伴隨著k8s的熱度增加,也成為了熱門話題。相關文章介紹了很多,這裡筆者不一一贅述,而是從個人見解上聊聊關於FaaS的架構和意義。 FaaS可能的架構優化 從AppEngin

frp原始碼剖析-frp中的log模組

前言&引入 一個好的log模組可以幫助我們排錯,分析,統計 一般來說log中需要有時間、棧資訊(比如說檔名行號等),這些東西一般某些底層log模組已經幫我們做好了。但在業務中還有很多我們需要記錄

1746140181.9068