]> git.proxmox.com Git - ceph.git/blob - ceph/src/osd/PrimaryLogPG.h
add subtree-ish sources for 12.0.3
[ceph.git] / ceph / src / osd / PrimaryLogPG.h
1 // -*- mode:C++; tab-width:8; c-basic-offset:2; indent-tabs-mode:t -*-
2 /*
3 * Ceph - scalable distributed file system
4 *
5 * Copyright (C) 2004-2006 Sage Weil <sage@newdream.net>
6 * Copyright (C) 2013 Cloudwatt <libre.licensing@cloudwatt.com>
7 *
8 * Author: Loic Dachary <loic@dachary.org>
9 *
10 * This is free software; you can redistribute it and/or
11 * modify it under the terms of the GNU Lesser General Public
12 * License version 2.1, as published by the Free Software
13 * Foundation. See file COPYING.
14 *
15 */
16
17 #ifndef CEPH_REPLICATEDPG_H
18 #define CEPH_REPLICATEDPG_H
19
20 #include <boost/tuple/tuple.hpp>
21 #include "include/assert.h"
22 #include "PG.h"
23 #include "Watch.h"
24 #include "TierAgentState.h"
25 #include "messages/MOSDOpReply.h"
26 #include "common/Checksummer.h"
27 #include "common/sharedptr_registry.hpp"
28 #include "ReplicatedBackend.h"
29 #include "PGTransaction.h"
30
31 class CopyFromCallback;
32 class PromoteCallback;
33
34 class PrimaryLogPG;
35 class PGLSFilter;
36 class HitSet;
37 struct TierAgentState;
38 class MOSDOp;
39 class MOSDOpReply;
40 class OSDService;
41
42 void intrusive_ptr_add_ref(PrimaryLogPG *pg);
43 void intrusive_ptr_release(PrimaryLogPG *pg);
44 uint64_t get_with_id(PrimaryLogPG *pg);
45 void put_with_id(PrimaryLogPG *pg, uint64_t id);
46
47 #ifdef PG_DEBUG_REFS
48 typedef TrackedIntPtr<PrimaryLogPG> PrimaryLogPGRef;
49 #else
50 typedef boost::intrusive_ptr<PrimaryLogPG> PrimaryLogPGRef;
51 #endif
52
53 struct inconsistent_snapset_wrapper;
54
55 class PrimaryLogPG : public PG, public PGBackend::Listener {
56 friend class OSD;
57 friend class Watch;
58
59 public:
60 MEMPOOL_CLASS_HELPERS();
61
62 /*
63 * state associated with a copy operation
64 */
65 struct OpContext;
66 class CopyCallback;
67
68 /**
69 * CopyResults stores the object metadata of interest to a copy initiator.
70 */
71 struct CopyResults {
72 ceph::real_time mtime; ///< the copy source's mtime
73 uint64_t object_size; ///< the copied object's size
74 bool started_temp_obj; ///< true if the callback needs to delete temp object
75 hobject_t temp_oid; ///< temp object (if any)
76
77 /**
78 * Function to fill in transaction; if non-empty the callback
79 * must execute it before any other accesses to the object
80 * (in order to complete the copy).
81 */
82 std::function<void(PGTransaction *)> fill_in_final_tx;
83
84 version_t user_version; ///< The copy source's user version
85 bool should_requeue; ///< op should be requeued on cancel
86 vector<snapid_t> snaps; ///< src's snaps (if clone)
87 snapid_t snap_seq; ///< src's snap_seq (if head)
88 librados::snap_set_t snapset; ///< src snapset (if head)
89 bool mirror_snapset;
90 bool has_omap;
91 uint32_t flags; // object_copy_data_t::FLAG_*
92 uint32_t source_data_digest, source_omap_digest;
93 uint32_t data_digest, omap_digest;
94 vector<pair<osd_reqid_t, version_t> > reqids; // [(reqid, user_version)]
95 map<string, bufferlist> attrs; // xattrs
96 uint64_t truncate_seq;
97 uint64_t truncate_size;
98 bool is_data_digest() {
99 return flags & object_copy_data_t::FLAG_DATA_DIGEST;
100 }
101 bool is_omap_digest() {
102 return flags & object_copy_data_t::FLAG_OMAP_DIGEST;
103 }
104 CopyResults()
105 : object_size(0), started_temp_obj(false),
106 user_version(0),
107 should_requeue(false), mirror_snapset(false),
108 has_omap(false),
109 flags(0),
110 source_data_digest(-1), source_omap_digest(-1),
111 data_digest(-1), omap_digest(-1),
112 truncate_seq(0), truncate_size(0)
113 {}
114 };
115
116 struct CopyOp {
117 CopyCallback *cb;
118 ObjectContextRef obc;
119 hobject_t src;
120 object_locator_t oloc;
121 unsigned flags;
122 bool mirror_snapset;
123
124 CopyResults results;
125
126 ceph_tid_t objecter_tid;
127 ceph_tid_t objecter_tid2;
128
129 object_copy_cursor_t cursor;
130 map<string,bufferlist> attrs;
131 bufferlist data;
132 bufferlist omap_header;
133 bufferlist omap_data;
134 int rval;
135
136 object_copy_cursor_t temp_cursor;
137
138 /*
139 * For CopyOp the process is:
140 * step1: read the data(attr/omap/data) from the source object
141 * step2: handle those data(w/ those data create a new object)
142 * src_obj_fadvise_flags used in step1;
143 * dest_obj_fadvise_flags used in step2
144 */
145 unsigned src_obj_fadvise_flags;
146 unsigned dest_obj_fadvise_flags;
147
148 CopyOp(CopyCallback *cb_, ObjectContextRef _obc, hobject_t s,
149 object_locator_t l,
150 version_t v,
151 unsigned f,
152 bool ms,
153 unsigned src_obj_fadvise_flags,
154 unsigned dest_obj_fadvise_flags)
155 : cb(cb_), obc(_obc), src(s), oloc(l), flags(f),
156 mirror_snapset(ms),
157 objecter_tid(0),
158 objecter_tid2(0),
159 rval(-1),
160 src_obj_fadvise_flags(src_obj_fadvise_flags),
161 dest_obj_fadvise_flags(dest_obj_fadvise_flags)
162 {
163 results.user_version = v;
164 results.mirror_snapset = mirror_snapset;
165 }
166 };
167 typedef ceph::shared_ptr<CopyOp> CopyOpRef;
168
169 /**
170 * The CopyCallback class defines an interface for completions to the
171 * copy_start code. Users of the copy infrastructure must implement
172 * one and give an instance of the class to start_copy.
173 *
174 * The implementer is responsible for making sure that the CopyCallback
175 * can associate itself with the correct copy operation.
176 */
177 typedef boost::tuple<int, CopyResults*> CopyCallbackResults;
178
179 friend class CopyFromCallback;
180 friend class PromoteCallback;
181
182 struct ProxyReadOp {
183 OpRequestRef op;
184 hobject_t soid;
185 ceph_tid_t objecter_tid;
186 vector<OSDOp> &ops;
187 version_t user_version;
188 int data_offset;
189 bool canceled; ///< true if canceled
190
191 ProxyReadOp(OpRequestRef _op, hobject_t oid, vector<OSDOp>& _ops)
192 : op(_op), soid(oid),
193 objecter_tid(0), ops(_ops),
194 user_version(0), data_offset(0),
195 canceled(false) { }
196 };
197 typedef ceph::shared_ptr<ProxyReadOp> ProxyReadOpRef;
198
199 struct ProxyWriteOp {
200 OpContext *ctx;
201 OpRequestRef op;
202 hobject_t soid;
203 ceph_tid_t objecter_tid;
204 vector<OSDOp> &ops;
205 version_t user_version;
206 bool sent_reply;
207 utime_t mtime;
208 bool canceled;
209 osd_reqid_t reqid;
210
211 ProxyWriteOp(OpRequestRef _op, hobject_t oid, vector<OSDOp>& _ops, osd_reqid_t _reqid)
212 : ctx(NULL), op(_op), soid(oid),
213 objecter_tid(0), ops(_ops),
214 user_version(0), sent_reply(false),
215 canceled(false),
216 reqid(_reqid) { }
217 };
218 typedef ceph::shared_ptr<ProxyWriteOp> ProxyWriteOpRef;
219
220 struct FlushOp {
221 ObjectContextRef obc; ///< obc we are flushing
222 OpRequestRef op; ///< initiating op
223 list<OpRequestRef> dup_ops; ///< bandwagon jumpers
224 version_t flushed_version; ///< user version we are flushing
225 ceph_tid_t objecter_tid; ///< copy-from request tid
226 int rval; ///< copy-from result
227 bool blocking; ///< whether we are blocking updates
228 bool removal; ///< we are removing the backend object
229 boost::optional<std::function<void()>> on_flush; ///< callback, may be null
230
231 FlushOp()
232 : flushed_version(0), objecter_tid(0), rval(0),
233 blocking(false), removal(false) {}
234 ~FlushOp() { assert(!on_flush); }
235 };
236 typedef ceph::shared_ptr<FlushOp> FlushOpRef;
237
238 boost::scoped_ptr<PGBackend> pgbackend;
239 PGBackend *get_pgbackend() override {
240 return pgbackend.get();
241 }
242
243 /// Listener methods
244 DoutPrefixProvider *get_dpp() override {
245 return this;
246 }
247
248 void on_local_recover(
249 const hobject_t &oid,
250 const ObjectRecoveryInfo &recovery_info,
251 ObjectContextRef obc,
252 ObjectStore::Transaction *t
253 ) override;
254 void on_peer_recover(
255 pg_shard_t peer,
256 const hobject_t &oid,
257 const ObjectRecoveryInfo &recovery_info
258 ) override;
259 void begin_peer_recover(
260 pg_shard_t peer,
261 const hobject_t oid) override;
262 void on_global_recover(
263 const hobject_t &oid,
264 const object_stat_sum_t &stat_diff) override;
265 void failed_push(const list<pg_shard_t> &from, const hobject_t &soid) override;
266 void cancel_pull(const hobject_t &soid) override;
267 void apply_stats(
268 const hobject_t &soid,
269 const object_stat_sum_t &delta_stats) override;
270
271 template<class T> class BlessedGenContext;
272 class BlessedContext;
273 Context *bless_context(Context *c) override;
274
275 GenContext<ThreadPool::TPHandle&> *bless_gencontext(
276 GenContext<ThreadPool::TPHandle&> *c) override;
277
278 void send_message(int to_osd, Message *m) override {
279 osd->send_message_osd_cluster(to_osd, m, get_osdmap()->get_epoch());
280 }
281 void queue_transaction(ObjectStore::Transaction&& t,
282 OpRequestRef op) override {
283 osd->store->queue_transaction(osr.get(), std::move(t), 0, 0, 0, op);
284 }
285 void queue_transactions(vector<ObjectStore::Transaction>& tls,
286 OpRequestRef op) override {
287 osd->store->queue_transactions(osr.get(), tls, 0, 0, 0, op, NULL);
288 }
289 epoch_t get_epoch() const override {
290 return get_osdmap()->get_epoch();
291 }
292 epoch_t get_interval_start_epoch() const override {
293 return info.history.same_interval_since;
294 }
295 epoch_t get_last_peering_reset_epoch() const override {
296 return get_last_peering_reset();
297 }
298 const set<pg_shard_t> &get_actingbackfill_shards() const override {
299 return actingbackfill;
300 }
301 const set<pg_shard_t> &get_acting_shards() const override {
302 return actingset;
303 }
304 const set<pg_shard_t> &get_backfill_shards() const override {
305 return backfill_targets;
306 }
307
308 std::string gen_dbg_prefix() const override { return gen_prefix(); }
309
310 const map<hobject_t, set<pg_shard_t>>
311 &get_missing_loc_shards() const override {
312 return missing_loc.get_missing_locs();
313 }
314 const map<pg_shard_t, pg_missing_t> &get_shard_missing() const override {
315 return peer_missing;
316 }
317 using PGBackend::Listener::get_shard_missing;
318 const map<pg_shard_t, pg_info_t> &get_shard_info() const override {
319 return peer_info;
320 }
321 using PGBackend::Listener::get_shard_info;
322 const pg_missing_tracker_t &get_local_missing() const override {
323 return pg_log.get_missing();
324 }
325 const PGLog &get_log() const override {
326 return pg_log;
327 }
328 bool pgb_is_primary() const override {
329 return is_primary();
330 }
331 OSDMapRef pgb_get_osdmap() const override {
332 return get_osdmap();
333 }
334 const pg_info_t &get_info() const override {
335 return info;
336 }
337 const pg_pool_t &get_pool() const override {
338 return pool.info;
339 }
340
341 ObjectContextRef get_obc(
342 const hobject_t &hoid,
343 const map<string, bufferlist> &attrs) override {
344 return get_object_context(hoid, true, &attrs);
345 }
346
347 bool try_lock_for_read(
348 const hobject_t &hoid,
349 ObcLockManager &manager) override {
350 if (is_missing_object(hoid))
351 return false;
352 auto obc = get_object_context(hoid, false, nullptr);
353 if (!obc)
354 return false;
355 return manager.try_get_read_lock(hoid, obc);
356 }
357
358 void release_locks(ObcLockManager &manager) override {
359 release_object_locks(manager);
360 }
361
362 void pgb_set_object_snap_mapping(
363 const hobject_t &soid,
364 const set<snapid_t> &snaps,
365 ObjectStore::Transaction *t) override {
366 return update_object_snap_mapping(t, soid, snaps);
367 }
368 void pgb_clear_object_snap_mapping(
369 const hobject_t &soid,
370 ObjectStore::Transaction *t) override {
371 return clear_object_snap_mapping(t, soid);
372 }
373
374 void log_operation(
375 const vector<pg_log_entry_t> &logv,
376 const boost::optional<pg_hit_set_history_t> &hset_history,
377 const eversion_t &trim_to,
378 const eversion_t &roll_forward_to,
379 bool transaction_applied,
380 ObjectStore::Transaction &t) override {
381 if (hset_history) {
382 info.hit_set = *hset_history;
383 }
384 append_log(logv, trim_to, roll_forward_to, t, transaction_applied);
385 }
386
387 struct C_OSD_OnApplied;
388 void op_applied(
389 const eversion_t &applied_version) override;
390
391 bool should_send_op(
392 pg_shard_t peer,
393 const hobject_t &hoid) override {
394 if (peer == get_primary())
395 return true;
396 assert(peer_info.count(peer));
397 bool should_send =
398 hoid.pool != (int64_t)info.pgid.pool() ||
399 hoid <= last_backfill_started ||
400 hoid <= peer_info[peer].last_backfill;
401 if (!should_send)
402 assert(is_backfill_targets(peer));
403 return should_send;
404 }
405
406 void update_peer_last_complete_ondisk(
407 pg_shard_t fromosd,
408 eversion_t lcod) override {
409 peer_last_complete_ondisk[fromosd] = lcod;
410 }
411
412 void update_last_complete_ondisk(
413 eversion_t lcod) override {
414 last_complete_ondisk = lcod;
415 }
416
417 void update_stats(
418 const pg_stat_t &stat) override {
419 info.stats = stat;
420 }
421
422 void schedule_recovery_work(
423 GenContext<ThreadPool::TPHandle&> *c) override;
424
425 pg_shard_t whoami_shard() const override {
426 return pg_whoami;
427 }
428 spg_t primary_spg_t() const override {
429 return spg_t(info.pgid.pgid, primary.shard);
430 }
431 pg_shard_t primary_shard() const override {
432 return primary;
433 }
434 uint64_t min_peer_features() const override {
435 return get_min_peer_features();
436 }
437
438 void send_message_osd_cluster(
439 int peer, Message *m, epoch_t from_epoch) override;
440 void send_message_osd_cluster(
441 Message *m, Connection *con) override;
442 void send_message_osd_cluster(
443 Message *m, const ConnectionRef& con) override;
444 ConnectionRef get_con_osd_cluster(int peer, epoch_t from_epoch) override;
445 entity_name_t get_cluster_msgr_name() override {
446 return osd->get_cluster_msgr_name();
447 }
448
449 PerfCounters *get_logger() override;
450
451 ceph_tid_t get_tid() override { return osd->get_tid(); }
452
453 LogClientTemp clog_error() override { return osd->clog->error(); }
454
455 struct watch_disconnect_t {
456 uint64_t cookie;
457 entity_name_t name;
458 bool send_disconnect;
459 watch_disconnect_t(uint64_t c, entity_name_t n, bool sd)
460 : cookie(c), name(n), send_disconnect(sd) {}
461 };
462 void complete_disconnect_watches(
463 ObjectContextRef obc,
464 const list<watch_disconnect_t> &to_disconnect);
465
466 /*
467 * Capture all object state associated with an in-progress read or write.
468 */
469 struct OpContext {
470 OpRequestRef op;
471 osd_reqid_t reqid;
472 vector<OSDOp> &ops;
473
474 const ObjectState *obs; // Old objectstate
475 const SnapSet *snapset; // Old snapset
476
477 ObjectState new_obs; // resulting ObjectState
478 SnapSet new_snapset; // resulting SnapSet (in case of a write)
479 //pg_stat_t new_stats; // resulting Stats
480 object_stat_sum_t delta_stats;
481
482 bool modify; // (force) modification (even if op_t is empty)
483 bool user_modify; // user-visible modification
484 bool undirty; // user explicitly un-dirtying this object
485 bool cache_evict; ///< true if this is a cache eviction
486 bool ignore_cache; ///< true if IGNORE_CACHE flag is set
487 bool ignore_log_op_stats; // don't log op stats
488 bool update_log_only; ///< this is a write that returned an error - just record in pg log for dup detection
489
490 // side effects
491 list<pair<watch_info_t,bool> > watch_connects; ///< new watch + will_ping flag
492 list<watch_disconnect_t> watch_disconnects; ///< old watch + send_discon
493 list<notify_info_t> notifies;
494 struct NotifyAck {
495 boost::optional<uint64_t> watch_cookie;
496 uint64_t notify_id;
497 bufferlist reply_bl;
498 explicit NotifyAck(uint64_t notify_id) : notify_id(notify_id) {}
499 NotifyAck(uint64_t notify_id, uint64_t cookie, bufferlist& rbl)
500 : watch_cookie(cookie), notify_id(notify_id) {
501 reply_bl.claim(rbl);
502 }
503 };
504 list<NotifyAck> notify_acks;
505
506 uint64_t bytes_written, bytes_read;
507
508 utime_t mtime;
509 SnapContext snapc; // writer snap context
510 eversion_t at_version; // pg's current version pointer
511 version_t user_at_version; // pg's current user version pointer
512
513 int current_osd_subop_num;
514
515 PGTransactionUPtr op_t;
516 vector<pg_log_entry_t> log;
517 boost::optional<pg_hit_set_history_t> updated_hset_history;
518
519 interval_set<uint64_t> modified_ranges;
520 ObjectContextRef obc;
521 ObjectContextRef clone_obc; // if we created a clone
522 ObjectContextRef snapset_obc; // if we created/deleted a snapdir
523
524 int data_off; // FIXME: we may want to kill this msgr hint off at some point!
525
526 MOSDOpReply *reply;
527
528 PrimaryLogPG *pg;
529
530 int num_read; ///< count read ops
531 int num_write; ///< count update ops
532
533 vector<pair<osd_reqid_t, version_t> > extra_reqids;
534
535 CopyFromCallback *copy_cb;
536
537 hobject_t new_temp_oid, discard_temp_oid; ///< temp objects we should start/stop tracking
538
539 list<std::function<void()>> on_applied;
540 list<std::function<void()>> on_committed;
541 list<std::function<void()>> on_finish;
542 list<std::function<void()>> on_success;
543 template <typename F>
544 void register_on_finish(F &&f) {
545 on_finish.emplace_back(std::forward<F>(f));
546 }
547 template <typename F>
548 void register_on_success(F &&f) {
549 on_success.emplace_back(std::forward<F>(f));
550 }
551 template <typename F>
552 void register_on_applied(F &&f) {
553 on_applied.emplace_back(std::forward<F>(f));
554 }
555 template <typename F>
556 void register_on_commit(F &&f) {
557 on_committed.emplace_back(std::forward<F>(f));
558 }
559
560 bool sent_reply;
561
562 // pending async reads <off, len, op_flags> -> <outbl, outr>
563 list<pair<boost::tuple<uint64_t, uint64_t, unsigned>,
564 pair<bufferlist*, Context*> > > pending_async_reads;
565 int async_read_result;
566 int inflightreads;
567 friend struct OnReadComplete;
568 void start_async_reads(PrimaryLogPG *pg);
569 void finish_read(PrimaryLogPG *pg);
570 bool async_reads_complete() {
571 return inflightreads == 0;
572 }
573
574 ObjectContext::RWState::State lock_type;
575 ObcLockManager lock_manager;
576
577 OpContext(const OpContext& other);
578 const OpContext& operator=(const OpContext& other);
579
580 OpContext(OpRequestRef _op, osd_reqid_t _reqid, vector<OSDOp>& _ops,
581 ObjectContextRef& obc,
582 PrimaryLogPG *_pg) :
583 op(_op), reqid(_reqid), ops(_ops),
584 obs(&obc->obs),
585 snapset(0),
586 new_obs(obs->oi, obs->exists),
587 modify(false), user_modify(false), undirty(false), cache_evict(false),
588 ignore_cache(false), ignore_log_op_stats(false), update_log_only(false),
589 bytes_written(0), bytes_read(0), user_at_version(0),
590 current_osd_subop_num(0),
591 obc(obc),
592 data_off(0), reply(NULL), pg(_pg),
593 num_read(0),
594 num_write(0),
595 copy_cb(NULL),
596 sent_reply(false),
597 async_read_result(0),
598 inflightreads(0),
599 lock_type(ObjectContext::RWState::RWNONE) {
600 if (obc->ssc) {
601 new_snapset = obc->ssc->snapset;
602 snapset = &obc->ssc->snapset;
603 }
604 }
605 OpContext(OpRequestRef _op, osd_reqid_t _reqid,
606 vector<OSDOp>& _ops, PrimaryLogPG *_pg) :
607 op(_op), reqid(_reqid), ops(_ops), obs(NULL), snapset(0),
608 modify(false), user_modify(false), undirty(false), cache_evict(false),
609 ignore_cache(false), ignore_log_op_stats(false), update_log_only(false),
610 bytes_written(0), bytes_read(0), user_at_version(0),
611 current_osd_subop_num(0),
612 data_off(0), reply(NULL), pg(_pg),
613 num_read(0),
614 num_write(0),
615 copy_cb(NULL),
616 async_read_result(0),
617 inflightreads(0),
618 lock_type(ObjectContext::RWState::RWNONE) {}
619 void reset_obs(ObjectContextRef obc) {
620 new_obs = ObjectState(obc->obs.oi, obc->obs.exists);
621 if (obc->ssc) {
622 new_snapset = obc->ssc->snapset;
623 snapset = &obc->ssc->snapset;
624 }
625 }
626 ~OpContext() {
627 assert(!op_t);
628 if (reply)
629 reply->put();
630 for (list<pair<boost::tuple<uint64_t, uint64_t, unsigned>,
631 pair<bufferlist*, Context*> > >::iterator i =
632 pending_async_reads.begin();
633 i != pending_async_reads.end();
634 pending_async_reads.erase(i++)) {
635 delete i->second.second;
636 }
637 }
638 uint64_t get_features() {
639 if (op && op->get_req()) {
640 return op->get_req()->get_connection()->get_features();
641 }
642 return -1ull;
643 }
644 };
645 using OpContextUPtr = std::unique_ptr<OpContext>;
646 friend struct OpContext;
647
648 /*
649 * State on the PG primary associated with the replicated mutation
650 */
651 class RepGather {
652 public:
653 hobject_t hoid;
654 OpRequestRef op;
655 xlist<RepGather*>::item queue_item;
656 int nref;
657
658 eversion_t v;
659 int r = 0;
660
661 ceph_tid_t rep_tid;
662
663 bool rep_aborted, rep_done;
664
665 bool all_applied;
666 bool all_committed;
667 const bool applies_with_commit;
668
669 utime_t start;
670
671 eversion_t pg_local_last_complete;
672
673 ObcLockManager lock_manager;
674
675 list<std::function<void()>> on_applied;
676 list<std::function<void()>> on_committed;
677 list<std::function<void()>> on_success;
678 list<std::function<void()>> on_finish;
679
680 RepGather(
681 OpContext *c, ceph_tid_t rt,
682 eversion_t lc,
683 bool applies_with_commit) :
684 hoid(c->obc->obs.oi.soid),
685 op(c->op),
686 queue_item(this),
687 nref(1),
688 rep_tid(rt),
689 rep_aborted(false), rep_done(false),
690 all_applied(false), all_committed(false),
691 applies_with_commit(applies_with_commit),
692 pg_local_last_complete(lc),
693 lock_manager(std::move(c->lock_manager)),
694 on_applied(std::move(c->on_applied)),
695 on_committed(std::move(c->on_committed)),
696 on_success(std::move(c->on_success)),
697 on_finish(std::move(c->on_finish)) {}
698
699 RepGather(
700 ObcLockManager &&manager,
701 OpRequestRef &&o,
702 boost::optional<std::function<void(void)> > &&on_complete,
703 ceph_tid_t rt,
704 eversion_t lc,
705 bool applies_with_commit,
706 int r) :
707 op(o),
708 queue_item(this),
709 nref(1),
710 r(r),
711 rep_tid(rt),
712 rep_aborted(false), rep_done(false),
713 all_applied(false), all_committed(false),
714 applies_with_commit(applies_with_commit),
715 pg_local_last_complete(lc),
716 lock_manager(std::move(manager)) {
717 if (on_complete) {
718 on_success.push_back(std::move(*on_complete));
719 }
720 }
721
722 RepGather *get() {
723 nref++;
724 return this;
725 }
726 void put() {
727 assert(nref > 0);
728 if (--nref == 0) {
729 assert(on_applied.empty());
730 delete this;
731 //generic_dout(0) << "deleting " << this << dendl;
732 }
733 }
734 };
735
736
737 protected:
738
739 /**
740 * Grabs locks for OpContext, should be cleaned up in close_op_ctx
741 *
742 * @param ctx [in,out] ctx to get locks for
743 * @return true on success, false if we are queued
744 */
745 bool get_rw_locks(bool write_ordered, OpContext *ctx) {
746 /* If snapset_obc, !obc->obs->exists and we will always take the
747 * snapdir lock *before* the head lock. Since all callers will do
748 * this (read or write) if we get the first we will be guaranteed
749 * to get the second.
750 */
751 if (write_ordered && ctx->op->may_read()) {
752 ctx->lock_type = ObjectContext::RWState::RWEXCL;
753 } else if (write_ordered) {
754 ctx->lock_type = ObjectContext::RWState::RWWRITE;
755 } else {
756 assert(ctx->op->may_read());
757 ctx->lock_type = ObjectContext::RWState::RWREAD;
758 }
759
760 if (ctx->snapset_obc) {
761 assert(!ctx->obc->obs.exists);
762 if (!ctx->lock_manager.get_lock_type(
763 ctx->lock_type,
764 ctx->snapset_obc->obs.oi.soid,
765 ctx->snapset_obc,
766 ctx->op)) {
767 ctx->lock_type = ObjectContext::RWState::RWNONE;
768 return false;
769 }
770 }
771 if (ctx->lock_manager.get_lock_type(
772 ctx->lock_type,
773 ctx->obc->obs.oi.soid,
774 ctx->obc,
775 ctx->op)) {
776 return true;
777 } else {
778 assert(!ctx->snapset_obc);
779 ctx->lock_type = ObjectContext::RWState::RWNONE;
780 return false;
781 }
782 }
783
784 /**
785 * Cleans up OpContext
786 *
787 * @param ctx [in] ctx to clean up
788 */
789 void close_op_ctx(OpContext *ctx) {
790 release_object_locks(ctx->lock_manager);
791 ctx->op_t.reset();
792 for (auto p = ctx->on_finish.begin();
793 p != ctx->on_finish.end();
794 ctx->on_finish.erase(p++)) {
795 (*p)();
796 }
797 delete ctx;
798 }
799
800 /**
801 * Releases locks
802 *
803 * @param manager [in] manager with locks to release
804 */
805 void release_object_locks(
806 ObcLockManager &lock_manager) {
807 list<pair<hobject_t, list<OpRequestRef> > > to_req;
808 bool requeue_recovery = false;
809 bool requeue_snaptrim = false;
810 lock_manager.put_locks(
811 &to_req,
812 &requeue_recovery,
813 &requeue_snaptrim);
814 if (requeue_recovery)
815 queue_recovery();
816 if (requeue_snaptrim)
817 snap_trimmer_machine.process_event(TrimWriteUnblocked());
818
819 if (!to_req.empty()) {
820 // requeue at front of scrub blocking queue if we are blocked by scrub
821 for (auto &&p: to_req) {
822 if (scrubber.write_blocked_by_scrub(p.first.get_head())) {
823 waiting_for_scrub.splice(
824 waiting_for_scrub.begin(),
825 p.second,
826 p.second.begin(),
827 p.second.end());
828 } else {
829 requeue_ops(p.second);
830 }
831 }
832 }
833 }
834
835 // replica ops
836 // [primary|tail]
837 xlist<RepGather*> repop_queue;
838
839 friend class C_OSD_RepopApplied;
840 friend class C_OSD_RepopCommit;
841 void repop_all_applied(RepGather *repop);
842 void repop_all_committed(RepGather *repop);
843 void eval_repop(RepGather*);
844 void issue_repop(RepGather *repop, OpContext *ctx);
845 RepGather *new_repop(
846 OpContext *ctx,
847 ObjectContextRef obc,
848 ceph_tid_t rep_tid);
849 boost::intrusive_ptr<RepGather> new_repop(
850 eversion_t version,
851 int r,
852 ObcLockManager &&manager,
853 OpRequestRef &&op,
854 boost::optional<std::function<void(void)> > &&on_complete);
855 void remove_repop(RepGather *repop);
856
857 OpContextUPtr simple_opc_create(ObjectContextRef obc);
858 void simple_opc_submit(OpContextUPtr ctx);
859
860 /**
861 * Merge entries atomically into all actingbackfill osds
862 * adjusting missing and recovery state as necessary.
863 *
864 * Also used to store error log entries for dup detection.
865 */
866 void submit_log_entries(
867 const mempool::osd::list<pg_log_entry_t> &entries,
868 ObcLockManager &&manager,
869 boost::optional<std::function<void(void)> > &&on_complete,
870 OpRequestRef op = OpRequestRef(),
871 int r = 0);
872 struct LogUpdateCtx {
873 boost::intrusive_ptr<RepGather> repop;
874 set<pg_shard_t> waiting_on;
875 };
876 void cancel_log_updates();
877 map<ceph_tid_t, LogUpdateCtx> log_entry_update_waiting_on;
878
879
880 // hot/cold tracking
881 HitSetRef hit_set; ///< currently accumulating HitSet
882 utime_t hit_set_start_stamp; ///< time the current HitSet started recording
883
884
885 void hit_set_clear(); ///< discard any HitSet state
886 void hit_set_setup(); ///< initialize HitSet state
887 void hit_set_create(); ///< create a new HitSet
888 void hit_set_persist(); ///< persist hit info
889 bool hit_set_apply_log(); ///< apply log entries to update in-memory HitSet
890 void hit_set_trim(OpContextUPtr &ctx, unsigned max); ///< discard old HitSets
891 void hit_set_in_memory_trim(uint32_t max_in_memory); ///< discard old in memory HitSets
892 void hit_set_remove_all();
893
894 hobject_t get_hit_set_current_object(utime_t stamp);
895 hobject_t get_hit_set_archive_object(utime_t start,
896 utime_t end,
897 bool using_gmt);
898
899 // agent
900 boost::scoped_ptr<TierAgentState> agent_state;
901
902 void agent_setup(); ///< initialize agent state
903 bool agent_work(int max) override ///< entry point to do some agent work
904 {
905 return agent_work(max, max);
906 }
907 bool agent_work(int max, int agent_flush_quota) override;
908 bool agent_maybe_flush(ObjectContextRef& obc); ///< maybe flush
909 bool agent_maybe_evict(ObjectContextRef& obc, bool after_flush); ///< maybe evict
910
911 void agent_load_hit_sets(); ///< load HitSets, if needed
912
913 /// estimate object atime and temperature
914 ///
915 /// @param oid [in] object name
916 /// @param temperature [out] relative temperature (# consider both access time and frequency)
917 void agent_estimate_temp(const hobject_t& oid, int *temperature);
918
919 /// stop the agent
920 void agent_stop() override;
921 void agent_delay() override;
922
923 /// clear agent state
924 void agent_clear() override;
925
926 /// choose (new) agent mode(s), returns true if op is requeued
927 bool agent_choose_mode(bool restart = false, OpRequestRef op = OpRequestRef());
928 void agent_choose_mode_restart() override;
929
930 /// true if we can send an ondisk/commit for v
931 bool already_complete(eversion_t v);
932 /// true if we can send an ack for v
933 bool already_ack(eversion_t v);
934
935 // projected object info
936 SharedLRU<hobject_t, ObjectContext> object_contexts;
937 // map from oid.snapdir() to SnapSetContext *
938 map<hobject_t, SnapSetContext*> snapset_contexts;
939 Mutex snapset_contexts_lock;
940
941 // debug order that client ops are applied
942 map<hobject_t, map<client_t, ceph_tid_t>> debug_op_order;
943
944 void populate_obc_watchers(ObjectContextRef obc);
945 void check_blacklisted_obc_watchers(ObjectContextRef obc);
946 void check_blacklisted_watchers() override;
947 void get_watchers(list<obj_watch_item_t> &pg_watchers) override;
948 void get_obc_watchers(ObjectContextRef obc, list<obj_watch_item_t> &pg_watchers);
949 public:
950 void handle_watch_timeout(WatchRef watch);
951 protected:
952
953 ObjectContextRef create_object_context(const object_info_t& oi, SnapSetContext *ssc);
954 ObjectContextRef get_object_context(
955 const hobject_t& soid,
956 bool can_create,
957 const map<string, bufferlist> *attrs = 0
958 );
959
960 void context_registry_on_change();
961 void object_context_destructor_callback(ObjectContext *obc);
962 class C_PG_ObjectContext;
963
964 int find_object_context(const hobject_t& oid,
965 ObjectContextRef *pobc,
966 bool can_create,
967 bool map_snapid_to_clone=false,
968 hobject_t *missing_oid=NULL);
969
970 void add_object_context_to_pg_stat(ObjectContextRef obc, pg_stat_t *stat);
971
972 void get_src_oloc(const object_t& oid, const object_locator_t& oloc, object_locator_t& src_oloc);
973
974 SnapSetContext *get_snapset_context(
975 const hobject_t& oid,
976 bool can_create,
977 const map<string, bufferlist> *attrs = 0,
978 bool oid_existed = true //indicate this oid whether exsited in backend
979 );
980 void register_snapset_context(SnapSetContext *ssc) {
981 Mutex::Locker l(snapset_contexts_lock);
982 _register_snapset_context(ssc);
983 }
984 void _register_snapset_context(SnapSetContext *ssc) {
985 assert(snapset_contexts_lock.is_locked());
986 if (!ssc->registered) {
987 assert(snapset_contexts.count(ssc->oid) == 0);
988 ssc->registered = true;
989 snapset_contexts[ssc->oid] = ssc;
990 }
991 }
992 void put_snapset_context(SnapSetContext *ssc);
993
994 map<hobject_t, ObjectContextRef> recovering;
995
996 /*
997 * Backfill
998 *
999 * peer_info[backfill_target].last_backfill == info.last_backfill on the peer.
1000 *
1001 * objects prior to peer_info[backfill_target].last_backfill
1002 * - are on the peer
1003 * - are included in the peer stats
1004 *
1005 * objects \in (last_backfill, last_backfill_started]
1006 * - are on the peer or are in backfills_in_flight
1007 * - are not included in pg stats (yet)
1008 * - have their stats in pending_backfill_updates on the primary
1009 */
1010 set<hobject_t> backfills_in_flight;
1011 map<hobject_t, pg_stat_t> pending_backfill_updates;
1012
1013 void dump_recovery_info(Formatter *f) const override {
1014 f->open_array_section("backfill_targets");
1015 for (set<pg_shard_t>::const_iterator p = backfill_targets.begin();
1016 p != backfill_targets.end(); ++p)
1017 f->dump_stream("replica") << *p;
1018 f->close_section();
1019 f->open_array_section("waiting_on_backfill");
1020 for (set<pg_shard_t>::const_iterator p = waiting_on_backfill.begin();
1021 p != waiting_on_backfill.end(); ++p)
1022 f->dump_stream("osd") << *p;
1023 f->close_section();
1024 f->dump_stream("last_backfill_started") << last_backfill_started;
1025 {
1026 f->open_object_section("backfill_info");
1027 backfill_info.dump(f);
1028 f->close_section();
1029 }
1030 {
1031 f->open_array_section("peer_backfill_info");
1032 for (map<pg_shard_t, BackfillInterval>::const_iterator pbi =
1033 peer_backfill_info.begin();
1034 pbi != peer_backfill_info.end(); ++pbi) {
1035 f->dump_stream("osd") << pbi->first;
1036 f->open_object_section("BackfillInterval");
1037 pbi->second.dump(f);
1038 f->close_section();
1039 }
1040 f->close_section();
1041 }
1042 {
1043 f->open_array_section("backfills_in_flight");
1044 for (set<hobject_t>::const_iterator i = backfills_in_flight.begin();
1045 i != backfills_in_flight.end();
1046 ++i) {
1047 f->dump_stream("object") << *i;
1048 }
1049 f->close_section();
1050 }
1051 {
1052 f->open_array_section("recovering");
1053 for (map<hobject_t, ObjectContextRef>::const_iterator i = recovering.begin();
1054 i != recovering.end();
1055 ++i) {
1056 f->dump_stream("object") << i->first;
1057 }
1058 f->close_section();
1059 }
1060 {
1061 f->open_object_section("pg_backend");
1062 pgbackend->dump_recovery_info(f);
1063 f->close_section();
1064 }
1065 }
1066
1067 /// last backfill operation started
1068 hobject_t last_backfill_started;
1069 bool new_backfill;
1070
1071 int prep_object_replica_pushes(const hobject_t& soid, eversion_t v,
1072 PGBackend::RecoveryHandle *h);
1073
1074 void finish_degraded_object(const hobject_t& oid);
1075
1076 // Cancels/resets pulls from peer
1077 void check_recovery_sources(const OSDMapRef& map) override ;
1078
1079 int recover_missing(
1080 const hobject_t& oid,
1081 eversion_t v,
1082 int priority,
1083 PGBackend::RecoveryHandle *h);
1084
1085 // low level ops
1086
1087 void _make_clone(
1088 OpContext *ctx,
1089 PGTransaction* t,
1090 ObjectContextRef obc,
1091 const hobject_t& head, const hobject_t& coid,
1092 object_info_t *poi);
1093 void execute_ctx(OpContext *ctx);
1094 void finish_ctx(OpContext *ctx, int log_op_type, bool maintain_ssc=true);
1095 void reply_ctx(OpContext *ctx, int err);
1096 void reply_ctx(OpContext *ctx, int err, eversion_t v, version_t uv);
1097 void make_writeable(OpContext *ctx);
1098 void log_op_stats(OpContext *ctx);
1099
1100 void write_update_size_and_usage(object_stat_sum_t& stats, object_info_t& oi,
1101 interval_set<uint64_t>& modified, uint64_t offset,
1102 uint64_t length, bool write_full=false);
1103 void add_interval_usage(interval_set<uint64_t>& s, object_stat_sum_t& st);
1104
1105
1106 enum class cache_result_t {
1107 NOOP,
1108 BLOCKED_FULL,
1109 BLOCKED_PROMOTE,
1110 HANDLED_PROXY,
1111 HANDLED_REDIRECT,
1112 };
1113 cache_result_t maybe_handle_cache_detail(OpRequestRef op,
1114 bool write_ordered,
1115 ObjectContextRef obc, int r,
1116 hobject_t missing_oid,
1117 bool must_promote,
1118 bool in_hit_set,
1119 ObjectContextRef *promote_obc);
1120 /**
1121 * This helper function is called from do_op if the ObjectContext lookup fails.
1122 * @returns true if the caching code is handling the Op, false otherwise.
1123 */
1124 bool maybe_handle_cache(OpRequestRef op,
1125 bool write_ordered,
1126 ObjectContextRef obc, int r,
1127 const hobject_t& missing_oid,
1128 bool must_promote,
1129 bool in_hit_set = false) {
1130 return cache_result_t::NOOP != maybe_handle_cache_detail(
1131 op,
1132 write_ordered,
1133 obc,
1134 r,
1135 missing_oid,
1136 must_promote,
1137 in_hit_set,
1138 nullptr);
1139 }
1140
1141 /**
1142 * This helper function checks if a promotion is needed.
1143 */
1144 bool maybe_promote(ObjectContextRef obc,
1145 const hobject_t& missing_oid,
1146 const object_locator_t& oloc,
1147 bool in_hit_set,
1148 uint32_t recency,
1149 OpRequestRef promote_op,
1150 ObjectContextRef *promote_obc = nullptr);
1151 /**
1152 * This helper function tells the client to redirect their request elsewhere.
1153 */
1154 void do_cache_redirect(OpRequestRef op);
1155 /**
1156 * This function attempts to start a promote. Either it succeeds,
1157 * or places op on a wait list. If op is null, failure means that
1158 * this is a noop. If a future user wants to be able to distinguish
1159 * these cases, a return value should be added.
1160 */
1161 void promote_object(
1162 ObjectContextRef obc, ///< [optional] obc
1163 const hobject_t& missing_object, ///< oid (if !obc)
1164 const object_locator_t& oloc, ///< locator for obc|oid
1165 OpRequestRef op, ///< [optional] client op
1166 ObjectContextRef *promote_obc = nullptr ///< [optional] new obc for object
1167 );
1168
1169 int prepare_transaction(OpContext *ctx);
1170 list<pair<OpRequestRef, OpContext*> > in_progress_async_reads;
1171 void complete_read_ctx(int result, OpContext *ctx);
1172
1173 // pg on-disk content
1174 void check_local() override;
1175
1176 void _clear_recovery_state() override;
1177
1178 bool start_recovery_ops(
1179 uint64_t max,
1180 ThreadPool::TPHandle &handle, uint64_t *started) override;
1181
1182 uint64_t recover_primary(uint64_t max, ThreadPool::TPHandle &handle);
1183 uint64_t recover_replicas(uint64_t max, ThreadPool::TPHandle &handle);
1184 hobject_t earliest_peer_backfill() const;
1185 bool all_peer_done() const;
1186 /**
1187 * @param work_started will be set to true if recover_backfill got anywhere
1188 * @returns the number of operations started
1189 */
1190 uint64_t recover_backfill(uint64_t max, ThreadPool::TPHandle &handle,
1191 bool *work_started);
1192
1193 /**
1194 * scan a (hash) range of objects in the current pg
1195 *
1196 * @begin first item should be >= this value
1197 * @min return at least this many items, unless we are done
1198 * @max return no more than this many items
1199 * @bi [out] resulting map of objects to eversion_t's
1200 */
1201 void scan_range(
1202 int min, int max, BackfillInterval *bi,
1203 ThreadPool::TPHandle &handle
1204 );
1205
1206 /// Update a hash range to reflect changes since the last scan
1207 void update_range(
1208 BackfillInterval *bi, ///< [in,out] interval to update
1209 ThreadPool::TPHandle &handle ///< [in] tp handle
1210 );
1211
1212 void prep_backfill_object_push(
1213 hobject_t oid, eversion_t v, ObjectContextRef obc,
1214 vector<pg_shard_t> peers,
1215 PGBackend::RecoveryHandle *h);
1216 void send_remove_op(const hobject_t& oid, eversion_t v, pg_shard_t peer);
1217
1218
1219 class C_OSD_OndiskWriteUnlock;
1220 class C_OSD_AppliedRecoveredObject;
1221 class C_OSD_CommittedPushedObject;
1222 class C_OSD_AppliedRecoveredObjectReplica;
1223 void sub_op_remove(OpRequestRef op);
1224
1225 void _applied_recovered_object(ObjectContextRef obc);
1226 void _applied_recovered_object_replica();
1227 void _committed_pushed_object(epoch_t epoch, eversion_t lc);
1228 void recover_got(hobject_t oid, eversion_t v);
1229
1230 // -- copyfrom --
1231 map<hobject_t, CopyOpRef> copy_ops;
1232
1233 int fill_in_copy_get(
1234 OpContext *ctx,
1235 bufferlist::iterator& bp,
1236 OSDOp& op,
1237 ObjectContextRef& obc);
1238 void fill_in_copy_get_noent(OpRequestRef& op, hobject_t oid,
1239 OSDOp& osd_op);
1240
1241 /**
1242 * To copy an object, call start_copy.
1243 *
1244 * @param cb: The CopyCallback to be activated when the copy is complete
1245 * @param obc: The ObjectContext we are copying into
1246 * @param src: The source object
1247 * @param oloc: the source object locator
1248 * @param version: the version of the source object to copy (0 for any)
1249 */
1250 void start_copy(CopyCallback *cb, ObjectContextRef obc, hobject_t src,
1251 object_locator_t oloc, version_t version, unsigned flags,
1252 bool mirror_snapset, unsigned src_obj_fadvise_flags,
1253 unsigned dest_obj_fadvise_flags);
1254 void process_copy_chunk(hobject_t oid, ceph_tid_t tid, int r);
1255 void _write_copy_chunk(CopyOpRef cop, PGTransaction *t);
1256 uint64_t get_copy_chunk_size() const {
1257 uint64_t size = cct->_conf->osd_copyfrom_max_chunk;
1258 if (pool.info.requires_aligned_append()) {
1259 uint64_t alignment = pool.info.required_alignment();
1260 if (size % alignment) {
1261 size += alignment - (size % alignment);
1262 }
1263 }
1264 return size;
1265 }
1266 void _copy_some(ObjectContextRef obc, CopyOpRef cop);
1267 void finish_copyfrom(OpContext *ctx);
1268 void finish_promote(int r, CopyResults *results, ObjectContextRef obc);
1269 void cancel_copy(CopyOpRef cop, bool requeue);
1270 void cancel_copy_ops(bool requeue);
1271
1272 friend struct C_Copyfrom;
1273
1274 // -- flush --
1275 map<hobject_t, FlushOpRef> flush_ops;
1276
1277 /// start_flush takes ownership of on_flush iff ret == -EINPROGRESS
1278 int start_flush(
1279 OpRequestRef op, ObjectContextRef obc,
1280 bool blocking, hobject_t *pmissing,
1281 boost::optional<std::function<void()>> &&on_flush);
1282 void finish_flush(hobject_t oid, ceph_tid_t tid, int r);
1283 int try_flush_mark_clean(FlushOpRef fop);
1284 void cancel_flush(FlushOpRef fop, bool requeue);
1285 void cancel_flush_ops(bool requeue);
1286
1287 /// @return false if clone is has been evicted
1288 bool is_present_clone(hobject_t coid);
1289
1290 friend struct C_Flush;
1291
1292 // -- scrub --
1293 bool _range_available_for_scrub(
1294 const hobject_t &begin, const hobject_t &end) override;
1295 void scrub_snapshot_metadata(
1296 ScrubMap &map,
1297 const std::map<hobject_t, pair<uint32_t, uint32_t>> &missing_digest) override;
1298 void _scrub_clear_state() override;
1299 void _scrub_finish() override;
1300 object_stat_collection_t scrub_cstat;
1301
1302 void _split_into(pg_t child_pgid, PG *child,
1303 unsigned split_bits) override;
1304 void apply_and_flush_repops(bool requeue);
1305
1306 void calc_trim_to() override;
1307 int do_xattr_cmp_u64(int op, __u64 v1, bufferlist& xattr);
1308 int do_xattr_cmp_str(int op, string& v1s, bufferlist& xattr);
1309
1310 // -- checksum --
1311 int do_checksum(OpContext *ctx, OSDOp& osd_op, bufferlist::iterator *bl_it,
1312 bool *async_read);
1313 int finish_checksum(OSDOp& osd_op, Checksummer::CSumType csum_type,
1314 bufferlist::iterator *init_value_bl_it,
1315 const bufferlist &read_bl);
1316
1317 friend class C_ChecksumRead;
1318
1319 int do_extent_cmp(OpContext *ctx, OSDOp& osd_op);
1320 int do_writesame(OpContext *ctx, OSDOp& osd_op);
1321
1322 bool pgls_filter(PGLSFilter *filter, hobject_t& sobj, bufferlist& outdata);
1323 int get_pgls_filter(bufferlist::iterator& iter, PGLSFilter **pfilter);
1324
1325 map<hobject_t, list<OpRequestRef>> in_progress_proxy_ops;
1326 void kick_proxy_ops_blocked(hobject_t& soid);
1327 void cancel_proxy_ops(bool requeue);
1328
1329 // -- proxyread --
1330 map<ceph_tid_t, ProxyReadOpRef> proxyread_ops;
1331
1332 void do_proxy_read(OpRequestRef op);
1333 void finish_proxy_read(hobject_t oid, ceph_tid_t tid, int r);
1334 void cancel_proxy_read(ProxyReadOpRef prdop);
1335
1336 friend struct C_ProxyRead;
1337
1338 // -- proxywrite --
1339 map<ceph_tid_t, ProxyWriteOpRef> proxywrite_ops;
1340
1341 void do_proxy_write(OpRequestRef op, const hobject_t& missing_oid);
1342 void finish_proxy_write(hobject_t oid, ceph_tid_t tid, int r);
1343 void cancel_proxy_write(ProxyWriteOpRef pwop);
1344
1345 friend struct C_ProxyWrite_Commit;
1346
1347 public:
1348 PrimaryLogPG(OSDService *o, OSDMapRef curmap,
1349 const PGPool &_pool, spg_t p);
1350 ~PrimaryLogPG() override {}
1351
1352 int do_command(
1353 cmdmap_t cmdmap,
1354 ostream& ss,
1355 bufferlist& idata,
1356 bufferlist& odata,
1357 ConnectionRef conn,
1358 ceph_tid_t tid) override;
1359
1360 void do_request(
1361 OpRequestRef& op,
1362 ThreadPool::TPHandle &handle) override;
1363 void do_op(OpRequestRef& op) override;
1364 void record_write_error(OpRequestRef op, const hobject_t &soid,
1365 MOSDOpReply *orig_reply, int r);
1366 void do_pg_op(OpRequestRef op);
1367 void do_sub_op(OpRequestRef op) override;
1368 void do_sub_op_reply(OpRequestRef op) override;
1369 void do_scan(
1370 OpRequestRef op,
1371 ThreadPool::TPHandle &handle) override;
1372 void do_backfill(OpRequestRef op) override;
1373 void do_backfill_remove(OpRequestRef op);
1374
1375 void handle_backoff(OpRequestRef& op);
1376
1377 OpContextUPtr trim_object(bool first, const hobject_t &coid);
1378 void snap_trimmer(epoch_t e) override;
1379 void kick_snap_trim() override;
1380 void snap_trimmer_scrub_complete() override;
1381 int do_osd_ops(OpContext *ctx, vector<OSDOp>& ops);
1382
1383 int _get_tmap(OpContext *ctx, bufferlist *header, bufferlist *vals);
1384 int do_tmap2omap(OpContext *ctx, unsigned flags);
1385 int do_tmapup(OpContext *ctx, bufferlist::iterator& bp, OSDOp& osd_op);
1386 int do_tmapup_slow(OpContext *ctx, bufferlist::iterator& bp, OSDOp& osd_op, bufferlist& bl);
1387
1388 void do_osd_op_effects(OpContext *ctx, const ConnectionRef& conn);
1389 private:
1390 int do_scrub_ls(MOSDOp *op, OSDOp *osd_op);
1391 hobject_t earliest_backfill() const;
1392 bool check_src_targ(const hobject_t& soid, const hobject_t& toid) const;
1393
1394 uint64_t temp_seq; ///< last id for naming temp objects
1395 /// generate a new temp object name
1396 hobject_t generate_temp_object(const hobject_t& target);
1397 /// generate a new temp object name (for recovery)
1398 hobject_t get_temp_recovery_object(const hobject_t& target,
1399 eversion_t version) override;
1400 int get_recovery_op_priority() const {
1401 int pri = 0;
1402 pool.info.opts.get(pool_opts_t::RECOVERY_OP_PRIORITY, &pri);
1403 return pri > 0 ? pri : cct->_conf->osd_recovery_op_priority;
1404 }
1405 void log_missing(unsigned missing,
1406 const boost::optional<hobject_t> &head,
1407 LogChannelRef clog,
1408 const spg_t &pgid,
1409 const char *func,
1410 const char *mode,
1411 bool allow_incomplete_clones);
1412 unsigned process_clones_to(const boost::optional<hobject_t> &head,
1413 const boost::optional<SnapSet> &snapset,
1414 LogChannelRef clog,
1415 const spg_t &pgid,
1416 const char *mode,
1417 bool allow_incomplete_clones,
1418 boost::optional<snapid_t> target,
1419 vector<snapid_t>::reverse_iterator *curclone,
1420 inconsistent_snapset_wrapper &snap_error);
1421
1422 public:
1423 coll_t get_coll() {
1424 return coll;
1425 }
1426 void split_colls(
1427 spg_t child,
1428 int split_bits,
1429 int seed,
1430 const pg_pool_t *pool,
1431 ObjectStore::Transaction *t) override {
1432 coll_t target = coll_t(child);
1433 PG::_create(*t, child, split_bits);
1434 t->split_collection(
1435 coll,
1436 split_bits,
1437 seed,
1438 target);
1439 PG::_init(*t, child, pool);
1440 }
1441 private:
1442
1443 struct DoSnapWork : boost::statechart::event< DoSnapWork > {
1444 DoSnapWork() : boost::statechart::event < DoSnapWork >() {}
1445 };
1446 struct KickTrim : boost::statechart::event< KickTrim > {
1447 KickTrim() : boost::statechart::event < KickTrim >() {}
1448 };
1449 struct RepopsComplete : boost::statechart::event< RepopsComplete > {
1450 RepopsComplete() : boost::statechart::event < RepopsComplete >() {}
1451 };
1452 struct ScrubComplete : boost::statechart::event< ScrubComplete > {
1453 ScrubComplete() : boost::statechart::event < ScrubComplete >() {}
1454 };
1455 struct TrimWriteUnblocked : boost::statechart::event< TrimWriteUnblocked > {
1456 TrimWriteUnblocked() : boost::statechart::event < TrimWriteUnblocked >() {}
1457 };
1458 struct Reset : boost::statechart::event< Reset > {
1459 Reset() : boost::statechart::event< Reset >() {}
1460 };
1461 struct SnapTrimReserved : boost::statechart::event< SnapTrimReserved > {
1462 SnapTrimReserved() : boost::statechart::event< SnapTrimReserved >() {}
1463 };
1464 struct SnapTrimTimerReady : boost::statechart::event< SnapTrimTimerReady > {
1465 SnapTrimTimerReady() : boost::statechart::event< SnapTrimTimerReady >() {}
1466 };
1467
1468 struct NotTrimming;
1469 struct SnapTrimmer : public boost::statechart::state_machine< SnapTrimmer, NotTrimming > {
1470 PrimaryLogPG *pg;
1471 explicit SnapTrimmer(PrimaryLogPG *pg) : pg(pg) {}
1472 void log_enter(const char *state_name);
1473 void log_exit(const char *state_name, utime_t duration);
1474 bool can_trim() {
1475 return pg->is_clean() && !pg->scrubber.active && !pg->snap_trimq.empty();
1476 }
1477 } snap_trimmer_machine;
1478
1479 struct WaitReservation;
1480 struct Trimming : boost::statechart::state< Trimming, SnapTrimmer, WaitReservation >, NamedState {
1481 typedef boost::mpl::list <
1482 boost::statechart::custom_reaction< KickTrim >,
1483 boost::statechart::transition< Reset, NotTrimming >
1484 > reactions;
1485
1486 set<hobject_t> in_flight;
1487 snapid_t snap_to_trim;
1488
1489 explicit Trimming(my_context ctx)
1490 : my_base(ctx),
1491 NamedState(context< SnapTrimmer >().pg, "Trimming") {
1492 context< SnapTrimmer >().log_enter(state_name);
1493 assert(context< SnapTrimmer >().can_trim());
1494 assert(in_flight.empty());
1495 }
1496 void exit() {
1497 context< SnapTrimmer >().log_exit(state_name, enter_time);
1498 auto *pg = context< SnapTrimmer >().pg;
1499 pg->osd->snap_reserver.cancel_reservation(pg->get_pgid());
1500 pg->state_clear(PG_STATE_SNAPTRIM);
1501 pg->publish_stats_to_osd();
1502 }
1503 boost::statechart::result react(const KickTrim&) {
1504 return discard_event();
1505 }
1506 };
1507
1508 /* SnapTrimmerStates */
1509 struct WaitTrimTimer : boost::statechart::state< WaitTrimTimer, Trimming >, NamedState {
1510 typedef boost::mpl::list <
1511 boost::statechart::custom_reaction< SnapTrimTimerReady >
1512 > reactions;
1513 Context *wakeup = nullptr;
1514 explicit WaitTrimTimer(my_context ctx)
1515 : my_base(ctx),
1516 NamedState(context< SnapTrimmer >().pg, "Trimming/WaitTrimTimer") {
1517 context< SnapTrimmer >().log_enter(state_name);
1518 assert(context<Trimming>().in_flight.empty());
1519 struct OnTimer : Context {
1520 PrimaryLogPGRef pg;
1521 epoch_t epoch;
1522 OnTimer(PrimaryLogPGRef pg, epoch_t epoch) : pg(pg), epoch(epoch) {}
1523 void finish(int) override {
1524 pg->lock();
1525 if (!pg->pg_has_reset_since(epoch))
1526 pg->snap_trimmer_machine.process_event(SnapTrimTimerReady());
1527 pg->unlock();
1528 }
1529 };
1530 auto *pg = context< SnapTrimmer >().pg;
1531 if (pg->cct->_conf->osd_snap_trim_sleep > 0) {
1532 wakeup = new OnTimer{pg, pg->get_osdmap()->get_epoch()};
1533 Mutex::Locker l(pg->osd->snap_sleep_lock);
1534 pg->osd->snap_sleep_timer.add_event_after(
1535 pg->cct->_conf->osd_snap_trim_sleep, wakeup);
1536 } else {
1537 post_event(SnapTrimTimerReady());
1538 }
1539 }
1540 void exit() {
1541 context< SnapTrimmer >().log_exit(state_name, enter_time);
1542 auto *pg = context< SnapTrimmer >().pg;
1543 if (wakeup) {
1544 Mutex::Locker l(pg->osd->snap_sleep_lock);
1545 pg->osd->snap_sleep_timer.cancel_event(wakeup);
1546 wakeup = nullptr;
1547 }
1548 }
1549 boost::statechart::result react(const SnapTrimTimerReady &) {
1550 wakeup = nullptr;
1551 if (!context< SnapTrimmer >().can_trim()) {
1552 post_event(KickTrim());
1553 return transit< NotTrimming >();
1554 } else {
1555 return transit< AwaitAsyncWork >();
1556 }
1557 }
1558 };
1559
1560 struct WaitRWLock : boost::statechart::state< WaitRWLock, Trimming >, NamedState {
1561 typedef boost::mpl::list <
1562 boost::statechart::custom_reaction< TrimWriteUnblocked >
1563 > reactions;
1564 explicit WaitRWLock(my_context ctx)
1565 : my_base(ctx),
1566 NamedState(context< SnapTrimmer >().pg, "Trimming/WaitRWLock") {
1567 context< SnapTrimmer >().log_enter(state_name);
1568 assert(context<Trimming>().in_flight.empty());
1569 }
1570 void exit() {
1571 context< SnapTrimmer >().log_exit(state_name, enter_time);
1572 }
1573 boost::statechart::result react(const TrimWriteUnblocked&) {
1574 if (!context< SnapTrimmer >().can_trim()) {
1575 post_event(KickTrim());
1576 return transit< NotTrimming >();
1577 } else {
1578 return transit< AwaitAsyncWork >();
1579 }
1580 }
1581 };
1582
1583 struct WaitRepops : boost::statechart::state< WaitRepops, Trimming >, NamedState {
1584 typedef boost::mpl::list <
1585 boost::statechart::custom_reaction< RepopsComplete >
1586 > reactions;
1587 explicit WaitRepops(my_context ctx)
1588 : my_base(ctx),
1589 NamedState(context< SnapTrimmer >().pg, "Trimming/WaitRepops") {
1590 context< SnapTrimmer >().log_enter(state_name);
1591 assert(!context<Trimming>().in_flight.empty());
1592 }
1593 void exit() {
1594 context< SnapTrimmer >().log_exit(state_name, enter_time);
1595 }
1596 boost::statechart::result react(const RepopsComplete&) {
1597 if (!context< SnapTrimmer >().can_trim()) {
1598 post_event(KickTrim());
1599 return transit< NotTrimming >();
1600 } else {
1601 return transit< WaitTrimTimer >();
1602 }
1603 }
1604 };
1605
1606 struct AwaitAsyncWork : boost::statechart::state< AwaitAsyncWork, Trimming >, NamedState {
1607 typedef boost::mpl::list <
1608 boost::statechart::custom_reaction< DoSnapWork >
1609 > reactions;
1610 explicit AwaitAsyncWork(my_context ctx);
1611 void exit() {
1612 context< SnapTrimmer >().log_exit(state_name, enter_time);
1613 }
1614 boost::statechart::result react(const DoSnapWork&);
1615 };
1616
1617 struct WaitReservation : boost::statechart::state< WaitReservation, Trimming >, NamedState {
1618 /* WaitReservation is a sub-state of trimming simply so that exiting Trimming
1619 * always cancels the reservation */
1620 typedef boost::mpl::list <
1621 boost::statechart::custom_reaction< SnapTrimReserved >
1622 > reactions;
1623 struct ReservationCB : public Context {
1624 PrimaryLogPGRef pg;
1625 bool canceled;
1626 ReservationCB(PrimaryLogPG *pg) : pg(pg), canceled(false) {}
1627 void finish(int) override {
1628 pg->lock();
1629 if (!canceled)
1630 pg->snap_trimmer_machine.process_event(SnapTrimReserved());
1631 pg->unlock();
1632 }
1633 void cancel() {
1634 assert(pg->is_locked());
1635 assert(!canceled);
1636 canceled = true;
1637 }
1638 };
1639 ReservationCB *pending = nullptr;
1640
1641 explicit WaitReservation(my_context ctx)
1642 : my_base(ctx),
1643 NamedState(context< SnapTrimmer >().pg, "Trimming/WaitReservation") {
1644 context< SnapTrimmer >().log_enter(state_name);
1645 assert(context<Trimming>().in_flight.empty());
1646 auto *pg = context< SnapTrimmer >().pg;
1647 pending = new ReservationCB(pg);
1648 pg->osd->snap_reserver.request_reservation(
1649 pg->get_pgid(),
1650 pending,
1651 0);
1652 pg->state_set(PG_STATE_SNAPTRIM_WAIT);
1653 pg->publish_stats_to_osd();
1654 }
1655 boost::statechart::result react(const SnapTrimReserved&);
1656 void exit() {
1657 context< SnapTrimmer >().log_exit(state_name, enter_time);
1658 if (pending)
1659 pending->cancel();
1660 pending = nullptr;
1661 auto *pg = context< SnapTrimmer >().pg;
1662 pg->state_clear(PG_STATE_SNAPTRIM_WAIT);
1663 pg->publish_stats_to_osd();
1664 }
1665 };
1666
1667 struct WaitScrub : boost::statechart::state< WaitScrub, SnapTrimmer >, NamedState {
1668 typedef boost::mpl::list <
1669 boost::statechart::custom_reaction< ScrubComplete >,
1670 boost::statechart::custom_reaction< KickTrim >,
1671 boost::statechart::transition< Reset, NotTrimming >
1672 > reactions;
1673 explicit WaitScrub(my_context ctx)
1674 : my_base(ctx),
1675 NamedState(context< SnapTrimmer >().pg, "Trimming/WaitScrub") {
1676 context< SnapTrimmer >().log_enter(state_name);
1677 }
1678 void exit() {
1679 context< SnapTrimmer >().log_exit(state_name, enter_time);
1680 }
1681 boost::statechart::result react(const ScrubComplete&) {
1682 post_event(KickTrim());
1683 return transit< NotTrimming >();
1684 }
1685 boost::statechart::result react(const KickTrim&) {
1686 return discard_event();
1687 }
1688 };
1689
1690 struct NotTrimming : boost::statechart::state< NotTrimming, SnapTrimmer >, NamedState {
1691 typedef boost::mpl::list <
1692 boost::statechart::custom_reaction< KickTrim >,
1693 boost::statechart::transition< Reset, NotTrimming >
1694 > reactions;
1695 explicit NotTrimming(my_context ctx);
1696 void exit();
1697 boost::statechart::result react(const KickTrim&);
1698 };
1699
1700 int _verify_no_head_clones(const hobject_t& soid,
1701 const SnapSet& ss);
1702 // return true if we're creating a local object, false for a
1703 // whiteout or no change.
1704 void maybe_create_new_object(OpContext *ctx, bool ignore_transaction=false);
1705 int _delete_oid(OpContext *ctx, bool no_whiteout, bool try_no_whiteout);
1706 int _rollback_to(OpContext *ctx, ceph_osd_op& op);
1707 public:
1708 bool is_missing_object(const hobject_t& oid) const;
1709 bool is_unreadable_object(const hobject_t &oid) const {
1710 return is_missing_object(oid) ||
1711 !missing_loc.readable_with_acting(oid, actingset);
1712 }
1713 void maybe_kick_recovery(const hobject_t &soid);
1714 void wait_for_unreadable_object(const hobject_t& oid, OpRequestRef op);
1715 void wait_for_all_missing(OpRequestRef op);
1716
1717 bool is_degraded_or_backfilling_object(const hobject_t& oid);
1718 void wait_for_degraded_object(const hobject_t& oid, OpRequestRef op);
1719
1720 void block_write_on_full_cache(
1721 const hobject_t& oid, OpRequestRef op);
1722 void block_write_on_snap_rollback(
1723 const hobject_t& oid, ObjectContextRef obc, OpRequestRef op);
1724 void block_write_on_degraded_snap(const hobject_t& oid, OpRequestRef op);
1725
1726 bool maybe_await_blocked_snapset(const hobject_t &soid, OpRequestRef op);
1727 void wait_for_blocked_object(const hobject_t& soid, OpRequestRef op);
1728 void kick_object_context_blocked(ObjectContextRef obc);
1729
1730 void maybe_force_recovery();
1731
1732 void mark_all_unfound_lost(
1733 int what,
1734 ConnectionRef con,
1735 ceph_tid_t tid);
1736 eversion_t pick_newest_available(const hobject_t& oid);
1737
1738 void do_update_log_missing(
1739 OpRequestRef &op);
1740
1741 void do_update_log_missing_reply(
1742 OpRequestRef &op);
1743
1744 void on_role_change() override;
1745 void on_pool_change() override;
1746 void _on_new_interval() override;
1747 void on_change(ObjectStore::Transaction *t) override;
1748 void on_activate() override;
1749 void on_flushed() override;
1750 void on_removal(ObjectStore::Transaction *t) override;
1751 void on_shutdown() override;
1752 bool check_failsafe_full(ostream &ss) override;
1753 bool check_osdmap_full(const set<pg_shard_t> &missing_on) override;
1754
1755 // attr cache handling
1756 void setattr_maybe_cache(
1757 ObjectContextRef obc,
1758 OpContext *op,
1759 PGTransaction *t,
1760 const string &key,
1761 bufferlist &val);
1762 void setattrs_maybe_cache(
1763 ObjectContextRef obc,
1764 OpContext *op,
1765 PGTransaction *t,
1766 map<string, bufferlist> &attrs);
1767 void rmattr_maybe_cache(
1768 ObjectContextRef obc,
1769 OpContext *op,
1770 PGTransaction *t,
1771 const string &key);
1772 int getattr_maybe_cache(
1773 ObjectContextRef obc,
1774 const string &key,
1775 bufferlist *val);
1776 int getattrs_maybe_cache(
1777 ObjectContextRef obc,
1778 map<string, bufferlist> *out,
1779 bool user_only = false);
1780 };
1781
1782 inline ostream& operator<<(ostream& out, const PrimaryLogPG::RepGather& repop)
1783 {
1784 out << "repgather(" << &repop
1785 << " " << repop.v
1786 << " rep_tid=" << repop.rep_tid
1787 << " committed?=" << repop.all_committed
1788 << " applied?=" << repop.all_applied
1789 << " r=" << repop.r
1790 << ")";
1791 return out;
1792 }
1793
1794 inline ostream& operator<<(ostream& out,
1795 const PrimaryLogPG::ProxyWriteOpRef& pwop)
1796 {
1797 out << "proxywrite(" << &pwop
1798 << " " << pwop->user_version
1799 << " pwop_tid=" << pwop->objecter_tid;
1800 if (pwop->ctx->op)
1801 out << " op=" << *(pwop->ctx->op->get_req());
1802 out << ")";
1803 return out;
1804 }
1805
1806 void intrusive_ptr_add_ref(PrimaryLogPG::RepGather *repop);
1807 void intrusive_ptr_release(PrimaryLogPG::RepGather *repop);
1808
1809
1810 #endif