SDL-News: Results of Workshop on Perf. & Time in Erlangen


Subject: SDL-News: Results of Workshop on Perf. & Time in Erlangen
From: Andreas Mitschele_Thiel (mitsch#immd7.informatik.uni-erlangen.de)
Date: Fri Mar 06 1998 - 15:07:33 GMT


The originator of this message is responsible for its content.
-----From Andreas Mitschele_Thiel <mitsch#immd7.informatik.uni-erlangen.de> to sdlnews -----

Dear SDL and MSC folks,

enclosed is the report of the results of the discussion on the
integration on performance and time into SDL and MSC as reached
at the workshop in Erlangen.

The report is in postscript format. A more comprehensive version
of the report will be provided shortly. The long version will also
provide some more details on the different issues involved.

Best regards

        Andreas Mitschele

-- 
Dr. Andreas Mitschele-Thiel          University of Erlangen-Nuremberg   
Phone: +49-9131-85-7932 or -7411                             IMMD VII 
Fax: +49-9131-85-7409                                   Martensstr. 3
Email: mitsch#informatik.uni-erlangen.de               91058 Erlangen Germany

%!PS-Adobe-2.0 %%Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software %%Title: WSresult.dvi %%Pages: 5 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%DocumentFonts: Times-Roman Courier Times-Bold %%EndComments %DVIPSCommandLine: dvips -o WSresult.ps WSresult %DVIPSParameters: dpi=300, comments removed %DVIPSSource: TeX output 1998.03.06:1556 %%BeginProcSet: tex.pro /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /#rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /#landscape{/isls true N}B /#manualfeed{statusdict /manualfeed true put}B /#copies{/##copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N #rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict /eop-hook known{eop-hook}if showpage}N /#start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false} ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail {dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M} B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{ 4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{ p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet %%BeginProcSet: texps.pro TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2 index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def} ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict end definefont 3 -1 roll makefont /setfont load]cvx def}def /ObliqueSlant{dup sin S cos div neg}B /SlantFont{4 index mul add}def /ExtendFont{3 -1 roll mul exch}def /ReEncodeFont{/Encoding exch def}def end %%EndProcSet TeXDict begin 39158280 55380996 1000 300 300 (WSresult.dvi) #start /Fa 81[28 55[25 28 17 19 22 1[28 25 28 41 14 28 1[14 28 25 17 22 28 22 28 25 11[36 1[28 36 1[30 39 36 47 33 7[36 36 33 13[25 25 25 25 1[14 12 46[{}38 50.000000 /Times-Bold rf /Fb 81[33 51[27 30 30 43 30 33 20 23 27 33 33 30 33 50 17 1[20 17 33 30 20 27 33 27 33 30 11[43 40 33 43 47 37 47 1[56 40 2[23 47 47 37 40 43 2[43 7[30 30 30 30 30 30 30 30 30 30 17 15 4[20 20 40[{}56 59.999973 /Times-Bold rf /Fc 55[17 24[28 28 51[22 25 25 36 25 25 14 19 17 25 25 25 25 39 14 25 14 14 25 25 17 22 25 22 25 22 10[36 36 30 28 33 36 28 36 36 44 30 1[19 17 36 36 28 30 36 33 33 36 6[14 3[25 25 25 25 25 25 25 14 12 17 12 2[17 17 6[17 33[{}65 50.000000 /Times-Roman rf /Fd 170[52 48 40 52 56 44 56 52 68 3[28 56 56 44 48 52 52 1[52 13[36 36 36 49[{}20 72.000000 /Times-Bold rf /Fe 138[36 36 36 36 2[36 36 36 36 36 1[36 36 36 36 36 36 36 1[36 32[36 17[36 36 45[{}20 59.999973 /Courier rf /Ff 55[20 79[30 1[30 30 17 23 20 3[30 47 17 2[17 30 30 1[27 30 27 30 27 11[43 37 5[43 53 6[33 37 3[43 6[17 12[20 45[{}27 59.999973 /Times-Roman rf /Fg 135[43 62 2[24 1[29 1[43 43 43 67 2[24 24 43 43 1[38 1[38 11[81 1[62 53 48 57 62 48 62 62 77 53 62 1[29 62 1[48 53 62 57 1[62 10[43 4[43 43 24 22 4[29 29 40[{}40 86.416687 /Times-Roman rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%PaperSize: a4

%%EndSetup %%Page: 1 1 1 0 bop 46 371 a Fg(WORKSHOP)22 b(ON)g(PERFORMANCE)g(AND)g(TIME)e(IN) 678 475 y(SDL)h(AND)h(MSC)248 579 y(\(conjoint)f(with)h(the)f(Q.6/10)h (expert)f(meeting\))358 682 y(RESUL)-8 b(TS)21 b(OF)g(THE)g(DISCUSSION) 667 832 y Ff(Andreas)14 b(Mitschele-Thie)o(l)340 907 y(Friedrich-Alexa)o(nder)n(-Unive)o(rsit)s(\310)-23 b(a)o(t)12 b(Erlangen-N)5 b(\310)-25 b(urnber)o(g)289 981 y(email:)17 b Fe(mitsch#informatik.uni-erla)o(ngen.de)20 1190 y Fd(1)72 b(INTRODUCTION)20 1301 y Fc(V)-6 b(arious)14 b(approaches)h(have)f (been)g(presented)g(that)g(support)f(a)h(performance)f(evaluation)h (\(see)g(the)g(work-)20 1361 y(shop)g(proceedings\).)k(Most)c(of)f(the) g(approaches)g(to)g(performance)f(evaluation)h(use)h(some)f(kind)g(of)g (work-)20 1421 y(around)f(to)g(associate)h(the)f(needed)h(performance)e (information)f(into)i(the)g(SDL)h(speci\256cation)f(and)g(to)g(con-)20 1482 y(sider)e(performance)f(aspects)i(during)f(the)g(\(functional\))e (simulation.)16 b(It)10 b(has)g(been)h(realized)e(that)h(the)h(dif)o (fer)o(-)20 1542 y(ent)i(approaches)g(are)g(similar)f(in)h(the)g (concepts)h(they)e(employ)h(to)g(associate)h(performance)d(to)i(SDL)g (even-)20 1602 y(though)f(completely)g(dif)o(ferent)f(approaches)h (have)h(been)f(selected)h(to)f(implement)g(the)g(concepts.)93 1662 y(In)d(the)f(joint)g(meeting)h(with)f(the)h(Q.6/10)f(experts,)i (an)f(overview)f(on)h(the)f(dif)o(ferent)g(approaches)h(to)f(SDL-)20 1722 y(based)16 b(performance)e(evaluation)h(has)h(been)g(given)f(and)h (the)f(QSDL)g(approach)h(\(machines,)g(service)g(re-)20 1783 y(quests)h(and)f(mapping\))g(has)g(been)h(presented)f(in)g(detail) g(as)h(a)f(representative.)28 b(The)17 b(major)f(dif)o(ferent)e(of)20 1843 y(QSDL)e(from)f(the)h(other)f(approaches)h(is)g(its)g(use)g(of)f (language)h(extensions)g(rather)f(than)h(language)g(annota-)20 1903 y(tions)g(or)g(a)h(separate)g(description)e(of)h(performance)g (information.)93 1963 y(It)d(has)h(been)g(pointed)f(out)g(that)h(SDL-)f (and)g(MSC-based)h(performance)e(evaluation)i(are)f(highly)g(related.) 20 2023 y(Also)i(performance)e(issues)j(are)f(related)f(to)g(other)h (issues)g(of)g(SDL)f(and)h(MSC,)g(e.g.)17 b(the)11 b(de\256nition)f(of) g(time,)20 2084 y(formal)h(semantics,)j(or)e(the)g(description)g(of)g (the)g(implementation)f(platform.)93 2144 y(Due)h(to)f(the)g(mature)g (state)h(of)f(SDL-based)g(performance)g(evaluation,)g(the)h(focus)f (was)h(on)f(SDL)h(rather)20 2204 y(than)g(on)h(MSC.)20 2373 y Fd(2)72 b(OPEN)17 b(QUESTION)g(AND)g(COMMENTS)20 2485 y Fc(The)9 b(following)f(open)g(questions)h(and)g(issues)h(have)e (been)h(identi\256ed)f(and)h(need)f(further)g(study)g(\(please)h(refer) 20 2545 y(to)16 b(the)f(workshop)g(proceedings)h(p.)g(10)f(for)g(a)h (de\256nition)e(of)h(the)h(terminology)e(used)i(in)g(the)f (following\).)20 2605 y(The)e(following)e(is)h(based)h(on)f(a)g (\256rst)g(list)g(compiled)f(and)h(presented)g(at)g(the)g(workshop)g (by)g(Bruno)g(M)t(\310)-21 b(uller)o(-)20 2665 y(Clostermann:)953 2959 y(1)p eop %%Page: 2 2 2 1 bop 20 168 a Fb(2.1)60 b(Resour)o(ce/Platfor)o(m)12 b(Description)20 261 y Fa(2.1.1)51 b(Level)12 b(of)g(Detail)g(of)g(the) g(Resour)o(ce/Platform)g(Description)20 355 y Fc(The)k(level)g(of)g (detail)f(of)g(the)h(resource)g(description)f(is)h(an)g(important)f (issue.)28 b(For)15 b(an)h(early)f(evaluation,)20 415 y(a)e(course)g(model)f(may)h(be)f(suf)o(\256cient.)18 b(The)13 b(approaches)g(range)f(from)g(the)h(speci\256cation)f(of)h (delays,)g(from)20 475 y(which)c(the)h(response)f(times)h(are)f (derived)g(considering)g(concurrency)g(within)f(a)i(set)g(of)f (processes)h(\(SPECS,)20 536 y(ObjectGEODE\),)f(to)f(queueing)g(models) g(with)g(various)g(service)h(strategies)f(and)g(priorities)f(\(QSDL,)i (EaSySim)20 596 y(II\))i(to)i(the)f(detailed)g(emulation)g(of)g(the)g (underlying)f(processor)i(hardware)e(\(SPEET\).)20 728 y Fa(2.1.2)51 b(Multiple)11 b(Use)i(of)f(the)f(Resour)o(ce/Platform)i (Description)20 822 y Fc(The)i(description)f(of)g(the)h(resoures)f(or)h (implementation)e(platform)g(may)h(serve)h(two)g(very)f(dif)o(ferent)f (pur)o(-)20 882 y(poses.)23 b(It)14 b(is)h(needed)f(for)f(a)i (performance)e(evaluation)g(as)i(well)f(as)h(to)f(specify)g(the)g (platform)f(for)h(the)g(im-)20 943 y(plementation)i(of)g(the)g(SDL)g (speci\256cation.)29 b(However)n(,)18 b(these)f(two)f(purposes)g (require)g(rather)f(dif)o(ferent)20 1003 y(information)10 b(of)h(the)h(machines)g(which)f(may)h(be)g(the)f(motivation)g(to)h (keep)f(two)h(descriptions.)17 b(It)11 b(has)h(been)20 1063 y(pointed)d(out)f(that)h(France)f(T)m(elecom)h(is)g(working)f(on)h (a)g(proposal)f(to)h(specify)g(the)g(implementation)e(platform)20 1123 y(\(Oystein)12 b(Haugen\).)20 1256 y Fa(2.1.3)51 b(Speci\256cation)10 b(of)i(Resour)o(ces)i(in)e(Standard)e(SDL)20 1349 y Fc(It)e(has)h(been)f(proposed)g(to)g(describe)g(resources)h (directly)e(in)h(SDL)h(using)f(special)h(data)f(types)g(\(Joseph)h (Sifakis\).)20 1410 y(This)k(has)g(the)f(advantage)g(that)g(no)g (changes)h(to)f(SDL,)h(especially)f(to)g(its)g(semantics)h(are)f (needed.)17 b(Follow-)20 1470 y(ing)11 b(this)g(idea,)g(the)g (semantics)g(of)g(an)f(extended)h(SDL)g(\(like)f(QSDL\))h(could)f(be)h (de\256ned)g(within)f(pure)g(SDL,)20 1530 y(i.e.)j(by)g(a)f(set)h(of)f (macros)g(\(Joseph)h(Sifakis)f(and)g(Jean-Luc)h(Roux\).)20 1677 y Fb(2.2)60 b(Resour)o(ce)13 b(Demands)20 1771 y Fa(2.2.1)51 b(Level)12 b(of)g(Detail)g(of)g(the)g(Resour)o(ce)h (Demands)20 1865 y Fc(The)g(level)f(of)g(detail)g(of)f(the)i(resource)f (requests)g(is)h(an)f(issue.)17 b(Alternatives)12 b(are)g(the)g (association)h(of)f(a)g(ser)o(-)20 1925 y(vice)f(request)g(to)g (actions)g(or)g(complete)g(transitions)g(in)g(SDL,)g(or)g(to)g(add)g (special)g(service)h(requests)f(to)g(arbi-)20 1985 y(trary)h(points)g (in)h(the)f(SDL)h(speci\256cation.)k(It)12 b(has)h(been)g(ar)o(gued)f (that)g(service)h(requests)g(should)f(be)h(associ-)20 2045 y(ated)e(to)f(SDL)g(constructs,)i(rather)d(than)i(introducing)e(a) i(separate)f(new)h(construct.)16 b(In)10 b(this)g(context)g(also)h(the) 20 2105 y(question)h(of)g(\257exibility)g(versus)g(practicability)g(of) g(the)g(approach)g(has)h(been)f(raised)h(\(Oystein)f(Haugen\).)20 2238 y Fa(2.2.2)51 b(Blocking)11 b(versus)i(Nonblocking)e(Resour)o(ce)i (Demands)20 2332 y Fc(T)m(ypical)j(approaches)h(support)e(blocking)h (resource)g(requests,)i(i.e.)30 b(the)16 b(executing)g(process)h(is)f (blocked)20 2392 y(until)10 b(the)g(given)g(resource)h(is)f(acquired)g (and)h(the)f(required)g(service)g(time)g(has)h(passed.)17 b(In)10 b(EaSySim)g(II)g(also)20 2452 y(nonblocking)k(requests)i(can)f (be)g(issued.)26 b(This)15 b(is)h(helpful)e(to)h(model)f(nonblocking)h (resource)f(demands,)20 2512 y(e.g.)g(signal)e(outputs.)20 2645 y Fa(2.2.3)51 b(Speci\256cation)10 b(of)i(Resour)o(ce)h(Demands)g (of)f(Communication)20 2739 y Fc(It)h(has)g(been)h(noted)f(that)f(the)i (speci\256cation)f(of)f(resource)h(demands)g(for)g(communication)f (\(delay\))g(should)20 2799 y(be)h(described)f(in)g(a)h (straight-forward)d(manner)i(\(Anders)g(Ek\).)953 2959 y(2)p eop %%Page: 3 3 3 2 bop 20 168 a Fa(2.2.4)51 b(Modeling)11 b(Overhead)20 261 y Fc(It)g(has)g(been)g(pointed)g(out)g(that)f(the)h(overhead)g(in)g (executing)g(an)g(SDL)g(speci\256cation)g(\(i.e.)16 b(the)11 b(SDL)h(transi-)20 322 y(tions\))g(may)h(be)f(much)h(lar)o(ger)e(than)i (the)f(cost)h(of)f(the)h(SDL)f(transition)g(itself)h(\(Andreas)f (Mitschele-Thiel\).)20 382 y(Thus,)k(the)e(overhead)f(of)h(the)g (runtime)f(system)h(is)h(an)f(important)f(issue)h(and)g(should)g(be)g (modeled)g(appro-)20 442 y(priately)m(.)i(In)c(performance)f (evaluation,)i(there)f(are)g(two)g(basic)h(approaches)g(to)f(include)g (overhead.)17 b(Over)o(-)20 502 y(head)d(is)g(directly)g(added)g(to)f (the)h(resource)g(demands)g(of)g(the)f(actions)i(itself)e(or)h (overhead)f(is)i(modeled)e(by)20 562 y(an)j(abstract)f(overhead)g (factor)f(that)h(reduces)h(the)f(capacity)g(of)g(the)g(resource)g (which)g(is)h(available)f(to)g(the)20 622 y(application)d(\(Bruno)g(M)t (\310)-21 b(uller)o(-Clostermann\).)20 770 y Fb(2.3)60 b(Speci\256cation)13 b(of)i(Performance)d(Requir)o(ements)20 863 y Fc(This)f(is)f(an)g(important)f(issue)i(for)e(the)h(automatic)f (veri\256cation)g(of)h(performance)f(requirements.)15 b(However)n(,)20 924 y(it)d(is)g(not)g(central)f(for)h(a)g(typical)f (performance)g(evaluation.)17 b(Thus,)c(it)f(has)g(not)g(been)g(a)g (major)f(topic)h(for)f(the)20 984 y(joint)i(meeting)g(with)g(Q.6.)20 b(T)m(wo)14 b(basic)f(approaches)h(have)f(been)h(presented)f(at)h(the)f (workshop)g(to)g(specify)20 1044 y(performance)e(requirements,)h (namely)g(extended)h(MSCs)g(\(Lennard)f(Lambert)g(and)h(Ina)f (Schieferdecker\))20 1104 y(and)e(an)g(approach)f(based)i(on)f(a)g (temporal)f(logic)g(\(Marc)h(Diefenbruch\).)15 b(It)9 b(has)h(been)g(noted)g(that)g(MSCs)g(are)20 1164 y(less)k(expressive)g (than)f(a)g(temporal)f(logic)h(and)g(that)g(temporal)f(logics)h(are)g (not)g(acceptable)h(for)e(end)h(users.)20 1225 y(An)e(idea)f(is)h(to)f (enhance)h(the)f(expressiveness)h(of)f(MSCs)h(to)g(solve)f(the)h (problem,)f(i.e.)h(to)g(map)f(the)g(extended)20 1285 y(MSCs)j(internally)f(to)g(temporal)f(logic)h(expressions)h(\(Marc)f (Diefenbruch\).)20 1432 y Fb(2.4)60 b(Speci\256cation)13 b(of)i(System)f(Stimuli)20 1526 y Fc(This)f(is)g(important,)e(but)h (has)h(not)f(been)g(discussed)i(in)e(detail.)k(V)-6 b(arious)13 b(proposals)f(exist,)h(e.g.)k(see)c(QSDL,)20 1586 y(SPEET)l(,)j(GEODE,) g(EaSySim)f(II.)f(An)h(approach)f(is)h(to)g(add)f(SDL)h(processes)h (that)e(generate)h(stimuli)f(ac-)20 1646 y(cording)e(to)g(a)h(random)e (or)h(trace-driven)f(pattern.)20 1793 y Fb(2.5)60 b(Relation)13 b(of)i(Performance)c(Evaluation)j(to)g(Object)f(Orientation)g(in)h(SDL) h(92)20 1887 y Fc(All)9 b(approaches)g(to)g(performance)f(evaluation)g (so)h(far)g(do)g(not)f(deal)h(with)g(object)g(orientation)f(in)g(SDL)i (\(Oys-)20 1947 y(tein)i(Haugen\).)17 b(This)c(is)g(an)f(important)f (issue)i(and)g(needs)g(study)m(.)20 2094 y Fb(2.6)60 b(Flexibility)12 b(of)i(Mapping)i(and)f(A)l(vailable)e(Resour)o(ces)20 2188 y Fc(It)d(has)g(been)g(pointed)f(out)h(that)f(a)i(single)e(SDL)i (speci\256cation)e(may)h(be)g(mapped/implemented)f(on)g(dif)o(ferent)20 2248 y(hardware)h(and)g(that)g(a)h(chosen)g(hardware)e(con\256guration) h(may)g(serve)g(for)g(the)g(implementation)f(of)h(various)20 2308 y(SDL)h(speci\256cations)f(\(Eckardt)g(Holz,)i(Rainer)e (Gerlich\).)15 b(Thus,)d(it)e(seems)i(advisable)e(to)g(keep)h(the)f (speci\256-)20 2369 y(cation)h(of)f(the)h(application)f(and)h(the)g (available)f(resources)h(as)h(separate)f(as)g(possible)g(to)g(support)f (\257exibility)20 2429 y(and)j(reuse.)20 2576 y Fb(2.7)60 b(Development)13 b(Phases)i(to)f(be)h(Supported)20 2670 y Fc(The)h(question)g(of)f(which)h(development)f(phases)h(should)g(be)g (supported)f(has)h(been)g(raised.)27 b(It)15 b(has)h(been)20 2730 y(ar)o(gued)9 b(that)f(early)h(as)g(well)g(as)h(later)e (performance)g(evaluation)g(is)h(important)f(\(Andreas)h (Mitschele-Thiel\).)953 2959 y(3)p eop %%Page: 4 4 4 3 bop 20 168 a Fb(2.8)60 b(Limited)13 b(Input)j(Queues)20 261 y Fc(All)8 b(physical)g(systems)i(are)e(limited.)15 b(This)8 b(includes)h(input)e(queues)i(of)f(SDL)g(processes.)17 b(Unlimited)7 b(queues)20 322 y(ease)k(formal)f(validation.)15 b(The)c(question)f(has)h(been)g(raises)f(whether)g(the)h(validation)e (of)h(a)h(system)g(which)f(is)20 382 y(dif)o(ferent)h(from)h(the)g (implementation)g(is)h(useful)f(\(Andreas)g(Mitschele-Thiel\).)17 b(The)d(implications)d(of)i(in-)20 442 y(troducing)e(limited)g(queues)i (in)e(SDL)i(have)f(been)g(discussed.)18 b(The)12 b(implications)f(are)h (far)o(-reaching.)k(Most)20 502 y(important)7 b(seems)j(the)e(question) g(of)g(how)h(to)f(deal)h(with)f(buf)o(fer)f(over\257ow)h(and)g(the)h (implication)e(the)h(selected)20 562 y(solution)h(has)h(on)f(the)g (formal)f(semantics.)17 b(Alternatives)9 b(for)f(dealing)h(with)g(full) f(queues)i(are)f(discarding)g(the)20 622 y(signal,)k(throwing)d(an)i (exception,)h(or)e(restarting)g(the)h(system.)17 b(It)12 b(has)g(been)g(pointed)f(out)h(that)g(the)f(selected)20 683 y(action)i(depends)g(on)f(the)h(application.)k(It)c(has)g(been)g (noted)f(that)h(some)g(evaluation)f(tools)h(support)f(limited)20 743 y(buf)o(fers,)g(e.g.)18 b(GEODE)13 b(and)f(QSDL.)20 890 y Fb(2.9)60 b(Semantics)14 b(of)g(T)o(ime)20 984 y Fc(The)d(time)e(semantics)i(of)f(SDL)g(is)g(very)g(vague,)h(which)f (is)g(due)g(to)g(missing)g(agreement)g(on)g(the)g(issue)h(within)20 1044 y(Q.6.)17 b(Currently)m(,)10 b(the)g(time)g(may)g(or)g(may)g(not)g (be)g(advanced)g(by)g(an)h(action.)16 b(An)10 b(interpretation)f(of)g (this)i(is)f(to)20 1104 y(advance)g(the)g(time)f(only)g(when)h(all)f (queues)h(of)f(the)h(system)g(are)f(empty)g(\(Joseph)h(Sifakis\).)15 b(This)10 b(interpreta-)20 1164 y(tion)i(has)g(the)g(advantage)f(of)h (reducing)f(the)h(complexity)f(for)g(functional)g(simulation)g(and)h (validation.)k(For)20 1225 y(a)f(performance)e(simulation,)i(this)f (interpretation)f(seems)i(not)f(to)g(be)h(appropriate)e(\(Andreas)h (Mitschele-)20 1285 y(Thiel\).)93 1345 y(T)m(ools)h(supporting)e (performance)g(simulation)h(usually)g(implement)f(a)i(time)f(semantics) g(that)g(follows)20 1405 y(the)h(principles)f(of)g(discrete)g(event)g (simulation.)23 b(This)15 b(is)g(also)g(in)f(conformance)g(to)g(the)g (current)g(\(vague\))20 1465 y(time)e(semantics)h(of)f(SDL.)20 1613 y Fb(2.10)60 b(Hierar)o(chy)12 b(of)i(T)l(ypes)h(and)g(Defaults)20 1706 y Fc(The)c(possibility)f(to)g(use)g(defaults)g(for)f(resource)h (demands)h(to)f(release)g(the)g(user)g(from)f(the)h(task)h(of)f (associat-)20 1766 y(ing)i(a)g(resource)f(demand)h(to)g(every)f(action) h(has)g(been)g(identi\256ed)f(\(Oystein)h(Haugen,)g(Lennard)g (Lambert\).)20 1827 y(This)h(represents)g(an)f(extension)g(of)g(the)h (approaches)f(followed)g(by)g(SPECS)g(and)h(ObjectGEODE.)20 1974 y Fb(2.1)m(1)59 b(T)-5 b(ool)14 b(Support)h(versus)g(Language)f (Extensions)h(and)g(Standardization)20 2068 y Fc(The)d(question)f(to)f (what)h(extent)g(the)g(performance)f(evaluation)g(is)i(a)f(tool)g (issue)g(rather)f(than)h(a)g(standardiza-)20 2128 y(tion)h(issue)h(has) g(been)g(raised.)20 2297 y Fd(3)72 b(FUR)m(THER)17 b(PROCEEDING)20 2423 y Fb(3.1)60 b(ITU)15 b(Meeting)f(in)h(Geneva)e(\(End)j(of)e(Mar)o (ch)h(1998\))20 2517 y Fc(It)h(is)g(planned)g(to)f(present)h(the)g (motivation)f(for)g(the)h(study)g(and)g(integration)f(of)h(performance) e(and)i(time)20 2577 y(issues)c(to)e(the)g(SG)g(10)h(plenary)m(.)k(The) c(list)g(of)e(open)i(issues)g(will)f(be)h(presented)f(at)h(the)f(Q.6)h (meeting)f(together)20 2637 y(with)i(a)h(discussion)g(of)f(proposals)g (related)g(to)g(the)h(issue.)953 2959 y(4)p eop %%Page: 5 5 5 4 bop 20 168 a Fb(3.2)60 b(Afterwards)20 261 y Fc(Progress)12 b(depends)h(on)f(participation)f(of)h(the)h(performance)e(community!)20 322 y(PLEASE)i(GET)h(INVOL)-5 b(VED)953 2959 y(5)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF

-----End text from Andreas Mitschele_Thiel <mitsch#immd7.informatik.uni-erlangen.de> to sdlnews ----- For help, email "majordomo#sdl-forum.org" with the body of your email as: help or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org



This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT