रेवेन्सकर प्रोफ़ाइल

रेवेन्सकर प्रोफ़ाइल सुरक्षा-महत्वपूर्ण कठिन वास्तविक समय कंप्यूटिंग के लिए डिज़ाइन किए गए एडीए टास्किंग सुविधाओं का एक सबसेट है। इसे Ada 95 में एक भिन्न तकनीकी रिपोर्ट द्वारा परिभाषित किया गया था; यह अब एडा 2012 मानक का भाग है। इसका नाम 8वें इंटरनेशनल रियल-टाइम एडा वर्कशॉप (आईआरटीएडब्ल्यू8) के अंग्रेजी गांव रेवेन्सकर के नाम पर रखा गया है।

प्रोफ़ाइल के प्रतिबंध

रेवेन्सकर एडा एप्लिकेशन निम्नलिखित निर्देश (प्रोग्रामिंग) का उपयोग करता है:

pragma Profile (Ravenscar);

यह कॉन्फ़िगरेशन प्राग्मास के निम्नलिखित सेट को लिखने के समान है:

pragma Task_Dispatching_Policy (FIFO_Within_Priorities);
pragma Locking_Policy (Ceiling_Locking);
pragma Detect_Blocking;
pragma Restrictions (
                 No_Abort_Statements,
                 No_Calendar,
                 No_Dynamic_Attachment,
                 No_Dynamic_Priorities,
                 No_Implicit_Heap_Allocations,
                 No_Local_Protected_Objects,
                 No_Local_Timing_Events,
                 No_Protected_Type_Allocators,
                 No_Relative_Delay,
                 No_Requeue_Statements,
                 No_Select_Statements,
                 No_Specific_Termination_Handlers,
                 No_Task_Allocators,
                 No_Task_Hierarchy,
                 No_Task_Termination,
                 Simple_Barriers,
                 Max_Entry_Queue_Length => 1,
                 Max_Protected_Entries  => 1,
                 Max_Task_Entries       => 0,
                 No_Dependence => Ada.Asynchronous_Task_Control,
                 No_Dependence => Ada.Calendar,
                 No_Dependence => Ada.Execution_Time.Group_Budget,                                               
                 No_Dependence => Ada.Execution_Time.Timers,                                                     
                 No_Dependence => Ada.Task_Attributes);

यह भी देखें

• एडा (प्रोग्रामिंग लैंग्वेज )
• हाई इंटीग्रिटी सॉफ्टवेयर
• स्पार्क (प्रोग्रामिंग लैंग्वेज )
• एडा संदर्भ मैनुअल (एडीए 202x ड्राफ्ट 19) से: (D.13 द रेवेन्सकर और जोर्विक प्रोफाइल)

संदर्भ

• Alan Burns (December 1999). "The Ravenscar Profile" (PDF). ACM SIGAda Ada Letters. XIX (4): 49–52. doi:10.1145/340396.340450. S2CID 29367277.
• Alan Burns, Brian Dobbing and Tullio Vardanega (June 2004). "Guide for the use of the Ada Ravenscar Profile in high integrity systems" (PDF). ACM SIGAda Ada Letters. XXIV (2): 1–74. doi:10.1145/997119.997120. S2CID 36061649.
• Ravenscar profile for high-integrity systems (Technical report). ISO/WG9 Ada Rapporteur Group. AI95-00249.

बाहरी संबंध

• A Ravenscar runtime for ARM processors
• Discussion about implementation Ravenscar Profile for ARM's