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

1. 发明公开

EP2176753A4 CONCURRENT EXCEPTION HANDLING 审中-公开
标题翻译：在同一时间处理程序错误
公开(公告)号：EP2176753A4
公开(公告)日：2010-07-28
申请号：EP08770892
申请日：2008-06-12
申请人： MICROSOFT CORP
发明人： DUFFY JOHN JOSEPH , CALLAHAN DAVID , DETLEFS DAVID , MORRISON VANCE , GRUNKEMEYER BRIAN , TRIBBLE ERIC DEAN
IPC分类号： G06F9/48
CPC分类号： G06F9/4812 , G06F9/52 , G06F2209/481

2. 发明公开

EP2168043A4 TRANSACTING ACCESSES VIA UNMANAGED POINTERS 审中-公开
标题翻译： TRANSAGIEREN VON ZUGRIFFENÜBERUNVERWALTETE ZEIGER
公开(公告)号：EP2168043A4
公开(公告)日：2011-11-09
申请号：EP08770888
申请日：2008-06-12
申请人： MICROSOFT CORP
发明人： DETLEFS DAVID
IPC分类号： G06F9/46 , G06F9/45
CPC分类号： G06F9/467 , G06F8/434

3. 发明公开

EP2176762A4 HANDLING FALSELY DOOMED PARENTS OF NESTED TRANSACTIONS 有权转让
标题翻译： UMGANG MIT FALSCH VERURTEILTENÜBERGEORDNETENEINRICHTUNGEN VERNESTETER TRANSAKTIONEN
公开(公告)号：EP2176762A4
公开(公告)日：2012-10-10
申请号：EP08771213
申请日：2008-06-16
申请人： MICROSOFT CORP
发明人： MAGRUDER MICHAEL M , DETLEFS DAVID , DUFFY JOHN JOSEPH , GRAEFE GOETZ , GROVER VINOD K
IPC分类号： G06F12/00 , G06F9/46
CPC分类号： G06F17/30356 , G06F9/467 , G06F17/30362
摘要： Various technologies and techniques are disclosed for detecting falsely doomed parent transactions of nested children in transactional memory systems. When rolling back nested transactions, a release count is tracked each time that a write lock is released due to rollback for a given nested transaction. For example, a write abort compensation map can be used to track the release count for each nested transaction. The number of times the nested transactions releases a write lock is recorded in their respective write abort compensation map. The release counts can be used during a validation of a parent transaction to determine if a failed optimistic read is really valid. If an aggregated release count for the nested children transactions accounts for the difference in version numbers exactly, then the optimistic read is valid.
摘要翻译：公开了各种技术和技术，用于检测事务性存储器系统中嵌套子女的错误注定的父事务。回滚嵌套事务时，每次由于给定嵌套事务的回滚而释放写锁时，将会发布释放计数。例如，写入中止补偿映射可用于跟踪每个嵌套事务的发布计数。嵌套事务释放写入锁定的次数记录在各自的写中止补偿映射中。发布计数可以在验证父事务时使用，以确定失败的乐观读取是否真的有效。如果嵌套子代交易的汇总发行计数确切地说明了版本号的差异，则乐观读取是有效的。

4. 发明公开

EP2176764A4 USING TYPE STABILITY TO FACILITATE CONTENTION MANAGEMENT 有权转让
标题翻译： VERWENDUNG DERTYPSTABILITÄTZURERMÖGLICHUNGVON WETTBEWERBSVERWALTUNG
公开(公告)号：EP2176764A4
公开(公告)日：2011-11-16
申请号：EP08771367
申请日：2008-06-18
申请人： MICROSOFT CORP
发明人： DETLEFS DAVID , MAGRUDER MICHAEL M , DUFFY JOHN JOSEPH
IPC分类号： G06F9/46
CPC分类号： G06F9/467

5. 发明公开

