P4 პროგრამირების ენა

P4 არის პროგრამირების ენა, რომელიც შექმნილია პაკეტების მარშრუტიზაციის წესების დასაპროგრამებლად. ზოგადი დანიშნულების ენებისგან განსხვავებით, როგორიცაა C ან Python, P4 არის დომენის სპეციფიკური ენა, მრავალი დიზაინით, რომელიც ოპტიმიზებულია ქსელის მარშრუტიზაციისთვის.

P4 არის ღია კოდის ენა, რომელიც ლიცენზირებულია და ინახება არაკომერციული ორგანიზაციის მიერ, სახელწოდებით P4 Language Consortium. მას ასევე მხარს უჭერს Open Networking Foundation (ONF) და Linux Foundation (LF), ორი უმსხვილესი ქოლგა ორგანიზაცია ღია კოდის ქსელის პროექტებისთვის.
ენა თავდაპირველად შეიქმნა 2013 წელს და აღწერილია 2014 წელს SIGCOMM CCR ნაშრომში სათაურით "პროტოკოლის დამოუკიდებელი, პაკეტების მარშრუტირების პროცესორის პროგრამირება".

დაარსების დღიდან P4 გაიზარდა და განვითარდა ექსპონენტურად, სწრაფად გახდა სტანდარტი ქსელური მოწყობილობების მიერ პაკეტების გადაცემის აღწერისთვის, მათ შორის ქსელური გადამყვანები, კონცენტრატორები და მარშრუტიზატორები.

„SDN-მა გარდაქმნა ქსელის ინდუსტრია და P4 აჰყავს SDN-ს შემდეგ საფეხურზე პროგრამირებადობის მარშრუტიზაციამდე მიყვანით“, - თქვა გურუ პარულკარმა, Open Networking Foundation-ის აღმასრულებელმა დირექტორმა.

P4 ენა თავდაპირველად შეიქმნა Google-ის, Intel-ის, Microsoft Research-ის, Barefoot-ის, Princeton-ისა და Stanford-ის ინჟინრებისა და მკვლევართა ჯგუფის მიერ. მიზანი მარტივი იყო: შექმენით ადვილად გამოსაყენებელი ენა, რომელსაც პროგრამული უზრუნველყოფის შემქმნელს შეეძლო ერთ დღეში ისწავლოს და გამოიყენოს ზუსტად იმის აღსაწერად, თუ როგორ იგზავნება პაკეტები ქსელებში.

თავიდანვე, P4 შეიქმნა ისე, რომ იყოს სამიზნე დამოუკიდებელი (ანუ P4-ში დაწერილი პროგრამა შეიძლება შედგენილიყო უცვლელად, რათა იმუშაოს სხვადასხვა სამიზნეებზე, როგორიცაა ASIC, FPGA, CPU, NPU და GPU).

ენა ასევე არის პროტოკოლისგან დამოუკიდებელი (მაგ., P4 პროგრამას შეუძლია აღწეროს არსებული სტანდარტული პროტოკოლები ან გამოყენებული იქნას ახალი მორგებული მისამართის რეჟიმების დასაზუსტებლად).

ინდუსტრიაში P4 გამოიყენება მოწყობილობის პროგრამირებისთვის. შესაძლოა, მომავალში Internet-RFC და IEEE სტანდარტები ასევე შეიცავდეს P4 სპეციფიკაციას.

P4 შეიძლება გამოყენებულ იქნას როგორც პროგრამირებადი, ასევე ფიქსირებული ფუნქციის მოწყობილობებისთვის. მაგალითად, ის გამოიყენება გადამრთველის მილსადენის ქცევის ზუსტად ჩასაწერად Switch Abstraction Interface (SAI) API-ებში, რომლებიც გამოიყენება ღია კოდის SONiC switch OS-ში. P4 ასევე გამოიყენება ONF Stratum პროექტში გადართვის ქცევის აღსაწერად სხვადასხვა ფიქსირებულ და პროგრამირებად მოწყობილობებზე.

პირველად, გადამრთველისა და ქსელის ადაპტერების ქცევის აღწერა საშუალებას გაძლევთ შექმნათ მთელი ქსელის ზუსტი შესრულებადი მოდელი განლაგებამდე. ღრუბლის დიდ პროვაიდერებს შეუძლიათ ქსელის ტესტირება და გამართვა მთლიანად პროგრამული უზრუნველყოფის გამოყენებით, რაც მნიშვნელოვნად ამცირებს ლაბორატორიაში თავსებადობის ტესტირების დროსა და ღირებულებას ძვირადღირებული აპარატურის საჭიროების გარეშე.

