fiji priority rollback protocol
play

Fiji Priority Rollback Protocol Lukasz Ziarek Fiji Systems Inc. - PowerPoint PPT Presentation

Feb 15, 2024 •971 likes •1.79k views

Fiji Priority Rollback Protocol Lukasz Ziarek Fiji Systems Inc. Filip Pizlo, Ethan Blanton, and Jan Vitek Fiji Systems LLC Wednesday, August 18, 2010 Communication between mixed-criticality partitions Situational Awareness Flight System

  1. Fiji Priority Rollback Protocol Lukasz Ziarek Fiji Systems Inc. Filip Pizlo, Ethan Blanton, and Jan Vitek Fiji Systems LLC Wednesday, August 18, 2010

  2. Communication between mixed-criticality partitions Situational Awareness Flight System Fiji Systems LLC Wednesday, August 18, 2010

  3. Communication between mixed-criticality partitions Situational Awareness Flight System e r a w e l d d i M Fiji Systems LLC Wednesday, August 18, 2010

  4. Communication between mixed-criticality partitions Situational Awareness Flight System package data e r a w e l d d i M Fiji Systems LLC Wednesday, August 18, 2010

  5. Communication between mixed-criticality partitions Situational Awareness Flight System send data e r a w e l d d i M Fiji Systems LLC Wednesday, August 18, 2010

  6. Communication between mixed-criticality partitions Situational Awareness Flight System unpack data e r a w e l d d i M Fiji Systems LLC Wednesday, August 18, 2010

  7. Communication between mixed-criticality partitions airspace data structure Situational Awareness Flight System update shared state e r a w e l d d i M Fiji Systems LLC Wednesday, August 18, 2010

  8. Communication between mixed-criticality partitions airspace data structure Situational Awareness Flight System e r a w e l d d i M Fiji typically a communication protocol Systems LLC Wednesday, August 18, 2010

  9. Communication between mixed-criticality partitions Situational Awareness Flight System airspace data structure Fiji Systems LLC Wednesday, August 18, 2010

  10. Communication between mixed-criticality partitions can we allow direct access? Situational Awareness Flight System airspace data structure Fiji Systems LLC Wednesday, August 18, 2010

  11. Communication between mixed-criticality partitions mediate access via a lock Situational Awareness Flight System airspace data structure Fiji Systems LLC Wednesday, August 18, 2010

  12. Communication between mixed-criticality partitions Situational Awareness Flight System airspace data structure how do we guarantee responsiveness of Fiji higher criticality partitions? Systems LLC Wednesday, August 18, 2010

  13. Communication between mixed-criticality partitions Situational Awareness Flight System airspace data structure Fiji Systems LLC Wednesday, August 18, 2010

  14. Communication between mixed-criticality partitions Situational Awareness Flight System gate call airspace data structure PRP lock Fiji Systems LLC Wednesday, August 18, 2010

  15. Communication between mixed-criticality partitions Situational Awareness Flight System gate call airspace data structure PRP lock PRP allows for priority aware, criticality aware, safe, Fiji reliable, shared memory between partitions Systems LLC Wednesday, August 18, 2010

  16. PRP Locks Flight System’s partition is guaranteed fast Bound on preemption based on data structure size Situational awareness' partition access is slightly slower but is still bounded in time Fiji Systems LLC Wednesday, August 18, 2010

  17. Inspiration from Transactions Atomic replacement for locks Automatic serializability detection Runtime monitoring Aborts - ability to rollback Fiji Systems LLC Wednesday, August 18, 2010

  18. Inspiration from Transactions New programming Atomic replacement for locks model Automatic serializability detection Runtime monitoring Aborts - ability to rollback Fiji Systems LLC Wednesday, August 18, 2010

  19. Inspiration from Transactions New programming Atomic replacement for locks model Automatic serializability detection Unpredictable Runtime monitoring Aborts - ability to rollback Fiji Systems LLC Wednesday, August 18, 2010

  20. Inspiration from Transactions New programming Atomic replacement for locks model Automatic serializability detection Unpredictable Runtime monitoring Aborts - ability to rollback Fiji Systems LLC Wednesday, August 18, 2010

  21. Inspiration from Transactions New programming Atomic replacement for locks model Automatic serializability detection Unpredictable Runtime monitoring Aborts - ability to rollback Fiji Systems LLC Wednesday, August 18, 2010

  22. PRP: Two Options Write Buffering All updates buffered : memory is always consistent Write Logging Updates to shared memory : undo log allows reversion to consistent state of memory Fiji Systems LLC Wednesday, August 18, 2010

  23. Write Buffering synchronized(lock){ foo.a = x; foo.b = y; foo.c = z; foo.a = w; if(foo.b+4 > foo.a) ... } Fiji Systems LLC Wednesday, August 18, 2010

  24. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.c = z; foo.a = w; if(foo.b+4 > foo.a) ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  25. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.c = z; foo.a = w; if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  26. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.c = z; foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  27. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  28. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  29. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  30. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  31. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  32. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  33. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  34. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  35. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Fiji Systems LLC Wednesday, August 18, 2010

  36. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Commit Fiji Systems LLC Wednesday, August 18, 2010

  37. lock set to acquired Write Buffering in WB mode synchronized(lock){ foo.a = x; foo.b = y; foo.a , w foo.c = z; foo.c , z foo.a = w; foo.b , y if(foo.b+4 > foo.a) foo.a , x ... Buffer } Commit Set lock mode to commit Fiji Systems LLC Wednesday, August 18, 2010

  38. Acquisition by higher priority thread WB lock foo.a , w foo.c , z High Priority foo.b , y Thread foo.a , x Fiji Systems LLC Wednesday, August 18, 2010

  39. Acquisition by higher priority thread WB lock foo.a , w foo.c , z High Priority foo.b , y Thread foo.a , x Fiji Systems LLC Wednesday, August 18, 2010

  40. Acquisition by higher priority thread WB lock foo.a , w foo.c , z High Priority foo.b , y Thread foo.a , x Fiji Systems LLC Wednesday, August 18, 2010

  41. Acquisition by higher priority thread WB lock foo.a , w foo.c , z High Priority foo.b , y Thread foo.a , x Fiji Systems LLC Wednesday, August 18, 2010

  42. Acquisition by higher priority thread WB lock foo.a , w foo.c , z High Priority foo.b , y Thread foo.a , x Fiji Systems LLC Wednesday, August 18, 2010

  43. Acquisition by higher priority thread WB lock foo.a , w foo.c , z High Priority foo.b , y No priority boosting! Thread foo.a , x High Priority Thread Acquires Lock Fiji Systems LLC Wednesday, August 18, 2010

  44. Acquisition by higher priority thread Main Memory Commit lock foo.a , w foo.c , z High Priority foo.b , y Thread foo.a , x Fiji Systems LLC Wednesday, August 18, 2010

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Optimized Coordinated Checkpoint/Rollback Protocol using a Dataflow Graph Model Xavier Besseron

