wave technology

Wave Technology

Table of Contents

A. IntroductionB. Getting Started with WAVE ProgrammingC. The WAVE LanguageD. RulesE. Basic Space Navigation Mechanisms in WAVEF. Graphical representation of wave: SPREAD

DIAGRAMSG. Wave and sequential programmingH. Modeling inter-process communications

Table of Contents

Session 1: Introduction

Introduction

• Wave is a special model, language and technology for highly parallel, distributed and cooperative systems.

• Originally designed for dealing with virtual worlds represented as dynamical Knowledge Networks.

• Based on recursive programs (waves) spreading, replicating, and splitting in active dynamic knowledge networks.

Wave Technology

• Wave Language• Wave Interpreter• Interface to the Internet (UDP/IP)• Interface to Unix (Solaris/Linux)• A good collection of applications

WAVE Architecture in Networks

WAVE Kernel

UDP/IP

WAVE Protocol

UNIX OS

WAVE Interpreter (NI)

Network

Wave Technology• Maps the Internet into a simple, seamless,

productive global info infrastructure (middleware)

• Allows rapid development of cooperative, distributed applications over the info infrastructure

WAVE Knowledge Network

Physical Network (Internet)

WAVE Applications

Layered Organization of WAVE

WAVE Application Layer

Dynamic Track Layer

Knowledge Network Layer

Network (Internet) Layer

Wave Salient Features

• Cooperative, distributed activities (programming)

• Spatial navigation with high parallelism • Dynamic distributed control• High-level abstraction (Free from

implementation details)• Operating with information and physical

systems

ApplicationsComputing grid

Intelligent networks

Service & security management

Traffic management (Data, Road and Air)

Distributed gaming

Distributed robotics

Distributed simulation (e.g. battle-field)

Applications

Table of Contents

Session 2: Getting Started with WAVE Programming

Creation of elementary networks• Creating a single node:

