公开(公告)号：EP2176763A4

公开(公告)日：2011-12-07

申请号：EP08771364

申请日：2008-06-18

申请人： MICROSOFT CORP

发明人： TAILLEFER MARTIN

IPC分类号： G06F12/00 ,  G06F9/45 ,  G06F9/46

CPC分类号： G06F9/466

摘要： Various technologies and techniques are described for providing a transaction grouping feature for use in programs operating under a transactional memory system. The transaction grouping feature is operable to allow transaction groups to be created that contain related transactions. The transaction groups are used to enhance performance and/or operation of the programs. Different locking and versioning mechanisms can be used with different transaction groups. When running transactions, a hardware transactional memory execution mechanism can be used for one transaction group while a software transactional memory execution mechanism used for another transaction group.

摘要翻译： 描述了用于提供用于在事务存储器系统下操作的程序中的事务分组功能的各种技术和技术。 事务分组功能可操作以允许创建包含相关事务的事务组。 事务组用于提高程序的性能和/或操作。 不同的锁定和版本控制机制可以与不同的事务组一起使用。 当运行事务时，硬件事务内存执行机制可用于一个事务组，而另一个事务组则使用软件事务内存执行机制。

公开(公告)号：EP2176748A4

公开(公告)日：2010-07-07

申请号：EP08771212

申请日：2008-06-16

申请人： MICROSOFT CORP

发明人： TAILLEFER MARTIN ,  MIHOCKA DAREK ,  SILVA BRUNO

IPC分类号： G06F9/455

CPC分类号： G06F9/45533

公开(公告)号：EP2168044A4

公开(公告)日：2010-07-07

申请号：EP08771214

申请日：2008-06-16

申请人： MICROSOFT CORP

发明人： TAILLEFER MARTIN ,  MIHOCKA DAREK ,  SILVA BRUNO

IPC分类号： G06F9/455

CPC分类号： G06F9/45533 ,  G06F9/45504 ,  G06F9/45516 ,  G06F9/466

摘要： The invention provides a method for using transactional memory hardware to facilitate dispatch table updates in multithreaded environments comprising the steps of: providing access to a central processing unit with transactional memory hardware, the transactional memory hardware comprising an atomic commit feature (372); and providing an emulator that uses a dispatch table stored in main memory to convert a guest program counter into a host program counter (374); and accessing the dispatch table to see if the dispatch table contains a particular host program counter for a particular guest program counter (376).

摘要翻译： 本发明提供了一种使用事务存储器硬件来促进多线程环境中的调度表更新的方法，包括以下步骤：提供对具有事务存储器硬件的中央处理单元的访问，事务存储器硬件包括原子提交特征（372）; 并提供使用存储在主存储器中的调度表将仿真程序计数器转换为主机程序计数器的仿真器（374）; 以及访问调度表以查看分派表是否包含用于特定客人程序计数器的特定主机程序计数器（376）。

公开(公告)号：EP2176749A4

公开(公告)日：2013-03-13

申请号：EP08771215

申请日：2008-06-16

申请人： MICROSOFT CORP

发明人： TAILLEFER MARTIN ,  MIHOCKA DAREK ,  SILVA BRUNO

IPC分类号： G06F9/455 ,  G06F9/46

CPC分类号： G06F9/466 ,  G06F9/45504 ,  G06F9/45533 ,  G06F2209/521

摘要： Various technologies and techniques are disclosed for using transactional memory hardware to accelerate virtualization or emulation. A central processing unit is provided with the transactional memory hardware. Code backpatching can be facilitated by providing transactional memory hardware that supports a facility to maintain private memory state and an atomic commit feature. Changes made to certain code are stored in the private state facility. Backpatching changes are enacted by attempting to commit all the changes to memory at once using the atomic commit feature. An efficient call return stack can be provided by using transactional memory hardware. A call return cache stored in the private state facility captures a host address to return to after execution of a guest function completes. A direct-lookup hardware-based hash table is used for the call return cache.

公开(公告)号：EP2419855A4

公开(公告)日：2013-01-16

申请号：EP10764898

申请日：2010-04-01

申请人： MICROSOFT CORP

发明人： DUFFY JOHN J ,  LUCCO STEVEN EDWARD ,  HEJLSBERG ANDERS ,  TAILLEFER MARTIN

IPC分类号： G06F9/44 ,  G06F12/14

CPC分类号： G06F9/52

摘要： An object reference is tagged with an isolation permission modifier. At least two permissions can be included, and in an example three permissions are included. In implementing the permissions, type modifiers for controlling access to type members through references pointing at an object are defined. One of the type modifiers is associated with each occurrence of a type name. Each of the of type modifiers defines a different access permission to restrict operations on the object to which the reference points.

公开(公告)号：EP2171589A4

公开(公告)日：2012-09-19

申请号：EP08770335

申请日：2008-06-06

申请人： MICROSOFT CORP

发明人： TAILLEFER MARTIN

IPC分类号： G06F11/34

CPC分类号： G06F11/3664

摘要： Various technologies and techniques are disclosed for providing a debugger for programs running under a transactional memory system. When running a particular program using the debugger, the system detects when a conflict occurs on at least one conflictpoint that was set in the particular program. A graphical user interface is provided that displays information related to the detected conflict. The graphical user interface can display transactional state and/or other details independently of a conflict. A conflictpoint can be assigned to one or more regions of source code in one or more transactions in the particular program. A conflictpoint can also be assigned to a particular variable in the particular program. When running the particular program in a debug mode, execution is stopped if a conflict occurs on any of the conflictpoints.

摘要翻译： 公开了各种技术和技术，以提供用于在事务存储器系统下运行的程序的调试器。 当使用调试器运行特定程序时，系统将检测在特定程序中设置的至少一个冲突点上何时发生冲突。 提供了显示与检测到的冲突有关的信息的图形用户界面。 图形用户界面可以独立于冲突显示事务状态和/或其他细节。 可以在特定程序中的一个或多个事务中将冲突点分配给源代码的一个或多个区域。 冲突点也可以分配给特定程序中的特定变量。 当以调试模式运行特定程序时，如果任何冲突点发生冲突，则停止执行。

公开(公告)号：EP2176761A4

公开(公告)日：2010-07-07

申请号：EP08770896

申请日：2008-06-12

申请人： MICROSOFT CORP

发明人： TAILLEFER MARTIN

IPC分类号： G06F12/00 ,  G06F9/46

CPC分类号： G06F9/4428 ,  G06F9/526

摘要： Various technologies and techniques are disclosed for providing an object model for transactional memory. The object model for transactional memory allows transactional semantics to be separated from program flow. Memory transaction objects created using the object model can live beyond the instantiating execution scope, which allows additional details about the memory transaction to be provided and controlled. Transactional memory can be supported even from languages that do not directly expose transactional memory constructs. This is made possible by defining the object model in one or more base class libraries and allowing the language that does not support transactional memory directly to use transactional memory through the object model.