Clojure的引用类型:var,ref,agent和atom

Stella981
• 阅读 676

作为其他值的容器,也都可以解引用。

deref不会阻塞。

add-watch

(add-watch reference key fn)

可以定义引用值发生改变时的回调,fn是4个参数 :key (atom/var/agent) 旧状态 新状态

(def a (atom {}))

(add-watch a :watcher
  (fn [key atom old-state new-state]
    (prn "-- Atom Changed --")
    (prn "key" key) (prn "atom" atom) (prn "old-state" old-state) (prn "new-state" new-state))) (reset! a {:foo "bar"}) ;; "-- Atom Changed --" ;; "key" :watcher ;; "atom" #<Atom@4b020acf: {:foo "bar"}> ;; "old-state" {} ;; "new-state" {:foo "bar"} ;; {:foo "bar"}

watcher在每次修改时都会被调用,但是不保证真的有改变。因此可能需要自己比较新旧值 

key用于给1个ref上添加多个不同watcher,移除watcher也要用key

(remove-watch reference key)

atom

用swap! 修改

;; make an atomic list
(def players (atom ()))
;; #'user/players

;; conjoin a keyword into that list
(swap! players conj :player1)
;;=> (:player1)

;; conjoin a second keyword into the list
(swap! players conj :player2)
;;=> (:player2 :player1)

;; take a look at what is in the list
(deref players)
;;=> (:player2 :player1)

swap! 接受函数 和参数,把atom里的作为第1个参数。后面参数不限

 如果f的过程复杂,比如comp 几个函数计算时间会长, 在这期间atom的值可能被修改,而如果使用atom的老值计算,但是返回前atom改成了新值,此时,老值的计算结果会被放弃。

可以强行reset!

ref与STM

软件事务内存用于避免手工管理锁;

垃圾回收用于避免手工管理内存。

——自动化的手段封装那些领域无关,繁琐的细节

 Clojure 满足了ACI  而D持久不是STM关心的,因为是纯内存。

alter commute ref-set 用于修改

书上例子是

角色:

