架构设计 Skill技能列表
部分求值专家Skill partial-evaluator
部分求值是一种程序优化技术,用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成,通过绑定时间分析区分静态与动态值,并利用离线或在线方法生成高效的残差程序。关键词:部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。
解析器生成器Skill parser-generator
解析器生成器是一种关键技能,用于从上下文无关语法自动生成解析器,支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景,帮助开发者高效处理结构化文本和数据。关键词:解析器生成,语法分析,编译器构建,LALR解析,递归下降,AST生成。
所有权和借用类型系统Skill ownership-type-system
该技能实现了Rust风格的所有权和借用类型系统,用于验证内存安全、预防数据竞争和生命周期分析。关键词:所有权、借用、内存安全、数据竞争、生命周期、Rust、类型系统、编程语言。
多阶段编程Skill multi-stage-programming
多阶段编程是一种编程技术,通过在编译时或运行时生成和优化代码来提升程序性能,常用于领域特定语言(DSL)实现、解释器加速和高效代码生成。关键词:多阶段编程,代码生成,性能优化,DSL,元编程,运行时计算。
单子变换器Skill monad-transformer
单子变换器是一种在函数式编程中实现效果组合的技能。它通过提供可重用的变换器层,允许开发者组合多个单子效果,如状态管理、错误处理和IO操作。关键词包括:单子、变换器、函数式编程、效果组合、Haskell、Scala、可组合性、架构设计。
模块系统Skill module-system
模块系统是实现代码组织、封装和命名空间管理的关键技能,适用于大型软件开发、架构设计和编程语言设计,提升代码可维护性和扩展性,涵盖模块、签名、函子、依赖管理等核心概念。关键词:模块系统、代码组织、封装、命名空间管理、软件开发、架构设计、编程语言设计。
MLIR方言设计Skill mlir-dialect-designer
MLIR方言设计技能用于设计MLIR(多级中间表示)的方言和变换,支持编译器开发、IR抽象和多级降低,适用于编译器优化和LLVM生态系统集成,关键词包括MLIR、编译器、方言、变换、LLVM。
消息传递系统Skill message-passing-system
该技能专注于实现消息传递并发模型,如演员模型和CSP通道,用于构建分布式系统、避免共享状态并发错误,并支持微服务通信、事件驱动架构和管道处理。关键词:消息传递、并发模型、演员模型、CSP通道、分布式系统、微服务通信、背压处理、消息排序。
宏扩展器Skill macro-expander
宏扩展器是一种编程技能,用于在编译时实现宏系统,进行语法抽象和代码生成。关键词包括宏系统、编译时、代码生成、语法抽象、元编程。
循环优化器Skill loop-optimizer
循环优化器是一种编译器和性能优化技能,通过循环展开、融合、平铺和向量化等变换,提升程序性能,减少开销,增加并行性,改善缓存局部性。适用于编译优化、数值计算、机器学习、图像处理等场景,关键词包括循环优化、编译器、性能提升、SIMD、缓存优化。
无锁数据结构Skill lock-free-data-structure
无锁数据结构技能专注于设计和实现无需锁机制的高并发数据结构,以提高系统性能和可扩展性。关键词:无锁数据结构,并发编程,高并发,CAS操作,ABA问题,内存安全,无等待算法。
LLVM后端生成器Skill llvm-backend-generator
LLVM后端生成器是一个用于生成LLVM中间表示(IR)和构建编译器后端的技能,广泛应用于编译器开发、代码生成和优化领域。它支持构建新语言编译器、实现语言后端、创建优化管道和生成原生代码,关键功能包括LLVM IR生成、指令选择构建、优化通行证实现和ABI处理。这个技能对于软件架构设计、系统编程和语言工具开发至关重要,便于SEO搜索的关键词有:LLVM、编译器、后端、代码生成、优化、IR、ABI、架构设计、软件工程。