EP2174224A4 EXCEPTION ORDERING IN CONTENTION MANAGEMENT TO SUPPORT SPECULATIVE SEQUENTIAL SEMANTICS 审中-公开
标题翻译：竞争管理BUG条例支持投机顺序语义
公开(公告)号：EP2174224A4
公开(公告)日：2011-01-26
申请号：EP08770359
申请日：2008-06-06
申请人： MICROSOFT CORP
发明人： DETLEFS DAVID , DUFFY JOHN JOSEPH , GRAEFE GOETZ , GROVER VINOD K , MAGRUDER MICHAEL M , ZHANG LINGLI
IPC分类号： G06F12/00 , G06F9/38 , G06F9/48
CPC分类号： G06F9/3842

6. 发明公开

EP2095225A4 SOFTWARE TRANSACTION COMMIT ORDER AND CONFLICT MANAGEMENT 有权转让
标题翻译： SOFTWARETRANSAKTIONS-BINDEAUFTRAG- UND KONFLIKTVERWALTUNG
公开(公告)号：EP2095225A4
公开(公告)日：2010-10-20
申请号：EP07845108
申请日：2007-11-17
申请人： MICROSOFT CORP
发明人： ZHANG LINGLI , GROVER VINOD K , MAGRUDER MICHAEL M , DETLEFS DAVID , DUFFY JOHN JOSEPH , GRAEFE GOETZ
IPC分类号： G06F9/06
CPC分类号： G06F9/466 , Y10S707/99933
摘要： Various technologies and techniques are disclosed for applying ordering to transactions in a software transactional memory system. A software transactional memory system is provided with a feature to allow a pre-determined commit order to be specified for a plurality of transactions. The pre-determined commit order is used at runtime to aid in determining an order in which to commit the transactions in the software transactional memory system. A contention management process is invoked when a conflict occurs between a first transaction and a second transaction. The pre-determined commit order is used in the contention management process to aid in determining whether the first transaction or the second transaction should win the conflict and be allowed to proceed.
摘要翻译：公开了各种技术和技术，用于对软件事务存储器系统中的事务应用排序。提供了一种软件事务存储器系统，其具有允许为多个事务指定预定的提交顺序的特征。在运行时使用预定的提交订单来帮助确定在软件事务存储器系统中提交事务的顺序。当在第一个事务和第二个事务之间发生冲突时，调用争用管理进程。在竞争管理过程中使用预先确定的提交订单来帮助确定第一交易或第二交易是否应该赢得冲突并被允许进行。

7. 发明公开

EP2191372A4 PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY 有权转让
标题翻译：在EINEM TRANSAKTIONSSPEICHER中的并行GESCHACHTELTE TRANSAKTIONEN
公开(公告)号：EP2191372A4
公开(公告)日：2011-11-02
申请号：EP08832590
申请日：2008-09-16
申请人： MICROSOFT CORP
发明人： MAGRUDER MICHAEL M , DETLEFS DAVID , DUFFY JOHN JOSEPH , GRAEFE GOETZ , GROVER VINOD K
IPC分类号： G06F9/52 , G06F9/46
CPC分类号： G06F9/467 , G06F17/30356 , G06F17/30359 , G06F17/30362
摘要： Various technologies and techniques are disclosed for supporting parallel nested transactions in a transactional memory system. Multiple closed nested transactions are created for a single parent transaction, and the closed nested transactions are executed concurrently as parallel nested transactions. Various techniques are used to ensure effects of the parallel nested transactions are hidden from other transactions outside the parent transaction until the parent transaction commits. For example, versioned write locks are used with parallel nested transactions. When a transactional memory word changes from a write lock to a versioned write lock, an entry is made in a global versioned write lock map to store a pointer to a write log entry that the versioned write lock replaced. When the versioned write lock is encountered during transaction processing, the global versioned write lock map is consulted to translate the versioned write lock to the pointer to the write log entry.
摘要翻译：公开了用于支持事务性存储器系统中的并行嵌套事务的各种技术和技术。为单个父事务创建多个封闭的嵌套事务，并且封闭的嵌套事务作为并行嵌套事务并发执行。使用各种技术来确保并行嵌套事务对父事务之外的其他事务的影响，直到父事务提交为止。例如，版本化的写锁与并行嵌套事务一起使用。当一个事务性内存单词从写入锁定更改为版本化的写入锁定时，将在全局版本的写入锁定映射中进行一个条目，以存储一个指向版本控制写入锁定的写入日志条目的指针。当在事务处理期间遇到版本化的写锁时，请参考全局版本的写锁定映射，以将版本化的写锁定转换为写入日志条目的指针。

