ludovic henrio n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Ludovic HENRIO PowerPoint Presentation
Download Presentation
Ludovic HENRIO

Loading in 2 Seconds...

play fullscreen
1 / 33

Ludovic HENRIO - PowerPoint PPT Presentation


  • 70 Views
  • Uploaded on

Ludovic HENRIO. OASIS - INRIA - Sophia Antipolis. Research interests and objectives ASP calculus Principles Properties (confluence and determinacy) ProActive Components and perspectives. I3S - INRIA - University of Nice Sophia-Antipolis. Current Research Interests.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Ludovic HENRIO' - hayes-mccormick


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
ludovic henrio

Ludovic HENRIO

OASIS - INRIA - Sophia Antipolis

Research interests and objectives

ASP calculus

Principles

Properties (confluence and determinacy)

ProActive

Components and perspectives

I3S - INRIA - University of Nice Sophia-Antipolis

current research interests
Current Research Interests
  • Languages theory: objects, calculi, determinacy
    • Calculus ASP [POPL’04], [book Springer-Verlag], [pattent], [submitted to TCS]
    • Fault tolerance [submitted to SRDS]
    • Security
  • Static analysis
    • Security for JavaCard [e-Smart’01]
    • Java ByteCode verifier [JFLA’03]
    • Study of a static analysis : 0-CFA [JFLA’04]

Interests and objectives

research plans
Research plans
  • Distributed objects theory
  • Fault tolerance
  • Grid computing
  • Distributed components
  • Behavioral specification
  • Verification of component composition for the grid
  • Objective : proving distributed programs for the grid.

Interests and objectives

asynchronous and deterministic objects
ASYNCHRONOUS AND DETERMINISTIC OBJECTS
  • ASP: Asynchronous Sequential Processes
  • Distributed objects
  • Asynchronous method calls
  • Futures and Wait-by-necessity
  • Determinism properties

ASP

structure

a

b

foo

f2

f1

foo

g

d

f3

Structure

Active(a)

1- ASP Principles

sending requests request
Sending Requests ( REQUEST )

a

b

beta.foo(b)

foo

result=beta.foo(b)

1- ASP Principles

sending requests request1

result

Sending Requests ( REQUEST )

a

b

beta.foo(b)

foo

result=beta.foo(b)

1- ASP Principles

serving requests serve

result

Serving Requests ( SERVE )

a

b

Serve(foo);...

beta.foo(b)

bar

foo

Serve(foo);...

1- ASP Principles

serving requests serve1

result

foo

...

foo

Serving Requests ( SERVE )

a

b

Serve(foo)

beta.foo(b)

bar

Serve(foo);...

1- ASP Principles

end of service endservice
End of Service ( ENDSERVICE )

a

b

value

...

foo

1- ASP Principles

end of service endservice1
End of Service ( ENDSERVICE )

a

b

...

foo

1- ASP Principles

sending results reply
Sending Results ( REPLY )

a

b

foo

1- ASP Principles

sending results reply1
Sending Results ( REPLY )

a

b

foo

1- ASP Principles

wait by necessity
Wait by Necessity

a

b

delta.send(result)

d

1- ASP Principles

wait by necessity1

result.bar()

Wait by Necessity

a

b

delta.send(result)

result.bar()

d

1- ASP Principles

wait by necessity2

result.bar()

Wait by Necessity

a

b

delta.send(result)

result.bar()

d

1- ASP Principles

wait by necessity3
Wait by Necessity

a

b

Futures updates can

occur at any time

result.bar()

d

1- ASP Principles

asp syntax source terms
ASP Syntax : source terms
  • Imperative V-calculus
  • ASP parallelism primitives

2- Syntax and Semantics

slide19

Service

Local

Creating

Activity

Sending

request

Receiving

replies

2- Syntax and Semantics

equivalence modulo futures updates

a

f1

b

g

f2

Equivalence Modulo Futures Updates

a

f1

b

g

f2

f3

3- Confluence and Determinacy

equivalence modulo futures updates1

f1

f1

Equivalence Modulo Futures Updates

a

a

f2

f1

b

g

b

g

f2

f3

3- Confluence and Determinacy

compatibility

g

b

a

delta.foo()

Compatibility

Serves the oldest

request on

foo OR bar

bar

d

….

Serve(foo,bar)

Serve(foo,gee)

foo

gee

3- Confluence and Determinacy

confluence

P0

P

Q

R

  • RSL definition:
  • Configuration Compatibility:
Confluence
  • Potential services:

Execution characterized

by the order of Request Senders

Compatibility  Confluence

3- Confluence and Determinacy

deterministic object networks

delta.gee(a)

bar

delta.bar(a)

gee

DON(P):

Deterministic Object Networks

g

b

DON terms behave

deterministically

d

{foo,bar} , {foo,gee}

{bar,gee} , {foo}

gee bar

bar gee

3- Confluence and Determinacy

static don

g

{gee}, {f,g}

Static DON

a

d

f

{foo,bar} , {gee}

{gee}, {f,g}

{foo,bar} , {gee}

{f,g}

g

g

g

foo

f

{foo}, {bar}

{foo,bar} , {gee}

bar

f

e

b

{gee}, {f,g}

{bar} , {gee}

{gee}, {f,g}

gee

3- Confluence and Determinacy

conclusion
Conclusion
  • An Asynchronous Object Calculus :
    • Structured asynchronous activities
    • Structured communications with futures
    • Data-driven synchronization
  • ASP Confluence and Determinacy
  • Future updates can occur at any time
  • Execution characterized by the order of request senders
  • Determinacy of programs communicating over trees, …

4- Conclusion

proactive a java api tools for the grid

SMP

LAN

Clusters

ProActive:A Java API + Tools for the GRID

Parallel, Distributed, Mobile, Activities, across the world !

Desktop

  • Model:
  • Remote Mobile Objects
  • Asynchronous Communications with automatic Futures
  • Group Communications, Migration, NF Exceptions
  • Environment:
  • XML Deployment, dynamic class-loading
  • Various protocols: rsh,ssh,LSF,Globus, BPS,…
  • Graphical Visualization and monitoring: IC2D

ProActive

creating ao and groups

A

V

Creating AO and Groups

A ag = newActiveGroup (“A”, […], VirtualNode)

V v = ag.foo(param);

...

v.bar(); //Wait-by-necessity

Group, Type, and Asynchrony

are crucial for Components. and GRID

Typed Group

ProActive

components in asp
Components in ASP
  • Client Interface = reference to an active object
  • Server Interface = potential service of an active object

Components

a deterministic component
A Deterministic Component
  • Com position of deterministic (primitive) components
  • One-to-one mapping from Server to client interface

Components

perspectives
Perspectives
  • Specifying components for grid-computing
    • A distributed component model
    • Grid components: fault tolerance, group comunication …
    • Structured and typed components
  • Verifying components composition and behavior
    • Model checking
    • Identical and/or deterministic components

Thank You

Any Question?

Perspectives

context
Context
  • V-calculus
    • Objects, not concurrent
    • Some concurrent extensions, notour way to determinism
  • -calculus
    • Communications, channel based, not object structured
    • Linear(ized) channels(pobl), no implicit synchronization
  • Process Networks
    • Processes, channel based, not object oriented
    • Determinism, no implicit synchronization

Context

activity creation newact

g

newact

Activity Creation ( NEWACT )

a

Active(a)

b

newact=Active(a)