Optimized Coordinated Checkpoint/Rollback Protocol using a Dataflow Graph Model Xavier Besseron

Context Fault-tolerance DFG CCK Simulations Perspectives Optimized Coordinated Checkpoint/Rollback Protocol using a Dataflow Graph Model Xavier Besseron and Thierry Gautier {xavier.besseron | thierry.gautier}@imag.fr Laboratoire

638 views • 52 slides
Location Animals Fiji part-time clinic in Savusavu Animals Fiji main clinic in Nadi

Location Animals Fiji part-time clinic in Savusavu Animals Fiji main clinic in Nadi

Location Animals Fiji part-time clinic in Savusavu Animals Fiji main clinic in Nadi Animals Fiji Background Established in late 2011 purely as a fund-raising vehicle. Animals Fiji officially commenced clinic operations in July

1.78k views • 17 slides
Forest Carbon Partnership Facility Fiji ER-PIN Reducing emissions and enhancing livelihoods in

Forest Carbon Partnership Facility Fiji ER-PIN Reducing emissions and enhancing livelihoods in

Forest Carbon Partnership Facility Fiji ER-PIN Reducing emissions and enhancing livelihoods in Fiji Thirteenth Meeting of the Carbon Fund (CF13) Brussels October 13-16, 2015 Fiji ER-PIN ER Program Idea Background/Context Fiji has over

598 views • 12 slides
Improving the effectiveness of the Fiji Police Force How approach the problem of crime in Fiji?

Improving the effectiveness of the Fiji Police Force How approach the problem of crime in Fiji?

Improving the effectiveness of the Fiji Police Force How approach the problem of crime in Fiji? Need for Total Review of Crime in Fiji Need for Total Review of the Fiji Police Force Professor Wadan Narsey School of Economics Faculty of

319 views • 27 slides
Fiji Climate Change Division Fiji Community Resilience to the Impact of Climate Change

Fiji Climate Change Division Fiji Community Resilience to the Impact of Climate Change

