-
公开(公告)号:US20220179679A1
公开(公告)日:2022-06-09
申请号:US17247299
申请日:2020-12-07
Applicant: Cisco Technology, Inc.
Inventor: Pedro Ramalhete , Patrick Marlier , Pratap Pereira , Avaneesh Anandrao Kadam , Jeffrey yi dar Lo , Tzewei Sou , Zhijian Zhang
Abstract: Disclosed herein are techniques to facilitate the performance database transactions directly by applications employing concurrency control of an in-memory database (IMDB) and the compilation of expressions to accomplish such database transactions. This disclosure describes techniques to facilitate the compilation of programming-language expressions into processor-executable instructions that employ software transactional memory (STM) concurrency control of an IMDB.
-
公开(公告)号:US11669432B1
公开(公告)日:2023-06-06
申请号:US16932363
申请日:2020-07-17
Applicant: Cisco Technology, Inc.
Inventor: Harshavardhan Parandekar , Pratap Pereira , Tapraj Singh , Jeffrey yi dar Lo , Zhijian Zhang
CPC classification number: G06F11/3624 , G06F8/44
Abstract: This disclosure describes techniques to compile source code corresponding to a portion of a software program. The techniques include generating first object code by processing the source code. Based at least in part on processing the source code, generating second object code, wherein the second object code, when executed by one or more processors, causes the one or more processors to perform an operation unconditionally bound to a unique identifier of the operation. The described techniques further include generating an indication of a mapping of the unique identifier to the portion of the software program.
-