公开(公告)号：US20150039869A1

公开(公告)日：2015-02-05

申请号：US13956495

申请日：2013-08-01

Applicant: Koichi Yamada ,  GAD SHEAFFER ,  JAN GRAY ,  LANDY WANG ,  MARTIN TAILLEFER ,  ARUN KISHAN ,  ALI-REZA ADL-TABATABAI ,  DAVID CALLAHAN

Inventor： Koichi Yamada ,  GAD SHEAFFER ,  JAN GRAY ,  LANDY WANG ,  MARTIN TAILLEFER ,  ARUN KISHAN ,  ALI-REZA ADL-TABATABAI ,  DAVID CALLAHAN

IPC: G06F9/38

CPC classification number: G06F9/467 ,  G06F9/30076 ,  G06F9/3834 ,  G06F9/3836 ,  G06F9/3857 ,  G06F9/3861

Abstract: In one embodiment, the present invention includes a method for receiving control in a kernel mode via a ring transition from a user thread during execution of an unbounded transactional memory (UTM) transaction, updating a state of a transaction status register (TSR) associated with the user thread and storing the TSR with a context of the user thread, and later restoring the context during a transition from the kernel mode to the user thread. In this way, the UTM transaction may continue on resumption of the user thread. Other embodiments are described and claimed.

Abstract translation: 在一个实施例中，本发明包括一种用于在执行无界事务存储器（UTM）事务期间经由用户线程的环转移以内核模式接收控制的方法，更新与相关联的事务状态寄存器（TSR）相关联的事务状态寄存器（TSR）的状态 用户线程和用户线程的上下文存储TSR，然后在从内核模式到用户线程的转换期间恢复上下文。 以这种方式，UTM事务可以继续恢复用户线程。 描述和要求保护其他实施例。

公开(公告)号：US08650551B2

公开(公告)日：2014-02-11

申请号：US13323921

申请日：2011-12-13

Applicant: Martin Taillefer

Inventor： Martin Taillefer

IPC: G06F9/45

CPC classification number: G06F11/3664

Abstract: 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.

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

公开(公告)号：US08495329B2

公开(公告)日：2013-07-23

申请号：US12422764

申请日：2009-04-13

Applicant: John J. Duffy ,  Steven Edward Lucco ,  Anders Hejlsberg ,  Martin Taillefer

Inventor： John J. Duffy ,  Steven Edward Lucco ,  Anders Hejlsberg ,  Martin Taillefer

IPC: G06F12/00 ,  G06F13/00 ,  G06F13/28

CPC classification number: G06F9/52

Abstract: 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.

Abstract translation: 对象引用被隔离权限修饰符标记。 可以包括至少两个权限，并且在一个示例中包括三个权限。 在实现权限时，通过定义对象的引用键入类型修饰符来控制对类型成员的访问。 类型修饰符之一与每个出现的类型名称相关联。 类型修饰符中的每一个定义了不同的访问权限，以限制对参考点所对应的操作。

公开(公告)号：US08176253B2

公开(公告)日：2012-05-08

申请号：US11823236

申请日：2007-06-27

Applicant: Martin Taillefer ,  Darek Mihocka ,  Bruno Silva

Inventor： Martin Taillefer ,  Darek Mihocka ,  Bruno Silva

IPC: G06F12/00 ,  G06F9/455 ,  G06F9/44

CPC classification number: G06F9/466 ,  G06F9/45504 ,  G06F9/45533 ,  G06F2209/521

Abstract: 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.

Abstract translation: 公开了用于使用事务性存储器硬件来加速虚拟化或仿真的各种技术和技术。 中央处理单元设置有事务存储器硬件。 可以通过提供事务性存储器硬件来支持代码反向补丁，该硬件支持维护私有内存状态和原子提交功能的功能。 对某些代码所做的更改存储在私人状态设施中。 通过尝试使用原子提交功能一次性向内存提交所有更改来实现后期更改。 可以通过使用事务性存储器硬件来提供高效的回叫栈。 存储在私有状态设施中的调用返回缓存捕获主机地址以在执行客户机功能完成后返回。 直接查找基于硬件的哈希表用于调用返回缓存。

公开(公告)号：US08024727B2

公开(公告)日：2011-09-20

申请号：US11454372

申请日：2006-06-15

Applicant: Martin Taillefer ,  Stanley W. Adermann

Inventor： Martin Taillefer ,  Stanley W. Adermann

IPC: G06F9/455 ,  G06F13/00

CPC classification number: H04L29/12367 ,  H04L29/12396 ,  H04L29/12443 ,  H04L45/00 ,  H04L49/90 ,  H04L61/2514 ,  H04L61/2525 ,  H04L61/2542 ,  H04L69/32