P4-ის გამოყენებით, ქსელური აღჭურვილობის გამყიდველებს შეუძლიათ ელოდონ საერთო მარშრუტიზაციის ქცევას ყველა პროდუქტში, რაც საშუალებას იძლევა სატესტო ინფრასტრუქტურის ხელახლა გამოყენება, მართვის პროგრამული უზრუნველყოფის შემუშავების გამარტივება და, საბოლოოდ, თავსებადობის უზრუნველყოფა.

რა თქმა უნდა, P4 შეიძლება გამოყენებულ იქნას პროგრამების დასაწერად, რომლებიც აღწერს მარშრუტის სრულიად ახალ გზებს. მაგალითად, P4 ფართოდ გამოიყენება ტელემეტრიისა და გაზომვებისთვის მონაცემთა ცენტრებში, საწარმოთა და სერვისის პროვაიდერების ქსელებში.

კვლევითი საზოგადოებაც გაძლიერდა. რამდენიმე წამყვანმა აკადემიურმა ქსელის კვლევითმა ჯგუფმა გამოაქვეყნა საინტერესო ახალი აპლიკაციები P4 პროგრამებზე დაფუძნებული, მათ შორის დატვირთვის დაბალანსება, კონსენსუსის პროტოკოლები და ძირითადი მნიშვნელობების ქეშირება. იქმნება ახალი პროგრამირების პარადიგმა, ინოვაცია გადადის აპარატურიდან პროგრამულ უზრუნველყოფაზე, რაც საშუალებას აძლევს მრავალი მოულოდნელი, ახალი და გენიალური იდეის გაჩენას.

დეველოპერთა საზოგადოებამ მნიშვნელოვანი წვლილი შეიტანა კოდის შემუშავებაში, მათ შორის შემდგენელები, მილსადენები, ქცევითი მოდელები, API, ტესტის ჩარჩოები, აპლიკაციები და სხვა. კომპანიებს, როგორებიცაა Alibaba, AT&T, Barefoot, Cisco, Fox Networks, Google, Intel, IXIA, Juniper Networks, Mellanox, Microsoft, Netcope, Netronome, VMware, Xilinx და ZTE გამოყოფილი დეველოპერები; უნივერსიტეტებიდან, მათ შორის BUPT, Cornell, Harvard, MIT, NCTU, Princeton, Stanford, Technion, Tsinghua, UMass და USI; და ღია კოდის პროექტები, მათ შორის CORD, FD.io, OpenDaylight, ONOS, OvS, SAI და Stratum ხაზს უსვამს იმ ფაქტს, რომ P4 არის დამოუკიდებელი სათემო პროექტი.

კონტროლერების ტიპიური თაობა P4 ენისთვის:

განაცხადის პერსპექტივები

ვინაიდან ენა განკუთვნილია აპლიკაციების მარშრუტიზაციისთვის, მოთხოვნების ჩამონათვალი და დიზაინის ვარიანტები განსხვავებულია ზოგადი დანიშნულების პროგრამირების ენებთან შედარებით. ენის ძირითადი მახასიათებლებია:

1. დამოუკიდებლობა მიზნობრივი განხორციელებისგან;
2. გამოყენებული პროტოკოლ(ებ)ის დამოუკიდებლობა;
3. ველის ხელახალი კონფიგურაცია.

დამოუკიდებლობა მიზნობრივი განხორციელებისგან

