IP Multicast FIB (mfib)
[vpp.git] / src / vnet / fib / fib_types.h
1  /*
2  * Copyright (c) 2016 Cisco and/or its affiliates.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15
16 #ifndef __FIB_TYPES_H__
17 #define __FIB_TYPES_H__
18
19 #include <vlib/vlib.h>
20 #include <vnet/ip/ip6_packet.h>
21 #include <vnet/mpls/packet.h>
22 #include <vnet/dpo/dpo.h>
23
24 /**
25  * A typedef of a node index.
26  * we make this typedef so the code becomes easier for a human to parse.
27  */
28 typedef u32 fib_node_index_t;
29 #define FIB_NODE_INDEX_INVALID ((fib_node_index_t)(~0))
30
31 /**
32  * Protocol Type. packed so it consumes a u8 only
33  */
34 typedef enum fib_protocol_t_ {
35     FIB_PROTOCOL_IP4 = 0,
36     FIB_PROTOCOL_IP6,
37     FIB_PROTOCOL_MPLS,
38 }  __attribute__ ((packed)) fib_protocol_t;
39
40 #define FIB_PROTOCOLS {                 \
41     [FIB_PROTOCOL_IP4] = "ipv4",        \
42     [FIB_PROTOCOL_IP6] = "ipv6",        \
43     [FIB_PROTOCOL_MPLS] = "MPLS",       \
44 }
45
46 /**
47  * Definition outside of enum so it does not need to be included in non-defaulted
48  * switch statements
49  */
50 #define FIB_PROTOCOL_MAX (FIB_PROTOCOL_MPLS + 1)
51
52 /**
53  * Not part of the enum so it does not have to be handled in switch statements
54  */
55 #define FIB_PROTOCOL_NONE (FIB_PROTOCOL_MAX+1)
56
57 #define FOR_EACH_FIB_PROTOCOL(_item)    \
58     for (_item = FIB_PROTOCOL_IP4;      \
59          _item <= FIB_PROTOCOL_MPLS;    \
60          _item++)
61
62 #define FOR_EACH_FIB_IP_PROTOCOL(_item)    \
63     for (_item = FIB_PROTOCOL_IP4;         \
64          _item <= FIB_PROTOCOL_IP6;        \
65          _item++)
66
67 /**
68  * @brief Convert from a protocol to a link type
69  */
70 vnet_link_t fib_proto_to_link (fib_protocol_t proto);
71
72 /**
73  * FIB output chain type. When a child object requests a forwarding contribution
74  * from a parent, it does so for a particular scenario. This enumererates those
75  * sceanrios
76  */
77 typedef enum fib_forward_chain_type_t_ {
78     /**
79      * Contribute an object that is to be used to forward IP4 packets
80      */
81     FIB_FORW_CHAIN_TYPE_UNICAST_IP4,
82     /**
83      * Contribute an object that is to be used to forward IP6 packets
84      */
85     FIB_FORW_CHAIN_TYPE_UNICAST_IP6,
86     /**
87      * Contribute an object that is to be used to forward non-end-of-stack
88      * MPLS packets
89      */
90     FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS,
91     /**
92      * Contribute an object that is to be used to forward end-of-stack
93      * MPLS packets. This is a convenient ID for clients. A real EOS chain
94      * must be pay-load protocol specific. This
95      * option is converted into one of the other three internally.
96      */
97     FIB_FORW_CHAIN_TYPE_MPLS_EOS,
98     /**
99      * Contribute an object that is to be used to forward IP4 packets
100      */
101     FIB_FORW_CHAIN_TYPE_MCAST_IP4,
102     /**
103      * Contribute an object that is to be used to forward IP6 packets
104      */
105     FIB_FORW_CHAIN_TYPE_MCAST_IP6,
106     /**
107      * Contribute an object that is to be used to forward Ethernet packets.
108      * This is last in the list since it is not valid for many FIB objects,
109      * and thus their array of per-chain-type DPOs can be sized smaller.
110      */
111     FIB_FORW_CHAIN_TYPE_ETHERNET,
112 }  __attribute__ ((packed)) fib_forward_chain_type_t;
113
114 #define FIB_FORW_CHAINS {                                       \
115     [FIB_FORW_CHAIN_TYPE_ETHERNET]      = "ethernet",           \
116     [FIB_FORW_CHAIN_TYPE_UNICAST_IP4]   = "unicast-ip4",        \
117     [FIB_FORW_CHAIN_TYPE_UNICAST_IP6]   = "unicast-ip6",        \
118     [FIB_FORW_CHAIN_TYPE_MCAST_IP4]     = "multicast-ip4",      \
119     [FIB_FORW_CHAIN_TYPE_MCAST_IP6]     = "multicast-ip6",      \
120     [FIB_FORW_CHAIN_TYPE_MPLS_NON_EOS]  = "mpls-neos",          \
121     [FIB_FORW_CHAIN_TYPE_MPLS_EOS]      = "mpls-eos",           \
122 }
123
124 #define FIB_FORW_CHAIN_NUM (FIB_FORW_CHAIN_TYPE_MPLS_ETHERNET+1)
125 #define FIB_FORW_CHAIN_MPLS_NUM (FIB_FORW_CHAIN_TYPE_MPLS_EOS+1)
126
127 #define FOR_EACH_FIB_FORW_CHAIN(_item)                    \
128     for (_item = FIB_FORW_CHAIN_TYPE_UNICAST_IP4;         \
129          _item <= FIB_FORW_CHAIN_TYPE_ETHERNET;           \
130          _item++)
131
132 #define FOR_EACH_FIB_FORW_MPLS_CHAIN(_item)               \
133     for (_item = FIB_FORW_CHAIN_TYPE_UNICAST_IP4;         \
134          _item <= FIB_FORW_CHAIN_TYPE_MPLS_EOS;           \
135          _item++)
136
137 /**
138  * @brief Convert from a chain type to the adjacencies link type
139  */
140 extern vnet_link_t fib_forw_chain_type_to_link_type(fib_forward_chain_type_t fct);
141
142 /**
143  * @brief Convert from a payload-protocol to a chain type.
144  */
145 extern fib_forward_chain_type_t fib_forw_chain_type_from_dpo_proto(dpo_proto_t proto);
146
147 /**
148  * @brief Convert from a chain type to the DPO proto it will install
149  */
150 extern dpo_proto_t fib_forw_chain_type_to_dpo_proto(fib_forward_chain_type_t fct);
151
152 /**
153  * Aggregrate type for a prefix
154  */
155 typedef struct fib_prefix_t_ {
156     /**
157      * The mask length
158      */
159     u16 fp_len;
160
161     /**
162      * protocol type
163      */
164     fib_protocol_t fp_proto;
165
166     /**
167      * Pad to keep the address 4 byte aligned
168      */
169     u8 ___fp___pad;
170
171     union {
172         /**
173          * The address type is not deriveable from the fp_addr member.
174          * If it's v4, then the first 3 u32s of the address will be 0.
175          * v6 addresses (even v4 mapped ones) have at least 2 u32s assigned
176          * to non-zero values. true. but when it's all zero, one cannot decide.
177          */
178         ip46_address_t fp_addr;
179
180         struct {
181             mpls_label_t fp_label;
182             mpls_eos_bit_t fp_eos;
183             /**
184              * This protocol determines the payload protocol of packets
185              * that will be forwarded by this entry once the label is popped.
186              * For a non-eos entry it will be MPLS.
187              */
188             dpo_proto_t fp_payload_proto;
189         };
190     };
191 } fib_prefix_t;
192
193 STATIC_ASSERT(STRUCT_OFFSET_OF(fib_prefix_t, fp_addr) == 4,
194               "FIB Prefix's address is 4 byte aligned.");
195
196 /**
197  * \brief Compare two prefixes for equality
198  */
199 extern int fib_prefix_cmp(const fib_prefix_t *p1,
200                           const fib_prefix_t *p2);
201
202 /**
203  * \brief Compare two prefixes for covering relationship
204  *
205  * \return non-zero if the first prefix is a cover for the second
206  */
207 extern int fib_prefix_is_cover(const fib_prefix_t *p1,
208                                const fib_prefix_t *p2);
209
210 /**
211  * \brief Return true is the prefix is a host prefix
212  */
213 extern int fib_prefix_is_host(const fib_prefix_t *p);
214
215
216 /**
217  * \brief Host prefix from ip
218  */
219 extern void fib_prefix_from_ip46_addr (const ip46_address_t *addr,
220                            fib_prefix_t *pfx);
221
222 extern u8 * format_fib_prefix(u8 * s, va_list * args);
223 extern u8 * format_fib_forw_chain_type(u8 * s, va_list * args);
224
225 extern dpo_proto_t fib_proto_to_dpo(fib_protocol_t fib_proto);
226 extern fib_protocol_t dpo_proto_to_fib(dpo_proto_t dpo_proto);
227
228 /**
229  * Enurmeration of special path/entry types
230  */
231 typedef enum fib_special_type_t_ {
232     /**
233      * Marker. Add new types after this one.
234      */
235     FIB_SPECIAL_TYPE_FIRST = 0,
236     /**
237      * Local/for-us paths
238      */
239     FIB_SPECIAL_TYPE_LOCAL = FIB_SPECIAL_TYPE_FIRST,
240     /**
241      * drop paths
242      */
243     FIB_SPECIAL_TYPE_DROP,
244     /**
245      * Marker. Add new types before this one, then update it.
246      */
247     FIB_SPECIAL_TYPE_LAST = FIB_SPECIAL_TYPE_DROP,
248 } __attribute__ ((packed)) fib_special_type_t;
249
250 /**
251  * The maximum number of types
252  */
253 #define FIB_SPEICAL_TYPE_MAX (FIB_SPEICAL_TYPE_LAST + 1)
254
255 #define FOR_EACH_FIB_SPEICAL_TYPE(_item)                \
256     for (_item = FIB_TYPE_SPEICAL_FIRST;                \
257          _item <= FIB_SPEICAL_TYPE_LAST; _item++)
258
259 extern u8 * format_fib_protocol(u8 * s, va_list ap);
260 extern u8 * format_vnet_link(u8 *s, va_list ap);
261
262 /**
263  * Path flags from the control plane
264  */
265 typedef enum fib_route_path_flags_t_
266 {
267     FIB_ROUTE_PATH_FLAG_NONE = 0,
268     /**
269      * Recursion constraint of via a host prefix
270      */
271     FIB_ROUTE_PATH_RESOLVE_VIA_HOST = (1 << 0),
272     /**
273      * Recursion constraint of via an attahced prefix
274      */
275     FIB_ROUTE_PATH_RESOLVE_VIA_ATTACHED = (1 << 1),
276     /**
277      * A for-us/local path
278      */
279     FIB_ROUTE_PATH_LOCAL = (1 << 2),
280 } fib_route_path_flags_t;
281
282 /**
283  * @brief 
284  * A representation of a path as described by a route producer.
285  * These paramenters will determine the path 'type', of which there are:
286  * 1) Attached-next-hop:
287  *   a single peer on a link.
288  *   It is 'attached' because it is in the same sub-net as the router, on a link
289  *   directly connected to the route.
290  *   It is 'next=hop' since the next-hop address of the peer is known.
291  * 2) Attached:
292  *  the next-hop is not known. but we can ARP for it.
293  * 3) Recursive.
294  *  The next-hop is known but the interface is not. So to find the adj to use
295  *  we must recursively resolve the next-hop.
296  * 3) deaggregate (deag)
297  *  A further lookup is required.
298  */
299 typedef struct fib_route_path_t_ {
300     /**
301      * The protocol of the address below. We need this since the all
302      * zeros address is ambiguous.
303      */
304     fib_protocol_t frp_proto;
305
306     union {
307         /**
308          * The next-hop address.
309          * Will be NULL for attached paths.
310          * Will be all zeros for attached-next-hop paths on a p2p interface
311          * Will be all zeros for a deag path.
312          */
313         ip46_address_t frp_addr;
314
315         /**
316          * The MPLS local Label to reursively resolve through.
317          * This is valid when the path type is MPLS.
318          */
319         mpls_label_t frp_local_label;
320     };
321     /**
322      * The interface.
323      * Will be invalid for recursive paths.
324      */
325     u32 frp_sw_if_index;
326     /**
327      * The FIB index to lookup the nexthop
328      * Only valid for recursive paths.
329      */
330     u32 frp_fib_index;
331     /**
332      * [un]equal cost path weight
333      */
334     u32 frp_weight;
335     /**
336      * flags on the path
337      */
338     fib_route_path_flags_t frp_flags;
339     /**
340      * The outgoing MPLS label Stack. NULL implies no label.
341      */
342     mpls_label_t *frp_label_stack;
343 } fib_route_path_t;
344
345 /**
346  * @brief 
347  * A representation of a fib path for fib_path_encode to convey the information to the caller
348  */
349 typedef struct fib_route_path_encode_t_ {
350     fib_route_path_t rpath;
351     dpo_id_t dpo;
352 } fib_route_path_encode_t;
353
354 #endif