Fiji Climate Change Division Fiji Community Resilience to the Impact of Climate Change Presentation Outline Linkages National Climate Change Policy & Green Growth Framework Way Forward for Fiji What is an IVA Brief

2.21k views • 20 slides
Scripting using ImageJ Macro - a quick 1 hour tutorial - We use Fiji. http://fiji.sc please

Scripting using ImageJ Macro - a quick 1 hour tutorial - We use Fiji. http://fiji.sc please

Scripting using ImageJ Macro - a quick 1 hour tutorial - We use Fiji. http://fiji.sc please download and install. Kota Miura @ CMCI EMBL 2-1 Why do we write macro? Aim: Students acquire ImageJ macro programming techniques to ease their

616 views • 57 slides
Pacific Met A Fiji Airways perspective Nice day in Paradise.? 3/10/2018 Fiji Airways

Pacific Met A Fiji Airways perspective Nice day in Paradise.? 3/10/2018 Fiji Airways

Pacific Met A Fiji Airways perspective Nice day in Paradise.? 3/10/2018 Fiji Airways Not always the case. TC Winston 20 th Feb 2016 TAF AMD NFFN 200916Z 2009/2106 15050G80KT 9999 -SHRA BKN020 BKN042 OVC100 TEMPO 2009/2106 0500

568 views • 18 slides
Fiji

Fiji

Fiji CLIMATE CHANGE ADAPTATION AND RESILIENCE THROUGH PROTECTED AREA INTEGRATION AND MAINSTREAMING 5 th National Report NBSAPs PoWPA Action Plans

2.3k views • 100 slides
SDGs Im Implementation Progress 4-6 DECEMBER 2018 NADI, FIJI Presented by: FIJI An intro to

SDGs Im Implementation Progress 4-6 DECEMBER 2018 NADI, FIJI Presented by: FIJI An intro to

SDGs Im Implementation Progress 4-6 DECEMBER 2018 NADI, FIJI Presented by: FIJI An intro to national planning/policy/budgeting environment Budget Strategy (Feb) Baseline Budget SDGs already mainstreamed (Feb) into the 5-Year &

1.5k views • 15 slides
Priority Queues Two kinds of priority queues: Min priority queue. Max priority queue.

Priority Queues Two kinds of priority queues: Min priority queue. Max priority queue.

Priority Queues Two kinds of priority queues: Min priority queue. Max priority queue. Min Priority Queue Collection of elements. Each element has a priority or key. Supports following operations: isEmpty size

882 views • 30 slides
Check Pointing and Rollback Recovery Course: Distributed Computing Faculty: Dr. Rajendra Prasath

Check Pointing and Rollback Recovery Course: Distributed Computing Faculty: Dr. Rajendra Prasath

Check Pointing and Rollback Recovery Course: Distributed Computing Faculty: Dr. Rajendra Prasath Spring 2019 About this topic This course covers various concepts in Check Pointing and Rollback Recovery. We will also focus on the essential

517 views • 35 slides
What is i i KP KP? ? i KP i KP: : i i - -Key Key- -Protocol Protocol What is i

What is i i KP KP? ? i KP i KP: : i i - -Key Key- -Protocol Protocol What is i

What is i i KP KP? ? i KP i KP: : i i - -Key Key- -Protocol Protocol What is i -Key-Protocol, i = 1, 2, 3, Family of protocols Secure electronic payment Based on credit card payments Christopher Hsu Can be extended

407 views • 4 slides
C B + k i 1 / i i , 1 i n , i ( 2 1 ) can be used

C B + k i 1 / i i , 1 i n , i ( 2 1 ) can be used

Priority Inheritance Protocol Midterm Grades 96 100 Let the blocker task inherit the priority of 90 80 79 the task being blocked 80 70 critical section 60 Grade P(1) only blocked by 4 50 40 27 1 1 1 30 20 Inherit

275 views • 4 slides
Plan 1 Priority areas Key to landscape priority areas Historic core Ornamental Parkland

Plan 1 Priority areas Key to landscape priority areas Historic core Ornamental Parkland

Plan 1 Priority areas Key to landscape priority areas Historic core Ornamental Parkland Wooded lake Walled garden Municipal area Open playing fields Key to building priorities Priority 1 Priority 2 Priority 3 Priority 4 Priority 5

107 views • 6 slides
New Zealand & Fiji George Adams Managing Director, New Zealand & Fiji 13 October 2005 1

New Zealand & Fiji George Adams Managing Director, New Zealand & Fiji 13 October 2005 1

New Zealand & Fiji George Adams Managing Director, New Zealand & Fiji 13 October 2005 1 October 2005 New Zealand NARTD market presents a significant growth opportunity CCA has growth potential with 100% FMlk 3% <40% share in

