INVARIANT DETERMINATION
    1.
    发明申请

    公开(公告)号:US20180314574A1

    公开(公告)日:2018-11-01

    申请号:US15581882

    申请日:2017-04-28

    IPC分类号: G06F11/07

    摘要: Examples disclosed herein relate to determining that an operation is accessing data on a persistent memory and retrieving a log of the operation. The examples may also include determining a type of the data being accessed by the persistent memory by the operation and identifying, from the log, a location in the persistent memory of the data accessed by the operation. The examples may also include determining contents of the data accessed by the persistent memory by the operation and determining whether the contents of the data hold an invariant corresponding to the type of data.

    Invariant determination
    2.
    发明授权

    公开(公告)号:US10248493B2

    公开(公告)日:2019-04-02

    申请号:US15581882

    申请日:2017-04-28

    IPC分类号: G06F11/00 G06F11/07

    摘要: Examples disclosed herein relate to determining that an operation is accessing data on a persistent memory and retrieving a log of the operation. The examples may also include determining a type of the data being accessed by the persistent memory by the operation and identifying, from the log, a location in the persistent memory of the data accessed by the operation. The examples may also include determining contents of the data accessed by the persistent memory by the operation and determining whether the contents of the data hold an invariant corresponding to the type of data.

    WRITE-AHEAD LOGGING THROUGH A PLURALITY OF LOGGING BUFFERS USING NVM

    公开(公告)号:US20180300083A1

    公开(公告)日:2018-10-18

    申请号:US15485399

    申请日:2017-04-12

    IPC分类号: G06F3/06

    摘要: An example system for write-ahead logging through a plurality of logging buffers using a non-volatile memory (NVM) is disclosed. The example disclosed herein comprises a processing unit coupled to one or more controllers from one or more client applications. The example also comprises a plurality of logging buffers to receive a plurality of first log data threads based on a predetermined timestamp range, wherein each log buffer stores a single first timestamp log data thread from a plurality of timestamp log data threads. The example further comprises a flusher to flush the plurality of first timestamp log data threads from the plurality of logging buffers to a first timestamp log data. The flusher stores the first timestamp log data to an NVM to build flushed timestamp log data. The example further comprises a syncer to sync the flushed timestamp log data from the NVM to an HD device in time stamp sequential order.