Abstract: Techniques for enhancing or replacing host operating system functionality by leveraging guest operating system functionality are disclosed. Incoming data is received from a computing resource of a host operating system, and, before the incoming data is transmitted to a higher-level module in the host operating system, the incoming data is intercepted by a set of one or more leveraged guest modules in a guest operating system. After intercepting the incoming data, the leveraged guest modules perform one or more operations on the incoming data. The leveraged guest modules may provide more advanced support and capabilities to perform these operations than any counterpart functionality in the host operating system. In addition to performing these operations, the leveraged guest modules also determine whether or not to return the incoming data to the host operating system.

Abstract translation: 公开了通过利用客户操作系统功能来增强或替代主机操作系统功能的技术。 从主机操作系统的计算资源接收传入数据，并且在将传入数据传送到主机操作系统中的较高级别的模块之前，输入数据被一组一个或多个杠杆的访客模块拦截 客户机操作系统。 在拦截传入数据之后，杠杆的访客模块对传入的数据执行一个或多个操作。 杠杆化的客户模块可以提供比主机操作系统中的任何对应功能更高级的支持和功能来执行这些操作。 除了执行这些操作之外，杠杆客户模块还确定是否将输入数据返回到主机操作系统。

公开(公告)号：US20110145304A1

公开(公告)日：2011-06-16

申请号：US12638929

申请日：2009-12-15

Applicant: Jan Gray ,  Martin Taillefer ,  Yosseff Levanoni ,  Ali-Reza Adl-Tabatabai ,  Dave Detlefs ,  Vinod K. Grover ,  Michael Magruder ,  Gad Sheaffer

Inventor： Jan Gray ,  Martin Taillefer ,  Yosseff Levanoni ,  Ali-Reza Adl-Tabatabai ,  Dave Detlefs ,  Vinod K. Grover ,  Michael Magruder ,  Gad Sheaffer

IPC: G06F17/00 ,  G06F12/00 ,  G06F12/02

CPC classification number: G06F9/466 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/30185 ,  G06F9/3834 ,  G06F9/467 ,  G06F12/0253 ,  G06F12/0815 ,  G06F12/082

Abstract: Handling garbage collection and exceptions in hardware assisted transactions. Embodiments are practiced in a computing environment including a hardware assisted transaction system. Embodiments includes acts for writing to a card table outside of a transaction; handling garbage collection compaction occurring when a hardware transaction is active by using a common global variable and instructing one or more agents to write to the common global variable any time an operation is performed which may change an object's virtual address; acts for managing a thread-local allocation context; acts for handling exceptions while in a hardware assisted transaction. A method includes beginning a hardware assisted transaction, raising an exception while in the hardware assisted transaction, including creating an exception object, determining that the transaction should be rolled back, and as a result of determining that the transaction should be rolled back, marshaling the exception object out of the hardware assisted transaction.

Abstract translation: 在硬件辅助交易中处理垃圾收集和异常。 实施例在包括硬件辅助交易系统的计算环境中实现。 实施例包括用于在事务之外写入卡表的动作; 通过使用公共全局变量来处理在硬件事务处于活动状态时发生的垃圾收集压缩，并且在每次执行可能改变对象的虚拟地址的操作时，指示一个或多个代理写入公共全局变量; 用于管理线程本地分配上下文的动作; 在硬件辅助交易中处理异常的行为。 一种方法包括开始硬件辅助事务，在硬件辅助事务中引发异常，包括创建异常对象，确定事务应该回滚，并且由于确定事务应该回滚，因此， 异常对象出来的硬件辅助事务。

公开(公告)号：US20080215305A1

公开(公告)日：2008-09-04

申请号：US12104274

申请日：2008-04-16

Applicant: Alan G. Bishop ,  Landon Dyer ,  Martin Taillefer

Inventor： Alan G. Bishop ,  Landon Dyer ,  Martin Taillefer

IPC: G06G7/62

CPC classification number: G06F12/1009

Abstract: A first software program executing on a computing device emulates a second computing device executing a software program using emulated memory. The first software program permits the second software program to perform an operation on a contiguous portion of the emulated memory only when a pointer and a table entry both contain the same identifier, thus protecting against common types of memory usage errors in the second software program. The pointer has an address to the contiguous portion. The table entry maps to the contiguous portion. A plurality of table entries map to a respective plurality of contiguous portion of the emulated memory. A plurality of the pointers each contain the address to a respective contiguous portion of the emulated memory as well as containing an identifier corresponding to the respective contiguous portion of the emulated memory. The second computing device can be high or low in resources.

Abstract translation: 在计算设备上执行的第一软件程序模拟使用模拟存储器来执行软件程序的第二计算设备。 第一软件程序允许第二软件程序仅在指针和表条目都包含相同的标识符时才对仿真存储器的连续部分执行操作，从而防止在第二软件程序中的常见类型的存储器使用错误。 指针具有连续部分的地址。 表条目映射到连续部分。 多个表条目映射到仿真存储器的相应多个连续部分。 多个指针各自包含地址给仿真存储器的相应连续部分，并且包含对应于仿真存储器的相应连续部分的标识符。 第二计算设备可以是高或低的资源。

公开(公告)号：US20060212539A1

公开(公告)日：2006-09-21

申请号：US11397482

申请日：2006-04-03

