This is pTeX, Version 3.141592-p3.1.10 (utf8) (Web2C 7.5.4) (format=platex-euc 2006.12.25)  6 MAR 2008 03:38
**jsss.tex
(./jsss.tex
pLaTeX2e <2006/01/04>+0 (based on LaTeX2e <2003/12/01> patch level 0)
(/usr/local/share/texmf/ptex/platex/base/jarticle.cls
Document Class: jarticle 2002/04/09 v1.4 Standard pLaTeX class
\c@@paper=\count81
(/usr/local/share/texmf/ptex/platex/base/jsize10.clo
File: jsize10.clo 2002/04/09 v1.4 Standard pLaTeX file (size option)
)
\c@part=\count82
\c@section=\count83
\c@subsection=\count84
\c@subsubsection=\count85
\c@paragraph=\count86
\c@subparagraph=\count87
\c@figure=\count88
\c@table=\count89
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\symmincho=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
(Font)                  JY1/mc/m/n --> JY1/gt/m/n on input line 597.
LaTeX Info: Redefining \mathrm on input line 599.
LaTeX Info: Redefining \mathbf on input line 600.
\toclineskip=\dimen118
\@lnumwidth=\dimen119
\bibindent=\dimen120
\heisei=\count90
)
(/usr/local/share/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/share/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/local/share/texmf/tex/latex/graphics/dvipdfmx-contrib-latex/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/share/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/share/texmf-dist/tex/latex/graphics/graphics.cfg
File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvipdfm.def on input line 81.

(/usr/local/share/texmf-dist/tex/latex/dvipdfm/dvipdfm.def
File: dvipdfm.def 1999/9/6 vx.x Driver-dependant file
))
\Gin@req@height=\dimen121
\Gin@req@width=\dimen122
) (./jsss.aux
(./title.aux) (./abstract.tex.aux) (./title-e.tex.aux) (./author-e.tex.aux)
(./abstract-e.tex.aux))
\openout1 = `jsss.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 17.
LaTeX Font Info:    ... okay on input line 17.
\openout2 = `title.aux'.

 (./title.tex)
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <17.28> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 49.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <17.28> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 49.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 49.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 49.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 49.
\openout2 = `abstract.tex.aux'.


No file abstract.tex.tex.
\openout2 = `title-e.tex.aux'.

No file title-e.tex.tex.
\openout2 = `author-e.tex.aux'.

No file author-e.tex.tex.

! LaTeX Error: There's no line here to end.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.49 ]
      
? q
OK, entering \batchmode...
\openout2 = `abstract-e.tex.aux'.

No file abstract-e.tex.tex.

! LaTeX Error: There's no line here to end.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.49 ]
      
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

 (./0.tex (./1.tex
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <14.4> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 2.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <14.4> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 2.
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <10> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 13.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <10> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 13.

LaTeX Warning: Citation `Cell' on page 1 undefined on input line 13.

! Text line contains an invalid character.
l.26 ^^H
        egin{figure}[htb]
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

 [1












]
! Text line contains an invalid character.
l.27 ^^H
        egin{center}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.


! LaTeX Error: \caption outside float.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.29 \caption
             {cellarch}
You're in trouble here.  Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

! Text line contains an invalid character.
l.30 ^^[
        nd{center}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

! Text line contains an invalid character.
l.32 ^^[
        nd{figure}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.


Underfull \hbox (badness 10000) in paragraph at lines 26--33
[]\OT1/cmr/m/n/10 eginfigure[htb] egin-cen-ter in-clude-graph-
 []


Underfull \hbox (badness 10000) in paragraph at lines 26--33
\OT1/cmr/m/n/10 ics[width=6cm]fig/cell.eps cel-larch nd-cen-ter
 []

) (./2.tex
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <12> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 12.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <12> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 12.

LaTeX Warning: Citation `java-conncurrecy' on page 2 undefined on input line 14
.


LaTeX Warning: Reference `amdhal' on page 2 undefined on input line 16.

! Text line contains an invalid character.
l.18 ^^H
        egin{figure}[htb]
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

! Text line contains an invalid character.
l.19 ^^H
        egin{center}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.


! LaTeX Error: \caption outside float.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.21 \caption
             {amdahl}
You're in trouble here.  Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

! Text line contains an invalid character.
l.22 ^^[
        nd{center}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

! Text line contains an invalid character.
l.24 ^^[
        nd{figure}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.


Underfull \hbox (badness 10000) in paragraph at lines 18--25
[]\OT1/cmr/m/n/10 eginfigure[htb] egin-cen-ter in-clude-graph-
 []


Underfull \hbox (badness 5652) in paragraph at lines 18--25
\OT1/cmr/m/n/10 ics[width=6cm]fig/amdahl.eps am-dahl nd-cen-ter
 []

 [2]

LaTeX Warning: Citation `spurs' on page 3 undefined on input line 135.

) (./3.tex

LaTeX Warning: Citation `kono08b' on page 3 undefined on input line 4.

 [3]) (./4.tex
! Text line contains an invalid character.
l.13 ^^H
        egin{figure}[htb]
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

! Text line contains an invalid character.
l.14 ^^H
        egin{center}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

! Text line contains an invalid character.
l.16 ^^[
        nd{center}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.

! Text line contains an invalid character.
l.18 ^^[
        nd{figure}
A funny symbol that I can't read has just been input.
Continue, and I'll forget that it ever happened.


Underfull \hbox (badness 10000) in paragraph at lines 13--19
[]\OT1/cmr/m/n/10 eginfigure[htb] egin-cen-ter in-clude-graph-
 []


LaTeX Warning: Citation `cbc-sourceforge' on page 4 undefined on input line 53.



Underfull \hbox (badness 10000) in paragraph at lines 68--71
[]\JY1/mc/m/n/10 のような \OT1/cmr/m/n/10 C \JY1/mc/m/n/10 の関数呼び出しは 、
 []


Underfull \hbox (badness 4120) in paragraph at lines 68--71
\OT1/cmtt/m/n/10 struct f_g0_save \JY1/mc/m/n/10 などの明示的なスタ ッ クの
 []

 [4]

LaTeX Warning: Citation `kono01g' on page 5 undefined on input line 99.

! Missing $ inserted.
<inserted text> 
                $
l.106 コールとして{\tt pthread_
                               create}や{\tt pthread_mutex_lock}などが
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 106.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 106.
! Extra }, or forgotten $.
l.106 コールとして{\tt pthread_create}
                                      や{\tt pthread_mutex_lock}などが
I've deleted a group-closing symbol because it seems to be
spurious, as in `$x}$'. But perhaps the } is legitimate and
you forgot something else, as in `\hbox{$x}'. In such cases
the way to recover is to insert both the forgotten and the
deleted material, e.g., by typing `I$}'.

