Software Transactional Memory,软件事务内存管理(应该是这么翻译的吧T_T)
类似于数据库的事务,所有的操作都有log,最后验证其他线程是否对数据进行修改,要是有那么就回滚。然后继续来
 
 
下面是Haskell提供的STM操作。
atomically :: STM a  -> IO a

retry :: STM a
orElse :: STM a -> STM a -> STM a newTVar :: a -> STM (TVar a)
readTVar :: TVar a -> STM a
writeTVar :: TVar a -> a -> STM ()
 

最新文章

  1. DNS
  2. hadoop搭建初步总结
  3. 【AngularJS】—— 2 初识AngularJs(续)
  4. freemarker if elseif
  5. iOS边练边学--多线程NSOperation介绍,子类实现多线程的介绍(任务和队列),队列的取消、暂停(挂起)和恢复,操作依赖与线程间的通信
  6. java中的类修饰符、成员变量修饰符、方法修饰符。
  7. CMDB反思1
  8. PAT乙级 1065. 单身狗(25) by Python
  9. 盒子端 CSS 动画性能提升研究
  10. SQLite学习手册(实例代码<一>)
  11. JavaScript:谈谈let和const
  12. 搭建LDAP服务器
  13. Android BitmapFactory
  14. JavaBean与Map<String,Object>相互转换
  15. JAVA SwingWorkder的使用例
  16. centos7 php7 动态编译mysqlnd: configure: error: Cannot find OpenSSL's <evp.h> 错误解决
  17. apply的理解和数组降维
  18. C# Sftp操作
  19. Jmeter入门1 官网下载及安装
  20. python Nosql-redis 连接、管道

热门文章

  1. Storm: 集群安装和配置
  2. Android面试收集录4 Fragment详解
  3. Android 判断屏幕方向一个大坑
  4. 2018"百度之星"程序设计大赛 - 资格赛 - 题集
  5. react基本知识点合集
  6. 发布“豪情”设计的新博客皮肤-darkgreentrip
  7. BigDecimal简单说
  8. mac虚拟机上(centos系统)设置联网
  9. [OpeCV] highgui头文件
  10. kubeadm部署k8s1.9高可用集群--4部署master节点