Applicant: John Palevich ,  Martin Taillefer

Inventor： John Palevich ,  Martin Taillefer

IPC: G06F15/16

CPC classification number: H04L67/06 ,  G06F17/30067 ,  G06F17/30902 ,  H04L67/02 ,  H04L67/34 ,  H04L69/04

Abstract: A method and system that combines efficient caching and buffering to provide a network file system, that may utilize data stored in one or more compressed image files of sequentially arranged byte stream data. As an application requests file opens and file reads of a file system, one or more drivers convert the block requests into HTTP: byte range requests or the like in order to retrieve the data from a remote server. As the data is received, it is reconverted and adjusted to match the application's request. Sequential block access patterns can be detected and used to request additional data in a single request, in anticipation of future block requests, thereby increasing efficiency. Local caching of received data, including caching after uncompressing received data that was compressed, further increases efficiency. A compressed file system format optimized for sequential access is also described that when used, further improves the efficient data access.

Abstract translation: 一种组合高效缓存和缓冲以提供网络文件系统的方法和系统，其可以利用存储在一个或多个顺序排列的字节流数据的压缩图像文件中的数据。 随着应用程序请求文件打开和文件系统的文件读取，一个或多个驱动程序将块请求转换为HTTP：字节范围请求等，以便从远程服务器检索数据。 随着数据的收到，它被重新转换和调整以匹配应用程序的请求。 可以检测顺序块访问模式并用于在单个请求中请求附加数据，以期望将来的块请求，从而提高效率。 接收到的数据的本地缓存（包括解压后的缓存）接收到的压缩数据进一步提高了效率。 还描述了针对顺序访问优化的压缩文件系统格式，当使用时，进一步提高了有效的数据访问。

公开(公告)号：US06889256B1

公开(公告)日：2005-05-03

申请号：US09590970

申请日：2000-06-09

Applicant: John H. Palevich ,  Martin Taillefer

Inventor： John H. Palevich ,  Martin Taillefer

IPC: G06F15/16 ,  G06F17/30

CPC classification number: H04L67/06 ,  G06F17/30067 ,  G06F17/30902 ,  H04L67/02 ,  H04L67/34 ,  H04L69/04

Abstract: A method and system that combines efficient caching and buffering to provide a network file system, that may utilize data stored in one or more compressed image files of sequentially arranged byte stream data. As an application requests file opens and file reads of a file system, one or more drivers convert the block requests into HTTP: byte range requests or the like in order to retrieve the data from a remote server. As the data is received, it is reconverted and adjusted to match the application's request. Sequential block access patterns can be detected and used to request additional data in a single request, in anticipation of future block requests, thereby increasing efficiency. Local caching of received data, including caching after uncompressing received data that was compressed, further increases efficiency. A compressed file system format optimized for sequential access is also described that when used, further improves the efficient data access.

Abstract translation: 一种组合高效缓存和缓冲以提供网络文件系统的方法和系统，其可以利用存储在一个或多个顺序排列的字节流数据的压缩图像文件中的数据。 随着应用程序请求文件打开和文件系统的文件读取，一个或多个驱动程序将块请求转换为HTTP：字节范围请求等，以便从远程服务器检索数据。 随着数据的收到，它被重新转换和调整以匹配应用程序的请求。 可以检测顺序块访问模式并用于在单个请求中请求附加数据，以期望将来的块请求，从而提高效率。 接收到的数据的本地缓存（包括解压后的缓存）接收到的压缩数据进一步提高了效率。 还描述了针对顺序访问优化的压缩文件系统格式，当使用时，进一步提高了有效的数据访问。

公开(公告)号：US08776041B2

公开(公告)日：2014-07-08

申请号：US11702785

申请日：2007-02-05

Applicant: Naveen K. Kachroo ,  Martin Taillefer ,  Lonny Dean McMichael

Inventor： Naveen K. Kachroo ,  Martin Taillefer ,  Lonny Dean McMichael

IPC: G06F9/44 ,  G06F9/445

CPC classification number: G06F9/45533 ,  G06F8/65

Abstract: Mechanisms are disclosed for updating a virtual machine monitor (“VMM”). Facilities of a guest operating system running in a guest virtual machine managed by the VMM are leveraged to facilitate receiving an update package. The update package may contain updates for guest operating systems extensions in addition to a VMM update. An updater process, running in a guest operating system, extracts the VMM update and transfers it down to the VMM. Upon successful transfer, the updater process applies any necessary updates to guest operating systems extensions and then signals the VMM to commit the transferred VMM update.

Abstract translation: 公开了用于更新虚拟机监视器（“VMM”）的机制。 利用由VMM管理的客户虚拟机中运行的客户机操作系统的设施可以方便地接收更新包。 除了VMM更新之外，更新包可能包含客户机操作系统扩展的更新。 在客户机操作系统中运行的更新进程提取VMM更新并将其传输到VMM。 成功传输后，更新程序将对客户机操作系统扩展进行任何必要更新，然后向VMM发出信号以提交传输的VMM更新。