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

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