Patents by Inventor Jonathan Michael Stall

Jonathan Michael Stall has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20240036840
    Abstract: Deferred formula computation executes software containing a set of programmed formulas, wherein the set includes a first programmed formula defined in an associated dependency graph to be dependent on a result of a second programmed formula. A method may encounter a reference to the first programmed formula during execution of the software, wherein the reference is associated with deferred formula computation request program code in the executing software to obtain a result of the first programmed formula; identify during execution of the software the second programmed formula based on traversal within the associated dependency graph of the first programmed formula; compute a result of the second programmed formula during execution of the software; compute the result of the first programmed formula during execution of the software, and return the computed result of the first programmed formula in association with the reference to the first programmed formula.
    Type: Application
    Filed: November 3, 2022
    Publication date: February 1, 2024
    Inventors: Gregory S. LINDHORST, Jonathan Michael STALL, Shantanu Kiran PAKHARE, Vamsi MODEM, Lee McCall SALTZMAN
  • Patent number: 8196140
    Abstract: Threads operating in a computing environment often invoke service functions, such as methods of a programming library. Such invocations may sometimes cause a blocking of the thread, which may be protracted. A long pendency of the service function invocation and blocking of the thread may be acceptable in some operating contexts, such as the ordinary processing of the thread, but may be unacceptable in other operating contexts, such as while performing a function evaluation during debugging. Such blocking may be mitigated by redirecting a service function to an abort function if the service function is capable of blocking the thread and the thread is operating in a safe mode. The thread may then be permitted to execute, and the potentially blocking service functions may be avoided, resulting in a function evaluation abort (e.g., an exception) rather than a blocked thread and a failed debugging scenario.
    Type: Grant
    Filed: January 11, 2008
    Date of Patent: June 5, 2012
    Assignee: Microsoft Corporation
    Inventors: Gregg B. Miskelly, Azeemullah Khan, Jonathan Michael Stall, Paul Matthew Pietrek
  • Publication number: 20090183154
    Abstract: Threads operating in a computing environment often invoke service functions, such as methods of a programming library. Such invocations may sometimes cause a blocking of the thread, which may be protracted. A long pendency of the service function invocation and blocking of the thread may be acceptable in some operating contexts, such as the ordinary processing of the thread, but may be unacceptable in other operating contexts, such as while performing a function evaluation during debugging. Such blocking may be mitigated by redirecting a service function to an abort function if the service function is capable of blocking the thread and the thread is operating in a safe mode. The thread may then be permitted to execute, and the potentially blocking service functions may be avoided, resulting in a function evaluation abort (e.g., an exception) rather than a blocked thread and a failed debugging scenario.
    Type: Application
    Filed: January 11, 2008
    Publication date: July 16, 2009
    Applicant: MICROSOFT CORPORATION
    Inventors: Gregg B. Miskelly, Azeemullah Khan, Jonathan Michael Stall, Paul Matthew Pietrek