Linux Kernel支持atomic bit operation。一個有意思的問題是:為什么有必要保證位操作的原子性?原因在于它會確保每次操作一定生效。例如對某個位進(jìn)行兩次操作,分別是設(shè)置0和1,那么這兩次操作都會被執(zhí)行,而不會被優(yōu)化成一次性設(shè)置1。這在概念上有點類似epoll的edge trigger 和 level trigger。此外在Java SE中,由于偽喚醒的存在,我們都會在一個循環(huán)里check condition和wait。但是在被喚醒和下次check的時間間隔內(nèi),condition可能再次發(fā)生變化,從而導(dǎo)致錯過相應(yīng)的事件。為了實現(xiàn)edge trigger,我們只能是自己實現(xiàn)一個versioned wait,貌似Java concurrent應(yīng)該引入這樣一種同步原語。
2012年2月8日 #