From owner-java@jp.FreeBSD.org Fri Jul 19 00:13:18 2002
Received: (from daemon@localhost)
	by castle.jp.FreeBSD.org (8.11.6+3.4W/8.11.3) id g6IFDIC18581;
	Fri, 19 Jul 2002 00:13:18 +0900 (JST)
	(envelope-from owner-java@jp.FreeBSD.org)
Received: from pooh.softalia.com (pooh.softalia.com [65.161.202.173])
	by castle.jp.FreeBSD.org (8.11.6+3.4W/8.11.3) with ESMTP/inet id g6IFDGn18576
	for <java@jp.FreeBSD.org>; Fri, 19 Jul 2002 00:13:16 +0900 (JST)
	(envelope-from kkonaka@softalia.com)
Received: from tigger.softalia.com (tigger-2.softalia.com [10.10.10.2])
	by pooh.softalia.com (8.9.3+Sun/3.7W-isfs) with ESMTP id LAA07885;
	Thu, 18 Jul 2002 11:13:13 -0400 (EDT)
Received: from roo.softalia.com (IDENT:2091-ident-is-a-completely-pointless-protocol-that-offers-no-security-or-traceability-at-all-so-take-this-and-log-it!@roo.softalia.com [10.10.10.4])
	by tigger.softalia.com (8.11.4/3.7W-isfs) with ESMTP id g6IFDEt02230;
	Thu, 18 Jul 2002 11:13:14 -0400
Date: Thu, 18 Jul 2002 11:13:03 -0400
Message-ID: <sqbptxl5atc.wl@nue.mac.com>
From: kkonaka@mac.com
To: java@jp.FreeBSD.org
User-Agent: Wanderlust/2.6.0 (Twist And Shout) SEMI/1.14.3 (Ushinoya)
 FLIM/1.14.3 (=?ISO-8859-4?Q?Unebigory=F2mae?=) APEL/10.3 Emacs/20.7
 (sparc--netbsdelf) MULE/4.0 (HANANOEN)
MIME-Version: 1.0 (generated by SEMI 1.14.3 - "Ushinoya")
Content-Type: text/plain; charset=ISO-2022-JP
Reply-To: java@jp.FreeBSD.org
Precedence: list
X-Sequence: java 123
Subject: [java 123] Java Memory Model
Errors-To: owner-java@jp.FreeBSD.org
Sender: owner-java@jp.FreeBSD.org
X-Originator: kkonaka@mac.com
X-Distribute: distribute version 2.1 (Alpha) patchlevel 24e+020717

$B$D$$$G$K$b$&$R$H$D(B...

$B@h!9=5$"$?$j$3$N%;%/%7%g%s$,$"$k$N$K=i$a$F5$$,IU$$$F(B
http://java.sun.com/docs/books/jls/second_edition/html/memory.doc.html#28325
 | 17.6 Rules about the Interaction of Locks and Variables
 |    Let T be any thread, let V be any variable, and let L be any lock.
 |    There are certain constraints on the actions performed by T with
 |    respect to V and L:
 |      * ... (Less formally: if a thread is to
 |        perform an unlock action on any lock, it must first copy all
 |        assigned values in its working memory back out to main memory.)
 |      * ...(Less formally: a lock action acts as if it flushes
 |        all variables from the thread's working memory; before use they
 |        must be assigned or loaded from main memory.)

$B$*$b$7$m$$$J$H;W$C$?$N$G$9$,$3$l$K4XO"$7$F!JJY6/$,$F$i!K(B
$B$[$+$KFI$s$G$*$/$HLLGr$=$&$J$b$N$H$$$&$N$O$J$K$+$*$9$9(B
$B$a$"$j$^$9$G$7$g$&$+!)(B (eg., $B0l8+(B SMP $B%^%7%s$@$H4X78$J(B
$B$5$=$&$K$b;W$($k$N$G$9$1$I!"$=$l$O%^%A%,%$!)(B)

$B$3$3$X$NGX7J$H$$$&$N$O(B
1. http://www.cs.rice.edu/~weimin/ 
    - Java/DSM
   http://www.inria.fr/rrrt/rr-4101.html
    - Remote Object Detection in Cluster-Based Java
   http://sci-serv.inrialpes.fr/
    - SCI Cluster at inria
   $B$"$?$j$r8+$+$1$F!JDL$j$,$+$j$N<T%b!<%I$H$7$F!KLLGr$+$C$?!#(B

2. $B$J$K$d$i(B office $B$K(B SCI interconnect $B$D$-$N(B SunCluster machine
   $B$,!J0l;~!KMh$=$&$G$"$k!#(B

3. $B$G$O;E;v$H>N$7$F(B :) $B$A$g$C$HM7$s$G$_$k$N$K$OLLGr$=$&$G$"$k!#(B
   $B!J(Beg.,JVM $B$$$8$k$H$3$m$^$G$O$7$J$$$,(B RSMAPI $B$r$A$g$C$H8F$s$G$_$F(B
     $B$?$@<+8JK~B-$7$F$_$k!K(B

...$B$H$$$C$?$h$&$J6q9g$G$9!#(B

$B$3$J$+(B
