公开(公告)号：US07912863B1

公开(公告)日：2011-03-22

申请号：US10903761

申请日：2004-07-30

申请人： Henricus Johannes Maria Meijer ,  Wolfram Schulte ,  Gavin Bierman

发明人： Henricus Johannes Maria Meijer ,  Wolfram Schulte ,  Gavin Bierman

IPC分类号： G06F17/30

CPC分类号： G06F17/30557 ,  G06F17/30404

摘要： A set of syntactic extensions that are compiled with a type-directed translation method to facilitate lifting member access on base types to a newly constructed type. The extensions are processed with a type system that facilitates seamless data access to relational and semi-structured data in an object oriented host language.

摘要翻译： 一组语法扩展，使用类型导向的翻译方法编译，以便于将成员基本类型上的访问提升到新构造的类型。 扩展使用类型系统进行处理，便于以面向对象的主机语言对关系数据和半结构化数据进行无缝数据访问。

公开(公告)号：US20100269110A1

公开(公告)日：2010-10-21

申请号：US12065556

申请日：2008-03-01

申请人： Daniel J. P. Leijen ,  Wolfram Schulte

发明人： Daniel J. P. Leijen ,  Wolfram Schulte

IPC分类号： G06F9/46

CPC分类号： G06F9/505 ,  G06F2209/5017 ,  G06F2209/5018

摘要： A developer can declare one or more tasks as being replicable. A library manages all tasks that are accessed by an application, including replicable tasks, and further establishes a task manager during requested task execution. During execution, the library generates a plurality of worker threads, and each of the worker threads is assigned to be processed on one of a plurality of different central processing units. When one or more worker threads have finished processing assigned tasks, and other threads are still busy processing other tasks, the one or more idle worker thread scan copy over and process replicable tasks assigned to the other, busier worker thread(s) to help with processing. The system can also synchronize processing of the replicable task by the plurality of different worker threads and different processors to ensure no processing discrepancies.

摘要翻译： 开发人员可以将一个或多个任务声明为可复制的。 库管理应用程序访问的所有任务，包括可复制任务，并在所请求的任务执行期间进一步建立任务管理器。 在执行期间，库产生多个工作线程，并且分配每个工作线程以在多个不同的中央处理单元之一上进行处理。 当一个或多个工作线程已经完成处理分配的任务，并且其他线程仍在忙于处理其他任务时，一个或多个空闲工作线程扫描复制并处理分配给另一个忙碌工作线程的可复制任务，以帮助 处理。 该系统还可以通过多个不同的工作线程和不同的处理器来同步可复制任务的处理，以确保没有处理差异。

公开(公告)号：US07774376B1

公开(公告)日：2010-08-10

申请号：US10909060

申请日：2004-07-30

申请人： Henricus Johannes Maria Meijer ,  Wolfram Schulte ,  Gavin Bierman

发明人： Henricus Johannes Maria Meijer ,  Wolfram Schulte ,  Gavin Bierman

IPC分类号： G06F17/20 ,  G06F15/16

CPC分类号： G06F8/315

摘要： A type system that facilitates seamless integration of data access to relational and semi-structured data in an object oriented host language. A data access component includes the type system and corresponding set of syntax constructions that facilitates coercive subtyping and restricts covariance to identity conversions.

摘要翻译： 一种在面向对象的主机语言中有助于将数据访问无缝集成到关系和半结构化数据的类型系统。 数据访问组件包括类型系统和相应的一组语法结构，这有助于强制子类型化，并且限制协同变换到身份转换。

公开(公告)号：US20100082802A1

公开(公告)日：2010-04-01

申请号：US12242742

申请日：2008-09-30

申请人： Wolfram Schulte ,  Ethan K. Jackson

发明人： Wolfram Schulte ,  Ethan K. Jackson

IPC分类号： G06F15/173

CPC分类号： G06F17/30575

摘要： One or more embodiments, described herein, are directed towards a technology for analyzing a distributed system in order to determine one or more inconsistencies placing the distributed system in an unstable state. Once the one or more inconsistencies are determined, one or more operations reconciling the inconsistencies are defined in order to stabilize the distributed system.

公开(公告)号：US07530080B2

公开(公告)日：2009-05-05

申请号：US10395973

申请日：2003-03-25

申请人： Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Erik Meijer ,  Christopher J. Lovett ,  Matthew J. Warren

发明人： Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Erik Meijer ,  Christopher J. Lovett ,  Matthew J. Warren

IPC分类号： G06F3/00 ,  G06F9/44 ,  G06F9/46 ,  G06F13/00

CPC分类号： G06F8/437

摘要： A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.

摘要翻译： 公开了一种在标称类型运行时环境之上采用基于结构类型的编程语言的系统和方法。 该系统使用适配器和强制子类型来实现精确打字，同时保留混叠。 此外，该系统采用通用值表示来实现交叉装配类型等价。

公开(公告)号：US07441237B2

公开(公告)日：2008-10-21

申请号：US10396654

申请日：2003-03-25

申请人： Matthew J. Warren ,  Barend H. Venter ,  Wolfram Schulte ,  Erik Meijer ,  Christopher J. Lovett ,  Chia-Hsun Chen

发明人： Matthew J. Warren ,  Barend H. Venter ,  Wolfram Schulte ,  Erik Meijer ,  Christopher J. Lovett ,  Chia-Hsun Chen

IPC分类号： G06F9/44

CPC分类号： G06F8/41

摘要： A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.

摘要翻译： 提供了一种用于通过编辑器将附加翻译逻辑连接到编译器以扩展编译器的能力的系统和方法。 通常，作曲家可以是为编译器附加组件提供组件化和多态性的使用，以扩展编译器功能的软件库。 一个或多个作曲家可以通过源代码文件中的引用来访问编译过程。 例如，编译器设计后创建的数据类型和/或表达式（例如，标记语言）的附加翻译逻辑可以通过编辑器使编译器可访问，从而扩展现有的编译器。 本发明减轻了与常规编译器扩展方案相关的问题，并提供了编译代码优化，而不必基本上考虑单个查询的所有操作。