P4 პროგრამები შექმნილია იმისთვის, რომ დამოუკიდებლად განხორციელდეს, რაც იმას ნიშნავს, რომ მათი შედგენა შესაძლებელია მრავალი სხვადასხვა ტიპის აღმასრულებელი ძრავისთვის, როგორიცაა ზოგადი დანიშნულების პროცესორები, FPGA, სისტემა ჩიპებზე, ქსელური პროცესორები და ASIC. ამ სხვადასხვა ტიპის მანქანები ცნობილია როგორც P4 სამიზნეები და თითოეული სამიზნე მოითხოვს შემდგენელს, რომ გადაიყვანოს P4 წყაროს კოდი სამიზნე გადამრთველ მოდელად. შემდგენელი შეიძლება ჩაშენდეს სამიზნე მოწყობილობაში, გარე პროგრამულ უზრუნველყოფაში ან თუნდაც ღრუბლოვან სერვისში. იმის გამო, რომ P4 პროგრამების მრავალი თავდაპირველი სამიზნე იყო მარტივი პაკეტების გადართვა, ძალიან ხშირია ტერმინის "P4 გადართვის" მოსმენა, მიუხედავად იმისა, რომ "P4 სამიზნე" უფრო ზუსტია.

გამოყენებული პროტოკოლ(ებ)ის დამოუკიდებლობა

P4 არის პროტოკოლისგან დამოუკიდებელი. ეს ნიშნავს, რომ ენას არ აქვს ძირითადი მხარდაჭერა ჩვეულებრივი პროტოკოლებისთვის, როგორიცაა IP, Ethernet, TCP, VxLAN ან MPLS. ამის ნაცვლად, P4 პროგრამისტი აღწერს პროგრამაში საჭირო პროტოკოლების სათაურის ფორმატებსა და ველების სახელებს, რომლებიც, თავის მხრივ, ინტერპრეტირებული და დამუშავებულია შედგენილი პროგრამის და სამიზნე მოწყობილობის მიერ.

ველის ხელახალი კონფიგურაცია

პროტოკოლის დამოუკიდებლობა და აბსტრაქტული ენის მოდელი იძლევა ხელახლა კონფიგურაციის საშუალებას - P4 სამიზნეებს უნდა შეეძლოთ შეცვალონ პაკეტის დამუშავება სისტემის განლაგების შემდეგ. ეს შესაძლებლობა ტრადიციულად ასოცირდება მარშრუტიზაციასთან ზოგადი დანიშნულების პროცესორების ან ქსელის პროცესორების მეშვეობით, ვიდრე ფიქსირებული ფუნქციის ინტეგრირებული სქემებით.

მიუხედავად იმისა, რომ ენაში არაფერია, რაც ხელს შეუშლის პროტოკოლების კონკრეტული ნაკრების მუშაობის ოპტიმიზაციას, ეს ოპტიმიზაცია უხილავია ენის ავტორისთვის და საბოლოოდ ამცირებს სისტემის და მიზნების მოქნილობას და მათ ხელახლა კონფიგურაციას.

ენის ეს მახასიათებლები თავდაპირველად ჩამოაყალიბეს მისმა შემქმნელებმა ქსელურ ინფრასტრუქტურაში მის ფართო გამოყენებაზე.

ენა უკვე გამოიყენება ბევრ კომპანიაში:

1) ჰიპერმასშტაბიანი მონაცემთა ცენტრები;

ჩინური კომპანია Tencent არის მსოფლიოში უმსხვილესი საინვესტიციო კომპანია და ერთ-ერთი უმსხვილესი სარისკო კაპიტალის ფირმა. Tencent-ის შვილობილი კომპანიები, როგორც ჩინეთში, ასევე მსოფლიოს სხვა ქვეყნებში, სპეციალიზირებულნი არიან მაღალტექნოლოგიური ბიზნესის სხვადასხვა სფეროებში, მათ შორის სხვადასხვა ინტერნეტ სერვისებში, ხელოვნური ინტელექტის სფეროში და ელექტრონული გართობის განვითარებაში.

P4 და პროგრამირებადი მარშრუტიზაცია არის მოწინავე ტექნოლოგიები, რომლებიც გამოიყენება კომპანიის ქსელის არქიტექტურაში.

როგორც ერთ-ერთი შემქმნელი, Google ამაყობს P4-ის სწრაფ მიღებაზე ქსელის ინდუსტრიაში და, კერძოდ, მონაცემთა ცენტრის არქიტექტურულ დიზაინში.

2) კომერციული კომპანიები;

Goldman Sachs სარგებლობს ღია კოდის საზოგადოებასთან თანამშრომლობით და საერთო სტანდარტებისა და გადაწყვეტილებების შემუშავებით, რათა განაახლოს ქსელის ინფრასტრუქტურა და უზრუნველყოს უკეთესი გადაწყვეტილებები კლიენტებისთვის.

3) წარმოება;

