123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304 |
- /* Copyright 2001 Matej Pfajfar.
- * Copyright (c) 2001-2004, Roger Dingledine.
- * Copyright (c) 2004-2006, Roger Dingledine, Nick Mathewson.
- * Copyright (c) 2007-2015, The Tor Project, Inc. */
- /* See LICENSE for licensing information */
- /**
- * \file circuitlist.c
- * \brief Manage the global circuit list.
- **/
- #define CIRCUITLIST_PRIVATE
- #include "or.h"
- #include "channel.h"
- #include "circpathbias.h"
- #include "circuitbuild.h"
- #include "circuitlist.h"
- #include "circuituse.h"
- #include "circuitstats.h"
- #include "connection.h"
- #include "config.h"
- #include "connection_edge.h"
- #include "connection_or.h"
- #include "control.h"
- #include "main.h"
- #include "networkstatus.h"
- #include "nodelist.h"
- #include "onion.h"
- #include "onion_fast.h"
- #include "policies.h"
- #include "relay.h"
- #include "rendclient.h"
- #include "rendcommon.h"
- #include "rephist.h"
- #include "routerlist.h"
- #include "routerset.h"
- #include "ht.h"
- /********* START VARIABLES **********/
- /** A global list of all circuits at this hop. */
- static smartlist_t *global_circuitlist = NULL;
- /** A list of all the circuits in CIRCUIT_STATE_CHAN_WAIT. */
- static smartlist_t *circuits_pending_chans = NULL;
- static void circuit_free_cpath_node(crypt_path_t *victim);
- static void cpath_ref_decref(crypt_path_reference_t *cpath_ref);
- //static void circuit_set_rend_token(or_circuit_t *circ, int is_rend_circ,
- // const uint8_t *token);
- static void circuit_clear_rend_token(or_circuit_t *circ);
- /********* END VARIABLES ************/
- /** A map from channel and circuit ID to circuit. (Lookup performance is
- * very important here, since we need to do it every time a cell arrives.) */
- typedef struct chan_circid_circuit_map_t {
- HT_ENTRY(chan_circid_circuit_map_t) node;
- channel_t *chan;
- circid_t circ_id;
- circuit_t *circuit;
- /* For debugging 12184: when was this placeholder item added? */
- time_t made_placeholder_at;
- } chan_circid_circuit_map_t;
- /** Helper for hash tables: compare the channel and circuit ID for a and
- * b, and return less than, equal to, or greater than zero appropriately.
- */
- static INLINE int
- chan_circid_entries_eq_(chan_circid_circuit_map_t *a,
- chan_circid_circuit_map_t *b)
- {
- return a->chan == b->chan && a->circ_id == b->circ_id;
- }
- /** Helper: return a hash based on circuit ID and the pointer value of
- * chan in <b>a</b>. */
- static INLINE unsigned int
- chan_circid_entry_hash_(chan_circid_circuit_map_t *a)
- {
- /* Try to squeze the siphash input into 8 bytes to save any extra siphash
- * rounds. This hash function is in the critical path. */
- uintptr_t chan = (uintptr_t) (void*) a->chan;
- uint32_t array[2];
- array[0] = a->circ_id;
- /* The low bits of the channel pointer are uninteresting, since the channel
- * is a pretty big structure. */
- array[1] = (uint32_t) (chan >> 6);
- return (unsigned) siphash24g(array, sizeof(array));
- }
- /** Map from [chan,circid] to circuit. */
- static HT_HEAD(chan_circid_map, chan_circid_circuit_map_t)
- chan_circid_map = HT_INITIALIZER();
- HT_PROTOTYPE(chan_circid_map, chan_circid_circuit_map_t, node,
- chan_circid_entry_hash_, chan_circid_entries_eq_)
- HT_GENERATE2(chan_circid_map, chan_circid_circuit_map_t, node,
- chan_circid_entry_hash_, chan_circid_entries_eq_, 0.6,
- tor_reallocarray_, tor_free_)
- /** The most recently returned entry from circuit_get_by_circid_chan;
- * used to improve performance when many cells arrive in a row from the
- * same circuit.
- */
- chan_circid_circuit_map_t *_last_circid_chan_ent = NULL;
- /** Implementation helper for circuit_set_{p,n}_circid_channel: A circuit ID
- * and/or channel for circ has just changed from <b>old_chan, old_id</b>
- * to <b>chan, id</b>. Adjust the chan,circid map as appropriate, removing
- * the old entry (if any) and adding a new one. */
- static void
- circuit_set_circid_chan_helper(circuit_t *circ, int direction,
- circid_t id,
- channel_t *chan)
- {
- chan_circid_circuit_map_t search;
- chan_circid_circuit_map_t *found;
- channel_t *old_chan, **chan_ptr;
- circid_t old_id, *circid_ptr;
- int make_active, attached = 0;
- if (direction == CELL_DIRECTION_OUT) {
- chan_ptr = &circ->n_chan;
- circid_ptr = &circ->n_circ_id;
- make_active = circ->n_chan_cells.n > 0;
- } else {
- or_circuit_t *c = TO_OR_CIRCUIT(circ);
- chan_ptr = &c->p_chan;
- circid_ptr = &c->p_circ_id;
- make_active = c->p_chan_cells.n > 0;
- }
- old_chan = *chan_ptr;
- old_id = *circid_ptr;
- if (id == old_id && chan == old_chan)
- return;
- if (_last_circid_chan_ent &&
- ((old_id == _last_circid_chan_ent->circ_id &&
- old_chan == _last_circid_chan_ent->chan) ||
- (id == _last_circid_chan_ent->circ_id &&
- chan == _last_circid_chan_ent->chan))) {
- _last_circid_chan_ent = NULL;
- }
- if (old_chan) {
- /*
- * If we're changing channels or ID and had an old channel and a non
- * zero old ID and weren't marked for close (i.e., we should have been
- * attached), detach the circuit. ID changes require this because
- * circuitmux hashes on (channel_id, circuit_id).
- */
- if (old_id != 0 && (old_chan != chan || old_id != id) &&
- !(circ->marked_for_close)) {
- tor_assert(old_chan->cmux);
- circuitmux_detach_circuit(old_chan->cmux, circ);
- }
- /* we may need to remove it from the conn-circid map */
- search.circ_id = old_id;
- search.chan = old_chan;
- found = HT_REMOVE(chan_circid_map, &chan_circid_map, &search);
- if (found) {
- tor_free(found);
- if (direction == CELL_DIRECTION_OUT) {
- /* One fewer circuits use old_chan as n_chan */
- --(old_chan->num_n_circuits);
- } else {
- /* One fewer circuits use old_chan as p_chan */
- --(old_chan->num_p_circuits);
- }
- }
- }
- /* Change the values only after we have possibly made the circuit inactive
- * on the previous chan. */
- *chan_ptr = chan;
- *circid_ptr = id;
- if (chan == NULL)
- return;
- /* now add the new one to the conn-circid map */
- search.circ_id = id;
- search.chan = chan;
- found = HT_FIND(chan_circid_map, &chan_circid_map, &search);
- if (found) {
- found->circuit = circ;
- found->made_placeholder_at = 0;
- } else {
- found = tor_malloc_zero(sizeof(chan_circid_circuit_map_t));
- found->circ_id = id;
- found->chan = chan;
- found->circuit = circ;
- HT_INSERT(chan_circid_map, &chan_circid_map, found);
- }
- /*
- * Attach to the circuitmux if we're changing channels or IDs and
- * have a new channel and ID to use and the circuit is not marked for
- * close.
- */
- if (chan && id != 0 && (old_chan != chan || old_id != id) &&
- !(circ->marked_for_close)) {
- tor_assert(chan->cmux);
- circuitmux_attach_circuit(chan->cmux, circ, direction);
- attached = 1;
- }
- /*
- * This is a no-op if we have no cells, but if we do it marks us active to
- * the circuitmux
- */
- if (make_active && attached)
- update_circuit_on_cmux(circ, direction);
- /* Adjust circuit counts on new channel */
- if (direction == CELL_DIRECTION_OUT) {
- ++chan->num_n_circuits;
- } else {
- ++chan->num_p_circuits;
- }
- }
- /** Mark that circuit id <b>id</b> shouldn't be used on channel <b>chan</b>,
- * even if there is no circuit on the channel. We use this to keep the
- * circuit id from getting re-used while we have queued but not yet sent
- * a destroy cell. */
- void
- channel_mark_circid_unusable(channel_t *chan, circid_t id)
- {
- chan_circid_circuit_map_t search;
- chan_circid_circuit_map_t *ent;
- /* See if there's an entry there. That wouldn't be good. */
- memset(&search, 0, sizeof(search));
- search.chan = chan;
- search.circ_id = id;
- ent = HT_FIND(chan_circid_map, &chan_circid_map, &search);
- if (ent && ent->circuit) {
- /* we have a problem. */
- log_warn(LD_BUG, "Tried to mark %u unusable on %p, but there was already "
- "a circuit there.", (unsigned)id, chan);
- } else if (ent) {
- /* It's already marked. */
- if (!ent->made_placeholder_at)
- ent->made_placeholder_at = approx_time();
- } else {
- ent = tor_malloc_zero(sizeof(chan_circid_circuit_map_t));
- ent->chan = chan;
- ent->circ_id = id;
- /* leave circuit at NULL. */
- ent->made_placeholder_at = approx_time();
- HT_INSERT(chan_circid_map, &chan_circid_map, ent);
- }
- }
- /** Mark that a circuit id <b>id</b> can be used again on <b>chan</b>.
- * We use this to re-enable the circuit ID after we've sent a destroy cell.
- */
- void
- channel_mark_circid_usable(channel_t *chan, circid_t id)
- {
- chan_circid_circuit_map_t search;
- chan_circid_circuit_map_t *ent;
- /* See if there's an entry there. That wouldn't be good. */
- memset(&search, 0, sizeof(search));
- search.chan = chan;
- search.circ_id = id;
- ent = HT_REMOVE(chan_circid_map, &chan_circid_map, &search);
- if (ent && ent->circuit) {
- log_warn(LD_BUG, "Tried to mark %u usable on %p, but there was already "
- "a circuit there.", (unsigned)id, chan);
- return;
- }
- if (_last_circid_chan_ent == ent)
- _last_circid_chan_ent = NULL;
- tor_free(ent);
- }
- /** Called to indicate that a DESTROY is pending on <b>chan</b> with
- * circuit ID <b>id</b>, but hasn't been sent yet. */
- void
- channel_note_destroy_pending(channel_t *chan, circid_t id)
- {
- circuit_t *circ = circuit_get_by_circid_channel_even_if_marked(id,chan);
- if (circ) {
- if (circ->n_chan == chan && circ->n_circ_id == id) {
- circ->n_delete_pending = 1;
- } else {
- or_circuit_t *orcirc = TO_OR_CIRCUIT(circ);
- if (orcirc->p_chan == chan && orcirc->p_circ_id == id) {
- circ->p_delete_pending = 1;
- }
- }
- return;
- }
- channel_mark_circid_unusable(chan, id);
- }
- /** Called to indicate that a DESTROY is no longer pending on <b>chan</b> with
- * circuit ID <b>id</b> -- typically, because it has been sent. */
- MOCK_IMPL(void, channel_note_destroy_not_pending,
- (channel_t *chan, circid_t id))
- {
- circuit_t *circ = circuit_get_by_circid_channel_even_if_marked(id,chan);
- if (circ) {
- if (circ->n_chan == chan && circ->n_circ_id == id) {
- circ->n_delete_pending = 0;
- } else {
- or_circuit_t *orcirc = TO_OR_CIRCUIT(circ);
- if (orcirc->p_chan == chan && orcirc->p_circ_id == id) {
- circ->p_delete_pending = 0;
- }
- }
- /* XXXX this shouldn't happen; log a bug here. */
- return;
- }
- channel_mark_circid_usable(chan, id);
- }
- /** Set the p_conn field of a circuit <b>circ</b>, along
- * with the corresponding circuit ID, and add the circuit as appropriate
- * to the (chan,id)-\>circuit map. */
- void
- circuit_set_p_circid_chan(or_circuit_t *or_circ, circid_t id,
- channel_t *chan)
- {
- circuit_t *circ = TO_CIRCUIT(or_circ);
- channel_t *old_chan = or_circ->p_chan;
- circid_t old_id = or_circ->p_circ_id;
- circuit_set_circid_chan_helper(circ, CELL_DIRECTION_IN, id, chan);
- if (chan) {
- tor_assert(bool_eq(or_circ->p_chan_cells.n,
- or_circ->next_active_on_p_chan));
- chan->timestamp_last_had_circuits = approx_time();
- }
- if (circ->p_delete_pending && old_chan) {
- channel_mark_circid_unusable(old_chan, old_id);
- circ->p_delete_pending = 0;
- }
- }
- /** Set the n_conn field of a circuit <b>circ</b>, along
- * with the corresponding circuit ID, and add the circuit as appropriate
- * to the (chan,id)-\>circuit map. */
- void
- circuit_set_n_circid_chan(circuit_t *circ, circid_t id,
- channel_t *chan)
- {
- channel_t *old_chan = circ->n_chan;
- circid_t old_id = circ->n_circ_id;
- circuit_set_circid_chan_helper(circ, CELL_DIRECTION_OUT, id, chan);
- if (chan) {
- tor_assert(bool_eq(circ->n_chan_cells.n, circ->next_active_on_n_chan));
- chan->timestamp_last_had_circuits = approx_time();
- }
- if (circ->n_delete_pending && old_chan) {
- channel_mark_circid_unusable(old_chan, old_id);
- circ->n_delete_pending = 0;
- }
- }
- /** Change the state of <b>circ</b> to <b>state</b>, adding it to or removing
- * it from lists as appropriate. */
- void
- circuit_set_state(circuit_t *circ, uint8_t state)
- {
- tor_assert(circ);
- if (state == circ->state)
- return;
- if (!circuits_pending_chans)
- circuits_pending_chans = smartlist_new();
- if (circ->state == CIRCUIT_STATE_CHAN_WAIT) {
- /* remove from waiting-circuit list. */
- smartlist_remove(circuits_pending_chans, circ);
- }
- if (state == CIRCUIT_STATE_CHAN_WAIT) {
- /* add to waiting-circuit list. */
- smartlist_add(circuits_pending_chans, circ);
- }
- if (state == CIRCUIT_STATE_OPEN)
- tor_assert(!circ->n_chan_create_cell);
- circ->state = state;
- }
- /** Append to <b>out</b> all circuits in state CHAN_WAIT waiting for
- * the given connection. */
- void
- circuit_get_all_pending_on_channel(smartlist_t *out, channel_t *chan)
- {
- tor_assert(out);
- tor_assert(chan);
- if (!circuits_pending_chans)
- return;
- SMARTLIST_FOREACH_BEGIN(circuits_pending_chans, circuit_t *, circ) {
- if (circ->marked_for_close)
- continue;
- if (!circ->n_hop)
- continue;
- tor_assert(circ->state == CIRCUIT_STATE_CHAN_WAIT);
- if (tor_digest_is_zero(circ->n_hop->identity_digest)) {
- /* Look at addr/port. This is an unkeyed connection. */
- if (!channel_matches_extend_info(chan, circ->n_hop))
- continue;
- } else {
- /* We expected a key. See if it's the right one. */
- if (tor_memneq(chan->identity_digest,
- circ->n_hop->identity_digest, DIGEST_LEN))
- continue;
- }
- smartlist_add(out, circ);
- } SMARTLIST_FOREACH_END(circ);
- }
- /** Return the number of circuits in state CHAN_WAIT, waiting for the given
- * channel. */
- int
- circuit_count_pending_on_channel(channel_t *chan)
- {
- int cnt;
- smartlist_t *sl = smartlist_new();
- tor_assert(chan);
- circuit_get_all_pending_on_channel(sl, chan);
- cnt = smartlist_len(sl);
- smartlist_free(sl);
- log_debug(LD_CIRC,"or_conn to %s at %s, %d pending circs",
- chan->nickname ? chan->nickname : "NULL",
- channel_get_canonical_remote_descr(chan),
- cnt);
- return cnt;
- }
- /** Detach from the global circuit list, and deallocate, all
- * circuits that have been marked for close.
- */
- void
- circuit_close_all_marked(void)
- {
- smartlist_t *lst = circuit_get_global_list();
- SMARTLIST_FOREACH_BEGIN(lst, circuit_t *, circ) {
- /* Fix up index if SMARTLIST_DEL_CURRENT just moved this one. */
- circ->global_circuitlist_idx = circ_sl_idx;
- if (circ->marked_for_close) {
- circ->global_circuitlist_idx = -1;
- circuit_free(circ);
- SMARTLIST_DEL_CURRENT(lst, circ);
- }
- } SMARTLIST_FOREACH_END(circ);
- }
- /** Return the head of the global linked list of circuits. */
- MOCK_IMPL(smartlist_t *,
- circuit_get_global_list,(void))
- {
- if (NULL == global_circuitlist)
- global_circuitlist = smartlist_new();
- return global_circuitlist;
- }
- /** Function to make circ-\>state human-readable */
- const char *
- circuit_state_to_string(int state)
- {
- static char buf[64];
- switch (state) {
- case CIRCUIT_STATE_BUILDING: return "doing handshakes";
- case CIRCUIT_STATE_ONIONSKIN_PENDING: return "processing the onion";
- case CIRCUIT_STATE_CHAN_WAIT: return "connecting to server";
- case CIRCUIT_STATE_OPEN: return "open";
- default:
- log_warn(LD_BUG, "Unknown circuit state %d", state);
- tor_snprintf(buf, sizeof(buf), "unknown state [%d]", state);
- return buf;
- }
- }
- /** Map a circuit purpose to a string suitable to be displayed to a
- * controller. */
- const char *
- circuit_purpose_to_controller_string(uint8_t purpose)
- {
- static char buf[32];
- switch (purpose) {
- case CIRCUIT_PURPOSE_OR:
- case CIRCUIT_PURPOSE_INTRO_POINT:
- case CIRCUIT_PURPOSE_REND_POINT_WAITING:
- case CIRCUIT_PURPOSE_REND_ESTABLISHED:
- return "SERVER"; /* A controller should never see these, actually. */
- case CIRCUIT_PURPOSE_C_GENERAL:
- return "GENERAL";
- case CIRCUIT_PURPOSE_C_INTRODUCING:
- case CIRCUIT_PURPOSE_C_INTRODUCE_ACK_WAIT:
- case CIRCUIT_PURPOSE_C_INTRODUCE_ACKED:
- return "HS_CLIENT_INTRO";
- case CIRCUIT_PURPOSE_C_ESTABLISH_REND:
- case CIRCUIT_PURPOSE_C_REND_READY:
- case CIRCUIT_PURPOSE_C_REND_READY_INTRO_ACKED:
- case CIRCUIT_PURPOSE_C_REND_JOINED:
- return "HS_CLIENT_REND";
- case CIRCUIT_PURPOSE_S_ESTABLISH_INTRO:
- case CIRCUIT_PURPOSE_S_INTRO:
- return "HS_SERVICE_INTRO";
- case CIRCUIT_PURPOSE_S_CONNECT_REND:
- case CIRCUIT_PURPOSE_S_REND_JOINED:
- return "HS_SERVICE_REND";
- case CIRCUIT_PURPOSE_TESTING:
- return "TESTING";
- case CIRCUIT_PURPOSE_C_MEASURE_TIMEOUT:
- return "MEASURE_TIMEOUT";
- case CIRCUIT_PURPOSE_CONTROLLER:
- return "CONTROLLER";
- case CIRCUIT_PURPOSE_PATH_BIAS_TESTING:
- return "PATH_BIAS_TESTING";
- default:
- tor_snprintf(buf, sizeof(buf), "UNKNOWN_%d", (int)purpose);
- return buf;
- }
- }
- /** Return a string specifying the state of the hidden-service circuit
- * purpose <b>purpose</b>, or NULL if <b>purpose</b> is not a
- * hidden-service-related circuit purpose. */
- const char *
- circuit_purpose_to_controller_hs_state_string(uint8_t purpose)
- {
- switch (purpose)
- {
- default:
- log_fn(LOG_WARN, LD_BUG,
- "Unrecognized circuit purpose: %d",
- (int)purpose);
- tor_fragile_assert();
- /* fall through */
- case CIRCUIT_PURPOSE_OR:
- case CIRCUIT_PURPOSE_C_GENERAL:
- case CIRCUIT_PURPOSE_C_MEASURE_TIMEOUT:
- case CIRCUIT_PURPOSE_TESTING:
- case CIRCUIT_PURPOSE_CONTROLLER:
- case CIRCUIT_PURPOSE_PATH_BIAS_TESTING:
- return NULL;
- case CIRCUIT_PURPOSE_INTRO_POINT:
- return "OR_HSSI_ESTABLISHED";
- case CIRCUIT_PURPOSE_REND_POINT_WAITING:
- return "OR_HSCR_ESTABLISHED";
- case CIRCUIT_PURPOSE_REND_ESTABLISHED:
- return "OR_HS_R_JOINED";
- case CIRCUIT_PURPOSE_C_INTRODUCING:
- return "HSCI_CONNECTING";
- case CIRCUIT_PURPOSE_C_INTRODUCE_ACK_WAIT:
- return "HSCI_INTRO_SENT";
- case CIRCUIT_PURPOSE_C_INTRODUCE_ACKED:
- return "HSCI_DONE";
- case CIRCUIT_PURPOSE_C_ESTABLISH_REND:
- return "HSCR_CONNECTING";
- case CIRCUIT_PURPOSE_C_REND_READY:
- return "HSCR_ESTABLISHED_IDLE";
- case CIRCUIT_PURPOSE_C_REND_READY_INTRO_ACKED:
- return "HSCR_ESTABLISHED_WAITING";
- case CIRCUIT_PURPOSE_C_REND_JOINED:
- return "HSCR_JOINED";
- case CIRCUIT_PURPOSE_S_ESTABLISH_INTRO:
- return "HSSI_CONNECTING";
- case CIRCUIT_PURPOSE_S_INTRO:
- return "HSSI_ESTABLISHED";
- case CIRCUIT_PURPOSE_S_CONNECT_REND:
- return "HSSR_CONNECTING";
- case CIRCUIT_PURPOSE_S_REND_JOINED:
- return "HSSR_JOINED";
- }
- }
- /** Return a human-readable string for the circuit purpose <b>purpose</b>. */
- const char *
- circuit_purpose_to_string(uint8_t purpose)
- {
- static char buf[32];
- switch (purpose)
- {
- case CIRCUIT_PURPOSE_OR:
- return "Circuit at relay";
- case CIRCUIT_PURPOSE_INTRO_POINT:
- return "Acting as intro point";
- case CIRCUIT_PURPOSE_REND_POINT_WAITING:
- return "Acting as rendevous (pending)";
- case CIRCUIT_PURPOSE_REND_ESTABLISHED:
- return "Acting as rendevous (established)";
- case CIRCUIT_PURPOSE_C_GENERAL:
- return "General-purpose client";
- case CIRCUIT_PURPOSE_C_INTRODUCING:
- return "Hidden service client: Connecting to intro point";
- case CIRCUIT_PURPOSE_C_INTRODUCE_ACK_WAIT:
- return "Hidden service client: Waiting for ack from intro point";
- case CIRCUIT_PURPOSE_C_INTRODUCE_ACKED:
- return "Hidden service client: Received ack from intro point";
- case CIRCUIT_PURPOSE_C_ESTABLISH_REND:
- return "Hidden service client: Establishing rendezvous point";
- case CIRCUIT_PURPOSE_C_REND_READY:
- return "Hidden service client: Pending rendezvous point";
- case CIRCUIT_PURPOSE_C_REND_READY_INTRO_ACKED:
- return "Hidden service client: Pending rendezvous point (ack received)";
- case CIRCUIT_PURPOSE_C_REND_JOINED:
- return "Hidden service client: Active rendezvous point";
- case CIRCUIT_PURPOSE_C_MEASURE_TIMEOUT:
- return "Measuring circuit timeout";
- case CIRCUIT_PURPOSE_S_ESTABLISH_INTRO:
- return "Hidden service: Establishing introduction point";
- case CIRCUIT_PURPOSE_S_INTRO:
- return "Hidden service: Introduction point";
- case CIRCUIT_PURPOSE_S_CONNECT_REND:
- return "Hidden service: Connecting to rendezvous point";
- case CIRCUIT_PURPOSE_S_REND_JOINED:
- return "Hidden service: Active rendezvous point";
- case CIRCUIT_PURPOSE_TESTING:
- return "Testing circuit";
- case CIRCUIT_PURPOSE_CONTROLLER:
- return "Circuit made by controller";
- case CIRCUIT_PURPOSE_PATH_BIAS_TESTING:
- return "Path-bias testing circuit";
- default:
- tor_snprintf(buf, sizeof(buf), "UNKNOWN_%d", (int)purpose);
- return buf;
- }
- }
- /** Pick a reasonable package_window to start out for our circuits.
- * Originally this was hard-coded at 1000, but now the consensus votes
- * on the answer. See proposal 168. */
- int32_t
- circuit_initial_package_window(void)
- {
- int32_t num = networkstatus_get_param(NULL, "circwindow", CIRCWINDOW_START,
- CIRCWINDOW_START_MIN,
- CIRCWINDOW_START_MAX);
- /* If the consensus tells us a negative number, we'd assert. */
- if (num < 0)
- num = CIRCWINDOW_START;
- return num;
- }
- /** Initialize the common elements in a circuit_t, and add it to the global
- * list. */
- static void
- init_circuit_base(circuit_t *circ)
- {
- tor_gettimeofday(&circ->timestamp_created);
- // Gets reset when we send CREATE_FAST.
- // circuit_expire_building() expects these to be equal
- // until the orconn is built.
- circ->timestamp_began = circ->timestamp_created;
- circ->package_window = circuit_initial_package_window();
- circ->deliver_window = CIRCWINDOW_START;
- cell_queue_init(&circ->n_chan_cells);
- smartlist_add(circuit_get_global_list(), circ);
- circ->global_circuitlist_idx = smartlist_len(circuit_get_global_list()) - 1;
- }
- /** Allocate space for a new circuit, initializing with <b>p_circ_id</b>
- * and <b>p_conn</b>. Add it to the global circuit list.
- */
- origin_circuit_t *
- origin_circuit_new(void)
- {
- origin_circuit_t *circ;
- /* never zero, since a global ID of 0 is treated specially by the
- * controller */
- static uint32_t n_circuits_allocated = 1;
- circ = tor_malloc_zero(sizeof(origin_circuit_t));
- circ->base_.magic = ORIGIN_CIRCUIT_MAGIC;
- circ->next_stream_id = crypto_rand_int(1<<16);
- circ->global_identifier = n_circuits_allocated++;
- circ->remaining_relay_early_cells = MAX_RELAY_EARLY_CELLS_PER_CIRCUIT;
- circ->remaining_relay_early_cells -= crypto_rand_int(2);
- init_circuit_base(TO_CIRCUIT(circ));
- circuit_build_times_update_last_circ(get_circuit_build_times_mutable());
- return circ;
- }
- /** Allocate a new or_circuit_t, connected to <b>p_conn</b> as
- * <b>p_circ_id</b>. If <b>p_conn</b> is NULL, the circuit is unattached. */
- or_circuit_t *
- or_circuit_new(circid_t p_circ_id, channel_t *p_chan)
- {
- /* CircIDs */
- or_circuit_t *circ;
- circ = tor_malloc_zero(sizeof(or_circuit_t));
- circ->base_.magic = OR_CIRCUIT_MAGIC;
- if (p_chan)
- circuit_set_p_circid_chan(circ, p_circ_id, p_chan);
- circ->remaining_relay_early_cells = MAX_RELAY_EARLY_CELLS_PER_CIRCUIT;
- cell_queue_init(&circ->p_chan_cells);
- init_circuit_base(TO_CIRCUIT(circ));
- return circ;
- }
- /** Deallocate space associated with circ.
- */
- STATIC void
- circuit_free(circuit_t *circ)
- {
- void *mem;
- size_t memlen;
- int should_free = 1;
- if (!circ)
- return;
- if (CIRCUIT_IS_ORIGIN(circ)) {
- origin_circuit_t *ocirc = TO_ORIGIN_CIRCUIT(circ);
- mem = ocirc;
- memlen = sizeof(origin_circuit_t);
- tor_assert(circ->magic == ORIGIN_CIRCUIT_MAGIC);
- if (ocirc->build_state) {
- extend_info_free(ocirc->build_state->chosen_exit);
- circuit_free_cpath_node(ocirc->build_state->pending_final_cpath);
- cpath_ref_decref(ocirc->build_state->service_pending_final_cpath_ref);
- }
- tor_free(ocirc->build_state);
- circuit_clear_cpath(ocirc);
- crypto_pk_free(ocirc->intro_key);
- rend_data_free(ocirc->rend_data);
- tor_free(ocirc->dest_address);
- if (ocirc->socks_username) {
- memwipe(ocirc->socks_username, 0x12, ocirc->socks_username_len);
- tor_free(ocirc->socks_username);
- }
- if (ocirc->socks_password) {
- memwipe(ocirc->socks_password, 0x06, ocirc->socks_password_len);
- tor_free(ocirc->socks_password);
- }
- addr_policy_list_free(ocirc->prepend_policy);
- } else {
- or_circuit_t *ocirc = TO_OR_CIRCUIT(circ);
- /* Remember cell statistics for this circuit before deallocating. */
- if (get_options()->CellStatistics)
- rep_hist_buffer_stats_add_circ(circ, time(NULL));
- mem = ocirc;
- memlen = sizeof(or_circuit_t);
- tor_assert(circ->magic == OR_CIRCUIT_MAGIC);
- should_free = (ocirc->workqueue_entry == NULL);
- crypto_cipher_free(ocirc->p_crypto);
- crypto_digest_free(ocirc->p_digest);
- crypto_cipher_free(ocirc->n_crypto);
- crypto_digest_free(ocirc->n_digest);
- circuit_clear_rend_token(ocirc);
- if (ocirc->rend_splice) {
- or_circuit_t *other = ocirc->rend_splice;
- tor_assert(other->base_.magic == OR_CIRCUIT_MAGIC);
- other->rend_splice = NULL;
- }
- /* remove from map. */
- circuit_set_p_circid_chan(ocirc, 0, NULL);
- /* Clear cell queue _after_ removing it from the map. Otherwise our
- * "active" checks will be violated. */
- cell_queue_clear(ô->p_chan_cells);
- }
- extend_info_free(circ->n_hop);
- tor_free(circ->n_chan_create_cell);
- if (circ->global_circuitlist_idx != -1) {
- int idx = circ->global_circuitlist_idx;
- circuit_t *c2 = smartlist_get(global_circuitlist, idx);
- tor_assert(c2 == circ);
- smartlist_del(global_circuitlist, idx);
- if (idx < smartlist_len(global_circuitlist)) {
- c2 = smartlist_get(global_circuitlist, idx);
- c2->global_circuitlist_idx = idx;
- }
- }
- /* Remove from map. */
- circuit_set_n_circid_chan(circ, 0, NULL);
- /* Clear cell queue _after_ removing it from the map. Otherwise our
- * "active" checks will be violated. */
- cell_queue_clear(&circ->n_chan_cells);
- if (should_free) {
- memwipe(mem, 0xAA, memlen); /* poison memory */
- tor_free(mem);
- } else {
- /* If we made it here, this is an or_circuit_t that still has a pending
- * cpuworker request which we weren't able to cancel. Instead, set up
- * the magic value so that when the reply comes back, we'll know to discard
- * the reply and free this structure.
- */
- memwipe(mem, 0xAA, memlen);
- circ->magic = DEAD_CIRCUIT_MAGIC;
- }
- }
- /** Deallocate the linked list circ-><b>cpath</b>, and remove the cpath from
- * <b>circ</b>. */
- void
- circuit_clear_cpath(origin_circuit_t *circ)
- {
- crypt_path_t *victim, *head, *cpath;
- head = cpath = circ->cpath;
- if (!cpath)
- return;
- /* it's a circular list, so we have to notice when we've
- * gone through it once. */
- while (cpath->next && cpath->next != head) {
- victim = cpath;
- cpath = victim->next;
- circuit_free_cpath_node(victim);
- }
- circuit_free_cpath_node(cpath);
- circ->cpath = NULL;
- }
- /** Release all storage held by circuits. */
- void
- circuit_free_all(void)
- {
- smartlist_t *lst = circuit_get_global_list();
- SMARTLIST_FOREACH_BEGIN(lst, circuit_t *, tmp) {
- if (! CIRCUIT_IS_ORIGIN(tmp)) {
- or_circuit_t *or_circ = TO_OR_CIRCUIT(tmp);
- while (or_circ->resolving_streams) {
- edge_connection_t *next_conn;
- next_conn = or_circ->resolving_streams->next_stream;
- connection_free(TO_CONN(or_circ->resolving_streams));
- or_circ->resolving_streams = next_conn;
- }
- }
- tmp->global_circuitlist_idx = -1;
- circuit_free(tmp);
- SMARTLIST_DEL_CURRENT(lst, tmp);
- } SMARTLIST_FOREACH_END(tmp);
- smartlist_free(lst);
- global_circuitlist = NULL;
- smartlist_free(circuits_pending_chans);
- circuits_pending_chans = NULL;
- {
- chan_circid_circuit_map_t **elt, **next, *c;
- for (elt = HT_START(chan_circid_map, &chan_circid_map);
- elt;
- elt = next) {
- c = *elt;
- next = HT_NEXT_RMV(chan_circid_map, &chan_circid_map, elt);
- tor_assert(c->circuit == NULL);
- tor_free(c);
- }
- }
- HT_CLEAR(chan_circid_map, &chan_circid_map);
- }
- /** Deallocate space associated with the cpath node <b>victim</b>. */
- static void
- circuit_free_cpath_node(crypt_path_t *victim)
- {
- if (!victim)
- return;
- crypto_cipher_free(victim->f_crypto);
- crypto_cipher_free(victim->b_crypto);
- crypto_digest_free(victim->f_digest);
- crypto_digest_free(victim->b_digest);
- onion_handshake_state_release(&victim->handshake_state);
- crypto_dh_free(victim->rend_dh_handshake_state);
- extend_info_free(victim->extend_info);
- memwipe(victim, 0xBB, sizeof(crypt_path_t)); /* poison memory */
- tor_free(victim);
- }
- /** Release a crypt_path_reference_t*, which may be NULL. */
- static void
- cpath_ref_decref(crypt_path_reference_t *cpath_ref)
- {
- if (cpath_ref != NULL) {
- if (--(cpath_ref->refcount) == 0) {
- circuit_free_cpath_node(cpath_ref->cpath);
- tor_free(cpath_ref);
- }
- }
- }
- /** A helper function for circuit_dump_by_conn() below. Log a bunch
- * of information about circuit <b>circ</b>.
- */
- static void
- circuit_dump_conn_details(int severity,
- circuit_t *circ,
- int conn_array_index,
- const char *type,
- circid_t this_circid,
- circid_t other_circid)
- {
- tor_log(severity, LD_CIRC, "Conn %d has %s circuit: circID %u "
- "(other side %u), state %d (%s), born %ld:",
- conn_array_index, type, (unsigned)this_circid, (unsigned)other_circid,
- circ->state, circuit_state_to_string(circ->state),
- (long)circ->timestamp_began.tv_sec);
- if (CIRCUIT_IS_ORIGIN(circ)) { /* circ starts at this node */
- circuit_log_path(severity, LD_CIRC, TO_ORIGIN_CIRCUIT(circ));
- }
- }
- /** Log, at severity <b>severity</b>, information about each circuit
- * that is connected to <b>conn</b>.
- */
- void
- circuit_dump_by_conn(connection_t *conn, int severity)
- {
- edge_connection_t *tmpconn;
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ) {
- circid_t n_circ_id = circ->n_circ_id, p_circ_id = 0;
- if (circ->marked_for_close) {
- continue;
- }
- if (!CIRCUIT_IS_ORIGIN(circ)) {
- p_circ_id = TO_OR_CIRCUIT(circ)->p_circ_id;
- }
- if (CIRCUIT_IS_ORIGIN(circ)) {
- for (tmpconn=TO_ORIGIN_CIRCUIT(circ)->p_streams; tmpconn;
- tmpconn=tmpconn->next_stream) {
- if (TO_CONN(tmpconn) == conn) {
- circuit_dump_conn_details(severity, circ, conn->conn_array_index,
- "App-ward", p_circ_id, n_circ_id);
- }
- }
- }
- if (! CIRCUIT_IS_ORIGIN(circ)) {
- for (tmpconn=TO_OR_CIRCUIT(circ)->n_streams; tmpconn;
- tmpconn=tmpconn->next_stream) {
- if (TO_CONN(tmpconn) == conn) {
- circuit_dump_conn_details(severity, circ, conn->conn_array_index,
- "Exit-ward", n_circ_id, p_circ_id);
- }
- }
- }
- }
- SMARTLIST_FOREACH_END(circ);
- }
- /** Return the circuit whose global ID is <b>id</b>, or NULL if no
- * such circuit exists. */
- origin_circuit_t *
- circuit_get_by_global_id(uint32_t id)
- {
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ) {
- if (CIRCUIT_IS_ORIGIN(circ) &&
- TO_ORIGIN_CIRCUIT(circ)->global_identifier == id) {
- if (circ->marked_for_close)
- return NULL;
- else
- return TO_ORIGIN_CIRCUIT(circ);
- }
- }
- SMARTLIST_FOREACH_END(circ);
- return NULL;
- }
- /** Return a circ such that:
- * - circ-\>n_circ_id or circ-\>p_circ_id is equal to <b>circ_id</b>, and
- * - circ is attached to <b>chan</b>, either as p_chan or n_chan.
- * Return NULL if no such circuit exists.
- *
- * If <b>found_entry_out</b> is provided, set it to true if we have a
- * placeholder entry for circid/chan, and leave it unset otherwise.
- */
- static INLINE circuit_t *
- circuit_get_by_circid_channel_impl(circid_t circ_id, channel_t *chan,
- int *found_entry_out)
- {
- chan_circid_circuit_map_t search;
- chan_circid_circuit_map_t *found;
- if (_last_circid_chan_ent &&
- circ_id == _last_circid_chan_ent->circ_id &&
- chan == _last_circid_chan_ent->chan) {
- found = _last_circid_chan_ent;
- } else {
- search.circ_id = circ_id;
- search.chan = chan;
- found = HT_FIND(chan_circid_map, &chan_circid_map, &search);
- _last_circid_chan_ent = found;
- }
- if (found && found->circuit) {
- log_debug(LD_CIRC,
- "circuit_get_by_circid_channel_impl() returning circuit %p for"
- " circ_id %u, channel ID " U64_FORMAT " (%p)",
- found->circuit, (unsigned)circ_id,
- U64_PRINTF_ARG(chan->global_identifier), chan);
- if (found_entry_out)
- *found_entry_out = 1;
- return found->circuit;
- }
- log_debug(LD_CIRC,
- "circuit_get_by_circid_channel_impl() found %s for"
- " circ_id %u, channel ID " U64_FORMAT " (%p)",
- found ? "placeholder" : "nothing",
- (unsigned)circ_id,
- U64_PRINTF_ARG(chan->global_identifier), chan);
- if (found_entry_out)
- *found_entry_out = found ? 1 : 0;
- return NULL;
- /* The rest of this checks for bugs. Disabled by default. */
- /* We comment it out because coverity complains otherwise.
- {
- circuit_t *circ;
- TOR_LIST_FOREACH(circ, &global_circuitlist, head) {
- if (! CIRCUIT_IS_ORIGIN(circ)) {
- or_circuit_t *or_circ = TO_OR_CIRCUIT(circ);
- if (or_circ->p_chan == chan && or_circ->p_circ_id == circ_id) {
- log_warn(LD_BUG,
- "circuit matches p_chan, but not in hash table (Bug!)");
- return circ;
- }
- }
- if (circ->n_chan == chan && circ->n_circ_id == circ_id) {
- log_warn(LD_BUG,
- "circuit matches n_chan, but not in hash table (Bug!)");
- return circ;
- }
- }
- return NULL;
- } */
- }
- /** Return a circ such that:
- * - circ-\>n_circ_id or circ-\>p_circ_id is equal to <b>circ_id</b>, and
- * - circ is attached to <b>chan</b>, either as p_chan or n_chan.
- * - circ is not marked for close.
- * Return NULL if no such circuit exists.
- */
- circuit_t *
- circuit_get_by_circid_channel(circid_t circ_id, channel_t *chan)
- {
- circuit_t *circ = circuit_get_by_circid_channel_impl(circ_id, chan, NULL);
- if (!circ || circ->marked_for_close)
- return NULL;
- else
- return circ;
- }
- /** Return a circ such that:
- * - circ-\>n_circ_id or circ-\>p_circ_id is equal to <b>circ_id</b>, and
- * - circ is attached to <b>chan</b>, either as p_chan or n_chan.
- * Return NULL if no such circuit exists.
- */
- circuit_t *
- circuit_get_by_circid_channel_even_if_marked(circid_t circ_id,
- channel_t *chan)
- {
- return circuit_get_by_circid_channel_impl(circ_id, chan, NULL);
- }
- /** Return true iff the circuit ID <b>circ_id</b> is currently used by a
- * circuit, marked or not, on <b>chan</b>, or if the circ ID is reserved until
- * a queued destroy cell can be sent.
- *
- * (Return 1 if the circuit is present, marked or not; Return 2
- * if the circuit ID is pending a destroy.)
- **/
- int
- circuit_id_in_use_on_channel(circid_t circ_id, channel_t *chan)
- {
- int found = 0;
- if (circuit_get_by_circid_channel_impl(circ_id, chan, &found) != NULL)
- return 1;
- if (found)
- return 2;
- return 0;
- }
- /** Helper for debugging 12184. Returns the time since which 'circ_id' has
- * been marked unusable on 'chan'. */
- time_t
- circuit_id_when_marked_unusable_on_channel(circid_t circ_id, channel_t *chan)
- {
- chan_circid_circuit_map_t search;
- chan_circid_circuit_map_t *found;
- memset(&search, 0, sizeof(search));
- search.circ_id = circ_id;
- search.chan = chan;
- found = HT_FIND(chan_circid_map, &chan_circid_map, &search);
- if (! found || found->circuit)
- return 0;
- return found->made_placeholder_at;
- }
- /** Return the circuit that a given edge connection is using. */
- circuit_t *
- circuit_get_by_edge_conn(edge_connection_t *conn)
- {
- circuit_t *circ;
- circ = conn->on_circuit;
- tor_assert(!circ ||
- (CIRCUIT_IS_ORIGIN(circ) ? circ->magic == ORIGIN_CIRCUIT_MAGIC
- : circ->magic == OR_CIRCUIT_MAGIC));
- return circ;
- }
- /** For each circuit that has <b>chan</b> as n_chan or p_chan, unlink the
- * circuit from the chan,circid map, and mark it for close if it hasn't
- * been marked already.
- */
- void
- circuit_unlink_all_from_channel(channel_t *chan, int reason)
- {
- smartlist_t *detached = smartlist_new();
- /* #define DEBUG_CIRCUIT_UNLINK_ALL */
- channel_unlink_all_circuits(chan, detached);
- #ifdef DEBUG_CIRCUIT_UNLINK_ALL
- {
- smartlist_t *detached_2 = smartlist_new();
- int mismatch = 0, badlen = 0;
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ) {
- if (circ->n_chan == chan ||
- (!CIRCUIT_IS_ORIGIN(circ) &&
- TO_OR_CIRCUIT(circ)->p_chan == chan)) {
- smartlist_add(detached_2, circ);
- }
- }
- SMARTLIST_FOREACH_END(circ);
- if (smartlist_len(detached) != smartlist_len(detached_2)) {
- log_warn(LD_BUG, "List of detached circuits had the wrong length! "
- "(got %d, should have gotten %d)",
- (int)smartlist_len(detached),
- (int)smartlist_len(detached_2));
- badlen = 1;
- }
- smartlist_sort_pointers(detached);
- smartlist_sort_pointers(detached_2);
- SMARTLIST_FOREACH(detached, circuit_t *, c,
- if (c != smartlist_get(detached_2, c_sl_idx))
- mismatch = 1;
- );
- if (mismatch)
- log_warn(LD_BUG, "Mismatch in list of detached circuits.");
- if (badlen || mismatch) {
- smartlist_free(detached);
- detached = detached_2;
- } else {
- log_notice(LD_CIRC, "List of %d circuits was as expected.",
- (int)smartlist_len(detached));
- smartlist_free(detached_2);
- }
- }
- #endif
- SMARTLIST_FOREACH_BEGIN(detached, circuit_t *, circ) {
- int mark = 0;
- if (circ->n_chan == chan) {
- circuit_set_n_circid_chan(circ, 0, NULL);
- mark = 1;
- /* If we didn't request this closure, pass the remote
- * bit to mark_for_close. */
- if (chan->reason_for_closing != CHANNEL_CLOSE_REQUESTED)
- reason |= END_CIRC_REASON_FLAG_REMOTE;
- }
- if (! CIRCUIT_IS_ORIGIN(circ)) {
- or_circuit_t *or_circ = TO_OR_CIRCUIT(circ);
- if (or_circ->p_chan == chan) {
- circuit_set_p_circid_chan(or_circ, 0, NULL);
- mark = 1;
- }
- }
- if (!mark) {
- log_warn(LD_BUG, "Circuit on detached list which I had no reason "
- "to mark");
- continue;
- }
- if (!circ->marked_for_close)
- circuit_mark_for_close(circ, reason);
- } SMARTLIST_FOREACH_END(circ);
- smartlist_free(detached);
- }
- /** Return a circ such that
- * - circ-\>rend_data-\>onion_address is equal to
- * <b>rend_data</b>-\>onion_address,
- * - circ-\>rend_data-\>rend_cookie is equal to
- * <b>rend_data</b>-\>rend_cookie, and
- * - circ-\>purpose is equal to CIRCUIT_PURPOSE_C_REND_READY.
- *
- * Return NULL if no such circuit exists.
- */
- origin_circuit_t *
- circuit_get_ready_rend_circ_by_rend_data(const rend_data_t *rend_data)
- {
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ) {
- if (!circ->marked_for_close &&
- circ->purpose == CIRCUIT_PURPOSE_C_REND_READY) {
- origin_circuit_t *ocirc = TO_ORIGIN_CIRCUIT(circ);
- if (ocirc->rend_data &&
- !rend_cmp_service_ids(rend_data->onion_address,
- ocirc->rend_data->onion_address) &&
- tor_memeq(ocirc->rend_data->rend_cookie,
- rend_data->rend_cookie,
- REND_COOKIE_LEN))
- return ocirc;
- }
- }
- SMARTLIST_FOREACH_END(circ);
- return NULL;
- }
- /** Return the first circuit originating here in global_circuitlist after
- * <b>start</b> whose purpose is <b>purpose</b>, and where
- * <b>digest</b> (if set) matches the rend_pk_digest field. Return NULL if no
- * circuit is found. If <b>start</b> is NULL, begin at the start of the list.
- */
- origin_circuit_t *
- circuit_get_next_by_pk_and_purpose(origin_circuit_t *start,
- const char *digest, uint8_t purpose)
- {
- int idx;
- smartlist_t *lst = circuit_get_global_list();
- tor_assert(CIRCUIT_PURPOSE_IS_ORIGIN(purpose));
- if (start == NULL)
- idx = 0;
- else
- idx = TO_CIRCUIT(start)->global_circuitlist_idx + 1;
- for ( ; idx < smartlist_len(lst); ++idx) {
- circuit_t *circ = smartlist_get(lst, idx);
- if (circ->marked_for_close)
- continue;
- if (circ->purpose != purpose)
- continue;
- if (!digest)
- return TO_ORIGIN_CIRCUIT(circ);
- else if (TO_ORIGIN_CIRCUIT(circ)->rend_data &&
- tor_memeq(TO_ORIGIN_CIRCUIT(circ)->rend_data->rend_pk_digest,
- digest, DIGEST_LEN))
- return TO_ORIGIN_CIRCUIT(circ);
- }
- return NULL;
- }
- /** Map from rendezvous cookie to or_circuit_t */
- static digestmap_t *rend_cookie_map = NULL;
- /** Map from introduction point digest to or_circuit_t */
- static digestmap_t *intro_digest_map = NULL;
- /** Return the OR circuit whose purpose is <b>purpose</b>, and whose
- * rend_token is the REND_TOKEN_LEN-byte <b>token</b>. If <b>is_rend_circ</b>,
- * look for rendezvous point circuits; otherwise look for introduction point
- * circuits. */
- static or_circuit_t *
- circuit_get_by_rend_token_and_purpose(uint8_t purpose, int is_rend_circ,
- const char *token)
- {
- or_circuit_t *circ;
- digestmap_t *map = is_rend_circ ? rend_cookie_map : intro_digest_map;
- if (!map)
- return NULL;
- circ = digestmap_get(map, token);
- if (!circ ||
- circ->base_.purpose != purpose ||
- circ->base_.marked_for_close)
- return NULL;
- if (!circ->rendinfo) {
- char *t = tor_strdup(hex_str(token, REND_TOKEN_LEN));
- log_warn(LD_BUG, "Wanted a circuit with %s:%d, but lookup returned a "
- "circuit with no rendinfo set.",
- safe_str(t), is_rend_circ);
- tor_free(t);
- return NULL;
- }
- if (! bool_eq(circ->rendinfo->is_rend_circ, is_rend_circ) ||
- tor_memneq(circ->rendinfo->rend_token, token, REND_TOKEN_LEN)) {
- char *t = tor_strdup(hex_str(token, REND_TOKEN_LEN));
- log_warn(LD_BUG, "Wanted a circuit with %s:%d, but lookup returned %s:%d",
- safe_str(t), is_rend_circ,
- safe_str(hex_str(circ->rendinfo->rend_token, REND_TOKEN_LEN)),
- (int)circ->rendinfo->is_rend_circ);
- tor_free(t);
- return NULL;
- }
- return circ;
- }
- /** Clear the rendezvous cookie or introduction point key digest that's
- * configured on <b>circ</b>, if any, and remove it from any such maps. */
- static void
- circuit_clear_rend_token(or_circuit_t *circ)
- {
- or_circuit_t *found_circ;
- digestmap_t *map;
- if (!circ || !circ->rendinfo)
- return;
- map = circ->rendinfo->is_rend_circ ? rend_cookie_map : intro_digest_map;
- if (!map) {
- log_warn(LD_BUG, "Tried to clear rend token on circuit, but found no map");
- return;
- }
- found_circ = digestmap_get(map, circ->rendinfo->rend_token);
- if (found_circ == circ) {
- /* Great, this is the right one. */
- digestmap_remove(map, circ->rendinfo->rend_token);
- } else if (found_circ) {
- log_warn(LD_BUG, "Tried to clear rend token on circuit, but "
- "it was already replaced in the map.");
- } else {
- log_warn(LD_BUG, "Tried to clear rend token on circuit, but "
- "it not in the map at all.");
- }
- tor_free(circ->rendinfo); /* Sets it to NULL too */
- }
- /** Set the rendezvous cookie (if is_rend_circ), or the introduction point
- * digest (if ! is_rend_circ) of <b>circ</b> to the REND_TOKEN_LEN-byte value
- * in <b>token</b>, and add it to the appropriate map. If it previously had a
- * token, clear it. If another circuit previously had the same
- * cookie/intro-digest, mark that circuit and remove it from the map. */
- static void
- circuit_set_rend_token(or_circuit_t *circ, int is_rend_circ,
- const uint8_t *token)
- {
- digestmap_t **map_p, *map;
- or_circuit_t *found_circ;
- /* Find the right map, creating it as needed */
- map_p = is_rend_circ ? &rend_cookie_map : &intro_digest_map;
- if (!*map_p)
- *map_p = digestmap_new();
- map = *map_p;
- /* If this circuit already has a token, we need to remove that. */
- if (circ->rendinfo)
- circuit_clear_rend_token(circ);
- if (token == NULL) {
- /* We were only trying to remove this token, not set a new one. */
- return;
- }
- found_circ = digestmap_get(map, (const char *)token);
- if (found_circ) {
- tor_assert(found_circ != circ);
- circuit_clear_rend_token(found_circ);
- if (! found_circ->base_.marked_for_close) {
- circuit_mark_for_close(TO_CIRCUIT(found_circ), END_CIRC_REASON_FINISHED);
- if (is_rend_circ) {
- log_fn(LOG_PROTOCOL_WARN, LD_REND,
- "Duplicate rendezvous cookie (%s...) used on two circuits",
- hex_str((const char*)token, 4)); /* only log first 4 chars */
- }
- }
- }
- /* Now set up the rendinfo */
- circ->rendinfo = tor_malloc(sizeof(*circ->rendinfo));
- memcpy(circ->rendinfo->rend_token, token, REND_TOKEN_LEN);
- circ->rendinfo->is_rend_circ = is_rend_circ ? 1 : 0;
- digestmap_set(map, (const char *)token, circ);
- }
- /** Return the circuit waiting for a rendezvous with the provided cookie.
- * Return NULL if no such circuit is found.
- */
- or_circuit_t *
- circuit_get_rendezvous(const uint8_t *cookie)
- {
- return circuit_get_by_rend_token_and_purpose(
- CIRCUIT_PURPOSE_REND_POINT_WAITING,
- 1, (const char*)cookie);
- }
- /** Return the circuit waiting for intro cells of the given digest.
- * Return NULL if no such circuit is found.
- */
- or_circuit_t *
- circuit_get_intro_point(const uint8_t *digest)
- {
- return circuit_get_by_rend_token_and_purpose(
- CIRCUIT_PURPOSE_INTRO_POINT, 0,
- (const char *)digest);
- }
- /** Set the rendezvous cookie of <b>circ</b> to <b>cookie</b>. If another
- * circuit previously had that cookie, mark it. */
- void
- circuit_set_rendezvous_cookie(or_circuit_t *circ, const uint8_t *cookie)
- {
- circuit_set_rend_token(circ, 1, cookie);
- }
- /** Set the intro point key digest of <b>circ</b> to <b>cookie</b>. If another
- * circuit previously had that intro point digest, mark it. */
- void
- circuit_set_intro_point_digest(or_circuit_t *circ, const uint8_t *digest)
- {
- circuit_set_rend_token(circ, 0, digest);
- }
- /** Return a circuit that is open, is CIRCUIT_PURPOSE_C_GENERAL,
- * has a timestamp_dirty value of 0, has flags matching the CIRCLAUNCH_*
- * flags in <b>flags</b>, and if info is defined, does not already use info
- * as any of its hops; or NULL if no circuit fits this description.
- *
- * The <b>purpose</b> argument (currently ignored) refers to the purpose of
- * the circuit we want to create, not the purpose of the circuit we want to
- * cannibalize.
- *
- * If !CIRCLAUNCH_NEED_UPTIME, prefer returning non-uptime circuits.
- */
- origin_circuit_t *
- circuit_find_to_cannibalize(uint8_t purpose, extend_info_t *info,
- int flags)
- {
- origin_circuit_t *best=NULL;
- int need_uptime = (flags & CIRCLAUNCH_NEED_UPTIME) != 0;
- int need_capacity = (flags & CIRCLAUNCH_NEED_CAPACITY) != 0;
- int internal = (flags & CIRCLAUNCH_IS_INTERNAL) != 0;
- const or_options_t *options = get_options();
- /* Make sure we're not trying to create a onehop circ by
- * cannibalization. */
- tor_assert(!(flags & CIRCLAUNCH_ONEHOP_TUNNEL));
- log_debug(LD_CIRC,
- "Hunting for a circ to cannibalize: purpose %d, uptime %d, "
- "capacity %d, internal %d",
- purpose, need_uptime, need_capacity, internal);
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ_) {
- if (CIRCUIT_IS_ORIGIN(circ_) &&
- circ_->state == CIRCUIT_STATE_OPEN &&
- !circ_->marked_for_close &&
- circ_->purpose == CIRCUIT_PURPOSE_C_GENERAL &&
- !circ_->timestamp_dirty) {
- origin_circuit_t *circ = TO_ORIGIN_CIRCUIT(circ_);
- if ((!need_uptime || circ->build_state->need_uptime) &&
- (!need_capacity || circ->build_state->need_capacity) &&
- (internal == circ->build_state->is_internal) &&
- !circ->unusable_for_new_conns &&
- circ->remaining_relay_early_cells &&
- circ->build_state->desired_path_len == DEFAULT_ROUTE_LEN &&
- !circ->build_state->onehop_tunnel &&
- !circ->isolation_values_set) {
- if (info) {
- /* need to make sure we don't duplicate hops */
- crypt_path_t *hop = circ->cpath;
- const node_t *ri1 = node_get_by_id(info->identity_digest);
- do {
- const node_t *ri2;
- if (tor_memeq(hop->extend_info->identity_digest,
- info->identity_digest, DIGEST_LEN))
- goto next;
- if (ri1 &&
- (ri2 = node_get_by_id(hop->extend_info->identity_digest))
- && nodes_in_same_family(ri1, ri2))
- goto next;
- hop=hop->next;
- } while (hop!=circ->cpath);
- }
- if (options->ExcludeNodes) {
- /* Make sure no existing nodes in the circuit are excluded for
- * general use. (This may be possible if StrictNodes is 0, and we
- * thought we needed to use an otherwise excluded node for, say, a
- * directory operation.) */
- crypt_path_t *hop = circ->cpath;
- do {
- if (routerset_contains_extendinfo(options->ExcludeNodes,
- hop->extend_info))
- goto next;
- hop = hop->next;
- } while (hop != circ->cpath);
- }
- if (!best || (best->build_state->need_uptime && !need_uptime))
- best = circ;
- next: ;
- }
- }
- }
- SMARTLIST_FOREACH_END(circ_);
- return best;
- }
- /** Return the number of hops in circuit's path. */
- int
- circuit_get_cpath_len(origin_circuit_t *circ)
- {
- int n = 0;
- if (circ && circ->cpath) {
- crypt_path_t *cpath, *cpath_next = NULL;
- for (cpath = circ->cpath; cpath_next != circ->cpath; cpath = cpath_next) {
- cpath_next = cpath->next;
- ++n;
- }
- }
- return n;
- }
- /** Return the <b>hopnum</b>th hop in <b>circ</b>->cpath, or NULL if there
- * aren't that many hops in the list. */
- crypt_path_t *
- circuit_get_cpath_hop(origin_circuit_t *circ, int hopnum)
- {
- if (circ && circ->cpath && hopnum > 0) {
- crypt_path_t *cpath, *cpath_next = NULL;
- for (cpath = circ->cpath; cpath_next != circ->cpath; cpath = cpath_next) {
- cpath_next = cpath->next;
- if (--hopnum <= 0)
- return cpath;
- }
- }
- return NULL;
- }
- /** Go through the circuitlist; mark-for-close each circuit that starts
- * at us but has not yet been used. */
- void
- circuit_mark_all_unused_circs(void)
- {
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ) {
- if (CIRCUIT_IS_ORIGIN(circ) &&
- !circ->marked_for_close &&
- !circ->timestamp_dirty)
- circuit_mark_for_close(circ, END_CIRC_REASON_FINISHED);
- }
- SMARTLIST_FOREACH_END(circ);
- }
- /** Go through the circuitlist; for each circuit that starts at us
- * and is dirty, frob its timestamp_dirty so we won't use it for any
- * new streams.
- *
- * This is useful for letting the user change pseudonyms, so new
- * streams will not be linkable to old streams.
- */
- void
- circuit_mark_all_dirty_circs_as_unusable(void)
- {
- SMARTLIST_FOREACH_BEGIN(circuit_get_global_list(), circuit_t *, circ) {
- if (CIRCUIT_IS_ORIGIN(circ) &&
- !circ->marked_for_close &&
- circ->timestamp_dirty) {
- mark_circuit_unusable_for_new_conns(TO_ORIGIN_CIRCUIT(circ));
- }
- }
- SMARTLIST_FOREACH_END(circ);
- }
- /** Mark <b>circ</b> to be closed next time we call
- * circuit_close_all_marked(). Do any cleanup needed:
- * - If state is onionskin_pending, remove circ from the onion_pending
- * list.
- * - If circ isn't open yet: call circuit_build_failed() if we're
- * the origin, and in either case call circuit_rep_hist_note_result()
- * to note stats.
- * - If purpose is C_INTRODUCE_ACK_WAIT, report the intro point
- * failure we just had to the hidden service client module.
- * - If purpose is C_INTRODUCING and <b>reason</b> isn't TIMEOUT,
- * report to the hidden service client module that the intro point
- * we just tried may be unreachable.
- * - Send appropriate destroys and edge_destroys for conns and
- * streams attached to circ.
- * - If circ->rend_splice is set (we are the midpoint of a joined
- * rendezvous stream), then mark the other circuit to close as well.
- */
- MOCK_IMPL(void,
- circuit_mark_for_close_, (circuit_t *circ, int reason, int line,
- const char *file))
- {
- int orig_reason = reason; /* Passed to the controller */
- assert_circuit_ok(circ);
- tor_assert(line);
- tor_assert(file);
- if (circ->marked_for_close) {
- log_warn(LD_BUG,
- "Duplicate call to circuit_mark_for_close at %s:%d"
- " (first at %s:%d)", file, line,
- circ->marked_for_close_file, circ->marked_for_close);
- return;
- }
- if (reason == END_CIRC_AT_ORIGIN) {
- if (!CIRCUIT_IS_ORIGIN(circ)) {
- log_warn(LD_BUG, "Specified 'at-origin' non-reason for ending circuit, "
- "but circuit was not at origin. (called %s:%d, purpose=%d)",
- file, line, circ->purpose);
- }
- reason = END_CIRC_REASON_NONE;
- }
- if (CIRCUIT_IS_ORIGIN(circ)) {
- if (pathbias_check_close(TO_ORIGIN_CIRCUIT(circ), reason) == -1) {
- /* Don't close it yet, we need to test it first */
- return;
- }
- /* We don't send reasons when closing circuits at the origin. */
- reason = END_CIRC_REASON_NONE;
- }
- if (reason & END_CIRC_REASON_FLAG_REMOTE)
- reason &= ~END_CIRC_REASON_FLAG_REMOTE;
- if (reason < END_CIRC_REASON_MIN_ || reason > END_CIRC_REASON_MAX_) {
- if (!(orig_reason & END_CIRC_REASON_FLAG_REMOTE))
- log_warn(LD_BUG, "Reason %d out of range at %s:%d", reason, file, line);
- reason = END_CIRC_REASON_NONE;
- }
- if (circ->state == CIRCUIT_STATE_ONIONSKIN_PENDING) {
- onion_pending_remove(TO_OR_CIRCUIT(circ));
- }
- /* If the circuit ever became OPEN, we sent it to the reputation history
- * module then. If it isn't OPEN, we send it there now to remember which
- * links worked and which didn't.
- */
- if (circ->state != CIRCUIT_STATE_OPEN) {
- if (CIRCUIT_IS_ORIGIN(circ)) {
- origin_circuit_t *ocirc = TO_ORIGIN_CIRCUIT(circ);
- circuit_build_failed(ocirc); /* take actions if necessary */
- circuit_rep_hist_note_result(ocirc);
- }
- }
- if (circ->state == CIRCUIT_STATE_CHAN_WAIT) {
- if (circuits_pending_chans)
- smartlist_remove(circuits_pending_chans, circ);
- }
- if (CIRCUIT_IS_ORIGIN(circ)) {
- control_event_circuit_status(TO_ORIGIN_CIRCUIT(circ),
- (circ->state == CIRCUIT_STATE_OPEN)?CIRC_EVENT_CLOSED:CIRC_EVENT_FAILED,
- orig_reason);
- }
- if (circ->purpose == CIRCUIT_PURPOSE_C_INTRODUCE_ACK_WAIT) {
- origin_circuit_t *ocirc = TO_ORIGIN_CIRCUIT(circ);
- int timed_out = (reason == END_CIRC_REASON_TIMEOUT);
- tor_assert(circ->state == CIRCUIT_STATE_OPEN);
- tor_assert(ocirc->build_state->chosen_exit);
- tor_assert(ocirc->rend_data);
- if (orig_reason != END_CIRC_REASON_IP_NOW_REDUNDANT) {
- /* treat this like getting a nack from it */
- log_info(LD_REND, "Failed intro circ %s to %s (awaiting ack). %s",
- safe_str_client(ocirc->rend_data->onion_address),
- safe_str_client(build_state_get_exit_nickname(ocirc->build_state)),
- timed_out ? "Recording timeout." : "Removing from descriptor.");
- rend_client_report_intro_point_failure(ocirc->build_state->chosen_exit,
- ocirc->rend_data,
- timed_out ?
- INTRO_POINT_FAILURE_TIMEOUT :
- INTRO_POINT_FAILURE_GENERIC);
- }
- } else if (circ->purpose == CIRCUIT_PURPOSE_C_INTRODUCING &&
- reason != END_CIRC_REASON_TIMEOUT) {
- origin_circuit_t *ocirc = TO_ORIGIN_CIRCUIT(circ);
- if (ocirc->build_state->chosen_exit && ocirc->rend_data) {
- if (orig_reason != END_CIRC_REASON_IP_NOW_REDUNDANT) {
- log_info(LD_REND, "Failed intro circ %s to %s "
- "(building circuit to intro point). "
- "Marking intro point as possibly unreachable.",
- safe_str_client(ocirc->rend_data->onion_address),
- safe_str_client(build_state_get_exit_nickname(
- ocirc->build_state)));
- rend_client_report_intro_point_failure(ocirc->build_state->chosen_exit,
- ocirc->rend_data,
- INTRO_POINT_FAILURE_UNREACHABLE);
- }
- }
- }
- if (circ->n_chan) {
- circuit_clear_cell_queue(circ, circ->n_chan);
- /* Only send destroy if the channel isn't closing anyway */
- if (!CHANNEL_CONDEMNED(circ->n_chan)) {
- channel_send_destroy(circ->n_circ_id, circ->n_chan, reason);
- }
- circuitmux_detach_circuit(circ->n_chan->cmux, circ);
- circuit_set_n_circid_chan(circ, 0, NULL);
- }
- if (! CIRCUIT_IS_ORIGIN(circ)) {
- or_circuit_t *or_circ = TO_OR_CIRCUIT(circ);
- edge_connection_t *conn;
- for (conn=or_circ->n_streams; conn; conn=conn->next_stream)
- connection_edge_destroy(or_circ->p_circ_id, conn);
- or_circ->n_streams = NULL;
- while (or_circ->resolving_streams) {
- conn = or_circ->resolving_streams;
- or_circ->resolving_streams = conn->next_stream;
- if (!conn->base_.marked_for_close) {
- /* The client will see a DESTROY, and infer that the connections
- * are closing because the circuit is getting torn down. No need
- * to send an end cell. */
- conn->edge_has_sent_end = 1;
- conn->end_reason = END_STREAM_REASON_DESTROY;
- conn->end_reason |= END_STREAM_REASON_FLAG_ALREADY_SENT_CLOSED;
- connection_mark_for_close(TO_CONN(conn));
- }
- conn->on_circuit = NULL;
- }
- if (or_circ->p_chan) {
- circuit_clear_cell_queue(circ, or_circ->p_chan);
- /* Only send destroy if the channel isn't closing anyway */
- if (!CHANNEL_CONDEMNED(or_circ->p_chan)) {
- channel_send_destroy(or_circ->p_circ_id, or_circ->p_chan, reason);
- }
- circuitmux_detach_circuit(or_circ->p_chan->cmux, circ);
- circuit_set_p_circid_chan(or_circ, 0, NULL);
- }
- } else {
- origin_circuit_t *ocirc = TO_ORIGIN_CIRCUIT(circ);
- edge_connection_t *conn;
- for (conn=ocirc->p_streams; conn; conn=conn->next_stream)
- connection_edge_destroy(circ->n_circ_id, conn);
- ocirc->p_streams = NULL;
- }
- circ->marked_for_close = line;
- circ->marked_for_close_file = file;
- if (!CIRCUIT_IS_ORIGIN(circ)) {
- or_circuit_t *or_circ = TO_OR_CIRCUIT(circ);
- if (or_circ->rend_splice) {
- if (!or_circ->rend_splice->base_.marked_for_close) {
- /* do this after marking this circuit, to avoid infinite recursion. */
- circuit_mark_for_close(TO_CIRCUIT(or_circ->rend_splice), reason);
- }
- or_circ->rend_splice = NULL;
- }
- }
- }
- /** Given a marked circuit <b>circ</b>, aggressively free its cell queues to
- * recover memory. */
- static void
- marked_circuit_free_cells(circuit_t *circ)
- {
- if (!circ->marked_for_close) {
- log_warn(LD_BUG, "Called on non-marked circuit");
- return;
- }
- cell_queue_clear(&circ->n_chan_cells);
- if (! CIRCUIT_IS_ORIGIN(circ))
- cell_queue_clear(& TO_OR_CIRCUIT(circ)->p_chan_cells);
- }
- static size_t
- single_conn_free_bytes(connection_t *conn)
- {
- size_t result = 0;
- if (conn->inbuf) {
- result += buf_allocation(conn->inbuf);
- buf_clear(conn->inbuf);
- }
- if (conn->outbuf) {
- result += buf_allocation(conn->outbuf);
- buf_clear(conn->outbuf);
- }
- if (conn->type == CONN_TYPE_DIR) {
- dir_connection_t *dir_conn = TO_DIR_CONN(conn);
- if (dir_conn->zlib_state) {
- result += tor_zlib_state_size(dir_conn->zlib_state);
- tor_zlib_free(dir_conn->zlib_state);
- dir_conn->zlib_state = NULL;
- }
- }
- return result;
- }
- /** Aggressively free buffer contents on all the buffers of all streams in the
- * list starting at <b>stream</b>. Return the number of bytes recovered. */
- static size_t
- marked_circuit_streams_free_bytes(edge_connection_t *stream)
- {
- size_t result = 0;
- for ( ; stream; stream = stream->next_stream) {
- connection_t *conn = TO_CONN(stream);
- result += single_conn_free_bytes(conn);
- if (conn->linked_conn) {
- result += single_conn_free_bytes(conn->linked_conn);
- }
- }
- return result;
- }
- /** Aggressively free buffer contents on all the buffers of all streams on
- * circuit <b>c</b>. Return the number of bytes recovered. */
- static size_t
- marked_circuit_free_stream_bytes(circuit_t *c)
- {
- if (CIRCUIT_IS_ORIGIN(c)) {
- return marked_circuit_streams_free_bytes(TO_ORIGIN_CIRCUIT(c)->p_streams);
- } else {
- return marked_circuit_streams_free_bytes(TO_OR_CIRCUIT(c)->n_streams);
- }
- }
- /** Return the number of cells used by the circuit <b>c</b>'s cell queues. */
- STATIC size_t
- n_cells_in_circ_queues(const circuit_t *c)
- {
- size_t n = c->n_chan_cells.n;
- if (! CIRCUIT_IS_ORIGIN(c)) {
- circuit_t *cc = (circuit_t *) c;
- n += TO_OR_CIRCUIT(cc)->p_chan_cells.n;
- }
- return n;
- }
- /**
- * Return the age of the oldest cell queued on <b>c</b>, in milliseconds.
- * Return 0 if there are no cells queued on c. Requires that <b>now</b> be
- * the current time in milliseconds since the epoch, truncated.
- *
- * This function will return incorrect results if the oldest cell queued on
- * the circuit is older than 2**32 msec (about 49 days) old.
- */
- STATIC uint32_t
- circuit_max_queued_cell_age(const circuit_t *c, uint32_t now)
- {
- uint32_t age = 0;
- packed_cell_t *cell;
- if (NULL != (cell = TOR_SIMPLEQ_FIRST(&c->n_chan_cells.head)))
- age = now - cell->inserted_time;
- if (! CIRCUIT_IS_ORIGIN(c)) {
- const or_circuit_t *orcirc = CONST_TO_OR_CIRCUIT(c);
- if (NULL != (cell = TOR_SIMPLEQ_FIRST(&orcirc->p_chan_cells.head))) {
- uint32_t age2 = now - cell->inserted_time;
- if (age2 > age)
- return age2;
- }
- }
- return age;
- }
- /** Return the age in milliseconds of the oldest buffer chunk on <b>conn</b>,
- * where age is taken in milliseconds before the time <b>now</b> (in truncated
- * milliseconds since the epoch). If the connection has no data, treat
- * it as having age zero.
- **/
- static uint32_t
- conn_get_buffer_age(const connection_t *conn, uint32_t now)
- {
- uint32_t age = 0, age2;
- if (conn->outbuf) {
- age2 = buf_get_oldest_chunk_timestamp(conn->outbuf, now);
- if (age2 > age)
- age = age2;
- }
- if (conn->inbuf) {
- age2 = buf_get_oldest_chunk_timestamp(conn->inbuf, now);
- if (age2 > age)
- age = age2;
- }
- return age;
- }
- /** Return the age in milliseconds of the oldest buffer chunk on any stream in
- * the linked list <b>stream</b>, where age is taken in milliseconds before
- * the time <b>now</b> (in truncated milliseconds since the epoch). */
- static uint32_t
- circuit_get_streams_max_data_age(const edge_connection_t *stream, uint32_t now)
- {
- uint32_t age = 0, age2;
- for (; stream; stream = stream->next_stream) {
- const connection_t *conn = TO_CONN(stream);
- age2 = conn_get_buffer_age(conn, now);
- if (age2 > age)
- age = age2;
- if (conn->linked_conn) {
- age2 = conn_get_buffer_age(conn->linked_conn, now);
- if (age2 > age)
- age = age2;
- }
- }
- return age;
- }
- /** Return the age in milliseconds of the oldest buffer chunk on any stream
- * attached to the circuit <b>c</b>, where age is taken in milliseconds before
- * the time <b>now</b> (in truncated milliseconds since the epoch). */
- STATIC uint32_t
- circuit_max_queued_data_age(const circuit_t *c, uint32_t now)
- {
- if (CIRCUIT_IS_ORIGIN(c)) {
- return circuit_get_streams_max_data_age(
- CONST_TO_ORIGIN_CIRCUIT(c)->p_streams, now);
- } else {
- return circuit_get_streams_max_data_age(
- CONST_TO_OR_CIRCUIT(c)->n_streams, now);
- }
- }
- /** Return the age of the oldest cell or stream buffer chunk on the circuit
- * <b>c</b>, where age is taken in milliseconds before the time <b>now</b> (in
- * truncated milliseconds since the epoch). */
- STATIC uint32_t
- circuit_max_queued_item_age(const circuit_t *c, uint32_t now)
- {
- uint32_t cell_age = circuit_max_queued_cell_age(c, now);
- uint32_t data_age = circuit_max_queued_data_age(c, now);
- if (cell_age > data_age)
- return cell_age;
- else
- return data_age;
- }
- /** Helper to sort a list of circuit_t by age of oldest item, in descending
- * order. */
- static int
- circuits_compare_by_oldest_queued_item_(const void **a_, const void **b_)
- {
- const circuit_t *a = *a_;
- const circuit_t *b = *b_;
- uint32_t age_a = a->age_tmp;
- uint32_t age_b = b->age_tmp;
- if (age_a < age_b)
- return 1;
- else if (age_a == age_b)
- return 0;
- else
- return -1;
- }
- static uint32_t now_ms_for_buf_cmp;
- /** Helper to sort a list of circuit_t by age of oldest item, in descending
- * order. */
- static int
- conns_compare_by_buffer_age_(const void **a_, const void **b_)
- {
- const connection_t *a = *a_;
- const connection_t *b = *b_;
- time_t age_a = conn_get_buffer_age(a, now_ms_for_buf_cmp);
- time_t age_b = conn_get_buffer_age(b, now_ms_for_buf_cmp);
- if (age_a < age_b)
- return 1;
- else if (age_a == age_b)
- return 0;
- else
- return -1;
- }
- #define FRACTION_OF_DATA_TO_RETAIN_ON_OOM 0.90
- /** We're out of memory for cells, having allocated <b>current_allocation</b>
- * bytes' worth. Kill the 'worst' circuits until we're under
- * FRACTION_OF_DATA_TO_RETAIN_ON_OOM of our maximum usage. */
- void
- circuits_handle_oom(size_t current_allocation)
- {
- smartlist_t *circlist;
- smartlist_t *connection_array = get_connection_array();
- int conn_idx;
- size_t mem_to_recover;
- size_t mem_recovered=0;
- int n_circuits_killed=0;
- int n_dirconns_killed=0;
- struct timeval now;
- uint32_t now_ms;
- log_notice(LD_GENERAL, "We're low on memory. Killing circuits with "
- "over-long queues. (This behavior is controlled by "
- "MaxMemInQueues.)");
- {
- const size_t recovered = buf_shrink_freelists(1);
- if (recovered >= current_allocation) {
- log_warn(LD_BUG, "We somehow recovered more memory from freelists "
- "than we thought we had allocated");
- current_allocation = 0;
- } else {
- current_allocation -= recovered;
- }
- }
- {
- size_t mem_target = (size_t)(get_options()->MaxMemInQueues *
- FRACTION_OF_DATA_TO_RETAIN_ON_OOM);
- if (current_allocation <= mem_target)
- return;
- mem_to_recover = current_allocation - mem_target;
- }
- tor_gettimeofday_cached_monotonic(&now);
- now_ms = (uint32_t)tv_to_msec(&now);
- circlist = circuit_get_global_list();
- SMARTLIST_FOREACH_BEGIN(circlist, circuit_t *, circ) {
- circ->age_tmp = circuit_max_queued_item_age(circ, now_ms);
- } SMARTLIST_FOREACH_END(circ);
- /* This is O(n log n); there are faster algorithms we could use instead.
- * Let's hope this doesn't happen enough to be in the critical path. */
- smartlist_sort(circlist, circuits_compare_by_oldest_queued_item_);
- /* Fix up the indices before we run into trouble */
- SMARTLIST_FOREACH_BEGIN(circlist, circuit_t *, circ) {
- circ->global_circuitlist_idx = circ_sl_idx;
- } SMARTLIST_FOREACH_END(circ);
- /* Now sort the connection array ... */
- now_ms_for_buf_cmp = now_ms;
- smartlist_sort(connection_array, conns_compare_by_buffer_age_);
- now_ms_for_buf_cmp = 0;
- /* Fix up the connection array to its new order. */
- SMARTLIST_FOREACH_BEGIN(connection_array, connection_t *, conn) {
- conn->conn_array_index = conn_sl_idx;
- } SMARTLIST_FOREACH_END(conn);
- /* Okay, now the worst circuits and connections are at the front of their
- * respective lists. Let's mark them, and reclaim their storage
- * aggressively. */
- conn_idx = 0;
- SMARTLIST_FOREACH_BEGIN(circlist, circuit_t *, circ) {
- size_t n;
- size_t freed;
- /* Free storage in any non-linked directory connections that have buffered
- * data older than this circuit. */
- while (conn_idx < smartlist_len(connection_array)) {
- connection_t *conn = smartlist_get(connection_array, conn_idx);
- uint32_t conn_age = conn_get_buffer_age(conn, now_ms);
- if (conn_age < circ->age_tmp) {
- break;
- }
- if (conn->type == CONN_TYPE_DIR && conn->linked_conn == NULL) {
- if (!conn->marked_for_close)
- connection_mark_for_close(conn);
- mem_recovered += single_conn_free_bytes(conn);
- ++n_dirconns_killed;
- if (mem_recovered >= mem_to_recover)
- goto done_recovering_mem;
- }
- ++conn_idx;
- }
- /* Now, kill the circuit. */
- n = n_cells_in_circ_queues(circ);
- if (! circ->marked_for_close) {
- circuit_mark_for_close(circ, END_CIRC_REASON_RESOURCELIMIT);
- }
- marked_circuit_free_cells(circ);
- freed = marked_circuit_free_stream_bytes(circ);
- ++n_circuits_killed;
- mem_recovered += n * packed_cell_mem_cost();
- mem_recovered += freed;
- if (mem_recovered >= mem_to_recover)
- goto done_recovering_mem;
- } SMARTLIST_FOREACH_END(circ);
- done_recovering_mem:
- #ifdef ENABLE_MEMPOOLS
- clean_cell_pool(); /* In case this helps. */
- #endif /* ENABLE_MEMPOOLS */
- buf_shrink_freelists(1); /* This is necessary to actually release buffer
- chunks. */
- log_notice(LD_GENERAL, "Removed "U64_FORMAT" bytes by killing %d circuits; "
- "%d circuits remain alive. Also killed %d non-linked directory "
- "connections.",
- U64_PRINTF_ARG(mem_recovered),
- n_circuits_killed,
- smartlist_len(circlist) - n_circuits_killed,
- n_dirconns_killed);
- }
- /** Verify that cpath layer <b>cp</b> has all of its invariants
- * correct. Trigger an assert if anything is invalid.
- */
- void
- assert_cpath_layer_ok(const crypt_path_t *cp)
- {
- // tor_assert(cp->addr); /* these are zero for rendezvous extra-hops */
- // tor_assert(cp->port);
- tor_assert(cp);
- tor_assert(cp->magic == CRYPT_PATH_MAGIC);
- switch (cp->state)
- {
- case CPATH_STATE_OPEN:
- tor_assert(cp->f_crypto);
- tor_assert(cp->b_crypto);
- /* fall through */
- case CPATH_STATE_CLOSED:
- /*XXXX Assert that there's no handshake_state either. */
- tor_assert(!cp->rend_dh_handshake_state);
- break;
- case CPATH_STATE_AWAITING_KEYS:
- /* tor_assert(cp->dh_handshake_state); */
- break;
- default:
- log_fn(LOG_ERR, LD_BUG, "Unexpected state %d", cp->state);
- tor_assert(0);
- }
- tor_assert(cp->package_window >= 0);
- tor_assert(cp->deliver_window >= 0);
- }
- /** Verify that cpath <b>cp</b> has all of its invariants
- * correct. Trigger an assert if anything is invalid.
- */
- static void
- assert_cpath_ok(const crypt_path_t *cp)
- {
- const crypt_path_t *start = cp;
- do {
- assert_cpath_layer_ok(cp);
- /* layers must be in sequence of: "open* awaiting? closed*" */
- if (cp != start) {
- if (cp->state == CPATH_STATE_AWAITING_KEYS) {
- tor_assert(cp->prev->state == CPATH_STATE_OPEN);
- } else if (cp->state == CPATH_STATE_OPEN) {
- tor_assert(cp->prev->state == CPATH_STATE_OPEN);
- }
- }
- cp = cp->next;
- tor_assert(cp);
- } while (cp != start);
- }
- /** Verify that circuit <b>c</b> has all of its invariants
- * correct. Trigger an assert if anything is invalid.
- */
- void
- assert_circuit_ok(const circuit_t *c)
- {
- edge_connection_t *conn;
- const or_circuit_t *or_circ = NULL;
- const origin_circuit_t *origin_circ = NULL;
- tor_assert(c);
- tor_assert(c->magic == ORIGIN_CIRCUIT_MAGIC || c->magic == OR_CIRCUIT_MAGIC);
- tor_assert(c->purpose >= CIRCUIT_PURPOSE_MIN_ &&
- c->purpose <= CIRCUIT_PURPOSE_MAX_);
- if (CIRCUIT_IS_ORIGIN(c))
- origin_circ = CONST_TO_ORIGIN_CIRCUIT(c);
- else
- or_circ = CONST_TO_OR_CIRCUIT(c);
- if (c->n_chan) {
- tor_assert(!c->n_hop);
- if (c->n_circ_id) {
- /* We use the _impl variant here to make sure we don't fail on marked
- * circuits, which would not be returned by the regular function. */
- circuit_t *c2 = circuit_get_by_circid_channel_impl(c->n_circ_id,
- c->n_chan, NULL);
- tor_assert(c == c2);
- }
- }
- if (or_circ && or_circ->p_chan) {
- if (or_circ->p_circ_id) {
- /* ibid */
- circuit_t *c2 =
- circuit_get_by_circid_channel_impl(or_circ->p_circ_id,
- or_circ->p_chan, NULL);
- tor_assert(c == c2);
- }
- }
- if (or_circ)
- for (conn = or_circ->n_streams; conn; conn = conn->next_stream)
- tor_assert(conn->base_.type == CONN_TYPE_EXIT);
- tor_assert(c->deliver_window >= 0);
- tor_assert(c->package_window >= 0);
- if (c->state == CIRCUIT_STATE_OPEN) {
- tor_assert(!c->n_chan_create_cell);
- if (or_circ) {
- tor_assert(or_circ->n_crypto);
- tor_assert(or_circ->p_crypto);
- tor_assert(or_circ->n_digest);
- tor_assert(or_circ->p_digest);
- }
- }
- if (c->state == CIRCUIT_STATE_CHAN_WAIT && !c->marked_for_close) {
- tor_assert(circuits_pending_chans &&
- smartlist_contains(circuits_pending_chans, c));
- } else {
- tor_assert(!circuits_pending_chans ||
- !smartlist_contains(circuits_pending_chans, c));
- }
- if (origin_circ && origin_circ->cpath) {
- assert_cpath_ok(origin_circ->cpath);
- }
- if (c->purpose == CIRCUIT_PURPOSE_REND_ESTABLISHED) {
- tor_assert(or_circ);
- if (!c->marked_for_close) {
- tor_assert(or_circ->rend_splice);
- tor_assert(or_circ->rend_splice->rend_splice == or_circ);
- }
- tor_assert(or_circ->rend_splice != or_circ);
- } else {
- tor_assert(!or_circ || !or_circ->rend_splice);
- }
- }
|