100 天阅读计划,深入剖析程序和计算机 - 确定性有限自动机(Deterministic Finite Automaton,DFA)
现实中,计算机通常都有大量的易失存储器(RAM)和非多核易失存储器(硬盘或者SSD) ,有许多输入输出设备,还有能同时执行多个指令的处理器。有限状态机(finite state machine) ,也叫有限自动机(finite automaton) ,是一台计算机的极简模型,为了容易理解、推导并且容易用硬件或软件实现,它放弃了上面所有的这些特性。
现实中,计算机通常都有大量的易失存储器(RAM)和非多核易失存储器(硬盘或者SSD) ,有许多输入输出设备,还有能同时执行多个指令的处理器。有限状态机(finite state machine) ,也叫有限自动机(finite automaton) ,是一台计算机的极简模型,为了容易理解、推导并且容易用硬件或软件实现,它放弃了上面所有的这些特性。
100 天计划第一期,决定读一些经典的技术类书籍。作为 IT 从业者,虽然是科班出身,但是基础知识结构仍然有很多需要夯实。
《计算机的本质:深入剖析程序和计算机》这本书涵盖了计算理论和编程语言设计,阐释了形式语义、自动机理论,以及通过 lambda 演算进行函数式编程等计算问题,可以帮助更好的理解计算机科学和计算原理。
100 天阅读计划,第一期。
OLLVM(Obfuscator-LLVM)是瑞士西北应用科技大学安全实验室于2010年6月份发起的一个项目,该项目旨在提供一套开源的针对LLVM的代码混淆工具,以增加对逆向工程的难度。后期转向商业项目strong.protect。目前,OLLVM已经支持LLVM-4.0版本。
本文主要记录了 OLLVM 的编译,使用流程。
来说说可恶的腾讯 X5 内核,记录下今天问题的排查,定位,和修复过程。
本文系 Creating JVM language 翻译的第 20 篇。
原文中的代码和原文有不一致的地方均在新的代码仓库中更正过,建议参考新的代码仓库。
本文系 Creating JVM language 翻译的第 19 篇。
原文中的代码和原文有不一致的地方均在新的代码仓库中更正过,建议参考新的代码仓库。
本文系 Creating JVM language 翻译的第 18 篇。
原文中的代码和原文有不一致的地方均在新的代码仓库中更正过,建议参考新的代码仓库。
本文系 Creating JVM language 翻译的第 17 篇。
原文中的代码和原文有不一致的地方均在新的代码仓库中更正过,建议参考新的代码仓库。
本文系 Creating JVM language 翻译的第 16 篇。
原文中的代码和原文有不一致的地方均在新的代码仓库中更正过,建议参考新的代码仓库。