მთელი ქსელური ინდუსტრია ისარგებლებს ისეთი ენით, როგორიცაა P4, რომელიც ცალსახად განსაზღვრავს გადაგზავნის ქცევას. Cisco-ს ასევე სჯერა, რომ თავისი პროდუქტის ხაზები ამ ენაზე გამოიყენოს.

Juniper Networks-მა ჩართო P4 და P4 Runtime უამრავ პროდუქტში და უზრუნველყოფს პროგრამულ წვდომას Juniper-ის ჩაშენებულ პროცესორზე და მის პროგრამულ კოდზე.

Ruijie Networks არის P4-ის ძლიერი მხარდამჭერი და სარგებლობა, რომელიც მას მოაქვს ქსელებში. P4-ით კომპანიას შეუძლია შექმნას და მიაწოდოს საუკეთესო გადაწყვეტილებები მომხმარებელთა ფართო სპექტრს.

4) სატელეკომუნიკაციო პროვაიდერები;

AT&T იყო P4-ის ადრეული მიმღები, ერთ-ერთი პირველი, ვინც გამოიყენა P4, რათა განესაზღვრა ქცევა, რომელიც სურდა ენახა თავის ქსელებში და გამოიყენა P4 პროგრამირებადი გადამგზავნი მოწყობილობები თავის ქსელში.

Deutsche Telekom-ში ენა გამოიყენება საკვანძო ქსელის ფუნქციების პროტოტიპისთვის, როგორც Access 4.0 პროგრამის ნაწილი.

5) ნახევარგამტარული მრეწველობა;

ენამ საშუალება მისცა Barefoot-ს დაენერგა ახალი პარადიგმა პროგრამული უზრუნველყოფის შესაძლებლობების ქსელის მარშრუტიზაციის სიბრტყეში მიწოდებისთვის.

Xilinx იყო P4.org-ის ერთ-ერთი დამფუძნებელი და აქტიურად იყო ჩართული P4 ენის შემუშავებაში და დანერგა იგი FPGA-ზე დაფუძნებულ პროგრამირებად პლატფორმებში SmartNIC და NFV ტექნიკისთვის, გამოუშვა ერთ-ერთი პირველი P416 შემდგენელი, როგორც SDNet დიზაინის ნაწილი.

6) პროგრამული უზრუნველყოფა.

VMware თვლის, რომ P4 ქმნის უზარმაზარ ენერგიას, ინოვაციებს და საზოგადოებას, რაც იწვევს მნიშვნელოვან და აუცილებელ ტრანსფორმაციას ქსელში. VMware ამ ინდუსტრიის მოძრაობის ნაწილია თავიდანვე, რადგან ინოვაციების ახალი ტალღა განპირობებულია პროგრამულ უზრუნველყოფაზე დაფუძნებული მიდგომებით, რომლებიც აფართოებენ ინფრასტრუქტურის შესაძლებლობებს და ახორციელებენ მას უახლეს პროდუქტებში.

ამრიგად, P4 არის სამიზნე-დამოუკიდებელი და პროტოკოლისგან დამოუკიდებელი პროგრამირების ენა, რომელსაც იყენებენ ინდუსტრია და აკადემია, რათა ცალსახად განსაზღვრონ პაკეტის მარშრუტიზაციის ქცევა, როგორც პროგრამა, რომელიც, თავის მხრივ, შეიძლება შედგეს მრავალი მიზნისთვის. დღეს, სამიზნეები მოიცავს აპარატურულ და პროგრამულ გადამრთველებს, ჰიპერვიზორის გადამრთველებს, NPU, GPU, FPGA, SmartNIC და ASIC.

ენის ძირითადი მახასიათებლები მნიშვნელოვნად აფართოებს მისი გამოყენების ფარგლებს და უზრუნველყოფს მის სწრაფ განხორციელებას ქსელის არქიტექტურაში.

ნაცნობობა

P4 არის ღია პროექტი, ყველა შესაბამისი ინფორმაცია განთავსებულია ვებგვერდზე P4.org

საცავის ბმული https://github.com/p4lang, სადაც შეგიძლიათ მიიღოთ მაგალითი წყაროს კოდი და გაკვეთილები.

Ჩართვა შეერთება Eclipse-სთვის P4 მხარდაჭერით, მაგრამ ჩვენ შეგვიძლია გირჩიოთ P4 სტუდია ფეხშიშველისაგან.

