56

I've just stumbled across a rather dangerous scenario while migrating an ASP.NET application to the async/await model.

The situation is that I made a method async: async Task DoWhateverAsync(), changed the declaration in the interface to Task DoWhateverAsync() and hoped that the compiler would tell me where the code now is wrong, via that Warning. Well, tough luck. Wherever that object gets injected via the interface, the warning doesn't happen. :-(

This is dangerous. Is there any way to check automatically for non-awaited methods that return tasks? I don't mind a few warnings too many, but I wouldn't want to miss one.

Here's an example:

using System.Threading.Tasks;
namespace AsyncAwaitGames
{
    // In my real case, that method just returns Task.
    public interface ICallee { Task<int> DoSomethingAsync(); }

    public class Callee: ICallee
    {
        public async Task<int> DoSomethingAsync() => await Task.FromResult(0);
    }
    public class Caller
    {
        public void DoCall()
        {
            ICallee xxx = new Callee();

            // In my real case, the method just returns Task,
            // so there is no type mismatch when assigning a result 
            // either.
            xxx.DoSomethingAsync(); // This is where I had hoped for a warning.
        }
    }
}
9
  • 1
    It may not be as universal as a compiler warning, but I've generally relied on the return type. If I expect something to be a string and attempt to use it as a string, but really it's a Task<string>, the compiler will tell me about that. (Doesn't help with void/Task ones though, I guess.) Commented Jan 18, 2017 at 14:06
  • 2
    "What was the declaration before?" was void, unfortunately, and changed to Task. Commented Jan 18, 2017 at 14:27
  • 2
    I'm not understanding your scenario here. You say "hoped that the compiler would tell me where the code now is wrong". An await is a point in the program where the continuation of the await logically requires the completion of the task. The code before your change did not logically require the completion of the task, so why should it now after your change? What wrongness was introduced? Commented Jan 18, 2017 at 16:38
  • 4
    The code before my change /assumed/ the completion of the task because DoSomething() was a synchronous method returning void. Then I changed the method to be async and return Task. If I had used the class directly, visual studio would have given me a warning. Since I cannot add "async" to a method signature in ICallee above, the code now looks like a normal method returning Task. Apparently this is not enough to trigger a warning for a) making DoCall() async and b) awaiting xxx.DoSomethingAsync(). This is understandable. For me the root cause is that I can't specify "async" in ICallee. Commented Jan 18, 2017 at 18:42
  • 1
    "What wrongness was introduced?" Before: public void DoCall() { ICallee xxx = new Callee(); xxx.DoSomething();} (good). After: public void DoCall() { ICallee xxx = new Callee(); xxx.DoSomethingAsync();} (bad). Good: public void DoCall() { ICallee xxx = new Callee(); await xxx.DoSomethingAsync();} Commented Jan 18, 2017 at 18:49

7 Answers 7

35

After quite some difficulties with this problem I decided to create an Analyzer with code fix to solve it.

The code is available here: https://github.com/ykoksen/unused-task-warning

It is also as a NuGet package that can be used as an analyzer for a project (when it is build): https://www.nuget.org/packages/Lindhart.Analyser.MissingAwaitWarning/#

Furthermore it is also available as a Visual Studio Extension (for 2017). However this only analyses currently open files, so I'd recommend using the NuGet package. The extension is available here (or search for it in Visual Studio): https://marketplace.visualstudio.com/items?itemName=Lindhart.missingAwaitWarning#overview

