1 / 16

Semantics-preserving Sharing Actors

Semantics-preserving Sharing Actors. Mohsen Lesani {1,2} Antonio Lain 2 University of California, Los Angeles 1 HP Labs, Palo Alto 2. Semantics Equivalence to Pure Actors Implementation Testing Tool. Sharing Actors. Actors [Hewitt][Agha] don’t share state.

kipp
Download Presentation

Semantics-preserving Sharing Actors

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Semantics-preserving Sharing Actors Mohsen Lesani{1,2} Antonio Lain2 University of California, Los Angeles1 HP Labs, Palo Alto2

  2. Semantics • Equivalence to Pure Actors • Implementation • Testing Tool Sharing Actors

  3. Actors [Hewitt][Agha] don’t share state. “Things in the world don't share data.” [Armstrong] • Race-freedom • Fault-isolation • Location-transparency Actors

  4. Limited forms of sharing • Efficiency • Programmability • What are accesses? • Write-Write Multiple-Writers data • Write-Read, Read-Read Single-Writer, Multiple-Readers data (SWMR data) Sharing

  5. SWMR Data • Social Network • Each profile is read by its friend profiles

  6. SWMR Data with Pure Actors • Full Replication • Delegate Actor State State State State State State • Time • Loss of parallelism by serializing access • Time • Update at each replica • Space

  7. Actors + SWMR State Atomicity Isolation Fairness Sharing Actors Semantics State State State2 State2 Updates State Updates State Updates

  8. Are two actor systems equivalent? Interaction Equivalence ≡ Equivalence of the set of possible sequences of inputs and outputs • Equivalence Proof Actor Semantics Sharing Actors Semantics

  9. Sharing Actors Semantics Atomicity Isolation Fairness Translation and Equivalence Actors Semantics • Fairness State State State State Updates Translation State State Updates State State Updates

  10. Translation and Equivalence v+1 v State2,v State State2 State State State State2 State2 v=v? Updates v v+1 Translation State2 State State Updates State State Updates

  11. Sharing Actors Implementation Direct (message-based) implementation of the semantics is inefficient. The optimized implementation benefits from sharing data: State State

  12. Implementation Isolation Fairness Handle Handle Head State Base Object Base Object State

  13. Semantics-preserving Sharing Actors Sharing actors semantics Translation of sharing programs to pure programs and proof of their interaction equivalence. Implementation Conclusion

  14. Questions? Thanks for your attendance

  15. Testing Tool Sharing Actors Semantics ReferenceImplementation • Testing Tool Optimized Implementation

  16. Play and log with the optimized implementation Testing Tool (a2,n1),v1 (a2,n3),v2 Reader Reader Writer Deterministicreplay with the direct implementation of the semantics (a2,n1),v1 (a2,n3),v2 Reader Reader Writer Check equality of configurations

More Related