per thread compositional compilation for confidentiality
play

Per-Thread Compositional Compilation for Confidentiality-Preserving - PowerPoint PPT Presentation

Jun 13, 2023 •290 likes •1.49k views

Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs Robert Sison 13 Jan 2018 THE UNIVERSITY OF NEW SOUTH WALES www.data61.csiro.au A confidentiality-preserving program Cross Domain Desktop Compositor

  1. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 9 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  2. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 9 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  3. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 9 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  4. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 9 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  5. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 9 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  6. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  7. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  8. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low part of state must remain indistinguishable. Classification of state as H or L can vary over time. Per-thread, subject to havoc. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  9. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Per-thread, subject to havoc that obeys locking discipline. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  10. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Per-thread compositional property: 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  11. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Per-thread compositional property: 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  12. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Per-thread compositionality theorem [Murray+, CSF’16]: Under the hood: assume-guarantee on variable access. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  13. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Per-thread compositionality theorem: [Murray+, CSF’16] instantiated with locking primitives. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  14. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Whole-system property: [Murray+, CSF’16] instantiated with locking primitives. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  15. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Whole-system property: 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  16. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Whole-system property: 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  17. The confidentiality property Concurrent value-dependent noninterference. Simplest policy: H igh �→ L ow Low, unlocked part of state must remain indistinguishable. Classification of state as H or L can vary over time. Whole-system property: i.e. Locked state still not considered to be observable. 10 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  18. This talk Part 1: Concurrent value-dependent noninterference Part 2: Per-thread compositional refinement Part 3: While-to-RISC compiler verification 11 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  19. This talk Part 1: Concurrent value-dependent noninterference Part 2: Per-thread compositional refinement Part 3: While-to-RISC compiler verification 11 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  20. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  21. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  22. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Given bisimulation B establishing the property, 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  23. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Given bisimulation B establishing the property, nominate R , I s.t.: 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  24. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Given bisimulation B establishing the property, nominate R , I s.t.: 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  25. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Given bisimulation B establishing the property, nominate R , I s.t.: 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  26. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Given bisimulation B establishing the property, nominate R , I s.t.: 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  27. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Given bisimulation B establishing the property, nominate R , I s.t.: 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  28. Proof technique for compilation Per-thread compositional refinement [Murray+, CSF’16] Then B ′ (= B T of B R I ) establishes the target-level property: 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  29. Proof technique for compilation Simpler proof technique than this! 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  30. Proof technique for compilation Simpler proof technique! Nominate R , I , abs steps s.t. (See: https://www.isa-afp.org/entries/Dependent_SIFUM_Refinement.html ) 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  31. Proof technique for compilation Simpler proof technique! Nominate R , I , abs steps s.t. Easy to prove if no H-branching in A (See: https://www.isa-afp.org/entries/Dependent_SIFUM_Refinement.html ) 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  32. Proof technique for compilation Simpler proof technique! Nominate R , I , abs steps s.t. ( I as pc-security) Easy to prove if no H-branching in A , and no new H-branching. (See: https://www.isa-afp.org/entries/Dependent_SIFUM_Refinement.html ) 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  33. Proof technique for compilation Simpler proof technique! Nominate R , I , abs steps. Then it suffices to prove: i.e. R a simulation of A’ by A . 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  34. Proof technique for compilation Simpler proof technique! Nominate R , I , abs steps. Then it suffices to prove: i.e. R a simulation of A’ by A , with provisos... 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  35. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  36. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  37. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. + any new locations permanently locked. i.e. No new shared state. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  38. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. • R must be closed under lock-permitted shared memory havoc. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  39. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. • R must be closed under lock-permitted shared memory havoc. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  40. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. • R must be closed under lock-permitted shared memory havoc. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  41. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. • R must be closed under lock-permitted shared memory havoc. 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  42. Proof technique for compilation Provisos for R , I : • R must preserve shared memory contents and locking state. ◮ Under the hood: preserve assumptions and guarantees. • R must be closed under lock-permitted shared memory havoc. Similar for I . 12 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  43. This talk Part 1: Concurrent value-dependent noninterference Part 2: Per-thread compositional refinement Part 3: While-to-RISC compiler verification 13 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  44. This talk Part 1: Concurrent value-dependent noninterference Part 2: Per-thread compositional refinement Part 3: While-to-RISC compiler verification 13 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  45. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  46. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler (Note: Constant-time execution steps, no cache effects) 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  47. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler Based on Fault-Resilient Non-interference [Tedesco et al, 2016]. 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  48. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler Based on Fault-Resilient Non-interference [Tedesco et al, 2016]. Implemented in Isabelle/HOL, executable, verified. 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  49. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  50. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  51. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct, c 1 case: 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  52. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct, c 1 case: Relation is inductive for smaller program pairs c 1 , c 2 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  53. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct, c 1 case: Relation is inductive for smaller program pairs c 1 , c 2 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  54. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct, c 1 case: Relation is inductive for smaller program pairs c 1 , c 2 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  55. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler e.g. R cases for If construct, c 1 case: Relation is inductive for smaller program pairs c 1 , c 2 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  56. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler • Theorem: R preserves per-thread compositional value-dependent noninterference property ◮ for B produced by our type system (no H-branching). ◮ for I asserting equal pc and program text. + 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  57. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler • Theorem: R preserves per-thread compositional value-dependent noninterference property ◮ for B produced by our type system (no H-branching). ◮ for I asserting equal pc and program text. • Theorem: Compiler input is related to its output by R ◮ Started with same observable initial state. ◮ No branching on H values. (Same as for type system.) 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  58. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  59. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  60. Compiler verification Per-thread simpler compositional refinement [Murray+, AFP] , instantiated with R characterising a compiler. Proof of concept: a While-to-RISC compiler Exercised on verified Cross Domain Desktop Compositor model. 14 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  61. Limitations and future work ideas • Optimisations to non-observable shared memory? 15 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

  62. Limitations and future work ideas • Optimisations to non-observable shared memory? Possibly too strict. 15 | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs | Robert Sison

Recommend

An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code Yuting Wang

An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code Yuting Wang

An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code Yuting Wang 1 , Pierre Wilke 1 , 2 , Zhong Shao 1 Yale University 1 , CentraleSuplec 2 19 January 18 th , 2019 POPL Yuting Wang, Pierre Wilke , Zhong

251 views • 21 slides
JIT Compilation Module Overview JIT Compilation Native vs. Managed Compilation Managed

JIT Compilation Module Overview JIT Compilation Native vs. Managed Compilation Managed

JIT Compilation Module Overview JIT Compilation Native vs. Managed Compilation Managed Execution Phases Assembly Loading & Initialization JIT Compilation JIT Optimizations Whats new in NGEN 4.0? When to use NGEN? 2 Running Code

484 views • 46 slides
13 IN THIS CHAPTER Benefits of Thread Pooling 308 Considerations and Costs of Thread

13 IN THIS CHAPTER Benefits of Thread Pooling 308 Considerations and Costs of Thread

Thread Pooling CHAPTER 13 IN THIS CHAPTER Benefits of Thread Pooling 308 Considerations and Costs of Thread Pooling 308 A Generic Thread Pool: ThreadPool 309 A Specialized Worker Thread Pool: HttpServer 319 Techniques

556 views • 34 slides
The Compilation Process Preprocessing: o processes include-files, conditional compilation and

The Compilation Process Preprocessing: o processes include-files, conditional compilation and

4/1/14 The Compilation Process Preprocessing: o processes include-files, conditional compilation and macros. Compilation: Writing Large Programs o takes the output of the preprocessor and the source code, and generates assembler

271 views • 6 slides
Confidentiality & Disclaimer Confidentiality The recipient of the information contained in

Confidentiality & Disclaimer Confidentiality The recipient of the information contained in

Confidentiality & Disclaimer Confidentiality The recipient of the information contained in this presentation, in receiving it, agrees not to copy or disclose any of its contents to third parties without the written consent of Kendeil

790 views • 34 slides
Confidentiality & Disclaimer Confidentiality The recipient of the information contained in

Confidentiality & Disclaimer Confidentiality The recipient of the information contained in

Confidentiality & Disclaimer Confidentiality The recipient of the information contained in this presentation, in receiving it, agrees not to copy or disclose any of its contents to third parties without the written consent of Kendeil

952 views • 33 slides
will be posted on the LBAB website soon! Confidentiality Reminder of Confidentiality: Board

will be posted on the LBAB website soon! Confidentiality Reminder of Confidentiality: Board

This presentation will be posted on the LBAB website soon! Confidentiality Reminder of Confidentiality: Board members and staff are not at liberty to discuss application files, criminal background checks, or other matters that occur in

961 views • 51 slides
What is a Thread? A thread lives within a process; A process can have several threads.

What is a Thread? A thread lives within a process; A process can have several threads.

What is a Thread? A thread lives within a process; A process can have several threads. A thread possesses an independent flow of control, Threads and can be scheduled to run separately from other threads, because it maintains its

330 views • 4 slides
MULTITREADING What is a thread? A thread is a concurrent unit of execution Threads share

MULTITREADING What is a thread? A thread is a concurrent unit of execution Threads share

MULTITREADING What is a thread? A thread is a concurrent unit of execution Threads share processs resource but are able to execute independently Each thread has a call stack for methods being invoked A VM may run several threads

350 views • 24 slides
A Compositional Logic A Compositional Logic for Control Flow for Control Flow Gang Tan, Boston

A Compositional Logic A Compositional Logic for Control Flow for Control Flow Gang Tan, Boston

A Compositional Logic A Compositional Logic for Control Flow for Control Flow Gang Tan, Boston College g , g Andrew W. Appel, Princeton University Jan 8 2006 Jan 8, 2006 1 Mobile Code Security Protect trusted system against

561 views • 26 slides
Java Threads 2020/5/16 What is Thread? Process vs. Thread Process: Any computer

Java Threads 2020/5/16 What is Thread? Process vs. Thread Process: Any computer

Poly- mor- phism Abstra ction Class OOP Inheri -tance En- capsu- lation Kuan-Ting Lai Java Threads 2020/5/16 What is Thread? Process vs. Thread Process: Any computer program in execution Has independent resources such

715 views • 38 slides
1 Thread Context Switch Thread Context Switch Thread States and Transitions Thread States and

1 Thread Context Switch Thread Context Switch Thread States and Transitions Thread States and

Administrivia Administrivia Nachos guide and Lab #1 are on the web. Threads and Concurrency Threads and Concurrency http://www.cs.duke.edu/~chase/cps210 Form project teams of 2-3. Lab #1 due February 5. Synchronization

502 views • 6 slides
Roadmap for Section 4.3. Windows Process and Thread Internals Thread Block, Process Block Flow

Roadmap for Section 4.3. Windows Process and Thread Internals Thread Block, Process Block Flow

Unit OS4: Scheduling and Dispatch 4.3. Windows Process and Thread Internals Windows Operating System Internals - by David A. Solomon and Mark E. Russinovich with Andreas Polze Roadmap for Section 4.3. Windows Process and Thread Internals Thread

438 views • 15 slides
To thread or not to thread? Why PETSc favors MPI-only Plenary Discussion PETSc User Meeting 2016

To thread or not to thread? Why PETSc favors MPI-only Plenary Discussion PETSc User Meeting 2016

To thread or not to thread? Why PETSc favors MPI-only Plenary Discussion PETSc User Meeting 2016 Based on: MS35 - To Thread or Not To Thread April 13, 2016 SIAM PP , Paris The Big Picture The Big Picture

208 views • 9 slides
Data Confidentiality in Data Confidentiality in Collaborative Computing Collaborative Computing

Data Confidentiality in Data Confidentiality in Collaborative Computing Collaborative Computing

Data Confidentiality in Data Confidentiality in Collaborative Computing Collaborative Computing Mikhail Atallah Department of Computer Science Purdue University Collaborators Collaborators Ph.D. students: Marina Blanton (exp grad

1.36k views • 29 slides
Multithreading Horstmann ch.9 Multithreading Threads Thread states Thread

Multithreading Horstmann ch.9 Multithreading Threads Thread states Thread

Multithreading Horstmann ch.9 Multithreading Threads Thread states Thread interruption Race condition Lock Built-in lock java.util.concurrent library Animation example Single vs. Multiple Threads Finish

607 views • 46 slides
Bruno Gavranovi c SYCO2 Compositional Deep Learning December 18, 2018 1 / 36 Compositional

Bruno Gavranovi c SYCO2 Compositional Deep Learning December 18, 2018 1 / 36 Compositional

Bruno Gavranovi c SYCO2 Compositional Deep Learning December 18, 2018 1 / 36 Compositional Deep Learning Bruno Gavranovi c Faculty of Electrical Engineering and Computing (FER) University of Zagreb, Croatia bruno.gavranovic@fer.hr

1.22k views • 102 slides
The Crimson Thread John 19:16-18 The next mountain brings us to the climax and the MOST

The Crimson Thread John 19:16-18 The next mountain brings us to the climax and the MOST

The Crimson Thread John 19:16-18 The next mountain brings us to the climax and the MOST IMPORTANT, Mt. Calvary/Golgotha The Bible is One Narrative of Events connected by The Crimson Thread. The Crimson Thread from the 1st PASSOVER to

404 views • 9 slides
Design of Thread-Safe Classes 1 Topic Outline Thread-Safe Classes Principles Confinement

Design of Thread-Safe Classes 1 Topic Outline Thread-Safe Classes Principles Confinement

Design of Thread-Safe Classes 1 Topic Outline Thread-Safe Classes Principles Confinement Delegation Synchronization policy documentation 2 Thread-safe Class Design Process Identify the objects state (variables)

601 views • 20 slides
CPL 2016, week 3 Thread management: execution and shutdown Oleg Batrashev Institute of Computer

CPL 2016, week 3 Thread management: execution and shutdown Oleg Batrashev Institute of Computer

CPL 2016, week 3 Thread management: execution and shutdown Oleg Batrashev Institute of Computer Science, Tartu, Estonia February 22, 2016 Outline Thread management Thread pros and cons Executor framework Cancellation and shutdown Thread

727 views • 27 slides
JVM Optimization 101 Sebastian Zarnekow itemis Static vs Dynamic Compilation AOT vs JIT JIT

JVM Optimization 101 Sebastian Zarnekow itemis Static vs Dynamic Compilation AOT vs JIT JIT

JVM Optimization 101 Sebastian Zarnekow itemis Static vs Dynamic Compilation AOT vs JIT JIT Compilation Compiled when needed Maybe immediately before execution ...or when the VM decides its important ...or never? JIT Compilation

757 views • 28 slides
Directive-Based Programming with OpenMP Shared Memory Programming Explicit thread creation

Directive-Based Programming with OpenMP Shared Memory Programming Explicit thread creation

Directive-Based Programming with OpenMP Shared Memory Programming Explicit thread creation (pthreads): pthread t thread; pthread create(&thread, &attr, some_function, (void ) &result); pthread join(thread, NULL);

171 views • 13 slides
1 Last class: Thread Background Today: Thread Systems 2 Threading Systems 3 What

1 Last class: Thread Background Today: Thread Systems 2 Threading Systems 3 What

1 Last class: Thread Background Today: Thread Systems 2 Threading Systems 3 What kind of problems would you solve with threads? Imagine you are building a web server You could allocate a pool of threads, one for each

301 views • 28 slides
Lecture 8: Threads Lisa (Ling) Liu What is a thread? A thread is an independent execution path,

Lecture 8: Threads Lisa (Ling) Liu What is a thread? A thread is an independent execution path,

Chair of Softw are Engineering C# Programming in Depth Prof. Dr. Bertrand Meyer March 2007 May 2007 Lecture 8: Threads Lisa (Ling) Liu What is a thread? A thread is an independent execution path, able to run simultaneously with

921 views • 36 slides

More recommend