package shared-block-ring

You can search for identifiers within the package.

in-package search v0.2.0

shared-block-ring
- Shared_block
  - EraseBlock
    
    Make
  - Journal
    
    Make
    
    Clock
    
    Log
    
    Operation
  - Ring
    
    Make
    
    Consumer
    
    Item
    
    Log
    
    Producer
  - S
    
    CLOCK
    
    COMPARABLE
    
    CONSUMER
    
    CSTRUCTABLE
    
    JOURNAL
    
    LOG
    
    PRODUCER
    
    RING

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Make
  (Log : S.LOG)
  (Block : S.BLOCK)
  (Time : S.TIME)
  (Clock : S.CLOCK)
  (Operation : S.CSTRUCTABLE) : 
  S.JOURNAL with type disk := Block.t and type operation := Operation.t

Create a journal from a block device. Descriptions of idempotent operations may be pushed to the journal, and we guarantee to perform them at-least-once in the order they were pushed provided the block device is available. If the program crashes, the journal replay will be started when the program restarts.