阿达关机钩

作者: 岁爵
发布时间: 2024-01-12 01:44:13 (6月前)
转自：

6 条回复

0#
回复此人
一生流水 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 如果它是由用户启动的受控关闭，或者因为程序只是完成它所做的事情，那么你可以简单地添加一个最终调用清理程序。 </p> <P> 如果由于中断信号（例如用户发送SIGINT信号）或系统关闭而终止程序，则可以捕获这些信号并将清理过程放入已注册的回调中。 </p> <P> 我写了一个关于如何使用Ada捕获中断的简短示例。它可以在 <a href="https://github.com/ThomasLocke/Catch_Signals" rel="nofollow"> github上 </A> 并作为一个 <a href="http://wiki.ada-dk.org/index.php/Catching_And_Handling_Interrupts_In_Ada" rel="nofollow"> 维基文章 </A> 。 </p> <P> 另一个选择是使用Florist POSIX包 <a href="http://libre.adacore.com" rel="nofollow"> libre.adacore.com </A> 。也许在posix-signals包中有一些用处。 </p> </DIV>

编辑
1#
回复此人
苞米地里的蒙面妖 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 您可以为主过程创建一个受控（或Limited_Controlled）对象，该过程在其Finalization方法中调用必要的东西。 </p> <P> 请注意，您无法访问主过程的任何局部变量，因此请将任何必要的内容放入受控对象中。 </p> <P> 例： </p> <pre> <code> with Ada.Text_IO; with Ada.Finalization; procedure Main is type Cleaner is new Ada.Finalization.Limited_Controlled with record Some_Interesting_Data : Integer; end record; overriding procedure Finalize (X : in out Cleaner) is begin Ada.Text_IO.Put_Line ("Cleaning..." & Integer'Image (X.Some_Interesting_Data)); end Finalize; The_Cleaner : Cleaner; begin Ada.Text_IO.Put_Line ("Main Procedure."); The_Cleaner.Some_Interesting_Data := 42; Ada.Text_IO.Put_Line ("Finished."); end Main; </code> </pre> </DIV>

编辑
2#
回复此人
雨儿 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 如果允许程序很好地关闭，那么您可以使用受控类型等标准语言工具来提供“关闭时”行为。 </p> <P> 如果操作系统不允许程序很好地关闭，那么的<strong> 在任何语言中都没有语言定义的方法 </强> 。您将不得不使用某种OS调用来执行此操作。 </p> <P> 注意的<strong> 您展示的示例不是Java调用，而是JVM调用 </强> 。 JVM = Java虚拟机......本质上是Java OS。假设您的Ada代码在JVM上运行，您可以从Ada进行完全相同的调用。如果您在Windows下运行，则必须使用Win32系统调用。你可以从Ada制作那些，但很明显，确切的调用在语言中没有可移植的定义。 </p> </DIV>

编辑
3#
回复此人
永远的记忆 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 由于Ada主程序被视为任务，您可以使用 <a href="http://www.adaic.org/resources/add_content/standards/05rm/html/RM-C-7-3.html" rel="noreferrer"> Ada.Task_Termination </A> 用于管理执行后清理的包。在这里有一篇关于此的文章 <a href="http://www.adaic.org/resources/add_content/standards/05rat/html/Rat-5-2.html" rel="noreferrer"> Ada 2005理由 </A> 以下是我在一个示例的基础上编写的快速演示。 </p> <P> 您必须提供库级保护终止过程，因此这是一个包： </p> <pre> <code> with Ada.Task_Termination; with Ada.Task_Identification; with Ada.Exceptions; package Main_Program_Finalization is protected Shutdown_Handler is procedure Termination_Finalizer (Cause : in Ada.Task_Termination.Cause_Of_Termination; T : in Ada.Task_Identification.Task_Id; X : in Ada.Exceptions.Exception_Occurrence); end Shutdown_Handler; end Main_Program_Finalization; </code> </pre> <P> 身体： </p> <pre> <code> with Text_IO; use Text_IO; package body Main_Program_Finalization is protected body Shutdown_Handler is procedure Termination_Finalizer (Cause : in Ada.Task_Termination.Cause_Of_Termination; T : in Ada.Task_Identification.Task_Id; X : in Ada.Exceptions.Exception_Occurrence) is use Ada.Task_Termination; use Ada.Task_Identification; use Ada.Exceptions; begin New_Line; Put_Line("Shutdown information:"); New_Line; case Cause is when Normal => Put_Line("Normal, boring termination"); when Abnormal => Put_Line("Something nasty happened to task "); Put_Line(Image(T)); when Unhandled_Exception => Put_Line("Unhandled exception occurred in task "); Put_Line(Image(T)); Put_Line(Exception_Information(X)); end case; end Termination_Finalizer; end Shutdown_Handler; end Main_Program_Finalization; </code> </pre> <P> 主程序（设置为已发布的正常终止，取消注释最后两行并运行它以查看未处理的异常触发终止的影响）： </p> <pre> <code> with Main_Program_Finalization; with Ada.Task_Identification; with Ada.Task_Termination; with Text_IO; use Text_IO; procedure task_term is use Ada; Task_ID : Task_Identification.Task_Id := Task_Identification.Current_Task; begin Put_Line("Main Task ID: " & Task_Identification.Image(Task_ID)); Put_Line("Setting termination finalizer"); Task_Termination.Set_Specific_Handler (Task_ID, Main_Program_Finalization.Shutdown_Handler.Termination_Finalizer'Access); Put_Line("Go off and do things now..."); delay 1.0; Put_Line("Done with mainline processing, the shutdown handler should now execute"); -- Put_Line("Raise an unhandled exception and see what the shutdown handler does"); -- raise Constraint_Error; end Task_Term; </code> </pre> </DIV>

编辑
4#
回复此人
记忆短浅♡思念不变 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 似乎应该有一种方法在纯Ada中做到这一点，但我找不到一个。 </p> <P> 一个想法是使用Interfaces.C并调用 <a href="http://pubs.opengroup.org/onlinepubs/009695399/functions/atexit.html" rel="nofollow"> atexit对（） </A> 使用回调函数进行清理。我没有尝试过，但我想不出有什么理由不行。 </p> <P> <a href="http://coreland.ath.cx/doc/ada-bindings-guide/15.html" rel="nofollow"> 关于来自C的Ada回调的更多信息 </A> </p> </DIV>

编辑

登录后才能参与评论