CREATE ( DIRECT # a ) Short: CR (@#a)

CR(@#a)

Creation of elementary networks• Adding node b connected to node a by an unoriented link p:

DIRECT # a. CREATE ( p # b )Short: @#a.CR(p#b)

CR(p#b)

@#a.CR(p#b)a

Creation of elementary networks• Adding node c connected to node a by an oriented link p:

DIRECT # a. CREATE ( +q # c )Short: @#a.CR(+q#c)

CR(+q#c)

@#a.CR(+q#c)a

Creation of elementary networks• Incremental creation of the entire network by an integral

templateCREATE ( DIRECT # a. p # b, + q # c )

Short: CR ( @#a. p#b, +q#c )aCR ( @#a. p#b, +q#c )

CR (p#b)

CR (+q#c)

Elementary data retrieval from a network

• Printing neighbors of node a in parallel on different terminalsDIRECT #a. ANY # ANY. TERMINAL = CONTENT

Short: @#a. #. T = C

a @#a. #, T=C

T=CT=Cb c

Terminal 1 Terminal 2

• Returning results to node a before printingDIRECT #a. ANY # ANY. Ftransit = CONTENT. LINK #

PREDECESSOR. TERMINAL = FtransitShort: @#a. #.F=C.L#P.T=F

a@#a. #.F=C.L#P.T=F

#.F=C.L#P.T

#.F=C.L#P.T=F

T=CT=C

L#P.T=FF=b

L#P.T=FF=c

T=FT=F

Terminal

Elementary data retrieval from a network

Collecting distributed data in one list

• Collecting neighbors into a single list with its subsequent printing

DIRECT # a.SEQUENCE (

( ANY # ANY. Ftransit = CONTENT.Link # PREDECESSOR. Nlist & Ftransit),TERMINAL = Nlist

Short: @#a. SQ( (#. F=C. L#P. N&F), T=N )

@#a. SQ( (#. F=C. #P. N&F), T=N )

F=CF=C @#a.SQ((#.F=C.#P.N&F), T=N

SQ((#.F=C.#P.N&F), T=N#.F=C.#P.N&F #.F=C.#P.N&F

F=C.#P.N&FF=C.#P.N&FF = cF = b

#P.N&F#P.N&F

N&FN&F

T= NT = N

Terminal

Procedures as network nodes• Fprocedure = {

DIRECT # a. ANY # ANY. TERMINAL = CONTENT

}.CREATE ( DIRECT # Fprocedure ).DIRECT # b;c. CREATE ( f # PREDECESSOR )

Short: Fp = {@#a. #. T=C}. CR(@#Fp). @#b;c. CR(f#P)CR(@#{@#a. #. T=C}). @#b;c. CR(f#P)

Procedures as network nodes• CR(@#{@#a. #. T=C}). @#b;c. CR(f#P)• Activating the procedure:

DIRECT # c. f # ANY. ^CONTENTShort: @#c. f#. ^C

@#a.#.T=C

@#c.f#.^C

f#. ^C^C

@a.#.T=C

#.T=C #.T=C

T=CT=C

Teminal 1 Teminal 2

Creating arbitrary networksCREATE (

DIRECT # b. Freturn = ADDESS.s # d.( r # a. P # Freturn),( t # c. q # Freturn )

CR(@#b. F=A.s#d. (r#a.p#F), (t#c.q#F))

Creating arbitrary networksCR(@#b. F=A.s#d. (r#a.p#F), (t#c.q#F))

CR(@#b. F=A.s#d. (r#a.p#F), (t#c.q#F))

CR(s#d. (r#a.p#F), (t#c.q#F))F = [b]

CR(r#a.p#F)F = [b]

CR(p#F)F = [b]

Following a path in a network• Following an explicit path in the networkDIRECT # a.P # ANY. q # ANY. S # ANY.TERMINAL = CONTENT

Short: @#a. p#. q#. s#. T =Cd

@#a.p#.q#.s#.T=Cp#.q#.s#.T=C

q#.s#.T=C

s#.T=C

Terminal

Table of Contents

Session 3: The WAVE Language

Main knowledge network components

18Peter Mary

loves agea1a1

Absolute node addresses

friends

Nonoriented links

Oriented links

Individual node & link names (contents)

Syntax• WAVE {{Move,}.}• Move Dat Op Dat | [Rule] (WAVE)• Rule SQ | OS | OP | AS | AP | RP | WT |

ID |CR | RL• Dat {string;} | N {L_D} | f {L_D} | C | A | P

| S | T• Op # | ## | ~ | /~ | == | /= | < | <= | > |

>= | ! | ^ | = | + | - | * | / | & | : | :: | | | % | ?

Table of Contents

Session 4: Rules

• Branching Rules• Repetition• Wait• Protecting Shared Resources• Create• Release• Synchronized Versus Nonsynchronized Rules

• BRANCHING RULES• Repetition• Wait• Protecting Shared Resources• Create• Release• Synchronized Versus Nonsynchronized Rules

Branching Rules

• SEQUENCE (SQ)• OR_SEQUENTIAL (OS)• AND_SEQUENTIAL (AS)• OR_PARALLEL (OP)• AND_PARALLEL (AP)• RANDOM (RD)

SEQUENCE (SQ)

Startw1 w2 w3

Sequential: SQ( w1. w2. w3 )

SEQUENCE (SQ)F = 3. SQ ( F – 5, F + 2. T = F )

SQ ( F – 5, F + 2. T = F )

SQ ( ( F – 5. T = F ), ( F + 2, T = F ) )

F – 5. T = F

F = 3 – 5 = -2 PRINT: -2F + 2. T = F

F = 3 + 2 = 5 PRINT: 5

SEQUENCE (SQ)F = 3. SQ ( F – 5, F + 2). T = F

SQ ( F – 5, F + 2). T = F

SQ ( F – 5, F + 2 )

F – 5

F = 3 – 5 = -2

PRINT: -2

F + 2. T = F

F = 3 + 2 = 5

PRINT: 5

PRINT: -2

OR_SEQUENTIAL (OS)

Startw2 w4

OR_SEQUENTIAL(w1, w2, w3); w4

OR_SEQUENTIAL (OS)

OR_SEQUENTIAL ( ( N == 1. p # b ), STAY ). N + 5

AND_SEQUENTIAL (AS)

AND_SEQUENTIAL(w1, w2, w3)

AND_SEQUENTIAL (AS)N = { + #. Nn > 0 }; { #. T = C }

AND_SEQUENTIAL ( ^N )

OR_PARALLEL (OP)

Startw2 w4

OR_PARALLEL(w1, w2, w3); w4

TRUE TRUE

OR_PARALLEL (OP)

Startw2

OR_PARALLEL(w1, w2, w3); w4

FALSE FALSE

AND_PARALLEL (OP)

Startw2 w4

AND_PARALLEL(w1, w2, w3); w4

AND_PARALLEL (AP)

SN R4Start

AND_PARALLEL(w1, w2, w3); w4

SN R3 TRUE

AND_PARALLEL (AP)

AND_PARALLEL ( ANY # ANY. Ntest == None ). ^Ftail

RANDOM (RN)RN ( @ #. N12 + 100 )

• Branching Rules• REPETITION• Wait• Protecting Shared Resources• Create• Release• Synchronized Versus Nonsynchronized Rules

RepetitionREPEAT ( + ANY # ANY ). TERMINAL = CONTENT

N = 2. REPEAT ( N /= 5 )

• Branching Rules• Repetition• WAIT• Protecting Shared Resources• Create• Release• Synchronized Versus Nonsynchronized Rules

WAIT ( DIRECT # ANY. NN = 1. F = 2 ). wave_re

• Branching Rules• Repetition• Wait• PROTECTING SHARED RESOURCES• Create• Release• Synchronized Versus Nonsynchronized Rules

• Branching Rules• Repetition• Wait• Protecting Shared Resources• CREATE• Release• Synchronized Versus Nonsynchronized Rules

• Branching Rules• Repetition• Wait• Protecting Shared Resources• Create• RELEASE• Synchronized Versus Nonsynchronized Rules

• Branching Rules• Repetition• Wait• Protecting Shared Resources• Create• Release• Synchronized Versus Nonsynchronized Rules

RulesSummary:• Rules are important in WAVE• Branching Rules: SQ, OS, AS, OP, AP, RN• Repetition, Wait, Protecting Shared

Resources (INDIVISIBLE), Create, Release are usually used in WAVE and Synchronized Versus Nonsynchonized help us more understand about rules.

Table of Contents

Session 5: Basic Space Navigation Mechanisms in WAVE

Breath-First Parallel Spread

• Start in some node as a current node• Repeat from all current nodes:

– If the current node is not marked, mark it• Otherwise, halt this branch

– Hop through all links (broadcast) to neighboring nodes (excluding the predecessor node from which the current node has been reached)

– Every node reached becomes a current node

Exemplary network topology

Repetitive SpreadDIRECT # c.REPEAT (

INDIVISIBLE (Node_mark == NONE. Node_mark =1).TERMINAL = CONTENT.ANY ## ANY

Recursive SpreadFbreadth_spread = { INDIVISIBLE ( Node_mark==NONE. Node_mark =

1) .TERMINAL = CONTENT .ANY # ANY .^ Fbreadth_spread}.DIRECT # c.^ Fbreadth_spread

Limited Depth SpreadDIRECT # a . Fdepth_limit = 2 .REPEAT (

Fcurrent_depth + 1 .Fcurrent_depth <= Fdepth_limit .INDIVISIBLE ( Node_mark == NONE. Node_mark

= 1) .TERMINAL = CONTENT .ANY # ANY

Spread Through All LinksDIRECT # c.REPEAT (

OR_SEQUENTIAL (INDIVISIBLE (

Node_mark == NONE. Node_mark = 1 .TERMINAL = LINK) ,( PREDECESSOR > ADDRESS . TERMINAL = LINK. DONE !)

) .ANY ## ANY

Evolent Spread

o Start in some node as a current nodeo Repeat from all current nodes:

– If the current node is not in the mobile list–Append the node's name to the mobile list

• Otherwise, halt this branch– Broadcast to all neighboring nodes (excluding

the predecessor node)– Every node reached becomes a current node

Repeatitive spread

DIRECT # c .REPEAT (

CONTENT /~ Fpassed_nodes .Fpassed_nodes & CONTENT .TERMINAL = CONTENT .ANY ## ANY

Evolvent tree

b a d a g t

a b a d f g

s r s p p q

p p r ru u

Parallel Breadth First Synchronous Spread

• Start in some node as a current node• Repeat from all current nodes

– Wait for full completion of the following processes• If the current node is not marked, mark it

–Otherwise, halt this branch• Hop through all links (broadcast) to

neighboring nodes (excluding the predecessor node)

• Every node reached become a current node

Using Nested Rules

Fnext = { TERMINAL = CONTENT . ANY ## ANY . INDIVISIBLE ( Node_mark == NONE. Node_mark = 1 )} .DIRECT # c. Node_mark = 1 .WAIT (

...WAIT ( ^Fnext). ^Fnext...

). ^Fnext). ^Fnext

Breadth-first synchronous spread

Step 1

Sequential breadth-first, or spiral, spread

spiral

Depth-First Sequential Spread

• Define the depth-first spread procedure as:– If current node is not marked, mark it, otherwise halt– Do the following sequentially for all links in the current node:

• Hop through a new link to a new current node• Activate the depth-first spread procedure

– Start in node c– Activate the depth-first spread procedure

Fdepth_first_spread ={ INDIVISIBLE ( Node_mark == NONE.

Node_mark = 1 ) . TERMINAL = CONTENT . SEQUENCE (ANY # ANY. ^Fdepth_first_spread

)} .DIRECT # c. ^Fdepth_first_spread

Fig. 4.8. Depth-first sequential spread

CONTINUOUS SPREAD

LOOPING MODE• Start in some node and set up a marking color• Repeat from the starting node• Do the two steps sequentially from the starting node, which is

also a current node:1. Repeat from all current nodes

If the current node is not marked with the color, mark it with the colorHop through all links (broadcast) to neighboring nodes (excluding the predecessor node)Every node reached becomes a current node

2. Make a delay in the starting node and change the color

r …n ... … q

q… s

Continuous spread

Pipeline Mode

• Define the pipeline spread procedure as:– Set up a new, stronger, spread color– Do the following two parts independently and in parallel

1. Repeat from the current node– If the current node’s mark is weaker than the spead color, mark the

current node with the spread color, otherwise halt– Broadcast though all links to neighboring nodes (except the

predecessor node), each becoming current node

2. Activate the pipeline spread procedure after a delay– Start in node c as a current node– Activate the pipeline spread procedure

Table of Contents

Session 6: Graphical representation of wave: SPREAD DIAGRAMS

Spread diagram

1. Basic Components:

SNR m Arbitrary move

…Rules and

rule –controller

1.1 Halts

Link Ni Fj Spatial variable

Spread diagram

2. Structuring:m1.m2,(m3.m4).m5

m1.(m2,(m3.m4)).m5

SNR1m234

SNR3m5

Spread diagram

3. More details:

SNR0 N1

F=N1.a#.N2=F(a)

m1..m2

m1.m2,.m3

F=1.F>0.F!.=m4(b)

Spread diagram

4. Parallel processes in Distributed data:

m1 m3m2

m1, m2,m3. m4, m5

m1 m3m2

(m1.m4, m5),(m2.m4,m5) , (m3.m4,m5)

m5 m4 m5 m4 m5m4

SNR21 SNR22 SNR23

m1.m2.m3

m2 m2 m2

m3SNR2

m1.m2, m2,m2.m3

m2 m2 m2

SNR3m1.(m2(m3,m3,m3)), (m2.(m3,m3,m3)), (m2.(m3,m3,m3))

m3 m3 m3 m3 m3 m3 m3 m3 m3

m1.OP(m2,m3.m4).m5

m4SNR2

m1.OP((m2.m4),(m3.m4)).m5

SNR4m5

SNR32branch1 branch2

m4 m4 m4

m1.OP((m2.m4,m4,m4), (m3.m4,m4,m4)).m5

Spread diagram

5. Example:

Knowledge Network

a a a …

b b b… c c c …

p#b q#c

T=C.5?sleepm2

CREATE(DIRECT#a.p#b,q#c,STAY).REPEAT(TERMINAL=CONTENT.5?sleep)

Table of Contents

Session 7: Wave and sequential programming

Wave and sequential programming

• Expressing a sequence of Statements• If-else Statements• Multiway Decisions• Loops

• EXPRESSING A SEQUENCE OF STATEMENTS• If-else Statements• Multiway Decisions• Loops

Expressing a sequence of Statements

• C languages1 ; s2 ; s3 ; s4

• Wave– Depth mode: period operator

s1 . s2 . s3 . s4– Breadth mode: using SQ rule with comma

seperatorSQ(s1, s2, s3, s4)

– Combination of the two

Expressing a sequence of Statements (2)

s4s1 s2 s3 s4

s1.s2.s3.s4SQ(s1,s2,s3,s4)

SQ s1 s2

s1.SQ((s2.s3),s4) SQ(s1,(s2.SQ(s3,s4)))

1!s12 s1 s2 s3

(SQ(s1,(s2. 1!)).s3.s4)RN(SQ(s1, s2, s3)).s4

• Expressing a sequence of Statements• IF-ELSE STATEMENTS• Multiway Decisions• Loops

If-else Statements

OS(e . s1,s2 )OS(AS(e . 1! , s1),s2)

If-else Statements (2)

SQ(AS(e , s1 . 1!), )WT(e . s1 . 1! , )OS(e . s1 , )

• Expressing a sequence of Statements• If-else Statements• MULTIWAY DECISIONS• Loops

Multiway Decisions

• else-if with filters

OS((e1 . s1) , (e2 . s2) , … , (em . sm) , sd )

……

Multiway Decisions (2)

• Else-if parallel version

……

RN(OS(((e1 . s1) , (e2 . s2) , … , (em . sm)) , sd ))

• Else-if with AS rule

RN(OS(AS(e1 , s1) , … , AS(em , sm) , sd))

e1 sms1

……

• switch

N==c1 N==cm

e . OS((N==c1 , s1) , … , (N==cm , sm) , sd)

• Expressing a sequence of Statements• If-else Statements• Multiway Decisions• LOOPS

• Most traditional types– while ( e ) s– do s while ( e )

• ‘For’ Statement– For (e1 ; e2 ; e3) s e1; while (e2) { s; e3 }

Repetition Expressing loops by Recursion

Loops (2)

• Express using Repetition

RP(p.q)

RP(AS(p, (q . 1!))

RP(RN(AS(p , q)))

Loops (3)

• Express using Recursion

{ }Nl=

Nl = {p . q . ^Nl} . SQ(^Nl , )

p{ }Nl=

Nl = {AS(p , (q . ^Nl))} . SQ(^Nl , )

{ }Nl=

Nl = {p . q . ^Nl} .^ Nl

Loops (4)

‘For’ statement examples• C style: for (i = 0; i < n; i++) s += a[i]

• Ni = 1 . REPEAT (Ni <= Nn . Ns + Na : Ni . Ni + 1)• REPEAT ( Ni < Nn . Ni + 1 . Ns + Na : Ni)• Sequential programming in Wave: Nodal and

Frontal variables are the same!

Table of Contents

Session 8: Modeling inter-process communications

Modeling inter process communication

• Asynchronous data transfer• One-way synchronization• Bilateral rendezvous (two-way)• Sharing common resources

1. Asynchronous data transfer• Sender:head producing Nsender( Ftransit = Nsender.link # receiver.Nreceiver = Ftransit

• Receiver: any process using Nreceiver

1. Asynchronous data transfer

head.(Ft=Ns.l#r.Nr=Ft),tail

Ft = Ns.l#r

Nr = Ft

any process using Nr

process

2. One-way synchronization• Sender:head producing Nsender( Ftransit = Nsender.

link # receiver.Nreceiver = Ftransit)tail

• Receiver: HeadREPEAT( Nreceiver == NONE).Tail consuming Nreceiver

2. One-way synchronization

Ft = Ns.l#r

Nr = Ft

Same location

head.(Ft=Ns.l#r.Nr=Ft),tail head.RP(Nr==).tail

Modeling inter process communication3. Bilateral rendezvous (two-way)• Sender:head producing NsenderREPEAT(Nbegin == NONE).( Ftransit = Nsender.link # receiver.Nreceiver = Ftransit

)tail• Receiver: Head(link # sender.Nbegin = 1),(REPEAT( Nreceiver == NONE).Tail consuming Nreceiver)

Modeling inter process communication3. Bilateral rendezvous (two-way)

Ft = Ns.l#r

Nr = Ft

Nr ==Nr

Same location

NbNs l#s

Nb = 1

Same location

head.RP(Nb==).(Ft=Ns.l#r.Nr=Ft),tail head.(l#s.Nb=1),RP(Nr==).tail

Modeling inter process communication3. Sharing common resouces(head_1.INDIVISIBLE( working_with_a_common_resouce).tail_1),(head_2.INDIVISIBLE( working_with_a_common_resouce).tail_2),……(head_m.INDIVISIBLE( working_with_a_common_resouce).tail_m)

Modeling inter process communication3. Sharing common resources

head 1

tail 1

Working with a common resource

process 1

head m

tail m

Working with a common resource

process m

Same location

THANKS FOR YOUR ATTENTION!

wave technology

Documents

3 technology mega trends driving digitization wave

lens (iol) with x-wave technology

(출처: marketsandmarkets, millimeter wave technology...

axial wave - california institute of technology

shock wave technology and application_ an update

millimeter wave technology for advanced energy …millimeter...

wave energy utilization_a review of the technology

scalar wave technology

decora smart with z-wave technology - the home … bulletin...

white paper: frequency modulated continuous wave...

that provides acoustic wave trillions - ir...

leaky wave antenna design based on siw technology for...

silver surfers: riding the wave of technology

the next wave in customer service technology

new wave of technology - sae

next wave: simplicity and hr through technology

study on acoustic wave transmission technology of

pre-wave survey: technology adoption

wave disc engine technology

millimeter wave technology