笔记
0工具
0此页用于记录用户反馈问题后的每一次改进
关于
“写笔记”支持四种格式——Word 文档、Excel 表格、Markdown、纯文本,起稿或二次编辑时都能随时切换,同一篇笔记想用哪种形态来记,都由你说了算。
md、txt、csv、json 这类纯文本则原样载入,不做多余加工。拿一张现成的表倒进来、改几笔、再导出去,等于白用一台免费的格式转换器。
要带走就在右上角点“下载”,可导出 PDF、Word、Markdown、Excel、TXT 等格式;列表卡片“⋯”菜单里,也有同样的下载入口。
在“工具”页点“+ 上传工具”即可发布:填好名称与链接,再用 Markdown 把使用方法写清楚——能解决什么问题、怎么装、怎么用,比堆介绍实在。
要分发安装包就一并上传压缩包(ZIP、RAR、7Z、TAR.GZ,最大 35MB),别人在详情页一键下载;只放链接不带附件也可以。
工具按大家的收藏热度排序,好用的自然会被顶上来。发布后可在详情页或卡片菜单里编辑、下架。
写笔记时勾上“隐藏”,这篇就只存在于你自己的账号里:不进列表、不进搜索、不上首页精选,也不会出现在任何公开的页面,链接发给别人同样打不开。
适合放密码、草稿、日记这类只给自己看的内容;想公开,去“发布”打开它,把“隐藏”的勾去掉再保存,之后编辑会默认保持原状态,不会悄悄变回公开。
不想公开、只想临时给人看:点“分享”生成一条带密码和有效期的链接,到期自动失效,你也能随时撤销。
你的内容会同时保存在多个副本上,系统定期做备份与完整性校验,再配合异地容灾机制:就算某台机器出问题,数据也不会丢,可以长期放心存放;特别重要的资料,仍建议你另外再留一份备份。
全站跑在容器化、模块化的现代架构上,更新、部署、回滚都很快,扩展性和稳定性都按长期运营的标准来设计(Built for reliability, designed to scale)。
这个网站最早只是一个人的笔记仓库,后来慢慢长成现在的知识中枢。设计上很克制——没有广告、没有追踪、没有推荐算法,只是干干净净地存放一些东西;既然做好了,就公开出来,万一有人用得上呢。
不做大而全,不做平台梦,保持简单、保持克制、保持好奇。所有内容都由用户贡献、由用户维护:不会突然冒出付费墙,不会在角落塞广告位,也不会把你的数据卖给第三方。
产品会持续迭代,站内日志页记录着每一次改动,改了什么都有迹可循;想了解这个站是怎么一步步走到今天的,翻翻日志就能看到来龙去脉。
如果在这里看到涉嫌违规的内容,点对应卡片右侧的“举报”按钮就能提交,我们会尽快核实处理;也谢谢你花一点时间,一起把这里维护干净。
趋势
L语言运行时:为k和q语言打造的新一代高效执行环境
本文介绍了一个名为L的新型运行时,专为k和q语言设计,旨在提升执行效率与可扩展性。
背景:k和q语言是什么?
k和q是向量编程语言家族中的成员,由Arthur Whitney开发,广泛应用于金融数据分析、高频交易和高性能计算领域。k语言是APL和J语言的精简后代,以其极简的语法和强大的数组操作能力著称;q语言则是基于k的查询语言,主要用于kdb+时间序列数据库。由于它们擅长处理大规模数值向量和矩阵运算,在华尔街等场景中占据重要地位。
然而,k和q的传统运行时存在一些局限:它们通常紧密绑定于kdb+生态,难以独立扩展或嵌入其他系统;同时,对现代硬件(如多核CPU、SIMD指令集、GPU)的利用不够充分。L运行时正是为解决这些痛点而生。
L运行时的核心设计
L是一个从零开始构建的运行时,专门为k和q语言提供更高效的执行环境。其核心设计理念包括:
独立于kdb+:L运行时不依赖kdb+数据库,可以作为一个独立的语言执行引擎使用。这意味着开发者可以在非数据库场景下运行k/q代码,比如嵌入式系统、Web Assembly环境或自定义计算管道。
原生向量化执行:L保留了k/q的向量化计算模型,但在底层实现了对现代CPU指令集的深度优化。它自动将数组操作映射到SIMD(单指令多数据流)指令,例如AVX-512和ARM NEON,从而大幅提升数值计算吞吐量。
多线程与并行调度:传统k/q运行时通常是单线程的(除非显式使用并行原语),而L引入了自动并行化机制。对于大型数组操作,L会将任务拆分为多个子任务,并利用工作窃取调度器在CPU核心间动态分配负载。初步测试显示,在16核机器上,矩阵乘法性能提升可达12倍。
即时编译(JIT):L运行时内置了一个轻量级JIT编译器,基于LLVM后端。它能在运行时将频繁执行的k/q代码片段编译为本地机器码,消除解释开销。与纯解释执行相比,循环密集型代码的性能提升约5-10倍。
内存管理优化:k/q语言的传统实现使用引用计数和手动内存池,而L引入了分代垃圾回收器,专为短生命周期对象(如临时数组)优化。这减少了内存碎片化,并降低了高频分配场景下的停顿时间。
技术细节:如何做到兼容?
L运行时并非完全改写k/q的语法,而是通过重新实现其核心语义来保持兼容性。它支持:
- 所有基本类型(整数、浮点、字符、符号、日期时间)
- 向量操作(如+、-、*、%、|、&等)
- 高阶函数(each、over、scan、prior)
- 字典与表结构(兼容q的列式存储)
- 系统函数(如
system、read0、hopen)
为了验证兼容性,开发者用L运行时运行了kdb+官方测试套件中的3000多个测试用例,通过率超过99.5%。未通过的用例主要集中在一些边缘情况,如对null值的特定处理差异。
性能基准测试
在公开的基准测试中,L运行时与官方kdb+ 4.0(单线程模式)进行了对比:
| 测试场景 | kdb+ 4.0 (ms) | L运行时 (ms) | 加速比 |
|---|---|---|---|
| 向量加法 (1亿元素) | 45 | 8 | 5.6x |
| 矩阵乘法 (1024x1024) | 320 | 26 | 12.3x |
| q-sql聚合 (group by) | 112 | 34 | 3.3x |
| 递归斐波那契 (n=40) | 2100 | 180 | 11.7x |
需要注意的是,kdb+ 4.0在单线程模式下并未启用SIMD优化,而L运行时默认使用了AVX-512。如果kdb+启用多线程并行,差距会缩小,但L运行时在向量化场景下仍具有明显优势。
应用场景与生态
L运行时的出现,拓宽了k/q语言的使用范围:
- 高频交易:通过JIT和低延迟内存管理,适合对微秒级延迟敏感的金融应用。
- 嵌入式与边缘计算:独立运行时体积仅约2MB(不含LLVM),可嵌入到C/C++、Rust或Go程序中。
- WebAssembly:L运行时已成功编译为WASM模块,可以在浏览器中运行k/q代码,用于数据可视化或教学。
- 科学计算:作为Python NumPy的替代,适合需要简洁语法和极致性能的数值计算任务。
限制与未来方向
目前L运行时仍处于alpha阶段,存在以下限制:
- 不支持所有kdb+的系统函数(如
peach并行原语尚在开发中) - 对32位系统的支持不完善
- 文档和工具链相对匮乏
- 许可证为AGPL,可能影响商业闭源使用
开发团队计划在后续版本中增加对GPU加速(通过CUDA)、分布式计算(类似kdb+的HDB分区)以及更完整的q语言兼容性。
总结
L运行时是对k/q语言生态的一次重要补充。它通过现代编译技术和并行化设计,释放了这些古老但强大的语言的潜力。对于金融开发者、高性能计算工程师以及所有追求极致数据操作速度的人来说,这是一个值得关注的项目。
原文链接:https://lv1.sh/