1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /* FS-Cache object state machine handler
4 * Copyright (C) 2007 Red Hat, Inc. All Rights Reserved.
5 * Written by David Howells (dhowells@redhat.com)
7 * See Documentation/filesystems/caching/object.txt for a description of the
8 * object state machine and the in-kernel representations.
11 #define FSCACHE_DEBUG_LEVEL COOKIE
12 #include <linux/module.h>
13 #include <linux/slab.h>
14 #include <linux/prefetch.h>
17 static const struct fscache_state
*fscache_abort_initialisation(struct fscache_object
*, int);
18 static const struct fscache_state
*fscache_kill_dependents(struct fscache_object
*, int);
19 static const struct fscache_state
*fscache_drop_object(struct fscache_object
*, int);
20 static const struct fscache_state
*fscache_initialise_object(struct fscache_object
*, int);
21 static const struct fscache_state
*fscache_invalidate_object(struct fscache_object
*, int);
22 static const struct fscache_state
*fscache_jumpstart_dependents(struct fscache_object
*, int);
23 static const struct fscache_state
*fscache_kill_object(struct fscache_object
*, int);
24 static const struct fscache_state
*fscache_lookup_failure(struct fscache_object
*, int);
25 static const struct fscache_state
*fscache_look_up_object(struct fscache_object
*, int);
26 static const struct fscache_state
*fscache_object_available(struct fscache_object
*, int);
27 static const struct fscache_state
*fscache_parent_ready(struct fscache_object
*, int);
28 static const struct fscache_state
*fscache_update_object(struct fscache_object
*, int);
29 static const struct fscache_state
*fscache_object_dead(struct fscache_object
*, int);
31 #define __STATE_NAME(n) fscache_osm_##n
32 #define STATE(n) (&__STATE_NAME(n))
35 * Define a work state. Work states are execution states. No event processing
36 * is performed by them. The function attached to a work state returns a
37 * pointer indicating the next state to which the state machine should
38 * transition. Returning NO_TRANSIT repeats the current state, but goes back
39 * to the scheduler first.
41 #define WORK_STATE(n, sn, f) \
42 const struct fscache_state __STATE_NAME(n) = { \
49 * Returns from work states.
51 #define transit_to(state) ({ prefetch(&STATE(state)->work); STATE(state); })
53 #define NO_TRANSIT ((struct fscache_state *)NULL)
56 * Define a wait state. Wait states are event processing states. No execution
57 * is performed by them. Wait states are just tables of "if event X occurs,
58 * clear it and transition to state Y". The dispatcher returns to the
59 * scheduler if none of the events in which the wait state has an interest are
62 #define WAIT_STATE(n, sn, ...) \
63 const struct fscache_state __STATE_NAME(n) = { \
67 .transitions = { __VA_ARGS__, { 0, NULL } } \
70 #define TRANSIT_TO(state, emask) \
71 { .events = (emask), .transit_to = STATE(state) }
74 * The object state machine.
76 static WORK_STATE(INIT_OBJECT
, "INIT", fscache_initialise_object
);
77 static WORK_STATE(PARENT_READY
, "PRDY", fscache_parent_ready
);
78 static WORK_STATE(ABORT_INIT
, "ABRT", fscache_abort_initialisation
);
79 static WORK_STATE(LOOK_UP_OBJECT
, "LOOK", fscache_look_up_object
);
80 static WORK_STATE(CREATE_OBJECT
, "CRTO", fscache_look_up_object
);
81 static WORK_STATE(OBJECT_AVAILABLE
, "AVBL", fscache_object_available
);
82 static WORK_STATE(JUMPSTART_DEPS
, "JUMP", fscache_jumpstart_dependents
);
84 static WORK_STATE(INVALIDATE_OBJECT
, "INVL", fscache_invalidate_object
);
85 static WORK_STATE(UPDATE_OBJECT
, "UPDT", fscache_update_object
);
87 static WORK_STATE(LOOKUP_FAILURE
, "LCFL", fscache_lookup_failure
);
88 static WORK_STATE(KILL_OBJECT
, "KILL", fscache_kill_object
);
89 static WORK_STATE(KILL_DEPENDENTS
, "KDEP", fscache_kill_dependents
);
90 static WORK_STATE(DROP_OBJECT
, "DROP", fscache_drop_object
);
91 static WORK_STATE(OBJECT_DEAD
, "DEAD", fscache_object_dead
);
93 static WAIT_STATE(WAIT_FOR_INIT
, "?INI",
94 TRANSIT_TO(INIT_OBJECT
, 1 << FSCACHE_OBJECT_EV_NEW_CHILD
));
96 static WAIT_STATE(WAIT_FOR_PARENT
, "?PRN",
97 TRANSIT_TO(PARENT_READY
, 1 << FSCACHE_OBJECT_EV_PARENT_READY
));
99 static WAIT_STATE(WAIT_FOR_CMD
, "?CMD",
100 TRANSIT_TO(INVALIDATE_OBJECT
, 1 << FSCACHE_OBJECT_EV_INVALIDATE
),
101 TRANSIT_TO(UPDATE_OBJECT
, 1 << FSCACHE_OBJECT_EV_UPDATE
),
102 TRANSIT_TO(JUMPSTART_DEPS
, 1 << FSCACHE_OBJECT_EV_NEW_CHILD
));
104 static WAIT_STATE(WAIT_FOR_CLEARANCE
, "?CLR",
105 TRANSIT_TO(KILL_OBJECT
, 1 << FSCACHE_OBJECT_EV_CLEARED
));
108 * Out-of-band event transition tables. These are for handling unexpected
109 * events, such as an I/O error. If an OOB event occurs, the state machine
110 * clears and disables the event and forces a transition to the nominated work
111 * state (acurrently executing work states will complete first).
113 * In such a situation, object->state remembers the state the machine should
114 * have been in/gone to and returning NO_TRANSIT returns to that.
116 static const struct fscache_transition fscache_osm_init_oob
[] = {
117 TRANSIT_TO(ABORT_INIT
,
118 (1 << FSCACHE_OBJECT_EV_ERROR
) |
119 (1 << FSCACHE_OBJECT_EV_KILL
)),
123 static const struct fscache_transition fscache_osm_lookup_oob
[] = {
124 TRANSIT_TO(LOOKUP_FAILURE
,
125 (1 << FSCACHE_OBJECT_EV_ERROR
) |
126 (1 << FSCACHE_OBJECT_EV_KILL
)),
130 static const struct fscache_transition fscache_osm_run_oob
[] = {
131 TRANSIT_TO(KILL_OBJECT
,
132 (1 << FSCACHE_OBJECT_EV_ERROR
) |
133 (1 << FSCACHE_OBJECT_EV_KILL
)),
137 static int fscache_get_object(struct fscache_object
*,
138 enum fscache_obj_ref_trace
);
139 static void fscache_put_object(struct fscache_object
*,
140 enum fscache_obj_ref_trace
);
141 static bool fscache_enqueue_dependents(struct fscache_object
*, int);
142 static void fscache_dequeue_object(struct fscache_object
*);
143 static void fscache_update_aux_data(struct fscache_object
*);
146 * we need to notify the parent when an op completes that we had outstanding
149 static inline void fscache_done_parent_op(struct fscache_object
*object
)
151 struct fscache_object
*parent
= object
->parent
;
153 _enter("OBJ%x {OBJ%x,%x}",
154 object
->debug_id
, parent
->debug_id
, parent
->n_ops
);
156 spin_lock_nested(&parent
->lock
, 1);
159 if (parent
->n_ops
== 0)
160 fscache_raise_event(parent
, FSCACHE_OBJECT_EV_CLEARED
);
161 spin_unlock(&parent
->lock
);
165 * Object state machine dispatcher.
167 static void fscache_object_sm_dispatcher(struct fscache_object
*object
)
169 const struct fscache_transition
*t
;
170 const struct fscache_state
*state
, *new_state
;
171 unsigned long events
, event_mask
;
175 ASSERT(object
!= NULL
);
177 _enter("{OBJ%x,%s,%lx}",
178 object
->debug_id
, object
->state
->name
, object
->events
);
180 event_mask
= object
->event_mask
;
182 object
->event_mask
= 0; /* Mask normal event handling */
183 state
= object
->state
;
185 events
= object
->events
;
187 /* Handle any out-of-band events (typically an error) */
188 if (events
& object
->oob_event_mask
) {
189 _debug("{OBJ%x} oob %lx",
190 object
->debug_id
, events
& object
->oob_event_mask
);
192 for (t
= object
->oob_table
; t
->events
; t
++) {
193 if (events
& t
->events
) {
194 state
= t
->transit_to
;
195 ASSERT(state
->work
!= NULL
);
196 event
= fls(events
& t
->events
) - 1;
197 __clear_bit(event
, &object
->oob_event_mask
);
198 clear_bit(event
, &object
->events
);
199 goto execute_work_state
;
205 /* Wait states are just transition tables */
207 if (events
& event_mask
) {
208 for (t
= state
->transitions
; t
->events
; t
++) {
209 if (events
& t
->events
) {
210 new_state
= t
->transit_to
;
211 event
= fls(events
& t
->events
) - 1;
212 trace_fscache_osm(object
, state
,
214 clear_bit(event
, &object
->events
);
215 _debug("{OBJ%x} ev %d: %s -> %s",
216 object
->debug_id
, event
,
217 state
->name
, new_state
->name
);
218 object
->state
= state
= new_state
;
219 goto execute_work_state
;
223 /* The event mask didn't include all the tabled bits */
226 /* Randomly woke up */
231 _debug("{OBJ%x} exec %s", object
->debug_id
, state
->name
);
233 trace_fscache_osm(object
, state
, false, oob
, event
);
234 new_state
= state
->work(object
, event
);
236 if (new_state
== NO_TRANSIT
) {
237 _debug("{OBJ%x} %s notrans", object
->debug_id
, state
->name
);
238 if (unlikely(state
== STATE(OBJECT_DEAD
))) {
242 fscache_enqueue_object(object
);
243 event_mask
= object
->oob_event_mask
;
247 _debug("{OBJ%x} %s -> %s",
248 object
->debug_id
, state
->name
, new_state
->name
);
249 object
->state
= state
= new_state
;
252 if (unlikely(state
== STATE(OBJECT_DEAD
))) {
259 /* Transited to wait state */
260 event_mask
= object
->oob_event_mask
;
261 for (t
= state
->transitions
; t
->events
; t
++)
262 event_mask
|= t
->events
;
265 object
->event_mask
= event_mask
;
267 events
= object
->events
;
268 if (events
& event_mask
)
270 _leave(" [msk %lx]", event_mask
);
276 static void fscache_object_work_func(struct work_struct
*work
)
278 struct fscache_object
*object
=
279 container_of(work
, struct fscache_object
, work
);
282 _enter("{OBJ%x}", object
->debug_id
);
285 fscache_object_sm_dispatcher(object
);
286 fscache_hist(fscache_objs_histogram
, start
);
287 fscache_put_object(object
, fscache_obj_put_work
);
291 * fscache_object_init - Initialise a cache object description
292 * @object: Object description
293 * @cookie: Cookie object will be attached to
294 * @cache: Cache in which backing object will be found
296 * Initialise a cache object description to its basic values.
298 * See Documentation/filesystems/caching/backend-api.txt for a complete
301 void fscache_object_init(struct fscache_object
*object
,
302 struct fscache_cookie
*cookie
,
303 struct fscache_cache
*cache
)
305 const struct fscache_transition
*t
;
307 atomic_inc(&cache
->object_count
);
309 object
->state
= STATE(WAIT_FOR_INIT
);
310 object
->oob_table
= fscache_osm_init_oob
;
311 object
->flags
= 1 << FSCACHE_OBJECT_IS_LIVE
;
312 spin_lock_init(&object
->lock
);
313 INIT_LIST_HEAD(&object
->cache_link
);
314 INIT_HLIST_NODE(&object
->cookie_link
);
315 INIT_WORK(&object
->work
, fscache_object_work_func
);
316 INIT_LIST_HEAD(&object
->dependents
);
317 INIT_LIST_HEAD(&object
->dep_link
);
318 INIT_LIST_HEAD(&object
->pending_ops
);
319 object
->n_children
= 0;
320 object
->n_ops
= object
->n_in_progress
= object
->n_exclusive
= 0;
322 object
->store_limit
= 0;
323 object
->store_limit_l
= 0;
324 object
->cache
= cache
;
325 object
->cookie
= cookie
;
326 fscache_cookie_get(cookie
, fscache_cookie_get_attach_object
);
327 object
->parent
= NULL
;
328 #ifdef CONFIG_FSCACHE_OBJECT_LIST
329 RB_CLEAR_NODE(&object
->objlist_link
);
332 object
->oob_event_mask
= 0;
333 for (t
= object
->oob_table
; t
->events
; t
++)
334 object
->oob_event_mask
|= t
->events
;
335 object
->event_mask
= object
->oob_event_mask
;
336 for (t
= object
->state
->transitions
; t
->events
; t
++)
337 object
->event_mask
|= t
->events
;
339 EXPORT_SYMBOL(fscache_object_init
);
342 * Mark the object as no longer being live, making sure that we synchronise
343 * against op submission.
345 static inline void fscache_mark_object_dead(struct fscache_object
*object
)
347 spin_lock(&object
->lock
);
348 clear_bit(FSCACHE_OBJECT_IS_LIVE
, &object
->flags
);
349 spin_unlock(&object
->lock
);
353 * Abort object initialisation before we start it.
355 static const struct fscache_state
*fscache_abort_initialisation(struct fscache_object
*object
,
358 _enter("{OBJ%x},%d", object
->debug_id
, event
);
360 object
->oob_event_mask
= 0;
361 fscache_dequeue_object(object
);
362 return transit_to(KILL_OBJECT
);
366 * initialise an object
367 * - check the specified object's parent to see if we can make use of it
368 * immediately to do a creation
369 * - we may need to start the process of creating a parent and we need to wait
370 * for the parent's lookup and creation to complete if it's not there yet
372 static const struct fscache_state
*fscache_initialise_object(struct fscache_object
*object
,
375 struct fscache_object
*parent
;
378 _enter("{OBJ%x},%d", object
->debug_id
, event
);
380 ASSERT(list_empty(&object
->dep_link
));
382 parent
= object
->parent
;
384 _leave(" [no parent]");
385 return transit_to(DROP_OBJECT
);
388 _debug("parent: %s of:%lx", parent
->state
->name
, parent
->flags
);
390 if (fscache_object_is_dying(parent
)) {
391 _leave(" [bad parent]");
392 return transit_to(DROP_OBJECT
);
395 if (fscache_object_is_available(parent
)) {
397 return transit_to(PARENT_READY
);
402 spin_lock(&parent
->lock
);
403 fscache_stat(&fscache_n_cop_grab_object
);
405 if (fscache_object_is_live(parent
) &&
406 object
->cache
->ops
->grab_object(object
, fscache_obj_get_add_to_deps
)) {
407 list_add(&object
->dep_link
, &parent
->dependents
);
410 fscache_stat_d(&fscache_n_cop_grab_object
);
411 spin_unlock(&parent
->lock
);
413 _leave(" [grab failed]");
414 return transit_to(DROP_OBJECT
);
417 /* fscache_acquire_non_index_cookie() uses this
418 * to wake the chain up */
419 fscache_raise_event(parent
, FSCACHE_OBJECT_EV_NEW_CHILD
);
421 return transit_to(WAIT_FOR_PARENT
);
425 * Once the parent object is ready, we should kick off our lookup op.
427 static const struct fscache_state
*fscache_parent_ready(struct fscache_object
*object
,
430 struct fscache_object
*parent
= object
->parent
;
432 _enter("{OBJ%x},%d", object
->debug_id
, event
);
434 ASSERT(parent
!= NULL
);
436 spin_lock(&parent
->lock
);
439 object
->lookup_jif
= jiffies
;
440 spin_unlock(&parent
->lock
);
443 return transit_to(LOOK_UP_OBJECT
);
447 * look an object up in the cache from which it was allocated
448 * - we hold an "access lock" on the parent object, so the parent object cannot
449 * be withdrawn by either party till we've finished
451 static const struct fscache_state
*fscache_look_up_object(struct fscache_object
*object
,
454 struct fscache_cookie
*cookie
= object
->cookie
;
455 struct fscache_object
*parent
= object
->parent
;
458 _enter("{OBJ%x},%d", object
->debug_id
, event
);
460 object
->oob_table
= fscache_osm_lookup_oob
;
462 ASSERT(parent
!= NULL
);
463 ASSERTCMP(parent
->n_ops
, >, 0);
464 ASSERTCMP(parent
->n_obj_ops
, >, 0);
466 /* make sure the parent is still available */
467 ASSERT(fscache_object_is_available(parent
));
469 if (fscache_object_is_dying(parent
) ||
470 test_bit(FSCACHE_IOERROR
, &object
->cache
->flags
) ||
471 !fscache_use_cookie(object
)) {
472 _leave(" [unavailable]");
473 return transit_to(LOOKUP_FAILURE
);
476 _debug("LOOKUP \"%s\" in \"%s\"",
477 cookie
->def
->name
, object
->cache
->tag
->name
);
479 fscache_stat(&fscache_n_object_lookups
);
480 fscache_stat(&fscache_n_cop_lookup_object
);
481 ret
= object
->cache
->ops
->lookup_object(object
);
482 fscache_stat_d(&fscache_n_cop_lookup_object
);
484 fscache_unuse_cookie(object
);
486 if (ret
== -ETIMEDOUT
) {
487 /* probably stuck behind another object, so move this one to
488 * the back of the queue */
489 fscache_stat(&fscache_n_object_lookups_timed_out
);
490 _leave(" [timeout]");
496 return transit_to(LOOKUP_FAILURE
);
500 return transit_to(OBJECT_AVAILABLE
);
504 * fscache_object_lookup_negative - Note negative cookie lookup
505 * @object: Object pointing to cookie to mark
507 * Note negative lookup, permitting those waiting to read data from an already
508 * existing backing object to continue as there's no data for them to read.
510 void fscache_object_lookup_negative(struct fscache_object
*object
)
512 struct fscache_cookie
*cookie
= object
->cookie
;
514 _enter("{OBJ%x,%s}", object
->debug_id
, object
->state
->name
);
516 if (!test_and_set_bit(FSCACHE_OBJECT_IS_LOOKED_UP
, &object
->flags
)) {
517 fscache_stat(&fscache_n_object_lookups_negative
);
519 /* Allow write requests to begin stacking up and read requests to begin
522 set_bit(FSCACHE_COOKIE_NO_DATA_YET
, &cookie
->flags
);
523 clear_bit(FSCACHE_COOKIE_UNAVAILABLE
, &cookie
->flags
);
525 _debug("wake up lookup %p", &cookie
->flags
);
526 clear_bit_unlock(FSCACHE_COOKIE_LOOKING_UP
, &cookie
->flags
);
527 wake_up_bit(&cookie
->flags
, FSCACHE_COOKIE_LOOKING_UP
);
531 EXPORT_SYMBOL(fscache_object_lookup_negative
);
534 * fscache_obtained_object - Note successful object lookup or creation
535 * @object: Object pointing to cookie to mark
537 * Note successful lookup and/or creation, permitting those waiting to write
538 * data to a backing object to continue.
540 * Note that after calling this, an object's cookie may be relinquished by the
541 * netfs, and so must be accessed with object lock held.
543 void fscache_obtained_object(struct fscache_object
*object
)
545 struct fscache_cookie
*cookie
= object
->cookie
;
547 _enter("{OBJ%x,%s}", object
->debug_id
, object
->state
->name
);
549 /* if we were still looking up, then we must have a positive lookup
550 * result, in which case there may be data available */
551 if (!test_and_set_bit(FSCACHE_OBJECT_IS_LOOKED_UP
, &object
->flags
)) {
552 fscache_stat(&fscache_n_object_lookups_positive
);
554 /* We do (presumably) have data */
555 clear_bit_unlock(FSCACHE_COOKIE_NO_DATA_YET
, &cookie
->flags
);
556 clear_bit(FSCACHE_COOKIE_UNAVAILABLE
, &cookie
->flags
);
558 /* Allow write requests to begin stacking up and read requests
559 * to begin shovelling data.
561 clear_bit_unlock(FSCACHE_COOKIE_LOOKING_UP
, &cookie
->flags
);
562 wake_up_bit(&cookie
->flags
, FSCACHE_COOKIE_LOOKING_UP
);
564 fscache_stat(&fscache_n_object_created
);
567 set_bit(FSCACHE_OBJECT_IS_AVAILABLE
, &object
->flags
);
570 EXPORT_SYMBOL(fscache_obtained_object
);
573 * handle an object that has just become available
575 static const struct fscache_state
*fscache_object_available(struct fscache_object
*object
,
578 _enter("{OBJ%x},%d", object
->debug_id
, event
);
580 object
->oob_table
= fscache_osm_run_oob
;
582 spin_lock(&object
->lock
);
584 fscache_done_parent_op(object
);
585 if (object
->n_in_progress
== 0) {
586 if (object
->n_ops
> 0) {
587 ASSERTCMP(object
->n_ops
, >=, object
->n_obj_ops
);
588 fscache_start_operations(object
);
590 ASSERT(list_empty(&object
->pending_ops
));
593 spin_unlock(&object
->lock
);
595 fscache_stat(&fscache_n_cop_lookup_complete
);
596 object
->cache
->ops
->lookup_complete(object
);
597 fscache_stat_d(&fscache_n_cop_lookup_complete
);
599 fscache_hist(fscache_obj_instantiate_histogram
, object
->lookup_jif
);
600 fscache_stat(&fscache_n_object_avail
);
603 return transit_to(JUMPSTART_DEPS
);
607 * Wake up this object's dependent objects now that we've become available.
609 static const struct fscache_state
*fscache_jumpstart_dependents(struct fscache_object
*object
,
612 _enter("{OBJ%x},%d", object
->debug_id
, event
);
614 if (!fscache_enqueue_dependents(object
, FSCACHE_OBJECT_EV_PARENT_READY
))
615 return NO_TRANSIT
; /* Not finished; requeue */
616 return transit_to(WAIT_FOR_CMD
);
620 * Handle lookup or creation failute.
622 static const struct fscache_state
*fscache_lookup_failure(struct fscache_object
*object
,
625 struct fscache_cookie
*cookie
;
627 _enter("{OBJ%x},%d", object
->debug_id
, event
);
629 object
->oob_event_mask
= 0;
631 fscache_stat(&fscache_n_cop_lookup_complete
);
632 object
->cache
->ops
->lookup_complete(object
);
633 fscache_stat_d(&fscache_n_cop_lookup_complete
);
635 set_bit(FSCACHE_OBJECT_KILLED_BY_CACHE
, &object
->flags
);
637 cookie
= object
->cookie
;
638 set_bit(FSCACHE_COOKIE_UNAVAILABLE
, &cookie
->flags
);
639 if (test_and_clear_bit(FSCACHE_COOKIE_LOOKING_UP
, &cookie
->flags
))
640 wake_up_bit(&cookie
->flags
, FSCACHE_COOKIE_LOOKING_UP
);
642 fscache_done_parent_op(object
);
643 return transit_to(KILL_OBJECT
);
647 * Wait for completion of all active operations on this object and the death of
648 * all child objects of this object.
650 static const struct fscache_state
*fscache_kill_object(struct fscache_object
*object
,
653 _enter("{OBJ%x,%d,%d},%d",
654 object
->debug_id
, object
->n_ops
, object
->n_children
, event
);
656 fscache_mark_object_dead(object
);
657 object
->oob_event_mask
= 0;
659 if (test_bit(FSCACHE_OBJECT_RETIRED
, &object
->flags
)) {
660 /* Reject any new read/write ops and abort any that are pending. */
661 clear_bit(FSCACHE_OBJECT_PENDING_WRITE
, &object
->flags
);
662 fscache_cancel_all_ops(object
);
665 if (list_empty(&object
->dependents
) &&
666 object
->n_ops
== 0 &&
667 object
->n_children
== 0)
668 return transit_to(DROP_OBJECT
);
670 if (object
->n_in_progress
== 0) {
671 spin_lock(&object
->lock
);
672 if (object
->n_ops
> 0 && object
->n_in_progress
== 0)
673 fscache_start_operations(object
);
674 spin_unlock(&object
->lock
);
677 if (!list_empty(&object
->dependents
))
678 return transit_to(KILL_DEPENDENTS
);
680 return transit_to(WAIT_FOR_CLEARANCE
);
684 * Kill dependent objects.
686 static const struct fscache_state
*fscache_kill_dependents(struct fscache_object
*object
,
689 _enter("{OBJ%x},%d", object
->debug_id
, event
);
691 if (!fscache_enqueue_dependents(object
, FSCACHE_OBJECT_EV_KILL
))
692 return NO_TRANSIT
; /* Not finished */
693 return transit_to(WAIT_FOR_CLEARANCE
);
697 * Drop an object's attachments
699 static const struct fscache_state
*fscache_drop_object(struct fscache_object
*object
,
702 struct fscache_object
*parent
= object
->parent
;
703 struct fscache_cookie
*cookie
= object
->cookie
;
704 struct fscache_cache
*cache
= object
->cache
;
707 _enter("{OBJ%x,%d},%d", object
->debug_id
, object
->n_children
, event
);
709 ASSERT(cookie
!= NULL
);
710 ASSERT(!hlist_unhashed(&object
->cookie_link
));
712 if (test_bit(FSCACHE_COOKIE_AUX_UPDATED
, &cookie
->flags
)) {
713 _debug("final update");
714 fscache_update_aux_data(object
);
717 /* Make sure the cookie no longer points here and that the netfs isn't
720 spin_lock(&cookie
->lock
);
721 hlist_del_init(&object
->cookie_link
);
722 if (hlist_empty(&cookie
->backing_objects
) &&
723 test_and_clear_bit(FSCACHE_COOKIE_INVALIDATING
, &cookie
->flags
))
725 spin_unlock(&cookie
->lock
);
728 wake_up_bit(&cookie
->flags
, FSCACHE_COOKIE_INVALIDATING
);
729 if (test_and_clear_bit(FSCACHE_COOKIE_LOOKING_UP
, &cookie
->flags
))
730 wake_up_bit(&cookie
->flags
, FSCACHE_COOKIE_LOOKING_UP
);
733 /* Prevent a race with our last child, which has to signal EV_CLEARED
734 * before dropping our spinlock.
736 spin_lock(&object
->lock
);
737 spin_unlock(&object
->lock
);
739 /* Discard from the cache's collection of objects */
740 spin_lock(&cache
->object_list_lock
);
741 list_del_init(&object
->cache_link
);
742 spin_unlock(&cache
->object_list_lock
);
744 fscache_stat(&fscache_n_cop_drop_object
);
745 cache
->ops
->drop_object(object
);
746 fscache_stat_d(&fscache_n_cop_drop_object
);
748 /* The parent object wants to know when all it dependents have gone */
750 _debug("release parent OBJ%x {%d}",
751 parent
->debug_id
, parent
->n_children
);
753 spin_lock(&parent
->lock
);
754 parent
->n_children
--;
755 if (parent
->n_children
== 0)
756 fscache_raise_event(parent
, FSCACHE_OBJECT_EV_CLEARED
);
757 spin_unlock(&parent
->lock
);
758 object
->parent
= NULL
;
761 /* this just shifts the object release to the work processor */
762 fscache_put_object(object
, fscache_obj_put_drop_obj
);
763 fscache_stat(&fscache_n_object_dead
);
766 return transit_to(OBJECT_DEAD
);
770 * get a ref on an object
772 static int fscache_get_object(struct fscache_object
*object
,
773 enum fscache_obj_ref_trace why
)
777 fscache_stat(&fscache_n_cop_grab_object
);
778 ret
= object
->cache
->ops
->grab_object(object
, why
) ? 0 : -EAGAIN
;
779 fscache_stat_d(&fscache_n_cop_grab_object
);
784 * Discard a ref on an object
786 static void fscache_put_object(struct fscache_object
*object
,
787 enum fscache_obj_ref_trace why
)
789 fscache_stat(&fscache_n_cop_put_object
);
790 object
->cache
->ops
->put_object(object
, why
);
791 fscache_stat_d(&fscache_n_cop_put_object
);
795 * fscache_object_destroy - Note that a cache object is about to be destroyed
796 * @object: The object to be destroyed
798 * Note the imminent destruction and deallocation of a cache object record.
800 void fscache_object_destroy(struct fscache_object
*object
)
802 fscache_objlist_remove(object
);
804 /* We can get rid of the cookie now */
805 fscache_cookie_put(object
->cookie
, fscache_cookie_put_object
);
806 object
->cookie
= NULL
;
808 EXPORT_SYMBOL(fscache_object_destroy
);
811 * enqueue an object for metadata-type processing
813 void fscache_enqueue_object(struct fscache_object
*object
)
815 _enter("{OBJ%x}", object
->debug_id
);
817 if (fscache_get_object(object
, fscache_obj_get_queue
) >= 0) {
818 wait_queue_head_t
*cong_wq
=
819 &get_cpu_var(fscache_object_cong_wait
);
821 if (queue_work(fscache_object_wq
, &object
->work
)) {
822 if (fscache_object_congested())
825 fscache_put_object(object
, fscache_obj_put_queue
);
827 put_cpu_var(fscache_object_cong_wait
);
832 * fscache_object_sleep_till_congested - Sleep until object wq is congested
833 * @timeoutp: Scheduler sleep timeout
835 * Allow an object handler to sleep until the object workqueue is congested.
837 * The caller must set up a wake up event before calling this and must have set
838 * the appropriate sleep mode (such as TASK_UNINTERRUPTIBLE) and tested its own
839 * condition before calling this function as no test is made here.
841 * %true is returned if the object wq is congested, %false otherwise.
843 bool fscache_object_sleep_till_congested(signed long *timeoutp
)
845 wait_queue_head_t
*cong_wq
= this_cpu_ptr(&fscache_object_cong_wait
);
848 if (fscache_object_congested())
851 add_wait_queue_exclusive(cong_wq
, &wait
);
852 if (!fscache_object_congested())
853 *timeoutp
= schedule_timeout(*timeoutp
);
854 finish_wait(cong_wq
, &wait
);
856 return fscache_object_congested();
858 EXPORT_SYMBOL_GPL(fscache_object_sleep_till_congested
);
861 * Enqueue the dependents of an object for metadata-type processing.
863 * If we don't manage to finish the list before the scheduler wants to run
864 * again then return false immediately. We return true if the list was
867 static bool fscache_enqueue_dependents(struct fscache_object
*object
, int event
)
869 struct fscache_object
*dep
;
872 _enter("{OBJ%x}", object
->debug_id
);
874 if (list_empty(&object
->dependents
))
877 spin_lock(&object
->lock
);
879 while (!list_empty(&object
->dependents
)) {
880 dep
= list_entry(object
->dependents
.next
,
881 struct fscache_object
, dep_link
);
882 list_del_init(&dep
->dep_link
);
884 fscache_raise_event(dep
, event
);
885 fscache_put_object(dep
, fscache_obj_put_enq_dep
);
887 if (!list_empty(&object
->dependents
) && need_resched()) {
893 spin_unlock(&object
->lock
);
898 * remove an object from whatever queue it's waiting on
900 static void fscache_dequeue_object(struct fscache_object
*object
)
902 _enter("{OBJ%x}", object
->debug_id
);
904 if (!list_empty(&object
->dep_link
)) {
905 spin_lock(&object
->parent
->lock
);
906 list_del_init(&object
->dep_link
);
907 spin_unlock(&object
->parent
->lock
);
914 * fscache_check_aux - Ask the netfs whether an object on disk is still valid
915 * @object: The object to ask about
916 * @data: The auxiliary data for the object
917 * @datalen: The size of the auxiliary data
919 * This function consults the netfs about the coherency state of an object.
920 * The caller must be holding a ref on cookie->n_active (held by
921 * fscache_look_up_object() on behalf of the cache backend during object lookup
924 enum fscache_checkaux
fscache_check_aux(struct fscache_object
*object
,
925 const void *data
, uint16_t datalen
,
928 enum fscache_checkaux result
;
930 if (!object
->cookie
->def
->check_aux
) {
931 fscache_stat(&fscache_n_checkaux_none
);
932 return FSCACHE_CHECKAUX_OKAY
;
935 result
= object
->cookie
->def
->check_aux(object
->cookie
->netfs_data
,
936 data
, datalen
, object_size
);
938 /* entry okay as is */
939 case FSCACHE_CHECKAUX_OKAY
:
940 fscache_stat(&fscache_n_checkaux_okay
);
943 /* entry requires update */
944 case FSCACHE_CHECKAUX_NEEDS_UPDATE
:
945 fscache_stat(&fscache_n_checkaux_update
);
948 /* entry requires deletion */
949 case FSCACHE_CHECKAUX_OBSOLETE
:
950 fscache_stat(&fscache_n_checkaux_obsolete
);
959 EXPORT_SYMBOL(fscache_check_aux
);
962 * Asynchronously invalidate an object.
964 static const struct fscache_state
*_fscache_invalidate_object(struct fscache_object
*object
,
967 struct fscache_operation
*op
;
968 struct fscache_cookie
*cookie
= object
->cookie
;
970 _enter("{OBJ%x},%d", object
->debug_id
, event
);
972 /* We're going to need the cookie. If the cookie is not available then
973 * retire the object instead.
975 if (!fscache_use_cookie(object
)) {
976 ASSERT(radix_tree_empty(&object
->cookie
->stores
));
977 set_bit(FSCACHE_OBJECT_RETIRED
, &object
->flags
);
978 _leave(" [no cookie]");
979 return transit_to(KILL_OBJECT
);
982 /* Reject any new read/write ops and abort any that are pending. */
983 fscache_invalidate_writes(cookie
);
984 clear_bit(FSCACHE_OBJECT_PENDING_WRITE
, &object
->flags
);
985 fscache_cancel_all_ops(object
);
987 /* Now we have to wait for in-progress reads and writes */
988 op
= kzalloc(sizeof(*op
), GFP_KERNEL
);
992 fscache_operation_init(cookie
, op
, object
->cache
->ops
->invalidate_object
,
994 op
->flags
= FSCACHE_OP_ASYNC
|
995 (1 << FSCACHE_OP_EXCLUSIVE
) |
996 (1 << FSCACHE_OP_UNUSE_COOKIE
);
997 trace_fscache_page_op(cookie
, NULL
, op
, fscache_page_op_invalidate
);
999 spin_lock(&cookie
->lock
);
1000 if (fscache_submit_exclusive_op(object
, op
) < 0)
1001 goto submit_op_failed
;
1002 spin_unlock(&cookie
->lock
);
1003 fscache_put_operation(op
);
1005 /* Once we've completed the invalidation, we know there will be no data
1006 * stored in the cache and thus we can reinstate the data-check-skip
1009 set_bit(FSCACHE_COOKIE_NO_DATA_YET
, &cookie
->flags
);
1011 /* We can allow read and write requests to come in once again. They'll
1012 * queue up behind our exclusive invalidation operation.
1014 if (test_and_clear_bit(FSCACHE_COOKIE_INVALIDATING
, &cookie
->flags
))
1015 wake_up_bit(&cookie
->flags
, FSCACHE_COOKIE_INVALIDATING
);
1017 return transit_to(UPDATE_OBJECT
);
1020 fscache_mark_object_dead(object
);
1021 fscache_unuse_cookie(object
);
1022 _leave(" [ENOMEM]");
1023 return transit_to(KILL_OBJECT
);
1026 fscache_mark_object_dead(object
);
1027 spin_unlock(&cookie
->lock
);
1028 fscache_unuse_cookie(object
);
1031 return transit_to(KILL_OBJECT
);
1034 static const struct fscache_state
*fscache_invalidate_object(struct fscache_object
*object
,
1037 const struct fscache_state
*s
;
1039 fscache_stat(&fscache_n_invalidates_run
);
1040 fscache_stat(&fscache_n_cop_invalidate_object
);
1041 s
= _fscache_invalidate_object(object
, event
);
1042 fscache_stat_d(&fscache_n_cop_invalidate_object
);
1047 * Update auxiliary data.
1049 static void fscache_update_aux_data(struct fscache_object
*object
)
1051 fscache_stat(&fscache_n_updates_run
);
1052 fscache_stat(&fscache_n_cop_update_object
);
1053 object
->cache
->ops
->update_object(object
);
1054 fscache_stat_d(&fscache_n_cop_update_object
);
1058 * Asynchronously update an object.
1060 static const struct fscache_state
*fscache_update_object(struct fscache_object
*object
,
1063 _enter("{OBJ%x},%d", object
->debug_id
, event
);
1065 fscache_update_aux_data(object
);
1068 return transit_to(WAIT_FOR_CMD
);
1072 * fscache_object_retrying_stale - Note retrying stale object
1073 * @object: The object that will be retried
1075 * Note that an object lookup found an on-disk object that was adjudged to be
1076 * stale and has been deleted. The lookup will be retried.
1078 void fscache_object_retrying_stale(struct fscache_object
*object
)
1080 fscache_stat(&fscache_n_cache_no_space_reject
);
1082 EXPORT_SYMBOL(fscache_object_retrying_stale
);
1085 * fscache_object_mark_killed - Note that an object was killed
1086 * @object: The object that was culled
1087 * @why: The reason the object was killed.
1089 * Note that an object was killed. Returns true if the object was
1090 * already marked killed, false if it wasn't.
1092 void fscache_object_mark_killed(struct fscache_object
*object
,
1093 enum fscache_why_object_killed why
)
1095 if (test_and_set_bit(FSCACHE_OBJECT_KILLED_BY_CACHE
, &object
->flags
)) {
1096 pr_err("Error: Object already killed by cache [%s]\n",
1097 object
->cache
->identifier
);
1102 case FSCACHE_OBJECT_NO_SPACE
:
1103 fscache_stat(&fscache_n_cache_no_space_reject
);
1105 case FSCACHE_OBJECT_IS_STALE
:
1106 fscache_stat(&fscache_n_cache_stale_objects
);
1108 case FSCACHE_OBJECT_WAS_RETIRED
:
1109 fscache_stat(&fscache_n_cache_retired_objects
);
1111 case FSCACHE_OBJECT_WAS_CULLED
:
1112 fscache_stat(&fscache_n_cache_culled_objects
);
1116 EXPORT_SYMBOL(fscache_object_mark_killed
);
1119 * The object is dead. We can get here if an object gets queued by an event
1120 * that would lead to its death (such as EV_KILL) when the dispatcher is
1121 * already running (and so can be requeued) but hasn't yet cleared the event
1124 static const struct fscache_state
*fscache_object_dead(struct fscache_object
*object
,
1127 if (!test_and_set_bit(FSCACHE_OBJECT_RUN_AFTER_DEAD
,
1131 WARN(true, "FS-Cache object redispatched after death");