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