The code for the analyzer:

    public override void Initialize(AnalysisContext context)
    {
        context.RegisterSyntaxNodeAction(AnalyseSymbolNode, SyntaxKind.InvocationExpression);
    }

    private void AnalyseSymbolNode(SyntaxNodeAnalysisContext syntaxNodeAnalysisContext)
    {
        if (syntaxNodeAnalysisContext.Node is InvocationExpressionSyntax node)
        {
            if (syntaxNodeAnalysisContext
                    .SemanticModel
                    .GetSymbolInfo(node.Expression, syntaxNodeAnalysisContext.CancellationToken)
                    .Symbol is IMethodSymbol methodSymbol)
            {
                if (node.Parent is ExpressionStatementSyntax)
                {
                    // Only checks for the two most common awaitable types. In principle this should instead check all types that are awaitable
                    if (EqualsType(methodSymbol.ReturnType, typeof(Task), typeof(ConfiguredTaskAwaitable)))
                    {
                        var diagnostic = Diagnostic.Create(Rule, node.GetLocation(), methodSymbol.ToDisplayString());

                        syntaxNodeAnalysisContext.ReportDiagnostic(diagnostic);
                    }
                }
            }
        }
    }

    /// <summary>
    /// Checks if the <paramref name="typeSymbol"/> is one of the types specified
    /// </summary>
    /// <param name="typeSymbol"></param>
    /// <param name="type"></param>
    /// <returns></returns>
    /// <remarks>This method should probably be rewritten so it doesn't merely compare the names, but instead the actual type.</remarks>
    private static bool EqualsType(ITypeSymbol typeSymbol, params Type[] type)
    {
        var fullSymbolNameWithoutGeneric = $"{typeSymbol.ContainingNamespace.ToDisplayString()}.{typeSymbol.Name}";
        return type.Any(x => fullSymbolNameWithoutGeneric.Equals(x.FullName));
    }
Sign up to request clarification or add additional context in comments.

12 Comments

Does this catch cases where I've put Task t = GetSomethingAsync() or var t = GetSometingAsync() which obscures the compiler warning.
Where do I see the errors. I added the package and I have a bad call to a Task, but I don't see any additional errors beyond the compiler's standard messages.
@Simon_Weaver to see the warnings you'll have to be using Visual Studio 2017 (I believe, it might work in 2015). Furthermore to get it as compiler warning you'll have to add the NuGet package to your project. If you use the Visual Studio extension you will only see it as a warning when you have the file open.
Thanks for the info. Problem is I must have done this somewhere assuming it wasn’t going to throw an exception - and now it does - and I have no clue where. Very very tricky. I have it sending me a text message every time it happens to look for a pattern. I may have done var T or Task t but I searched and couldn’t find any.
Thank you for this plugin! Does exactly what I need. We had too many unawaited calls in void methods which where not detected. Most of those voids should have been Tasks
|
15

You have a few options:

  • This is the simplest "Caveman" solution use the built in VS search functionality (CTRL + SHIFT + F) search in Entire solution, also under Find Options click on the checkbox Use Regular expression and use this regex: (?<!await|task(.*))\s([_a-zA-Z0-9\.])*Async\( It assumes you post fixed all your async method with the Async keyword and the method call is in one line. If it is not true then do not use it (or add the missing validations to the expression).
  • Use some 3rd party code analyzer tool, Nuget package. ReSharper is very popular and I believe it able to detect this problems or you can create your own rules.
  • My choice would be to use Roslyn (@Volker provided one solution). You can create your own rule set with code fix solutions (light bulb icon will show your code fix) so this is the best.
  • UPDATE: VS 2019 checks for this problem by default and gives warnings.enter image description here

How to use Roslyn:

  • You have to install .NET Compiler Platform SDK: from here
  • Use VS 2017 Version 15.2 (or higher)
  • Create a new project File -> New -> Project, under the Extensibility group select: Analyzer with Code Fix (Nuget + VSIX) You have to target .NET Framework 4.6.2 to create this project. enter image description here

You can copy paste the previous solution. Create

[DiagnosticAnalyzer(LanguageNames.CSharp)]
public class AsyncAwaitAnalyzer : DiagnosticAnalyzer
{ ...
}

class with logic, to detect the issue. And create

[ExportCodeFixProvider(LanguageNames.CSharp, Name = nameof(AsyncAwaitCodeFixProvider)), Shared]
public class AsyncAwaitCodeFixProvider : CodeFixProvider
{ ...
}

class to provide fixing suggestions (add await) to the problem.

After a success build you will get your own .wsix package you can install it to your VS instance and after a VS restart is should start pick up the problems.

1 Comment

Sorry, never created these before...which sections of code in "previous solution" are you referring to explicitly?
8

In the end, we used roslyn to find all instances where a return value of Task or Task<> was ignored:

if (methodSymbol.ReturnType.Equals(syntaxNodeAnalysisContext.SemanticModel.Compilation.GetTypeByMetadataName(typeof(Task).FullName)))
{
    // For all such symbols, produce a diagnostic.
    var diagnostic = Diagnostic.Create(Rule, node.GetLocation(), methodSymbol.ToDisplayString());

    syntaxNodeAnalysisContext.ReportDiagnostic(diagnostic);
}
if (((INamedTypeSymbol) methodSymbol.ReturnType).IsGenericType && ((INamedTypeSymbol) methodSymbol.ReturnType).BaseType.Equals(syntaxNodeAnalysisContext.SemanticModel.Compilation.GetTypeByMetadataName(typeof(Task).FullName)))
{
    // For all such symbols, produce a diagnostic.
    var diagnostic = Diagnostic.Create(Rule, node.GetLocation(), methodSymbol.ToDisplayString());

    syntaxNodeAnalysisContext.ReportDiagnostic(diagnostic);
}

6 Comments

I request you to please add some context/commentary around the suggestion you have shared. It will help the asker and other future readers to understand your post better.
Could you please add the full implementation you did with the Roslyn extension? I've tried to make it work, but am quite new with these extensions.
This is what i was gonna tell u. Thanx to Roslyn :)
I tried implementing this, but it simply gives warnings on too much. I used it before I implemented my own solution (see my answer), and as I remember it simply found all places where a method returns a Task.
@Volker to make your answer more complete, elaborate on where and how to add the above
|
7