8. 发明公开

EP2150900A4 TRANSACTIONAL MEMORY USING BUFFERED WRITES AND ENFORCED SERIALIZATION ORDER 有权转让
标题翻译：带记忆缓冲的写入运作和强制SERIALISIERUNGSREIHENFOLGE交易
公开(公告)号：EP2150900A4
公开(公告)日：2011-11-02
申请号：EP08732136
申请日：2008-03-13
申请人： MICROSOFT CORP
发明人： DETLEFS DAVID , DUFFY JOHN JOSEPH , MAGRUDER MICHAEL M , GRAEFE GOETZ , GROVER VINOD K , HARRIS TIMOTHY LAWRENCE
IPC分类号： G06F12/14 , G06F12/00 , G06F17/30
CPC分类号： G06F9/528
摘要： Various technologies and techniques are disclosed that support buffered writes and enforced serialization order in a software transactional memory system. A buffered write process is provided that performs writes to shadow copies of objects and writes content back to the objects after validating a respective transaction during commit. When a write lock is first obtained for a particular transaction, a shadow copy is made of a particular object. Writes are performed to and reads from the shadow copy. After validating the particular transaction during commit, content is written from the shadow copy to the particular object. A transaction ordering process is provided that ensures that an order in which the transactions are committed matches an abstract serialization order of the transactions. Transactions are not allowed to commit until their ticket number matches a global number that tracks the next transaction that should commit.

9. 发明公开

EP2049992A4 SOFTWARE TRANSACTIONAL PROTECTION OF MANAGED POINTERS 有权转让
标题翻译：软件交易的托管指标保护
公开(公告)号：EP2049992A4
公开(公告)日：2011-10-26
申请号：EP07835974
申请日：2007-07-03
申请人： MICROSOFT CORP
发明人： DUFFY JOHN JOSEPH , MAGRUDER MICHAEL M , GRAEFE GOETZ , DETLEFS DAVID
IPC分类号： G06F9/45 , G06F9/40 , G06F9/46
CPC分类号： G06F9/4425 , G06F8/434 , G06F8/4441 , G06F9/466
摘要： Various technologies and techniques are disclosed that provide software transactional protection of managed pointers. A software transactional memory system interacts with and/or includes a compiler. At compile time, the compiler determines that there are one or more reference arguments in one or more code segments being compiled whose source cannot be recovered. The compiler executes a procedure to select one or more appropriate techniques or combinations thereof for communicating the sources of the referenced variables to the called code segments to ensure the referenced variables can be recovered when needed. Some examples of these techniques include a fattened by-ref technique, a static fattening technique, a dynamic ByRefInfo type technique, and others. One or more combinations of these techniques can be used as appropriate.

10. 发明公开

EP2047369A4 COMBINED PESSIMISTIC AND OPTIMISTIC CONCURRENCY CONTROL 有权转让
标题翻译：联合悲观和乐观的竞争CONTROL
公开(公告)号：EP2047369A4
公开(公告)日：2010-05-26
申请号：EP07835975
申请日：2007-07-03
申请人： MICROSOFT CORP
发明人： DUFFY JOHN JOSEPH , MAGRUDER MICHAEL M , GRAEFE GOETZ , DETLEFS DAVID , GROVER VINOD K
IPC分类号： G06F12/16 , G06F12/00
CPC分类号： G06F9/467 , Y10S707/99932 , Y10S707/99938 , Y10S707/99945

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式