250 views • 10 slides
Opening Statement by Christopher Pryde, Director of Public Prosecutions for Fiji at the 33 rd

Opening Statement by Christopher Pryde, Director of Public Prosecutions for Fiji at the 33 rd

Opening Statement by Christopher Pryde, Director of Public Prosecutions for Fiji at the 33 rd Session of the UN Human Rights Council at the side event organised by the Permanent Mission of Fiji to the UN in Geneva, Thursday 22 nd September 2016

319 views • 5 slides
Redistribution of Air Traffic (PPR) Developing a CAA approval process Civil Aviation Authority

Redistribution of Air Traffic (PPR) Developing a CAA approval process Civil Aviation Authority

Planned and Permanent Redistribution of Air Traffic (PPR) Developing a CAA approval process Civil Aviation Authority Stakeholder engagement sessions January 2019 airspace.policy@caa.co.uk 1 1 AGENDA Introduction / purpose of this

561 views • 34 slides
Topics covered Formal specif ication in the sof tware process I nterf ace specif ication

Topics covered Formal specif ication in the sof tware process I nterf ace specif ication

Formal Specif ication Techniques f or the unambiguous specif ication of sof tware Objectives To explain why f ormal specif ication techniques help discover problems in system requirements To describe the use of algebraic

793 views • 12 slides
Crafting Low-Cost Ordinances to Promote Solar Energy Growth T R O Y A . R U L E , A S S O C I

Crafting Low-Cost Ordinances to Promote Solar Energy Growth T R O Y A . R U L E , A S S O C I

Crafting Low-Cost Ordinances to Promote Solar Energy Growth T R O Y A . R U L E , A S S O C I A T E P R O F E S S O R S A N D R A D A Y O C O N N O R C O L L E G E O F L A W SCN SOLAR & EFFICIENCY WORKSHOP Arizonas Existing

452 views • 21 slides
Management During Planned and Uncontrolled Reentries IAASS Conference Daniel Murray Ed Gannon

Management During Planned and Uncontrolled Reentries IAASS Conference Daniel Murray Ed Gannon

Federal Aviation Overview of FAA Administration Process for Airspace Management During Planned and Uncontrolled Reentries IAASS Conference Daniel Murray Ed Gannon 22 May 2013 Federal Aviation 0 IAASS Session 21 Panel: Space Debris Risk

466 views • 12 slides
Formal verification of small and micro UAS Prof Sandor M Veres University of Sheffield December

Formal verification of small and micro UAS Prof Sandor M Veres University of Sheffield December

Formal verification of small and micro UAS Prof Sandor M Veres University of Sheffield December 2, 2015 Introduction The purpose of my talk What to Verify? What are the models and requirements? Verification of autopilots - APD How to

695 views • 54 slides
Trajectory Option Set Planning Optimization in CTOP Leonardo Cruciol TransLab, UnB Outline

Trajectory Option Set Planning Optimization in CTOP Leonardo Cruciol TransLab, UnB Outline

Universidade de Braslia Trajectory Option Set Planning Optimization in CTOP Leonardo Cruciol TransLab, UnB Outline Collaborative Trajectory Options Programs Delay Reduction in CTOP by TOS Single Game for CTOP (SG-CTOP)

307 views • 18 slides
User Interface Design Sommerville, Chapter 16; Pressman, Chapter 12 Instructor: Peter Baumann

User Interface Design Sommerville, Chapter 16; Pressman, Chapter 12 Instructor: Peter Baumann

User Interface Design Sommerville, Chapter 16; Pressman, Chapter 12 Instructor: Peter Baumann email: p.baumann@jacobs-university.de tel: -3178 office: room 88, Research 1 320312 Software Engineering (P. Baumann) Overview UI design

548 views • 19 slides
POLITICIANS EGOS Irina Kostitsyna Maarten Lffler Valentin Polishchuk OPTIMIZING AIRSPACE

POLITICIANS EGOS Irina Kostitsyna Maarten Lffler Valentin Polishchuk OPTIMIZING AIRSPACE

OPTIMIZING AIRSPACE CLOSURE WITH RESPECT TO POLITICIANS EGOS Irina Kostitsyna Maarten Lffler Valentin Polishchuk OPTIMIZING AIRSPACE CLOSURE WITH RESPECT TO POLITICIANS EGOS FUN WITH ALGORITHMS 2014, LIPARI, ITALY 1 THE PROBLEM

1.37k views • 117 slides

More recommend