[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[jfriends-ml 13375] 議事録：「 The Art of Multiprocessor Programming 」を読む会第 2 回
- From: IMAI Katsunori <nowwell101-jfriends@xxxxxxxxxxx>
- Date: Sun, 26 Sep 2010 00:10:07 +0900 (JST)
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=yj20050223; d=yahoo.co.jp; h=Message-ID:Received:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=KlJO4rcAS8NPvFImvOavE0GI/FWC23Dbvr/JeXHis1uMm/d9243tMUMVctfLtp/9sowyYdP+cq8QZGhjDObOlYoSVNOw7SoXB4tOk3KQHTP45GnRMg7VmvcXBBZkmzEz ;
今井です。
皆さん、本日は大変お疲れ様でした。
掲題の議事録をお送りします。
＃原書必携のような気がしてきました。
あと、松永さんから練習問題27の解答をあずかったので、
週明けにでもスキャンしてＭＬに流します。
Imai
--------------------------------------
Get the new Internet Explorer 8 optimized for Yahoo! JAPAN
http://pr.mail.yahoo.co.jp/ie8/
JavaÇïuThe Art of Multiprocessor ProgrammingvðÇÞï æ2ñ c^
ú: 2010N925ú(y) 10:00-17:00
ê: Ãs¯Ù æ6ïcº
QÁÒ: ÑcA´(q)A´(O)A¡AâºA¬IØAºRA¼iAÎA¡ä
L: ¡ä
ÍÍ: 3 ÀsIuWFNg(p.51) ` 4 ¤LÌîb 4.2.5(p.95)
--------
3 ÀsIuWFNg
- p.51 l.4
@ÀñIuWFNgÍÀsIuWFNgÌëóH
@¨ ÇïãA´ðÝéÆ concurrent objects ÈÌÅÀsIuWFNgÅ·Ë(¡ä)
- p.51 l.12
@uÇÌisªÛسêé©Í...vÌuisvÍprogress ? ißé½ßÉÍÌÓH
@ÀÌû@ƵÄubLOÆmubLOª éÆ¢¤±Æ©H
@¨ Along a different dimension, different method implementations provide
@@ different progress guarantees. Some are blocking, where the delay of any one
@@ thread can delay others, and some are nonblocking, where the delay of a thread
@@ cannnot delay the others.
@ŵ½B(¡ä)
3.1 Às«Æ³m³
- p.54 Figure 3.3
@enq(), deq()ª»ê¼êPêXbh©çµ©ANZX³êÈ¢ÌÅnjB
@tailÌread->modify->writeÍAenq()¾¯BheadÌ»êÍdeq()¾¯B
@T[] items; ÍvolatileÅÈÄæ¢Ì©?
@¨ head, tailªvolatileÈÌÅAoA@\Éæèhead, tailÌÏX^C~Oð
@@ ×¢ÅitemsÌiÖÌj½fª©íé±ÆÍȢ͸B
3.2 IuWFNg
3.3 Ã~êÑ«
- p.56 Figure 3.4
@7Æ-3ª¯XV³êÄ-7ÉÈéH
@t\»Å êÎÈéÌÅÍHÅàPÉÊÌlÉÈélqð¢Ä¢é¾¯¾ë¤B
3.3.1 õl
- p.57 ºl.5
@uPð½·½ÑÉvÍAu½·Æ«ÉvÌÓ©H
3.4 êÑ«
- p.59 Figure 3.6
@Xbhð¯Ê·éLA`Caª²¯Ä¢éBãª`Aºªa
3.4.1 õl
- p.59 l.1
@uêÑ«ÆÃ~êÑ«ª¼§µÈ¢±ÆÉÓ·évÍAuK¸µà¼§µÈ¢v
@Æ¢¤±ÆÈÌ©H
@¨ ´ÅÍ incomparable ÈÌÅëóÌæ¤Å·BincompatibleÆÔᦽH(¡ä)
@It is worth nothing that sequential consistency and quiescent consistency are
@incomparable: there exist sequentially consistent executions that are not
@quiescently consistent, and vice versa.
- p.60 Figure 3.7
@Xbhð¯Ê·éLA`Caª²¯Ä¢éBãª`Aºªa
3.5 ü`»Â\«
3.5.1 ü`»|Cg
3.5.2 õl
3.6 ³®Èè`
i±±ç ½è©ç3ÍÅãÜÅAQÁÒSõæðÅ«¸ÉÁ»sÇóÔj
3.6.1 ü`»Â\«
- p.64 Definition 3.6.1
@ðÍÄÑoµÆ»ÌÌÎÌÀÑBcompleteÍüêqÉÈÁÄ¢ÄàÇ¢B(?)
3.6.2 ¬IÈü`»Â\«
3.6.3 mubLOÁ«
3.7 isÌð
3.7.1 ]®IÈisÌð
3.8 Javaf
3.8.1 bNƯúubN
3.8.2 ö«tB[h
3.8.3 finaltB[h
3.9 õl
3.10 L
3.11 ûKâè
- p.75 ûKâè28
@reader\bhª[ÉæéZðÀs·é±ÆÍÈ¢BxÍvolatileÅÍÈ¢ªA
@vÍvolatileÈÌÅoAÉæèAwriter()ÅvÉtrueªZbg³êéOÉ
@©Èç¸xÉ42ªZbg³êéB¨ vªtrueÈçxÍK¸42
4 ¤LÌîb
4.1 WX^ÌóÔ
4.2 WX^\¢
- p.86 Figure 4.5
@4sÚÌx[XNX MRSWW ¨ SRSWWÌÔá¢B(4.2.4ßæèj
4.2.1 MRSWÀSWX^
4.2.2 MRSW BooleanWWX^
4.2.3 MRSWÌMlWWX^
- p.88 l.2
@uFigure 4.7ÅÍAv¨ uFigure 4.8ÅÍAv
4.2.4 SRSWsªWX^
4.2.5 MRSWsªWX^
Èã