! Missing $ inserted.
<inserted text> 
                $
l.108 
      
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.


Underfull \hbox (badness 6658) in paragraph at lines 109--111
[]\JY1/mc/m/n/10 これらの動作記述は 、 マニ ュ アルや \OT1/cmtt/m/n/10 Formal
 []

! Missing $ inserted.
<inserted text> 
                $
l.113 The pthread_
                  mutex_lock() function locks mutex. If the mutex
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

! Extra }, or forgotten $.
l.115 mutex becomes available. }
                                
I've deleted a group-closing symbol because it seems to be
spurious, as in `$x}$'. But perhaps the } is legitimate and
you forgot something else, as in `\hbox{$x}'. In such cases
the way to recover is to insert both the forgotten and the
deleted material, e.g., by typing `I$}'.

! Missing $ inserted.
<inserted text> 
                $
l.116 
      
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.


Overfull \hbox (377.24059pt too wide) in paragraph at lines 113--116
[]\OT1/cmtt/m/n/10 The pthread$[]\OML/cmm/m/it/10 utex[]ock\OT1/cmr/m/n/10 ()\O
ML/cmm/m/it/10 functionlocksmutex:Ifthemutexisalreadylocked; thecallingthreadwi
llblockuntilthemutexbecomesavailable:$ 
 []


Overfull \hbox (53.04681pt too wide) in paragraph at lines 159--159
[]    \OT1/cmtt/m/n/9 code pickup_rfork(PhilsPtr self, TaskPtr current_task)[] 

 []


Overfull \hbox (1.07242pt too wide) in paragraph at lines 159--159
[]                \OT1/cmtt/m/n/9 self->right_fork->owner = self;[] 
 []


Overfull \hbox (19.9722pt too wide) in paragraph at lines 159--159
[]                \OT1/cmtt/m/n/9 goto scheduler(self, current_task);[] 
 []


Overfull \hbox (19.9722pt too wide) in paragraph at lines 159--159
[]                \OT1/cmtt/m/n/9 goto scheduler(self, current_task);[] 
 []


Overfull \hbox (1.07242pt too wide) in paragraph at lines 174--174
[]    \OT1/cmtt/m/n/9 code scheduler(PhilsPtr self, TaskPtr list)[] 
 []


Overfull \hbox (10.52231pt too wide) in paragraph at lines 174--174
[]        \OT1/cmtt/m/n/9 goto list->phils->next(list->phils,list);[] 
 []

! Missing $ inserted.
<inserted text> 
                $
l.179 {\tt right_
                 fork}の排他制御は、
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

! Extra }, or forgotten $.
l.179 {\tt right_fork}
                      の排他制御は、
I've deleted a group-closing symbol because it seems to be
spurious, as in `$x}$'. But perhaps the } is legitimate and
you forgot something else, as in `\hbox{$x}'. In such cases
the way to recover is to insert both the forgotten and the
deleted material, e.g., by typing `I$}'.

! Missing $ inserted.
<inserted text> 
                $
l.183 
      
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.


Underfull \hbox (badness 10000) in paragraph at lines 186--190
[]\OT1/cmtt/m/n/10 FIFO scheduler \JY1/mc/m/n/10 を例えば \OT1/cmtt/m/n/10 Cell
 \JY1/mc/m/n/10 の \OT1/cmtt/m/n/10 SPU \JY1/mc/m/n/10 の
 []

 [5]
