Async.Catch를 사용하여 처리 상태가 손상된 처리 예외 처리

Question

동적으로 실행되는 기본 구성 요소가 프로세스 손상 상태 예외를 던져서 로깅 할 수 있고 구성 요소를 다시로드하기 좋지 않은 것으로 표시 할 때를 알 필요가 있습니다 내 과정을 망칠거야.

이 구성 요소의 실행은 비동기 적으로 수행되며 Async.Catch를 사용하여 해당 예외를 처리합니다. Async.Catch의 동작을 테스트하기 위해 다음 코드를 시도했는데 Async.Catch가 매달린 것 같습니다. 이것은 나에게 바람직하지 않은 영향이며 모든 PCSE가 동일한 동작을 초래할 것이라고 의심하고 있습니다.

누구나이 상황에서 벗어날 방법을 알고 계십니까?

let a = async { 
    System.Threading.Thread.CurrentThread.Abort() 
} 

let b = async { 
    let! m = Async.Catch a 
    return match m with 
      | Choice1Of2 p -> "hello" 
      | Choice2Of2 e -> "Caught: " + e.ToString() 
} 

Async.RunSynchronously b;; 

EDIT 1 : 나는 나를 중 하나 HandleProcessCorruptedStateExceptionsAttribute 함께 SecurityCriticalAttribute로 사용하거나 config 항목 legacyCorruptedState­­ExceptionsPolicy=true를 사용 가리키는 문서를 발견했다. 가능하다면 config 항목을 사용하고 싶지 않습니다.

편집 2 :

let b = async { 
     try 
      let! m = Async.Catch a 
      return "hello" 
     with 
      | :? System.Threading.ThreadAbortException as e -> return "Caught: " + e.ToString() 
    } 

프로그램은 여전히 ​​반환 또는 던지는없이 응답 : 주석의 제안을 바탕으로, 나는 다음과 같이 'B'에 대한 바인딩하자를 수정했습니다.

Answer 1

정상적인 기능을 사용하면 ThreadAbortException을 붙잡고 반응을 보이지만 실제로 처리 할 수는 없습니다. 자동으로 다시 처리되기 때문에 (결국 스레드가 죽을 것입니다).

F # async 워크 플로에서 예외가 처리되고 F # async 런타임은이를 저장하여 연속을 통해보고 할 수 있지만이 작업을 수행하기 전에 예외가 .NET에서 다시 발생하고 스레드 (따라서 RunSynchronously 중단).

문제는 예외를보고하기 위해 F # async에서 전화를해야합니다. 현재 스레드 (취소중인)에서 호출을 수행 할 수 없습니다. 예외가 예상되는 경우 스레드 풀에서 작업을 시작하고 직접 처리 할 수 ​​있습니다. (너무 많은 오버 헤드가 있기 때문에 F #은 자동으로 그렇게 할 수 없습니다).

type Microsoft.FSharp.Control.Async with 
    static member CatchAbort<'R>(f : unit -> 'R) : Async<'R> = 
    async { let hndl = new AutoResetEvent(false) 
      let result = ref (Choice3Of3()) 
      ThreadPool.QueueUserWorkItem(fun _ -> 
       try 
       result := Choice1Of3 (f()) 
       hndl.Set() |> ignore 
       with 
       | e -> 
        // This handler runs correctly even for ThreadAbort 
        result := Choice2Of3 e 
        hndl.Set() |> ignore) |> ignore 
      let! _ = Async.AwaitWaitHandle(hndl) 
      match !result with 
      | Choice1Of3(res) -> return res 
      | Choice2Of3(exn) -> 
       // Wrap or rethrow the exception in some way 
       return raise exn 
      | Choice3Of3 _ -> return failwith "unexpected case" } 

이 지정된 함수를 시작합니다 (비동기되지 않습니다) 스레드 풀 스레드에서 :

는 다음과 같은 도우미를 사용할 수 있습니다. 함수가 완료되거나 throw 된 후에는 결과를 원래 스레드로보고하고 워크 플로를 다시 시작할 수 있습니다.

귀하의 예를 적용하려면이 예상대로 작동한다 : 당신의 질문에

let a = async { 
    let! value = Async.CatchAbort(fun() -> 
     System.Threading.Thread.CurrentThread.Abort() 
     "not aborted") 
    return value } 

let b = async { 
    try let! m = a 
     printfn "ok" 
    with e -> printfn "Caught: %A" e } 

Answer 2

읽을 수 있습니다. here - ThreadAbortException은 CLR의 특별한 예외 중 하나입니다. Asycn-Pattern을 꽤 열심히 깨뜨린 것 같습니다. 그래서 그것이 여기에있는 문제입니다.

또 다른 예외를 시도해보고 정상적으로 작동하는지 확인하십시오.