专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

11. 发明申请

US20110258594A1 ASYNCHRONOUS WORKFLOWS 有权
标题翻译：不寻常的工作流程
公开(公告)号：US20110258594A1
公开(公告)日：2011-10-20
申请号：US12760571
申请日：2010-04-15
申请人： Donald Syme , Luke Hoban , Timothy Yat Tim Ng , Dmitry Lomov
发明人： Donald Syme , Luke Hoban , Timothy Yat Tim Ng , Dmitry Lomov
IPC分类号： G06F9/44
CPC分类号： G06F8/458 , G06F8/445 , G06F9/4498
摘要： A system and method for implementing an asynchronous construct in a computer program. A state machine is generated from the computer program, and the program is translated to generate code that executes the state machine during runtime. The asynchronous construct may be made into a function that invokes an asynchronous function, passing the function as a callback, and then exits. When the asynchronous operation completes, the function is invoked as a callback, returning to a configuration equivalent to that prior to the asynchronous call. Variable closure may be used to maintain the state of variables during a state prior to invoking the asynchronous operation and a state after invoking the asynchronous operation.
摘要翻译：一种用于在计算机程序中实现异步构造的系统和方法。从计算机程序生成状态机，并将程序转换为生成在运行时执行状态机的代码。异步构造可以被调用为调用异步函数的函数，将函数作为回调传递，然后退出。当异步操作完成时，该函数被调用为回调，返回到等同于异步调用之前的配置。变量关闭可以用于在调用异步操作之前的状态和调用异步操作之后的状态下维护变量的状态。

12. 发明授权

US09880860B2 Automatic return to synchronization context for asynchronous computations 有权
公开(公告)号：US09880860B2
公开(公告)日：2018-01-30
申请号：US12773857
申请日：2010-05-05
申请人： Donald Syme , Lucas James Hoban , Dmitry Lomov , Timothy Yat Tim Ng
发明人： Donald Syme , Lucas James Hoban , Dmitry Lomov , Timothy Yat Tim Ng
IPC分类号： G06F9/44 , G06F9/46 , G06F9/54
CPC分类号： G06F9/451 , G06F9/461 , G06F9/54 , G06F9/542
摘要： Architecture that includes an asynchronous library which remembers the synchronization context that initiated an asynchronous method call and when the request is completed, the library restores the synchronization context of the calling thread before executing a callback. This ensures that the callback executes on the same thread as the original asynchronous request. The callback to the asynchronous operation that asynchronous library provides automatically “jumps threads” to maintain thread affinity.

13. 发明申请

US20110258593A1 STATIC TYPE CHECKING AGAINST EXTERNAL DATA SOURCES 有权
标题翻译：对外部数据源进行静态检查
公开(公告)号：US20110258593A1
公开(公告)日：2011-10-20
申请号：US12759721
申请日：2010-04-14
申请人： Timothy Yat Tim Ng , Jomo Ahab Fisher , Donald Syme , Lucas James Hoban
发明人： Timothy Yat Tim Ng , Jomo Ahab Fisher , Donald Syme , Lucas James Hoban
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： Static type checking is performed against external data sources in an interacting editing environment. A rich editing experience can be provided to users for external data equivalent to that provided for internal static, typed data. An extensible compiler is provided so that a user or third party can extend type checking facilities to any external data source. An extensible language service is provided so that a user or third party can extend the language service to provide a consistent, current static view of external data. The extensible compiler and language service allow language extensions to plug into the type checking process. This enables the compiler and language service to provide an extension point that allows extensions of the compiler and allow the language service to render dynamic information statically.
摘要翻译：在交互式编辑环境中对外部数据源执行静态类型检查。外部数据可以为用户提供丰富的编辑体验，等同于内部静态类型数据。提供可扩展的编译器，以便用户或第三方可以将类型检查功能扩展到任何外部数据源。提供可扩展语言服务，使得用户或第三方可以扩展语言服务以提供外部数据的一致的当前静态视图。可扩展的编译器和语言服务允许语言扩展插入类型检查过程。这使编译器和语言服务能够提供一个扩展点，允许编译器的扩展，并允许语言服务静态呈现动态信息。

14. 发明授权

US09411568B2 Asynchronous workflows 有权
标题翻译：异步工作流程
公开(公告)号：US09411568B2
公开(公告)日：2016-08-09
申请号：US12760571
申请日：2010-04-15
申请人： Donald Syme , Luke Hoban , Timothy Yat Tim Ng , Dmitry Lomov
发明人： Donald Syme , Luke Hoban , Timothy Yat Tim Ng , Dmitry Lomov
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/458 , G06F8/445 , G06F9/4498
摘要： A system and method for implementing an asynchronous construct in a computer program. A state machine is generated from the computer program, and the program is translated to generate code that executes the state machine during runtime. The asynchronous construct may be made into a function that invokes an asynchronous function, passing the function as a callback, and then exits. When the asynchronous operation completes, the function is invoked as a callback, returning to a configuration equivalent to that prior to the asynchronous call. Variable closure may be used to maintain the state of variables during a state prior to invoking the asynchronous operation and a state after invoking the asynchronous operation.
摘要翻译：一种用于在计算机程序中实现异步构造的系统和方法。从计算机程序生成状态机，并将程序转换为生成在运行时执行状态机的代码。异步构造可以被调用为调用异步函数的函数，将函数作为回调传递，然后退出。当异步操作完成时，该函数被调用为回调，返回到等同于异步调用之前的配置。变量关闭可以用于在调用异步操作之前的状态和调用异步操作之后的状态下维护变量的状态。

15. 发明申请

US20110276950A1 NAME BINDING EXTENSIBILITY FOR TYPED PROGRAMMING LANGUAGE 审中-公开
标题翻译：名称绑定的类型编程语言的可扩展性
公开(公告)号：US20110276950A1
公开(公告)日：2011-11-10
申请号：US12773855
申请日：2010-05-05
申请人： Jomo A. Fisher , Donald Syme , Lucas J. Hoban , Timothy Yat Tim Ng
发明人： Jomo A. Fisher , Donald Syme , Lucas J. Hoban , Timothy Yat Tim Ng
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： Architecture that provides a way to plug into a compiler (e.g., F#) and the associated language service. The language components define a standard plug-in mechanism that allows any component to plug into the services and, provide name binding and type resolution services. The compiler and language service utilize the protocol defined (e.g., in the shape of interfaces and classes that must be implemented in order to plug-in to the system) to provide compile time and design time extensions. The architecture provides the ability to define a customized protocol to interact with the compiler's name binding mechanism. The use of this protocol allows not only compilation to succeed, but to also provide rich IDE services, such as name lookup, and value lookup for quick information. Additionally, the capability to provide static type information to satisfy the requirements of a typed programming language is supported.
摘要翻译：提供插入编译器（例如F＃）和相关语言服务的方式的架构。语言组件定义了一个标准插件机制，允许任何组件插入服务，并提供名称绑定和类型解析服务。编译器和语言服务利用定义的协议（例如，为了插入到系统必须实现的接口和类的形状），以提供编译时间和设计时间扩展。该架构提供了定义一个定制协议以与编译器的名称绑定机制交互的功能。使用此协议不仅允许编译成功，还可以提供丰富的IDE服务，如名称查找和快速信息的值查找。此外，支持提供静态类型信息以满足类型编程语言要求的能力。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式