From mboxrd@z Thu Jan 1 00:00:00 1970 From: Yonghong Song Subject: Re: Help with the BPF verifier Date: Fri, 2 Nov 2018 21:27:52 +0000 Message-ID: <83be6d5e-a868-9a83-a03d-b2e6d71e9333@fb.com> References: <20181101185217.GA20495@kernel.org> <20181102150239.GG20495@kernel.org> <51197ebf-a3d8-a3ae-0389-d7e4dae3e833@solarflare.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Cc: Daniel Borkmann , Jiri Olsa , Martin Lau , Alexei Starovoitov , Linux Networking Development Mailing List To: Edward Cree , Arnaldo Carvalho de Melo Return-path: Received: from mx0a-00082601.pphosted.com ([67.231.145.42]:36558 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726100AbeKCGiU (ORCPT ); Sat, 3 Nov 2018 02:38:20 -0400 In-Reply-To: <51197ebf-a3d8-a3ae-0389-d7e4dae3e833@solarflare.com> Content-Language: en-US Content-ID: <95C3303B3813F542A89E1374C616ECF4@namprd15.prod.outlook.com> Sender: netdev-owner@vger.kernel.org List-ID: DQoNCk9uIDExLzIvMTggODo0MiBBTSwgRWR3YXJkIENyZWUgd3JvdGU6DQo+IE9uIDAyLzExLzE4 IDE1OjAyLCBBcm5hbGRvIENhcnZhbGhvIGRlIE1lbG8gd3JvdGU6DQo+PiBZZWFoLCBkaWRuJ3Qg d29yayBhcyB3ZWxsOg0KPiANCj4+IEFuZCB0aGUgLXZ2IGluICdwZXJmIHRyYWNlJyBkaWRuJ3Qg c2VlbSB0byBtYXAgdG8gZnVydGhlciBkZXRhaWxzIGluIHRoZQ0KPj4gb3V0cHV0IG9mIHRoZSB2 ZXJpZmllciBkZWJ1ZzoNCj4gWWVhaCBmb3IgbG9nX2xldmVsIDIgeW91IHByb2JhYmx5IG5lZWQg dG8gbWFrZSBzb3VyY2UtbGV2ZWwgY2hhbmdlcyB0byBlaXRoZXINCj4gIMKgcGVyZiBvciBsaWJi cGYgKEkgdGhpbmsgdGhlIGxhdHRlcikuwqAgSXQncyBhbm5veWluZyB0aGF0IGVzc2VudGlhbGx5 IG5vIHRvb2xzDQo+ICDCoHBsdW1iIHRocm91Z2ggYW4gb3B0aW9uIGZvciB0aGF0LCBzb21lb25l IHNob3VsZCBmaXggdGhlbSA7LSkNCj4gDQo+PiBsaWJicGY6IC0tIEJFR0lOIERVTVAgTE9HIC0t LQ0KPj4gbGliYnBmOg0KPj4gMDogKGJmKSByNiA9IHIxDQo+PiAxOiAoYmYpIHIxID0gcjEwDQo+ PiAyOiAoMDcpIHIxICs9IC0zMjgNCj4+IDM6IChiNykgcjcgPSA2NA0KPj4gNDogKGI3KSByMiA9 IDY0DQo+PiA1OiAoYmYpIHIzID0gcjYNCj4+IDY6ICg4NSkgY2FsbCBicGZfcHJvYmVfcmVhZCM0 DQo+PiA3OiAoNzkpIHIxID0gKih1NjQgKikocjEwIC0zMjApDQo+PiA4OiAoMTUpIGlmIHIxID09 IDB4MTAxIGdvdG8gcGMrNA0KPj4gICBSMD1pbnYoaWQ9MCkgUjE9aW52KGlkPTApIFI2PWN0eChp ZD0wLG9mZj0wLGltbT0wKSBSNz1pbnY2NCBSMTA9ZnAwLGNhbGxfLTENCj4+IDk6ICg1NSkgaWYg cjEgIT0gMHgyIGdvdG8gcGMrMjINCj4+ICAgUjA9aW52KGlkPTApIFIxPWludjIgUjY9Y3R4KGlk PTAsb2ZmPTAsaW1tPTApIFI3PWludjY0IFIxMD1mcDAsY2FsbF8tMQ0KPj4gMTA6IChiZikgcjEg PSByNg0KPj4gMTE6ICgwNykgcjEgKz0gMTYNCj4+IDEyOiAoMDUpIGdvdG8gcGMrMg0KPj4gMTU6 ICg3OSkgcjMgPSAqKHU2NCAqKShyMSArMCkNCj4+IGRlcmVmZXJlbmNlIG9mIG1vZGlmaWVkIGN0 eCBwdHIgUjEgb2ZmPTE2IGRpc2FsbG93ZWQNCj4gQWhhLCB3ZSBhdCBsZWFzdCBnb3QgYSBkaWZm ZXJlbnQgZXJyb3IgbWVzc2FnZSB0aGlzIHRpbWUuDQo+IEFuZCBpbmRlZWQgbGx2bSBoYXMgZG9u ZSB0aGF0IG9wdGltaXNhdGlvbiwgcmF0aGVyIHRoYW4gdGhlIG1vcmUgb2J2aW91cw0KPiAxMTog cjMgPSAqKHU2NCAqKShyMSArMTYpDQo+ICDCoGJlY2F1c2UgaXQgd2FudHMgdG8gaGF2ZSBsb3Rz IG9mIHJlYWRzIHNoYXJlIGEgc2luZ2xlIGluc24uwqAgWW91IG1heSBiZSBhYmxlDQo+ICDCoHRv IGRlZmVhdCB0aGF0IG9wdGltaXNhdGlvbiBieSBhZGRpbmcgY29tcGlsZXIgYmFycmllcnMsIGlk ay7CoCBNYXliZSBzb21lb25lDQo+ICDCoHdpdGggbGx2bSBrbm93bGVkZ2UgY2FuIGZpZ3VyZSBv dXQgaG93IHRvIHN0b3AgaXQgKGlkZWFsbHksIGxsdm0gd291bGQga25vdw0KPiAgwqB3aGVuIGl0 J3MgZ2VuZXJhdGluZyBmb3IgYnBmIGJhY2tlbmQgYW5kIG5vdCBkbyB0aGF0KS7CoCAtTzA/wqAg wq9cXyjjg4QpXy/Crw0KDQpUaGUgb3B0aW1pemF0aW9uIG1vc3RseSBsaWtlcyBiZWxvdzoNCiAg ICBicjE6DQogICAgICAuLi4NCiAgICAgIHIxICs9IDE2DQogICAgICBnb3RvIG1lcmdlDQogICAg YnIyOg0KICAgICAgLi4uDQogICAgICByMSArPSAyMA0KICAgICAgZ290byBtZXJnZQ0KICAgIG1l cmdlOg0KICAgICAgKih1NjQgKikocjEgKyAwKQ0KDQpUaGUgY29tcGlsZXIgdHJpZXMgdG8gbWVy Z2UgY29tbW9uIGxvYWRzLiBUaGVyZSBpcyBubyBlYXN5IHdheSB0bw0Kc3RvcCB0aGlzIGNvbXBp bGVyIG9wdGltaXphdGlvbiB3aXRob3V0IHR1cm5pbmcgb2ZmIGEgbG90IG9mIG90aGVyDQpvcHRp bWl6YXRpb25zLiBUaGUgZWFzaWVzdCB3YXkgaXMgdG8gYWRkIGJhcnJpZXJzDQogICAgX19hc21f XyBfX3ZvbGF0aWxlX18oIiI6IDogOiJtZW1vcnkiKQ0KYWZ0ZXIgdGhlIGN0eCBtZW1vcnkgYWNj ZXNzIHRvIHByZXZlbnQgdGhlaXIgZG93biBzdHJlYW0gbWVyZ2luZy4NCg0KPiBBbHRlcm5hdGl2 ZWx5LCB5b3VyIHByb2cgbG9va3Mgc2hvcnQgZW5vdWdoIHRoYXQgbWF5YmUgeW91IGNvdWxkIGtp Y2sgdGhlIEMNCj4gIMKgaGFiaXQgYW5kIHdyaXRlIGl0IGRpcmVjdGx5IGluIGVCUEYgYXNtLCB0 aGF0IHdheSBuby1vbmUgaXMgb3B0aW1pc2luZyB0aGluZ3MNCj4gIMKgYmVoaW5kIHlvdXIgYmFj ay7CoCAoSSByZWFsaXNlIHRoaXMgb3B0aW9uIHdvbid0IGFwcGVhbCB0byBldmVyeW9uZSA7LSkN Cg0KVGhlIExMVk0gc3VwcG9ydHMgQlBGIGlubGluZSBhc3NlbWJseSBhcyB3ZWxsLiBTb21lIGV4 YW1wbGVzIGhlcmUNCmh0dHBzOi8vZ2l0aHViLmNvbS9sbHZtLW1pcnJvci9sbHZtL2Jsb2IvbWFz dGVyL3Rlc3QvQ29kZUdlbi9CUEYvaW5saW5lX2FzbS5sbA0KWW91IG1heSB0cnkgaXQgZm9yIHNl bGVjdGl2ZSBjdHggYWNjZXNzIHRvIHdvcmsgYXJvdW5kIHNvbWUNCmNvbXBpbGVyIG9wdGltaXph dGlvbnMuIEkgcGVyc29uYWxseSBoYXZlIG5vdCB1c2VkIGl0IHlldCBhbmQgYWN0dWFsbHkNCm5v dCBzdXJlIHdoZXRoZXIgaXQgYWN0dWFsbHkgd29ya3Mgb3Igbm90IDotKQ0KDQo+IFRoZSByZWFz b24gdGhlIHZlcmlmaWVyIGRpc2FsbG93cyB0aGlzLCBpaXJjLCBpcyBiZWNhdXNlIGl0IG5lZWRz IHRvIGJlIGFibGUNCj4gIMKgdG8gcmV3cml0ZSB0aGUgb2Zmc2V0cyBvbiBjdHggYWNjZXNzZXMg KHNlZSBjb252ZXJ0X2N0eF9hY2Nlc3NlcygpKSBpbiBjYXNlID4gIMKgdW5kZXJseWluZyBrZXJu ZWwgc3RydWN0IGRvZXNuJ3QgbWF0Y2ggdGhlIGxheW91dCBvZiB0aGUgY3R4IEFCSS7CoCANClRv IGRvIHRoaXMNCj4gIMKgaXQgbmVlZHMgdGhlIGN0eCBvZmZzZXQgdG8gbGl2ZSBlbnRpcmVseSBp biB0aGUgaW5zbiBkb2luZyB0aGUgYWNjZXNzLA0KPiAgwqBvdGhlcndpc2UgZGlmZmVyZW50IHBh dGhzIGNvdWxkIGxlYWQgdG8gdGhlIHNhbWUgaW5zbiBhY2Nlc3NpbmcgZGlmZmVyZW50IGN0eA0K PiAgwqBvZmZzZXRzIHdpdGggZGlmZmVyZW50IGZpeHVwcyBuZWVkZWQg4oCUIGNhbid0IGJlIGRv bmUuDQo+IA0KPiAtRWQNCj4gDQo=