Transactional Storage
The Transactional Storage API allows you to achieve consistent key-value storage.
Durable Objects gain access to a persistent Transactional Storage API via state
, the first parameter passed to the Durable Object constructor.
While access to a Durable Object instance is single-threaded, request executions can still interleave with each other when they wait on I/O, such as when waiting on the promises returned by persistent storage methods or fetch()
requests.
The following code snippet shows you how to store and retrieve data using the Transactional Storage API.
export class Counter { constructor(state, env) { this.state = state; }
async fetch(request) { let url = new URL(request.url);
// retrieve data let value = (await this.state.storage.get("value")) || 0;
// increment counter and get a new value value += 1;
// store data await this.state.storage.put("value", value);
return new Response(value); }
}
Methods
The Transactional Storage API comes with several methods.
Each method is implicitly wrapped inside a transaction, such that its results are atomic and isolated from all other storage operations, even when accessing multiple key-value pairs.
get
get(keystring, optionsObject )
:Promise<any>
- Retrieves the value associated with the given key. The type of the returned value will be whatever was previously written for the key, or undefined if the key does not exist.
get(keysArray<string>, optionsObject )
:Promise<Map<string, any>>
- Retrieves the values associated with each of the provided keys. The type of each returned value in the
Map
will be whatever was previously written for the corresponding key. Results in theMap
will be sorted in increasing order of their UTF-8 encodings, with any requested keys that do not exist being omitted. Supports up to 128 keys at a time.
- Retrieves the values associated with each of the provided keys. The type of each returned value in the
Supported options
allowConcurrency
boolean- By default, the system will pause delivery of I/O events to the Object while a storage operation is in progress, in order to avoid unexpected race conditions. Pass
allowConcurrency: true
to opt out of this behavior and allow concurrent events to be delivered.
- By default, the system will pause delivery of I/O events to the Object while a storage operation is in progress, in order to avoid unexpected race conditions. Pass
noCache
boolean- If true, then the key/value will not be inserted into the in-memory cache. If the key is already in the cache, the cached value will be returned, but its last-used time will not be updated. Use this when you expect this key will not be used again in the near future. This flag is only a hint. This flag will never change the semantics of your code, but it may affect performance.
put
put(keystring, valueany, optionsObject )
:Promise
- Stores the value and associates it with the given key. The value can be any type supported by the structured clone algorithm, which is true of most types. Keys are limited to a max size of 2,048 bytes and values are limited to 128 KiB (131,072 bytes).
- Stores the value and associates it with the given key. The value can be any type supported by the structured clone algorithm, which is true of most types. Keys are limited to a max size of 2,048 bytes and values are limited to 128 KiB (131,072 bytes).
put(entriesObject, optionsObject )
:Promise
- Takes an Object and stores each of its keys and values to storage.
- Each value can be any type supported by the structured clone algorithm, which is true of most types.
- Supports up to 128 key-value pairs at a time. Each key is limited to a maximum size of 2,048 bytes and each value is limited to 128 KiB (131,072 bytes).
delete
delete(keystring, optionsObject )
:Promise<boolean>
- Deletes the key and associated value. Returns
true
if the key existed orfalse
if it did not.
- Deletes the key and associated value. Returns
delete(keysArray<string>, optionsObject )
:Promise<number>
- Deletes the provided keys and their associated values. Supports up to 128 keys at a time. Returns a count of the number of key-value pairs deleted.
deleteAll
deleteAll
(optionsObject ) :Promise
- Deletes all keys and associated values, effectively deallocating all storage used by the Durable Object. In the event of a failure while the
deleteAll()
operation is still in flight, it may be that only a subset of the data is properly deleted.deleteAll()
does not proactively delete Alarms. UsedeleteAlarm()
to delete an alarm.
- Deletes all keys and associated values, effectively deallocating all storage used by the Durable Object. In the event of a failure while the
Supported options
put()
,delete()
anddeleteAll()
support the following options:allowUnconfirmed
booleanBy default, the system will pause outgoing network messages from the Durable Object until all previous writes have been confirmed flushed to disk. If the write fails, the system will reset the Object, discard all outgoing messages, and respond to any clients with errors instead.
This way, Durable Objects can continue executing in parallel with a write operation, without having to worry about prematurely confirming writes, because it is impossible for any external party to observe the Object’s actions unless the write actually succeeds.
After any write, subsequent network messages may be slightly delayed. Some applications may consider it acceptable to communicate on the basis of unconfirmed writes. Some programs may prefer to allow network traffic immediately. In this case, set
allowUnconfirmed
totrue
to opt out of the default behavior.If you want to allow some outgoing network messages to proceed immediately but not others, you can use the allowUnconfirmed option to avoid blocking the messages that you want to proceed and then separately call the
sync()
method, which returns a promise that only resolves once all previous writes have successfully been persisted to disk.
noCache
booleanIf true, then the key/value will be discarded from memory as soon as it has completed writing to disk.
Use
noCache
if the key will not be used again in the near future.noCache
will never change the semantics of your code, but it may affect performance.If you use
get()
to retrieve the key before the write has completed, the copy from the write buffer will be returned, thus ensuring consistency with the latest call toput()
.
list
list(optionsObject )
:Promise<Map<string, any>>
Returns all keys and values associated with the current Durable Object in ascending sorted order based on the keys’ UTF-8 encodings.
The type of each returned value in the
Map
will be whatever was previously written for the corresponding key.Be aware of how much data may be stored in your Durable Object before calling this version of
list
without options because all the data will be loaded into the Durable Object’s memory, potentially hitting its limit. If that is a concern, pass options tolist
as documented below.
Supported options
start
string- Key at which the list results should start, inclusive.
startAfter
string- Key after which the list results should start, exclusive. Cannot be used simultaneously with
start
.
- Key after which the list results should start, exclusive. Cannot be used simultaneously with
end
string- Key at which the list results should end, exclusive.
prefix
string- Restricts results to only include key-value pairs whose keys begin with the prefix.
reverse
boolean- If true, return results in descending order instead of the default ascending order.
- Enabling
reverse
does not change the meaning ofstart
,startKey
, orendKey
.start
still defines the smallest key in lexicographic order that can be returned (inclusive), effectively serving as the endpoint for a reverse-order list.end
still defines the largest key in lexicographic order that the list should consider (exclusive), effectively serving as the starting point for a reverse-order list.
limit
number- Maximum number of key-value pairs to return.
allowConcurrency
boolean- Same as the option to
get()
, above.
- Same as the option to
noCache
boolean- Same as the option to
get()
, above.
- Same as the option to
transaction(closureFunction(txn))
:Promise
Runs the sequence of storage operations called on
txn
in a single transaction that either commits successfully or aborts.Explicit transactions are no longer necessary. Any series of write operations with no intervening
await
will automatically be submitted atomically, and the system will prevent concurrent events from executing whileawait
a read operation (unless you useallowConcurrency: true
). Therefore, a series of reads followed by a series of writes (with no other intervening I/O) are automatically atomic and behave like a transaction.
txn
- Provides access to the
put()
,get()
,delete()
andlist()
methods documented above to run in the current transaction context. In order to get transactional behavior within a transaction closure, you must call the methods on thetxn
Object instead of on the top-levelstate.storage
Object.
Also supports arollback()
function that ensures any changes made during the transaction will be rolled back rather than committed. Afterrollback()
is called, any subsequent operations on thetxn
Object will fail with an exception.rollback()
takes no parameters and returns nothing to the caller.
- Provides access to the
sync
sync()
:Promise
Synchronizes any pending writes to disk.
This is similar to normal behavior from automatic write coalescing. If there are any pending writes in the write buffer (including those submitted with the
allowUnconfirmed
option), the returned promise will resolve when they complete. If there are no pending writes, the returned promise will be already resolved.
getAlarm
getAlarm(optionsObject )
:Promise<Number | null>
- Retrieves the current alarm time (if set) as integer milliseconds since epoch. The alarm is considered to be set if it has not started, or if it has failed and any retry has not begun. If no alarm is set,
getAlarm()
returnsnull
.
- Retrieves the current alarm time (if set) as integer milliseconds since epoch. The alarm is considered to be set if it has not started, or if it has failed and any retry has not begun. If no alarm is set,
Supported options
- Same options as
get()
, but withoutnoCache
.
setAlarm
setAlarm(scheduledTimeDate | number, optionsObject )
:Promise
Sets the current alarm time, accepting either a JavaScript
Date
, or integer milliseconds since epoch.
IfsetAlarm()
is called with a time equal to or beforeDate.now()
, the alarm will be scheduled for asynchronous execution in the immediate future. If the alarm handler is currently executing in this case, it will not be canceled. Alarms can be set to millisecond granularity and will usually execute within a few milliseconds after the set time, but can be delayed by up to a minute due to maintenance or failures while failover takes place.
deleteAlarm
deleteAlarm(optionsObject )
:Promise
- Deletes the alarm if one exists. Does not cancel the alarm handler if it is currently executing.
Supported options
setAlarm()
anddeleteAlarm()
support the same options asput()
, but withoutnoCache
.