The compiler will emit warning CS4014 but it is only emitted if the calling method is async.

No warning:

Task CallingMethod() {
    DoWhateverAsync();
    // More code that eventually returns a task.
}

Warning CS4014: Because this call is not awaited, execution of the current method continues before the call is completed. Consider applying the 'await' operator to the result of the call.

async Task CallingMethod() {
    DoWhateverAsync();
}

This is not terrible useful in your specific case because you have to find all the places where DoWhateverAsync is called and change them to get the warning and then fix the code. But you wanted to use the compiler warning to find these calls in the first place.

I suggest that you use Visual Studio to find all usages of DoWhateverAsync. You will have to modify the surrounding code anyway either by going through compiler warnings or by working through a list of usages.

2 Comments

@David No, in the OP's situation the calling method isn't async because he's in the process of transitioning from a synchronous to an asynchronous model.
Also no warning if you do Task t = DoWhateverAsync() which may have been deliberately used to hide the compiler warning in the first place. eek
1

You can add a specific warning in VS Project properties as one that throws a compilation error, like described here

You can add a semi-colon separated list of warning codes e.g. CS4014, and the compiler will fail to compile if you're not awaiting an async method.

Here's a screenshot with VS2017: VS2017 configuration to throw compiler errors for warning CS4014

2 Comments

The problem is that absolutely no warnings are produced in the described scenario.
Actually, as @Martin Liversage mentioned, the calling function (in this case DoCall) has to be an async function in order for that compiler warning to be thrown. So I stand corrected, since this doesn't apply to your case. I think the way to handle this would be by some code analyzer, either Roslyn or ReSharper etc.
1

In addition to the other answers, readers should consider adding the Microsoft.VisualStudio.Threading.Analyzers package as it contains a number of useful rules including:

  • VSTHRD002 Avoid problematic synchronous waits (this ensure no GetAwaiter, GetResult, Result calls are made, regardless or whether the caller is async or not)
  • VSTHRD100 Avoid async void methods

And the default analyzers contain rules suggesting to use async alternatives when offered like CA1849. The catch is that it's not enabled by default, so make sure the analysis mode is set to All as well as analyzers are enabled if your project is targeting < net5

Comments

0

I found a great Visual Studio extension/NuGet package for this. Saves you having to create your own like other answers suggest.

https://github.com/ykoksen/unused-task-warning

Once I installed the Visual Studio extension I went to Analyze/Run Code Analysis/On Solution and it found several places where I had this issue.

3 Comments

This is the solution from the accepted answer, which includes the same link you have posted, along with more information.
@Ergwun, the accepted answer does not reference the extension. But I see the highest rated answer does. Somehow I missed that.
Yeah, you are right - it is the top voted one, not the accepted one. I think they recently changed it so the accepted answer is not necessarily top, so the currently top-voted answer would not have been as prominent before.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.