跳转至
Carrot World
Efficient Constrained Decoding with Compressed Finite State Machine
English
中文
正在初始化搜索引擎
github/root-hbx
基础运维
常用开发
课程整理
网络研究
科研软件
ACM精神鸦片
我是谁
胡说
Carrot World
github/root-hbx
基础运维
基础运维
LinuxX01
LinuxX01
Linux 讲座
Linux101 教程
Linux201 教程
Linux201 教程
服务器
服务器
服务器介绍
包管理系统
服务与日志管理
存储系统
存储系统
基础知识
分区与文件系统
LVM
RAID
网络存储系统
备份方案
ZFS
Shell
Shell
Linux 命令行的艺术
MacOS 命令行的艺术
Shell 脚本编程
Git
Git
Git 学习指南
Git 个人使用
Git 团队协作
.gitignore 使用规范
Git 工具
Git 开发经验复盘
Docker
Docker
Docker 入门指南
Dev Tools
Dev Tools
yazi
Tmux Workflow
AWS Server
AWS Server
AWS 服务器配置指南
OhMyZsh
OhMyZsh
mac 终端优化
OMZ 配置参考
笔者自用的配置
Server Ops
Server Ops
网关服务器使用
SSH 常用指令
SSH 使用技巧
gpg 密钥认证
Database && SQL
Database && SQL
Database 简介和环境配置
SQL 入门语法
SQL 常用的数据库/表操作
SQL CRUD
在 Python 中使用 SQL
常用开发
常用开发
常用工具菜单
其他博客链接
Google Style Guide
Pro Git 读后感
License
License
开源协议简介
UnitTest
UnitTest
Go Test
Python Test
C++ Test
Markdown
Markdown
基础语法介绍
详细语法整理
Hugo Markdown
GithubPages && Cloudflare
GithubPages && Cloudflare
Mkdocs + GithubPages
mdBook + GithubActions
GithubPages
公网部署网页 (Cloudflare)
Github Development
Github Development
Github Issues and PR
Github Action and Workflow
Github Package and Releases
MacOS
MacOS
Basic Installation Software
Terminal Simulator and Tools
Plugins in Terminal (Zsh)
IDE and Text Editor
Git and SSH
Linux
Linux
Ubuntu 24.04 安装指南
Ubuntu 24.04 基础配置
VMware Workstation 虚拟机配置
Ubuntu Server 20.04 虚拟机安装
Basic Linux Commands
Vim
Vim
Vim Configuration
Learn about Vim
Vim Workflow
Vim Cheat Sheet
Python
Python
Py 初印象
Py 基础语法
Py 包管理
Py 虚拟环境
C++
C++
Debugging C++ Programs
Error Detection and Handling
Constexpr functions
Exceptions
Input and Output (I/O)
Static and Dynamic Library
VSCode on MacOS
VSCode on MacOS
Configure
Debugging and Errors
What is DS_Store
Kubernetes
Kubernetes
基础概念
基础用法
层次概念
节点与工作负载
体系结构与组成
层次设计
Go
Go
Go Concurrency
Rust
Rust
环境配置与入门
变量与类型
控制流
函数
模式匹配
结构体
引用与借用
Vue.js
Vue.js
Vue Walkthrough
Web Dev
Web Dev
Web 服务基础
什么是VPN
“翻🧱”二三事
课程整理
课程整理
C++ Primer Plus
C++ Primer Plus
Chapter 2 开始学习C++
Chapter 3 处理数据
Chapter 4 复合类型
Chapter 5 循环与关系表达式
Chapter 6 分支语句与逻辑运算符
Chapter 7 函数 - C++的编程模块
Chapter 8 函数探幽(上)
Chapter 8 函数探幽(下)
Chapter 9 内存模型和名称空间
Chapter 10 对象和类
Chapter 11 使用类
Chapter 12 类和动态内存分配
Chapter 13 类继承
Chapter 14 C++中的代码重用
Chapter 15 友元、异常和其他
Chapter 16 String类和标准模板库
Chapter 17 输入、输出和文件
Chapter 18 探讨C++新标准
Computer Systems - A Programmer's Perspective
Computer Systems - A Programmer's Perspective
ICS Part1 Conclusion
ICS Part2 Conclusion
Lab 1 Data Lab
Lab 2 Bomb Lab
Lab 3 Attack Lab
Lab 4 Cache Lab
Lab 5 Optimization Lab
Lab 6 Linker Lab
Appendix I 常见汇编指令
Great Ideas in Computer Architecture (Machine Structures)
Great Ideas in Computer Architecture (Machine Structures)
Course
Course
Lecture 1 Number Representation
Lecture 2 C Programming Language
Lecture 3 Pointer, Array, String
Lecture 4 Memory (Mis)Management
Lecture 5 C Generics and Function Pointers
Lecture 6 Floating Point
Lecture 7 Intro to RISC-V
Lecture 8 Data Transfer
Lecture 9 Decision Making and Logical Operations
Lecture 10 RISC-V Procedures
Lecture 13 Running a Program - CALL
Lecture 14 Introduction to SDS
Lecture 15 Combinational Logic
Lecture 16 SDS State
Lecture 17 Combinational Logic Blocks
Lab
Lab
Lab00 Intro, Setup
Lab01 C
Computer Networking - A Top-Down Approach
Computer Networking - A Top-Down Approach
Chapter 1 计算机网络概述
Chapter 2 应用层
Chapter 3 传输层
Chapter 4 网络层 - 数据平面
Chapter 5 网络层 - 控制平面
Chapter 6 链路层
Probability Theory
Probability Theory
Mathematical Physics Equations
Mathematical Physics Equations
Circuit
Circuit
总复习
课程评价与感想
Info Theory
Info Theory
Lecture 3 AEP
Lecture 4 Entropy Rate
Lecture 5 Data Compression Part1
Lecture 6 Data Compression Part2
Lecture 7 Data Compression Part3
Lecture 8 Channel Capacity Part1
Lecture 9 Channel Capacity Part2
Lecture 10 Channel Capacity Part3
Lecture 11 Differential Entropy Part1
Lecture 12 Differential Entropy Part2
Lecture 13 Gaussian Channel
Lecture 14 Review
Algorithm Design and Analysis
Algorithm Design and Analysis
Part 1 期末备考指南
Part 2 常用算法模板
Part 3 练习题
Software Defined Network
Software Defined Network
Lecture 1 Network Fundamentals
Lecture 2 Internet and Data Center Networks
Lecture 3 Virtualization
Lecture 4 Mininet
Lecture 5 SDN and OpenFlow
Lecture 6 OpenFlow
Lecture 7 SDN Control Plane
Lecture 8 Network Verification
Introduction to 2D Game Development
Introduction to 2D Game Development
Module 0 Introduction to Unity
Module 1 Game Engine + Objects
Module 2 Bounds + Navigation
Module 3 UI, Interaction, Game Manager, Gradual Changes, Autonomous Behavior
Module 4 Camera manipulations, and multiple views
Compilers
Compilers
Lecture 0 Overview
Lecture 1 Lexer-1
Lecture 2 Lexer-2
Lecture 3 RE and Automata
Lecture 4 CFG and PDA
Lecture 5 LL(1)
Lecture 6 A*
Lecture 7 Symbol Table
Lecture 8 Semantics Analysis
Lecture 9 Intermediate Code Generation
Lecture 10 Runtime Space
Introduction to Artificial Intelligence
Introduction to Artificial Intelligence
Chapter 2 Agent
Chapter 3 Uninformed Search
Chapter 4 Informed Search
Chapter 5 Beyond Classical Search
Chapter 6 Adversarial Search
Chapter 7 CSP
Chapter 8 Quantifying Uncertainty
Chapter 9 Probabilistic Reasoning
Chapter 10 Making Simple Decisions
Chapter 11 Linear Models for Regression
Chapter 12 Linear Models for Classification
Database System
Database System
Course
Course
Chapter 0 Preface
Chapter 1 Introduction
Chapter 2 ModernSQL
Chapter 3 Storage Part1
Chapter 4 Storage Part2
Chapter 5 Storage Model & Compression
Chapter 6 Memory Management
Chapter 7 Hash Tables
Chapter 8 B+ Trees
Chapter 9 Index Concurrency Control
Chapter 10 Sorting & Aggregations
Chapter 11 Join Algorithms
Chapter 12 Query Execution Part 1
Chapter 13 Query Execution Part 2
Chapter 14 Query Planning & Optimization
Chapter 15 Concurrency Control Theory
Chapter 16 Two-Phase Locking
Chapter 17 Timestamp Ordering Concurrency Control
Chapter 18 Multi-Version Concurrency Control
Chapter 19 Logging
Chapter 20 Recovery
Appendix 1 Relational Algebra
Assignments
Assignments
Project 0
Computer Security
Computer Security
Course
Course
Lecture 1 Security Principles
Lecture 2 X86 and Call Stack
Lecture 3 Memory Safety Vulnerabilities
Lecture 4 Memory Safety Vulnerabilities
Lecture 5 Mitigating Memory Safety Vulnerabilities
Lecture 13 Introduction to Web
Lecture 14 Cookies and CSRF
Lecture 15 XSS and UI Attacks
Lecture 16 SQL Injection and CAPTCHAs
Internet Architecture
Internet Architecture
Software Engineering
Software Engineering
Chapter 1 Outline
Applications of Parallel Computers
Applications of Parallel Computers
Lec 1 Introduction & Overview
Lec 2 Memory Hierarchies and Matrix Multiplication
Lec 3 Matrix Multiplication and the Roofline Model
Lec 4 Shared Memory Programming - Mostly OpenMP
Lec 5 Sources of Parallelism and Locality in Simulation
Lec 6 More on Communication-optimal Matmul
Lec 7 Introduction to GPUs
Lec 8 Data Parallel Algorithms
Lec 9 Distributed Memory Machines and Programming
Lec 10 Advanced MPI and Collective Communication Algorithms
Lec 11 UPC++
Lec 12 Parallel Machine Learning (Part 1)
Lec 13 Ray - A universal framework for distributed computing
Lec 14 Parallel Machine Learning (Part 2)
Lec 15 Dense Linear Algebra (Part 1)
Lec 16 Dense Linear Algebra (Part 2)
网络研究
网络研究
Mobile Computing
Mobile Computing
Mobile Ad Hoc Network
Mobile Computing Models
Mobile APP Architectures
Mobility Management
MIPv4 and MIPv6
Wireless Networks
Networks
Networks
SIGCOMM16 RoCE
SIGCOMM16 RoCE
Abstract
Background
Introduction
Conclusion
DSCP-BASED PFC
RDMA Transport Livelock
PFC Deadlock
NIC/PFC Pause Frame Storm
Slow Receiver Symptom
RDMA in Production
Experiences
Related Work
Conclusion
Review
Some Ideas
ICDCS23 Less is More
ICDCS23 Less is More
Abstract
Introduction
Background
Motivation
DSH Design
Evaluation
Related Work
Conclusion
Review
ASPLOS23 MSCCL
ASPLOS23 MSCCL
Abstract
Introduction
MSCCLANG Example
MSCCLANG DSL
MSCCLANG Lowering Programs
MSCCLANG Schedulding Programs
MSCCLANG RUNTIME
EVALUATION
RELATED WORK && CONCLUSION
JCST23 xCCL
JCST23 xCCL
Abstract
Introduction
Collective Communication Routines
Network Topologies for Collectives
Collective Communication Algorithms
Industry Solutions — xCCL
Conclusions
ScienceDirect09 Two-tree Algorithms
ScienceDirect09 Two-tree Algorithms
Abstract
EuroSys24 Unison
EuroSys24 Unison
Abstract
Background
Why Don't We Use PDES in Practice
Unison Design
Implementation
Evaluation
Discussion and Conclusion
SIGCOMM09 FatTree
SIGCOMM09 FatTree
Abstract
Introduction
Background
SIGCOMM24 dSDN
SIGCOMM24 dSDN
Abstract
Introduction
Case
Design and Implementation
Consensus-Free Convergence
NSDI23 SkyPilot
NSDI23 SkyPilot
Abstract
Related Concepts and Recent Developments
The Vision of Sky Computing
Intercloud Broker
Experiments
Deployment Experience
Related Work
Conclusion
HotOS21 Sky Computing
HotOS21 Sky Computing
Abstract
Historical Context
Lessons from the Internet
Compatibility Layer
Intercloud Layer
Peering Between Clouds
Speculations About The Future
Conclusion
SIGCOMM23 ConWeave
SIGCOMM23 ConWeave
Abstract
Introduction
Reordering out-of-order packets
ConWeave
Evaluation
Discussion and Future Work
SOSP21 dSpace
SOSP21 dSpace
Abstract
Design Goals and Rationale
Design
Programming and Execution Model
Runtime Architecture
Conclusion
HotNets18 StarLink
HotNets18 StarLink
Abstract
Starlink
Building Networks
Routing
Agenda
IMC20 Hypatia
IMC20 Hypatia
Abstract
Background && Related Work
Hypatia Architecture
Examing a few LEO paths
A Constellation-side View
Visualizing LEO Networks
Limitaions & Future Work & Conclusion
NSDI23 StarryNet
NSDI23 StarryNet
Abstract
Introduction
Preliminaries
Evaluation Methods
Design
Implementation and Usage
Framework Evaluation
Case Studies
Limitation and Future Work
Related Work
Conclusion
INFOCOM22 SpaceRTC
INFOCOM22 SpaceRTC
Abstract
Introduction
Background and Motivation
Framework
Performance Evaluation
Related Work
Conclusion
ToN23 StarFront
ToN23 StarFront
Abstract
Introduction
Background and Motivation
STAR FRONT Overview
Modeling
Judicious Replicas Placement
Evaluation
Related Work
Conclusion
WWW25 Spache
WWW25 Spache
All in One
INFOCOM24 SkyCastle
INFOCOM24 SkyCastle
Abstract
Introduction
Tech Background
Quantitative Perform Analysis
SkyCastle Overview
SkyCastle at Anchor Level
SkyCastle at Network Level
Performance Evaluation
Related Work
Conclusion
WCNC24 EdgeServer
WCNC24 EdgeServer
Abstract
Introduction
Related Work
System Model and Problem Formulation
CCSD Design
Simulation and Evaluation
Conclusion
HotNets24 LEO CC
HotNets24 LEO CC
Abstract
Introduction
Quick Start
End2End Struggles
Config
Reconfig
Related Work
Discussion
IWCMC23 DynamicLink
IWCMC23 DynamicLink
Abstract
Introduction
Related Work
Algorithm Design
User-Driven Networking
Performance Evaluation
Conclusion
AcademicEdu09 MobileIP
AcademicEdu09 MobileIP
Mobile IP
SIGCOMM22 Prognos
SIGCOMM22 Prognos
Abstract
Introduction
MM Today
Measurement Methodology
Impact of MM on Applications
Characteristic of Handover
Implications of Handover
4G/5G Prediction
Related Work
Discussion
Conclusion
NeurIPS24 SGLang
NeurIPS24 SGLang
Abstract
Introduction
Programming Model
Efficient KV Cache Reuse with RadixAttention
Efficient Constrained Decoding with Compressed Finite State Machine
Efficient Endpoint Calling with API Speculative Execution
Evaluation
Related Work
Future Directions and Conclusion
Paper Reproductions
Paper Reproductions
Unison
Unison
文件结构分析
设计框架分析
源码mtp分析
实验数据复现
11月实验小结
SkyPilot
SkyPilot
Log Issue
Hypatia
Hypatia
科研软件
科研软件
ns-3
ns-3
0 ns-3 基础配置
1 ns-3 入门程序解析
2 ns-3 参数控制
3 ns-3 模拟建立拓扑
4 ns-3 Tracing的全部实现机理
5 ns-3 Data Collection
6 ns-3 复盘思考
7 ns-3 MacOS
mininet
mininet
0 mininet preface
1 mininet walkthrough
SkyPilot
SkyPilot
1 Implementation of SkyPilot
2 QuickStart of SkyPilot
3 SkyPilot Serve
4 SkyServe Usage
5 SkyPilot and Other Systems
6 SkyServe CLI
Hypatia
Hypatia
实验复现
核心逻辑
模拟器内核
模拟器内核
Getting Started
Point-to-point Topology
Arbiter Routing
Link Utilization Tracking
Link Queue Tracking
TCP Flow Application
UDP Burst Application
Pingmesh Application
TCP Optimizer
Future Work
STK
STK
STK Installation
STK Start
STK with Python
STK Basic Component
STK Data Type
STK Advance
STK Instances
STK Starlink Instances
SkyField
SkyField
Installation
Basic Func
Components
Orbit Elements
free5gc
free5gc
Quick Start
Advanced Start
With UERANSIM
open5gs
open5gs
Start
Issue
Experiments
ACM精神鸦片
ACM精神鸦片
基础算法
数据结构
搜索与图论
数学知识
动态规划
贪心
时空复杂度分析
动态规划
高级搜索
图论
高级数据结构
高级数学知识
进阶算法
C++中常见的STL用法
我是谁
我是谁
个人特点
个人能力
个人经历
胡说
胡说
慢生活的思考
游戏开发体验
F-1签证办理全过程
马理论的期末复习突击
习概的期末复习突击
形式语言与编译期末突击-1
形式语言与编译期末突击-2
Efficient Constrained Decoding with Compressed Finite State Machine
¶
回到页面顶部