! Missing $ inserted.
<inserted text> 
                $
l.194 内部で、例えば、{\tt pthread_
                                   mutex_lock}を呼び出しても良い。
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

! Extra }, or forgotten $.
l.194 内部で、例えば、{\tt pthread_mutex_lock}
                                              を呼び出しても良い。
I've deleted a group-closing symbol because it seems to be
spurious, as in `$x}$'. But perhaps the } is legitimate and
you forgot something else, as in `\hbox{$x}'. In such cases
the way to recover is to insert both the forgotten and the
deleted material, e.g., by typing `I$}'.

! Missing $ inserted.
<inserted text> 
                $
l.195 
      
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

) (./5.tex

LaTeX Warning: Citation `wolper82' on page 6 undefined on input line 56.


LaTeX Warning: Citation `synBTTL' on page 6 undefined on input line 56.


LaTeX Warning: Citation `kono93b' on page 6 undefined on input line 56.

) (./6.tex [6]
Overfull \hbox (24.69714pt too wide) in paragraph at lines 84--84
[]    \OT1/cmtt/m/n/9 while(!(list = next_task_iterator(task_iter))) {[] 
 []


Overfull \hbox (67.22165pt too wide) in paragraph at lines 84--84
[]    \OT1/cmtt/m/n/9 //    here we assume task list is fixed, we don't have to
[] 
 []


Overfull \hbox (100.29626pt too wide) in paragraph at lines 84--84
[]    \OT1/cmtt/m/n/9 printf("restore list %x next %x\n",(int)list,(int)(list->
next));[] 
 []


Overfull \hbox (48.32187pt too wide) in paragraph at lines 84--84
[]    \OT1/cmtt/m/n/9 task_iter = create_task_iterator(list,out,task_iter);[] 
 []

) (./7.tex [7]) (./8.tex
Underfull \hbox (badness 3323) in paragraph at lines 3--6
[]\JY1/mc/m/n/10 本手法を 、 \OT1/cmtt/m/n/10 PS3 Linux \JY1/mc/m/n/10 上の \OT
1/cmtt/m/n/10 SPU \JY1/mc/m/n/10 を用いた \OT1/cmtt/m/n/10 3D
 []

) (./9.tex

LaTeX Warning: Citation `holzmann97model' on page 8 undefined on input line 9.


LaTeX Warning: Citation `havelund98model' on page 8 undefined on input line 14.



LaTeX Warning: Citation `groce04understanding' on page 8 undefined on input lin
e 15.

 [8]
Underfull \hbox (badness 1028) in paragraph at lines 45--45
[]    \OT1/cmtt/m/n/9 \caption{Dining Philosophers Problem \JY1/mc/m/n/9 の \OT
1/cmtt/m/n/9 CbC
 []


Underfull \hbox (badness 10000) in paragraph at lines 45--45
[]        \JY1/mc/m/n/9 プロセス数 \OT1/cmtt/m/n/9 & \JY1/mc/m/n/9 状態数 \OT1/
cmtt/m/n/9 & \JY1/mc/m/n/9 実行時間
 []


Underfull \hbox (badness 10000) in paragraph at lines 64--64
[]    \OT1/cmtt/m/n/9 \caption{SPIN \JY1/mc/m/n/9 による
 []


Underfull \hbox (badness 10000) in paragraph at lines 64--64
[]        \JY1/mc/m/n/9 プロセス数 \OT1/cmtt/m/n/9 & \JY1/mc/m/n/9 状態数 \OT1/
cmtt/m/n/9 & \JY1/mc/m/n/9 実行時間
 []


Underfull \hbox (badness 10000) in paragraph at lines 83--83
[]    \OT1/cmtt/m/n/9 \caption{JPF \JY1/mc/m/n/9 による
 []


Underfull \hbox (badness 10000) in paragraph at lines 83--83
[]        \JY1/mc/m/n/9 プロセス数 \OT1/cmtt/m/n/9 & \JY1/mc/m/n/9 状態数 \OT1/
cmtt/m/n/9 & \JY1/mc/m/n/9 実行時間
 []

) (./10.tex
Underfull \hbox (badness 7888) in paragraph at lines 11--14
[]\JY1/mc/m/n/10 現在のモデル検査部で 、 \OT1/cmtt/m/n/10 SPIN \JY1/mc/m/n/10 
と \OT1/cmtt/m/n/10 Java Path
 []

))
! I can't find file `reference.tex'.
l.54 \input reference.tex
                         
Please type another input file name
! Emergency stop.
l.54 \input reference.tex
                         
*** (job aborted, file error in nonstop mode)

 
Here is how much of TeX's memory you used:
 664 strings out of 94689
 7564 string characters out of 1170012
 62856 words of memory out of 1000000
 3941 multiletter control sequences out of 10000+50000
 15739 words of font info for 62 fonts, out of 500000 for 2000
 566 hyphenation exceptions out of 1000
 25i,7n,24p,181b,680s stack positions out of 1500i,500n,5000p,200000b,5000s
Output written on jsss.dvi (8 pages, 44460 bytes).