microservices - saveriogiallorenzo.com€¦ · - choreographies, session - types and process...

[email protected] | DISI at Unibo | Bologna | Meeting on Microservices 2016

Microservices scenarios of the near and far future

1

Saverio Giallorenzo

mailto:[email protected]?subject=


Howdy

2

Saverio

Post-doc at the Department ofComputer Science andEngineering of University ofBologna.

Research topics:- Concurrent and distributed

programming;- Choreographies, Session- Types and Process Algebras.- Microservices;- Jolie;


[email protected] | DISI at Unibo | Bologna | Meeting on Microservices 2016 3

Saverio Giallorenzo

WARNINGMAY CONTAIN

CHOREOGRAPHIES

Microservices scenarios of near and far future



Today’s Limits

4

There is no effort without error and

shortcoming.“Citizenship in a Republic”, Theodore Roosevelt, 1910



Today’s Limits

4


shortcoming.

innovation

“Citizenship in a Republic”, Theodore Roosevelt, 1910



Vendite Magazzino Spedizioni

requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote

forward ordersend order

send tracking code

confirm reception

confirmdelivery

Distributed Programming5

Sales Storage Delivery




requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery


What’s here inside (e.g., error tracing)?





requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery



Internal functionality?Does the deliverer provide it? Docs/APIs?





requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery



Internal functionality?Does the deliverer provide it? Docs/APIs?

Sequential (in which order) or in parallel?




“Not my problem”6

Direction

Sales

StorageDelivery




Direction

Sales

StorageDelivery

Big Picture




Direction

Sales

StorageDelivery

Big Picture

Gulf of execution




Direction

Sales

StorageDelivery

Big Picture

Micro-management

Gulf of execution




Direction

Sales

StorageDelivery

Big Picture

Micro-management

Gulf of execution

Coordination?Accountability?




Direction

Sales

StorageDelivery

Big Picture

Micro-management

Gulf of execution Gulf of

Evaluation

Coordination?Accountability?



Scalable Architectures7


WebServer

CRM

GestoreOrdini

HardwareManag.

GestioneOrdini

DeliveryManag.

Delivery Tracking

WebServer

WebServer

GestoreOrdiniOrder

Manag.

GestioneOrdiniOrder

Manag.

quote

tracking

?





WebServer

CRM

GestoreOrdini

HardwareManag.

GestioneOrdini

DeliveryManag.

Delivery Tracking

WebServer

WebServer

GestoreOrdiniOrder

Manag.

GestioneOrdiniOrder

Manag.

quote

tracking

?

=





WebServer

CRM

GestoreOrdini

HardwareManag.

GestioneOrdini

DeliveryManag.

Delivery Tracking

WebServer

WebServer

GestoreOrdiniOrder

Manag.

GestioneOrdiniOrder

Manag.

quote

tracking

?

rebind the arrowsat each “scaling”=



A look at the future Choreographic Programming

8




requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery

Enter AIOCJ

9


order@Client = getInput( "Insert products" );

request_quote: Client( order ) -> Sales( order );

confirm_avail: Sales( order ) -> Storage( objects )



Architectural Vision

10







10

Client Sales DeliveryStorage







requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery

11


include checkAvail from “socket://storage:8000"



confirm_avail: Sales( order ) -> Storage( objects );

avail@Storage = checkAvail( objects )




requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery

11


include checkAvail from “socket://storage:8000"





What’s here inside




12


WebServer

CRM

Order Manag.

HardwareManag.

OrderManag.

DeliveryManag.

Delivery Tracking

Client Sales DeliveryStorageClient




12


WebServer

CRM

Order Manag.

HardwareManag.

OrderManag.

DeliveryManag.

Delivery Tracking


Function checkAvail

Client




requestquote

confirmavailability

optsendquote

productsunavailable

optapprovequote

refusequote


send tracking code

confirm reception

confirmdelivery

13


include checkAvail from “socket://storage:8000”

include calcQuote from “socket://sales:8001"





if ( avail )@Storage {

quote@Sales = calcQuote( order );

send_quote: Sales( quote ) -> Client( quote );

…

} else {

product_unavailable: Sales() -> Client()

}



Netflix

14

Why not peer to peer choreography?



Netflix

We found it was harder to scale with growing business needs and complexities. Some of the issues associated with the approach are:

14




Netflix


Process flows are “embedded” within the code of multiple application.

14




Netflix


Process flows are “embedded” within the code of multiple application.Often, there is tight coupling and assumptions around input/output, SLAs etc, making it harder to adapt to changing needs.

14




Netflix (cont’d)

15






Netflix (cont’d)

15

Why not peer to peer choreography? True if you leave the

choreographic domain. It is like writing C code and trying to change the program by changing the compiled assembly code.





Netflix (cont’d)

15



On the contrary. Choreographies help to clarify public functions and their APIs (I/Os).





Netflix (cont’d)

15



On the contrary. Choreographies help to clarify public functions and their APIs (I/Os). Choreographies written in AIOCJ are adaptable at runtime!





Architectural Vision (Part II)

16


WebServer

CRM

Order Manag.

HardwareManag.

OrderManag.

DeliveryManag.

Delivery Tracking

Client Sales DeliveryStorageClient




WebServer

CRM

GestoreOrdini

HardwareManag.

OrderManag.

DeliveryManag.

Delivery Tracking


WebServerWeb

Server

GestoreOrdiniOrder

Manag.Load

Balancer

Circuit Breaker

WebGateway

Architectural Vision (Part III)



Today’s Limits

18


shortcoming.

innovation




shortcoming.

innovation




shortcoming.

innovation

Tomorrow’sStandards



Distributed programming becomes easier;

18


shortcoming.

innovation





Accountability and formal APIs;

18


shortcoming.

innovation





Accountability and formal APIs;

Scalable and reliable architectures.

18


shortcoming.

innovation



Thanks for the attention

19

Questions: Saverio( ? ) -> MoM2016( ! )

microservices - saveriogiallorenzo.com€¦ · - choreographies, session - types and process...

Documents