Flux: A Language for Programming High-Performance Servers

Flux A Language for Programming High-Performance Servers Brendan Burns , Kevin Grimaldi, Alex Kostadinov, Emery Berger, Mark Corner University of Massachusetts Amherst

Motivation: Image Server ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],http://server/Easter-bunny/ 200x100/75 not found client image server

Problem: Concurrency ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],clients image server

The Flux Programming Language ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],High-performance & deadlock-free concurrent programming w/ sequential components

Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Flux Server: Main ,[object Object],[object Object],[object Object],Listen source Listen  Image; image server ReadRequest Write Compress Complete ReadRequest Write Compress Complete ReadRequest Write Compress Complete

Flux Image Server ,[object Object],[object Object],[object Object],[object Object],[object Object],ReadRequest Write Compress Complete libjpeg socket http http Image = ReadRequest  Compress  Write  Complete; image server

Adding Caching ,[object Object],[object Object],[object Object],[object Object],Listen ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit typedef hit TestInCache; Handler:[_,_,hit] = ; Handler:[_,_,_] = ReadFromDisk  Compress  StoreInCache; handler handler

Supporting Concurrency ,[object Object],[object Object],[object Object],[object Object],[object Object],atomic CheckCache {cacheLock}; atomic Complete {cacheLock}; atomic StoreInCache {cacheLock}; Listen ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit handler handler

Preventing Deadlock ,[object Object],[object Object],[object Object],atomic A: {z,y}; atomic B: {y,z}; atomic A: {y,z}; atomic B: {y,z};

Preventing Deadlock, II ,[object Object],A = B; C = D; atomic A{z}; atomic B{y}; atomic C{y,z} A = B; C = D; atomic A{y,z}; atomic B{y}; atomic C{y,z} ,[object Object],B A C B A:{z} C B A:{z} C:{y} B A:{y,z} C

Finally: Handling Errors ,[object Object],[object Object],[object Object],[object Object],Listen FourOhFour handle error ReadInFromDisk  FourOhFour; ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit handler handler

Complete Flux Image Server ,[object Object],[object Object],Listen image server source Listen  Image; Image = ReadRequest  CheckCache  Handler  Write  Complete; Handler[_,_,hit] = ; Handler[_,_,_] = ReadFromDisk  Compress  StoreInCache; atomic CheckCache: {cacheLock}; atomic StoreInCache: {cacheLock}; atomic Complete: {cacheLock}; handle error ReadInFromDisk  FourOhFour; ReadRequest ReadInFromDisk Write CheckCache Compress StoreInCache Complete hit handler handler

Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Results ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Performance Prediction observed parameters

Future Work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],flux : from Latin fluxus, p.p. of fluere = “to flow”

Relaxed Atomicity ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],atomic AddHasChunk: {chunks (session) };

Flux: A Language for Programming High-Performance Servers

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (15)

Similar to Flux: A Language for Programming High-Performance Servers

Similar to Flux: A Language for Programming High-Performance Servers (20)

More from Emery Berger

More from Emery Berger (20)

Recently uploaded

Recently uploaded (20)

Flux: A Language for Programming High-Performance Servers