მოდით შევხედოთ ბირთვის მთავარ აბსტრაქციას:

ჰედერების განსაზღვრა — მათი დახმარებით დგინდება პროტოკოლის სათაურები.

სათაურის განმარტება განსაზღვრავს:

• პაკეტის ფორმატების აღწერა და სათაურის ველების სახელები
• ფიქსირებული და ცვლადი დაშვებული ველები

მაგალითად

header Ethernet_h{
    bit<48>  dstAddr;
    bit<48>  srcAddr;
    bit<16>  etherType;
}


header IPv4_h{
    bit<4>  version;
    bit<4>  ihl;
    bit<8>  diffserv;
    bit<16>  totalLen;
    bit<16>  identification;
    bit<3>  flags;
    bit<13>  fragOffset;
    bit<8>  ttl;
    bit<8>  protocol;
    bit<16>  hdrChecksum;
    bit<32>  srcAddr;
    bit<32>  dstAddr;
    varbit<320>  options;
}


პარსერები — მათი ამოცანაა სათაურების გარჩევა.

შემდეგი პარსერის მაგალითი განსაზღვრავს მანქანის საბოლოო მდგომარეობის გადასვლას ერთი საწყისი მდგომარეობიდან ორ საბოლოო მდგომარეობამდე:

parser MyParser(){
 state  start{transition parse_ethernet;}
 state  parse_ethernet{
    packet.extract(hdr.ethernet);
    transition select(hdr.ethernet.etherType){
        TYPE_IPV4: parse_ipv4;
        default: accept;
        }
    }…
}


მაგიდები - შეიცავდეს მანქანის მდგომარეობას, რომელიც აკავშირებს მომხმარებლის გასაღებებს მოქმედებებთან. აქტიურობა - აღწერა, თუ როგორ უნდა მოხდეს პაკეტის მანიპულირება.

ცხრილები შეიცავს მდგომარეობებს (განსაზღვრულია მენეჯმენტის დონეზე) პაკეტის გადაგზავნისთვის, აღწერს Match-Action ერთეულს

პაკეტები ემთხვევა:

• ზუსტი მატჩი
• ყველაზე გრძელი პრეფიქსის დამთხვევა (LPM)
• სამმაგი შესატყვისი (ნიღბვა)

table ipv4_lpm{
    reads{
        ipv4.dstAddr: lpm;
    } actions {
        forward();
    }
}

ყველა შესაძლო მოქმედება წინასწარ უნდა განისაზღვროს ცხრილებში.

მოქმედებები შედგება კოდისა და მონაცემებისგან. მონაცემები მოდის მართვის დონიდან (მაგ. IP მისამართები/პორტის ნომრები). გარკვეული, მარყუჟის გარეშე პრიმიტივები შეიძლება პირდაპირ იყოს მითითებული მოქმედებაში, მაგრამ ინსტრუქციების რაოდენობა უნდა იყოს პროგნოზირებადი. ამრიგად, ქმედებები არ შეიძლება შეიცავდეს რაიმე ციკლს ან პირობით განცხადებებს.

action ipv4_forward(macAddr_t dstAddr, egressSpec_t port){
    standard_metadata.egress_spec = port;
    hdr.ethernet.srcAddr = hdr.ethernet.dstAddr;
    hdr.ethernet.dstAddr = dstAddr;
    hdr.ipv4.ttl = hdr.ipv4.ttl - 1;
}


Match-Action მოდულები — მოქმედებები საძიებო გასაღების შესაქმნელად, ცხრილის ძიება, მოქმედებების შესრულება.

მოდულის ტიპიური მაგალითი ნაჩვენებია სურათზე:

ნაკადის კონტროლი — მიუთითებს თანმიმდევრობით, რომლითაც გამოიყენება Match-Action მოდულები. ეს არის იმპერატიული პროგრამა, რომელიც განსაზღვრავს მაღალი დონის ლოგიკას და Match-Action თანმიმდევრობას. კონტროლის ნაკადი აკავშირებს ყველა ობიექტს კონტროლის დონის განსაზღვრით.

გარე ობიექტები არის კონკრეტული ობიექტები მკაფიოდ განსაზღვრული არქიტექტურით და API ინტერფეისით. მაგალითად, საკონტროლო ჯამის გაანგარიშება, რეგისტრები, მრიცხველები, მრიცხველები და ა.შ.

