C ++ Engineering Practice (4): Binary Compatibility

Source: Internet
Author: User
Tags coding standards

Chen Shuo (giantchen_at_gmail)

Blog.csdn.net/solstice

This article mainly discusses the Linux x86/x86-64 platform, and occasionally uses Windows as a negative teaching material.

The binary compatibility of C/C ++ has multiple meanings. This article mainly discusses whether executable files are affected by the upgrade of header files and library files, I call it the Abi (Application binary Interface) of Library (mainly shared library, that is, dynamic link library ). As for the ABI of the compiler and the operating system, I will leave it to the next article to talk about C ++ standards and practices.Article.

What is binary compatibility?

Before interpreting this definition, let's take a look at a historical problem in UNIX/C: the value of the flags parameter of open. The prototype of the open (2) function is

Int open (const char * pathname, int flags );

Among them, flags has three values: o_rdonly, o_wronly, and o_rdwr.

Contrary to the intuition of ordinary people, these values are notBy bit or(Bitwise-or), that is, o_rdonly | o_wronly! = O_rdwr. To open a file in read/write mode, you must use o_rdwr instead of o_rdonly | o_wronly ). Why? Because the values of o_rdonly, o_wronly, and o_rdwr are 0, 1, and 2 respectively. They do not meetBy bit or.

So why has C language not corrected this deficiency since its birth? For example, o_rdonly, o_wronly, and o_rdwr are defined as 1, 2, and 3 respectively, so that o_rdonly | o_wronly = o_rdwr is intuitive. These three values are both macro-defined and do not need to be modified.Source codeYou only need to modify the system header file.

This will compromise the binary compatibility. For compiled executable files, the parameters that call open (2) are written to death. Changing the header file does not affect the compiled executable files. For example, this executable file will call open (path, 1)WriteFile, and in the new regulation, this indicatesReadFile,ProgramIt's confusing.

The preceding example shows that if the function library is provided in the shared library mode, the header file and library file cannot be easily modified; otherwise, the existing binary executable files are easily damaged, or other libraries that use this shared library. The system call of the operating system can be seen as the interface between the kernel and the user space. In this sense, the kernel can also be used as the shared library. You can upgrade the kernel from 2.6.30 to 2.6.35, instead of re-compiling all user-state programs.

The so-called "binary compatibility" refers to the upgrade (or bug fix) of the library file, you do not have to re-compile the executable files of the database or other library files of the database. The functions of the program are not damaged.

See related terms of qt faq: http://developer.qt.nokia.com/faq/answer/you_frequently_say_that_you_cannot_add_this_or_that_feature_because_it_woul

In Windows, DLL hell is an evil name. For example, there are a bunch of DLL in MFC, mfc40.dll, mfc42.dll, mfc71.dll, mfc80.dll, and mfc90.dll. This is an essential issue of the dynamic link library and cannot be blamed on MFC.

Which situations will the ABI of the database be damaged?

How can we determine whether a change is Binary compatible? This is directly related to the implementation method of C ++. Although the C ++ standard does not specify the ABI of C ++, almost all mainstream platforms have clear or de facto Abi standards. For example, arm has Eabi, Intel itanium has http://www.codesourcery.com/public/cxx-abi/abi.html,x86-64 has imitation itanium Abi, both of them have clearly specified Abi, and so on. X86 is an exception. It only has the actual Abi. For example, Windows is Visual C ++, Linux is g ++ (G ++'s Abi has multiple versions, currently, the latest version is g ++ 3.4. Intel's c ++ compiler must also be generated according to the Visual C ++ or G ++ Abi.CodeOtherwise, it cannot be compatible with other parts of the system.

Main content of C ++ ABI:

    • Function parameters, for example, the x86-64 uses registers to pass the first four Integer Parameters of the Function
    • The call method of the virtual function, usually vptr/vtbl, is then called using vtbl [offset]
    • Memory layout of struct and class, access data members through offset
    • Name mangling
    • Rtti and Exception Handling implementation (this article does not consider Exception Handling below)

C/C ++ exposes the usage of the dynamic library through the header file. This "usage method" is mainly for the compiler, And the compiler generates Binary Code accordingly, then, the executable files and dynamic libraries are bound together through the loader during running. How to determine whether a change is Binary compatible depends on whether the "usage instructions" exposed by the header file can be compatible with the actual usage of the new dynamic library. Because the new library must have a new header file, but the existing binary executable file still calls the dynamic library according to the old header file.

