トップ «前の日記(2005-11-13) 最新 次の日記(2005-11-15)» 編集

日々の破片

Subscribe with livedoor Reader
著作一覧

2005-11-14

_ FileOutputStream#closeとwriteの競合

FileOutputStreamがスレッドセーフだなんてどこにも書いてないが、なんとなくスレッドセーフだと思いこんだのが運の尽き。 writeが先なら問題ないし、closeが先ならwriteがクローズ済みの例外になるだろう程度にたかをくくっていると。

j2se1.4.2だと、

FileOutputStream#write
→FileLockImpl#release(FileLockImplをロック)
→FileChannelImpl.removeList(lockListのロック待ち)
FileOutputStream#close
→FileChannelImpl#implCloseChannel(lockListをロック)
→FileLockImpl#invalidate(FileLockImplのロック待ち)

となる(ことがある)。典型的なデッドロックだ。それにつけてもSIGQUIT。

writeはFileOutputStreamでロックをかけるがcloseはかけないのが原因か(でも、この動作はcloseの意味を考えると正しそうだ)。(nioのFileChannelImplの実装はまずいとは思う)

いずれにしろ、書き込みしているスレッドがいる間は、closeを呼ばないようにアプリケーションを修正。


2003|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|

ジェズイットを見習え