(defn character
  [name & {:as opts}]
  (ref (merge {:name name :items #{} :health 500} opts))
)

从1个角色身上移动1个装备到另一个角色身上

(defn loot
  [from to]  
  (dosync
    (when-let [item (first (:items @from))]
      (alter to update-in [:items] conj item)
      (alter from update-in [:items] disj item)
    )
  )
)

dosync表示一个事务

而when-let 如果[]里是nil 则不会执行body

disj从集合里去掉元素,返回剩余的集合

而alter,update-in  @  也都各有意义。

感觉读一块Clojure代码简直不是读代码,而是读古文。没有1个字多余,字认不齐,就1个完整句子都读不下来

alter: 记录ref在事务内第一个alter调用的值,按乐观方式提交,如果ref的值已经被别人改变,则整个事务失败。重试。

commute

可交换的计算,只关心最终结果

不会发生冲突,也不会重试,提高吞吐量,用ref最新值重算一遍

STM的事务如果耗时间太长,可能有活锁问题,总是提交失败(总有更快的任务来插队)。

write-skew 写偏差

在读、写之间 deref的其他值发生了改变。这时,把deref改成ensure,保证依赖的值被锁住,其他线程更新不了。

Clojure的引用类型:var,ref,agent和atom

Clojure的引用类型:var,ref,agent和atom

var 

用def定义。var其实是ns级可变引用。不是“变量”

元数据修饰

私有和不可变

(def ^:private  X 42)
(def ^:const  X 42)

使用前声明

(def j)
;= #'user/j
j
;= #<Unbound Unbound: #'user/j>

主要是用于表示函数的占位符 ,比如引用其他位置的的公共API。

还可以直接用宏(declare j)表示这时使用前

动态作用域

(def ^:dynamic *X*)
(binding [*X* 500]
  (...)
)

习惯把这种变量两端加**,护耳。

给了函数一个隐式参数,在函数深层埋入需要改变的配置项。防止层层传递。

但坏处嘛,多少有点破坏封装的意思。

 agent

每个agent维护1个action队列。

send在固定大小的线程池上执行,用于CPU密集任务

send-off不限制线程池大小,适合IO密集任务

点赞
收藏
评论区
推荐文章
blmius blmius
3年前
MySQL:[Err] 1292 - Incorrect datetime value: ‘0000-00-00 00:00:00‘ for column ‘CREATE_TIME‘ at row 1
文章目录问题用navicat导入数据时,报错:原因这是因为当前的MySQL不支持datetime为0的情况。解决修改sql\mode:sql\mode:SQLMode定义了MySQL应支持的SQL语法、数据校验等,这样可以更容易地在不同的环境中使用MySQL。全局s
皕杰报表之UUID
​在我们用皕杰报表工具设计填报报表时,如何在新增行里自动增加id呢?能新增整数排序id吗?目前可以在新增行里自动增加id,但只能用uuid函数增加UUID编码,不能新增整数排序id。uuid函数说明:获取一个UUID,可以在填报表中用来创建数据ID语法:uuid()或uuid(sep)参数说明:sep布尔值,生成的uuid中是否包含分隔符'',缺省为
Jacquelyn38 Jacquelyn38
3年前
2020年前端实用代码段,为你的工作保驾护航
有空的时候,自己总结了几个代码段,在开发中也经常使用,谢谢。1、使用解构获取json数据let jsonData  id: 1,status: "OK",data: 'a', 'b';let  id, status, data: number   jsonData;console.log(id, status, number )
Wesley13 Wesley13
3年前
mysql设置时区
mysql设置时区mysql\_query("SETtime\_zone'8:00'")ordie('时区设置失败,请联系管理员!');中国在东8区所以加8方法二:selectcount(user\_id)asdevice,CONVERT\_TZ(FROM\_UNIXTIME(reg\_time),'08:00','0
Stella981 Stella981
3年前
JS 对象数组Array 根据对象object key的值排序sort,很风骚哦
有个js对象数组varary\{id:1,name:"b"},{id:2,name:"b"}\需求是根据name或者id的值来排序,这里有个风骚的函数函数定义:function keysrt(key,desc) {  return function(a,b){    return desc ? ~~(ak
Wesley13 Wesley13
3年前
00:Java简单了解
浅谈Java之概述Java是SUN(StanfordUniversityNetwork),斯坦福大学网络公司)1995年推出的一门高级编程语言。Java是一种面向Internet的编程语言。随着Java技术在web方面的不断成熟,已经成为Web应用程序的首选开发语言。Java是简单易学,完全面向对象,安全可靠,与平台无关的编程语言。
Stella981 Stella981
3年前
Django中Admin中的一些参数配置
设置在列表中显示的字段,id为django模型默认的主键list_display('id','name','sex','profession','email','qq','phone','status','create_time')设置在列表可编辑字段list_editable
Easter79 Easter79
3年前
SpringBoot使用RedisTemplate操作Redis时,key值出现 -xac-xed-x00-x05t-x00-tb
原因分析原因与RedisTemplate源码中的默认序列化方式有关defaultSerializernewJdkSerializationRedisSerializer(classLoader!null?classLoader:this.getClass().getClassLoader()
Wesley13 Wesley13
3年前
MySQL部分从库上面因为大量的临时表tmp_table造成慢查询
背景描述Time:20190124T00:08:14.70572408:00User@Host:@Id:Schema:sentrymetaLast_errno:0Killed:0Query_time:0.315758Lock_
Python进阶者 Python进阶者
9个月前
Excel中这日期老是出来00:00:00,怎么用Pandas把这个去除
大家好,我是皮皮。一、前言前几天在Python白银交流群【上海新年人】问了一个Pandas数据筛选的问题。问题如下:这日期老是出来00:00:00,怎么把这个去除。二、实现过程后来【论草莓如何成为冻干莓】给了一个思路和代码如下:pd.toexcel之前把这