Here are some examples of source code compatibility But binary code incompatibility.

    • Add a default parameter to the function. This parameter cannot be passed to an existing executable file.
    • Adding a virtual function will change the arrangement in vtbl. (Do not consider "Add at the end" as your class may have been inherited .)
    • Add the default template type parameter. For example, if Foo <t> is changed to foo <t, alloc = alloc <t>, this will change the name mangling.
    • Change the enum color {Red = 3}; to Red = 4. This will cause dislocation. Of course, because Enum automatically arranges values, it is not safe to add Enum items unless they are added at the end.

Adding data members to the class bar makes sizeof (bar) larger and changes to the offset of internal data members. Is this safe? It is usually not safe, but there are exceptions.

    • If the customer code contains a new bar, it is certainly not safe because the number of bytes of the new bar is not enough. On the contrary, if the library returns bar * through factory (and destroys objects through factory) or directly returns shared_ptr <bar>, the client does not need sizeof (bar), it may be safe. In the same way, defining Bar directly; objects (whether a function is a local object or a member of other classes) also have binary compatibility problems.
    • If the customer Code contains bar * pbar; pbar-> membera = xx;, it is certainly not safe, because the offset of the new bar of membera may change. On the contrary, if only the member functions are used to access the data members of the object, the client does not need to use the offsets of data member, which may be safe.
    • If the customer calls pbar-> setmembera (XX) and bar: setmembera () is an inline function, it is definitely not safe, because the offset has been included in the client's binary code by inline. If setmembera () is an outline function, its implementation is in the shared library and will be updated with bar updates, it may be safe.

Is it safe to only use the header-only library file? Not necessarily. If your program uses boost 1.36.0 and the library you depend on is 1.33.1 during compilation, your program and the library will not work normally. Because the boost: function templates of 1.36.0 and 1.33.1 have different parameter types, one of which has allocator.

Here there is a blacklist, the column here is certainly not compatible with the level-2 system, not listed may also be binary incompatible, see the KDE documentation: http://techbase.kde.org/Policies/Binary_Compatibility_Issues_With_C%2B%2B

Which of the following are mostly safe?

As I mentioned earlier, "It cannot be modified easily" implies that some changes are mostly safe. Here we have a whitelist. You are welcome to add more content.

As long as the library changes do not affect the correctness of the binary code of the existing executable files, it is safe. We can deploy a new library to benefit the existing binary program.

    • Add new class
    • Add a non-virtual member function
    • Modify the name of a data member because the generated binary code is accessed by offset. Of course, this will cause source code incompatibility.
    • There are many more. I will not list them one by one.

Please add

Negative textbook: COM

In C ++, the use of virtual functions as an interface is basically the same as binary compatibility. Specifically, the class containing only virtual functions (called Interface Class) is used as the interface of the library. Such an interface is stiff and cannot be modified once released.

For example, for M $ COM, both DirectX and MSXML are released as COM components. Let's take a look at its versioned interfaces ):

    • Idirect3d7, idirect3d8, idirect3d9, id3d10 *, id3d11 *
    • Ixmldomdocument, ixmldomdocument2, ixmldomdocument3

In other words, every time a new version is released, a new interface class is introduced, instead of being expanded on the existing interface. In this way, the existing Code cannot be compatible, and the client code must be rewritten.

Let's look at the C language. c/POSIX has gradually added many new functions over the years. At the same time, the existing code can run well without modification. If you want to use these new functions, you can use them directly without modifying the existing code. On the contrary, to use the ixmldomdocument3 function in COM, You have to upgrade all the existing code from ixmldomdocument to ixmldomdocument3, which is ironic.

Tip: If you want to use API-oriented programming in C ++, you can test binary compatibility.

Solution: use static links

This is King. In the distributed system, the use of static links also brings about the advantages of deployment. As long as the executable file is put on the machine, it can run without considering the libraries it depends on. Currently, muduo uses static links.

Control Compatibility through version management of dynamic libraries

This requires you to carefully check the binary compatibility of each change and make a release plan. For example, 1.0.x is Binary compatible, 1.1.x is Binary compatible, whereas 1.0.x and 1.1.x are binary incompatible. As mentioned in "Programmer self-cultivation", the naming of the so file and the binary compatibility are worth reading.

Use the pimpl technique to compile the Firewall

Only the non-Virtual Interface is exposed in the header file, and the class size is fixed to sizeof (impl *). In this way, you can update the library file without affecting the executable file. Of course, there is an additional indirect property to do so, which may cause some performance loss. See exceptional C ++ related terms and C ++ coding standards 101.

How does Java respond?

Java actually delays the linking step of C/C ++ until class loading. There are no problems such as "cannot add virtual functions" and "cannot modify data member. In Java, interface-oriented programming is far more common and natural than C ++, and there is no "stiff interface" mentioned above.

(To be continued)

Related Article

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.