extern register{
    register(bit<32> size);
    void read(out T result, in bit<32> index);
    void write(in bit<32> index, in T value);
}


extern Checksum16{
  Checksum16();    //constructor
  void clear();    //prepare unit for computation
  void update(in T data);    //add data to checksum
  void remove(in T data);  /remove data from existing checksum
  bit<16> get(); //get the checksum for the data added since last clear
}

მეტამონაცემები - მონაცემთა სტრუქტურები, რომლებიც დაკავშირებულია თითოეულ პაკეტთან.

არსებობს მეტამონაცემების 2 ტიპი:

  მორგებული მეტამონაცემები (ცარიელი სტრუქტურა ყველა პაკეტისთვის)
    რაც გინდა აქ შეგიძლია დადო
    ხელმისაწვდომია მთელ მილსადენზე
    მოსახერხებელია საკუთარი მიზნებისთვის გამოსაყენებლად, მაგალითად, პაკეტის ჰეშის შესანახად

  შიდა მეტამონაცემები - მოწოდებული არქიტექტურით
    შეყვანის პორტი, გამომავალი პორტი განისაზღვრება აქ
    დროის შტამპი, როდესაც პაკეტი იდგა რიგში, რიგის სიღრმე
    multicast ჰეში / multicast queue
    პაკეტის პრიორიტეტი, პაკეტის მნიშვნელობა
    გამომავალი პორტის სპეციფიკაცია (მაგ. გამომავალი რიგი)

P4 შემდგენელი

P4 შემდგენელი (P4C) ქმნის:

1. მონაცემთა სიბრტყის გაშვების დრო
2. API მანქანის მდგომარეობის მართვისთვის მონაცემთა სიბრტყეში

პროგრამული გადამრთველის მაგალითი P4 ენაზე

წყაროს კოდების ჩამოტვირთვა შესაძლებელია საცავიდან.

p4lang/p4c-bm: ქმნის JSON კონფიგურაციას bmv2-ისთვის
p4lang/bmv2: პროგრამული გადამრთველი, რომელსაც ესმის bmv2 ვერსიის JSON კონფიგურაციები

სურათზე ნაჩვენებია პროექტის შედგენის სქემა:

მანიპულაციები ცხრილებით, კითხვის რეგისტრებით, მრიცხველებით:

• table_set_default <table name> <action name> <action parameters>
• table_add <table name> <action name> <match fields> => <action
  parameters> [priority]
• table_delete <table name> <entry handle>

წყაროს კოდი შეიცავს simple_switch_CLI პროგრამას პროგრამული გადამრთველი API-ის მოსახერხებელი გამოყენებისთვის.

შეგიძლიათ ჩამოტვირთოთ ეს და სხვა მაგალითები საცავიდან.

PS ამ ზაფხულის დასაწყისში Intel-მა ხელი მოაწერა შეთანხმებას Barefoot Networks-ის შესაძენად, რათა სწრაფად დააკმაყოფილოს Hyperscale Cloud მომხმარებლების საჭიროებები. როგორც ნავინ შენოიმ (Intel Corporation-ის მონაცემთა ცენტრის აღმასრულებელი ვიცე-პრეზიდენტი და გენერალური მენეჯერი) თქვა, ეს საშუალებას მისცემს Intel-ს უზრუნველყოს უფრო დიდი დატვირთვა და მეტი შესაძლებლობები მონაცემთა ცენტრის მომხმარებლებისთვის.

ჩემი პირადი აზრით, არ უნდა დაგვავიწყდეს, რომ Intel არის ლიდერი FPGA ჩიპების წარმოებაში და აქვს შესანიშნავი Quartus გარემო. ეს ნიშნავს, რომ ჩვენ შეგვიძლია ველოდოთ, რომ Intel-ის მოსვლასთან ერთად, Barefoot არა მხოლოდ გააფართოვებს პროდუქციის ხაზს, არამედ Quartus და P4 Studio მიიღებენ სერიოზულ განახლებებს და დამატებებს Toffino და Toffino 2 ხაზებში.

P4 საზოგადოების ოფიციალური წევრი - კომპანია ფაქტორების ჯგუფი.

წყარო: www.habr.com