Why doesn’t .NET/C# optimize for tail-call recursion?

by

JIT compilation is a tricky balancing act between not spending too much time doing the compilation phase (thus slowing down short lived applications considerably) vs. not doing enough analysis to keep the application competitive in the long term with a standard ahead-of-time compilation.

Interestingly the NGen compilation steps are not targeted to being more aggressive in their optimizations. I suspect this is because they simply don’t want to have bugs where the behaviour is dependent on whether the JIT or NGen was responsible for the machine code.

The CLR itself does support tail call optimization, but the language-specific compiler must know how to generate the relevant opcode and the JIT must be willing to respect it.
F#’s fsc will generate the relevant opcodes (though for a simple recursion it may just convert the whole thing into a while loop directly). C#’s csc does not.

See this blog post for some details (quite possibly now out of date given recent JIT changes). Note that the CLR changes for 4.0 the x86, x64 and ia64 will respect it.

More Related Contents:

  1. Most efficient way to concatenate strings?
  2. Tips for optimizing C#/.NET programs [closed]
  3. Is shifting bits faster than multiplying and dividing in Java? .NET? [closed]
  4. Does C# optimize the concatenation of string literals?
  5. Reducing memory usage of .NET applications?
  6. What is the real overhead of try/catch in C#?
  7. What is the “cost” of .NET reflection? [duplicate]
  8. When is optimization premature? [closed]
  9. Is the C# compiler smart enough to optimize this code?
  10. Switch case on type c# [duplicate]
  11. Intersection of multiple lists with IEnumerable.Intersect()
  12. How to check if an object is nullable?
  13. Write file from assembly resource stream to disk
  14. Model-View-Presenter in WinForms
  15. How can I create a product key for my C# application?
  16. how to use XPath with XDocument?
  17. Why is LINQ .Where(predicate).First() faster than .First(predicate)?
  18. DataGrid column width doesn’t auto-update
  19. Travel through pixels in BMP
  20. memcpy function in c# [duplicate]
  21. .NET Core vs Mono
  22. Validating file types by regular expression
  23. How to do an “in” query in entity framework?
  24. ASP.NET Web API and [Serializable] class
  25. How to create an image of a WPF UserControl at runtime
  26. trying to convert rgb from a .net Color to a string such as “red” or “blue”
  27. When is the best place to use Task.Result instead of awaiting Task
  28. Which objects can I use in a finalizer method?
  29. Formatting Large Numbers with .NET
  30. Can I reuse HttpWebRequest without disconnecting from the server?

Leave a Comment