如何设计高可靠性的分布式并行系统.pptx

如何设计高可靠性的分布式并行系统;How can we understand complex software?;The BIG picture;;;;Basic Properties;To program systems of communicating objects we need to make it easy to write parallel programs;?;It’s actually difficult to write parallel programs so …;Make it easy to write concurrent programs;Automate the parellelization of concurrent programs;Programmer decides the;Observe the world and the communication channels;;;;What are the messages?;One parallel operation in real world;;One parallel operation in real world;;How do we make it easy to write concurrent programs?;have a language with only 3 concurrency primitives;spawn;shared memory;Pure message passing;Why Pure Message Passing?;;One programming model;One Programming Model;Obeys the;Which laws of physics?;Details;spreading processes is difficult;OTP team at Ericsson (2-3 people know the multi-core part);100K programmers?? know nothing about multi-core;Their programs should run 0.75 x N times faster on N core computers;Why Pure Message Passing?;Failure;;P(fail) = 10^-3 P(fail)^2 = 10^-6 100 9’s reliability with 34 computers The key is independence No dangling pointers No shared memory No synchronous events;Scalability;Key is independent isolated computations;Shared memory is evil;Does this work?;Yes WhatsApp, Klarna, Ericsson, …;Erlang is also;Values are immutable;Fault tolerance with immutable values;;The BEAM;Inside the Beam;Learning;;