- 授权协议: LGPL
- 开发语言: Lisp
- 操作系统: Windows
- 软件首页: https://github.com/cosmos72/stmx
- 软件文档: https://github.com/cosmos72/stmx
软件介绍
STMX 是一个高性能的 Common Lisp 库，用于实现可组合的软件事务内存机制。
事务内存是一种并行程序设计的方式，其来自于数据库管理系统（DBMS）中的事务（Transaction）概念。事务内存目前有两种实现方式，基于软件的STM（Software Transactional Memory）和基于硬件的HTM（Hardware Transacational Memory）。
采用任务并行时必须考虑线程间同步的问题：最初步也是最通常的方法是使用锁，只有获得了锁的线程在允许访问临界区，但是使用锁会发生一些问题，诸如优先级反转(Priority inversion)、死锁（Deadlock）、护航（Convoying）等问题；于是后来产生了无锁编程（Lockless programming）的概念，即使用原子操作（Atomic Operations）和同步路障（Memory barrier）来完成线程间同步的功能，这种方法规避了使用锁时出现的上述问题并极大的提高了并行度，但是面临着原子操作本身功能局限性和组合性(Compositionality)不佳的问题。原子操作的局限性使得无锁编程的算法设计很难，组合性则是指数个同步的原子对象组合应该也是一个同步的原子对象。
更详细关于 STM 的介绍请看维基百科。
Web协议与实践
克里希纳穆尔蒂 (KrishnamurthyBalachander) / 范群波 / 科学出版社 / 2003-7 / 46.0
本书全面论述了传输Web内容的系统和协议，重点讲述了Web中业已成熟和稳定的技术，如TCP/IP协议及DNS技术、HITP/1.0的设计及其与TCP之间的交互；深入阐述了Web高速缓存技术和多媒体流播技术的最新技术动态；分析了Apache Web服务器和Squid代理；还探讨了通信量的分析和测量技术。书中使用了大量示例、技术发展水平报告以及案例分析来阐述Web的工作原理和各个组件之间的交互。本书是......一起来看看 《Web协议与实践》 这本书的介绍吧!
