[arch-general] Hardware portal
Hi, Good news for everyone interested in Linux-compatibility and reliability of hardware! The Linux-Hardware.org database has been divided into a set of databases, one per each Linux distro. You can now select your favorite distro on the front page: https://linux-hardware.org/?d=Arch In this mode you'll not see data collected from other Linux distros. One can submit computer hardware info to the database automatically by AppImage, Snap, Flatpak, Docker or native package: https://github.com/linuxhw/hw-probe#install Enjoy!
Re: [arch-general] Reliability test for hard drives and SSD
03.03.2018, 10:21, "Andrey Ponomarenko via arch-general" : > Hi there! > > Good news for all interested in hardware compatibility and reliability. > > I've started a new project to estimate reliability of hard drives and SSD in > real-life conditions based on the SMART data reports collected by Linux users > in the Linux-Hardware.org database since 2014. The initial data (SMART > reports), analysis methods and results are publicly shared in a new github > repository: https://github.com/linuxhw/SMART. Everyone can contribute to the > report by uploading probes of their computers by the hw-probe tool! > > The primary aim of the project is to find drives with longest "power on > hours" and minimal number of errors. The following formula is used to measure > reliability: Power_On_Hours / (1 + Number_Of_Errors), i.e. time to the first > error/between errors. > > Please be careful when reading the results table. Pay attention not only to > the rating, but also to the number of checked model samples. If rating is > low, then look at the number of power-on days and number of errors occurred. > New drive models will appear at the end of the rating table and will move to > the top in the case of long error-free operation. Hi, I've just built an Arch Linux package for hw-probe. See https://github.com/linuxhw/hw-probe/blob/master/INSTALL.md#install-on-arch-linux. The command to replenish the database: sudo hw-probe -all -upload One can also use a lightweight all-in-one AppImage w/o the need to install anything to the system: https://github.com/linuxhw/hw-probe#appimage Thank you.
[arch-general] List of devices with poor Linux compatibility
Hello, A new open project has been created to collect the list of computer hardware devices with poor Linux compatibility based on the Linux-Hardware.org data: https://github.com/linuxhw/HWInfo There are about 29 thousands of depersonalized hwinfo reports (https://github.com/openSUSE/hwinfo) in the repository from Linux-powered computers in various configurations. The device is included into the list of poorly supported devices if there is at least one user probe in which the driver for this device was not found. The column 'Missed' indicates the percentage of such probes. If the number is small, it means that the driver was added in newer versions of the kernel. In this case we show minimal version of the Linux kernel in which the driver was present. Devices are divided into categories. For each category we calculate the ratio of poorly supported devices to the total number of devices tested in this category. Everyone can contribute to this repository by uploading probes of their computers by the hw-probe tool: https://github.com/linuxhw/hw-probe Thanks to all for attention and new computer probes!
[arch-general] Reliability test for hard drives and SSD
Hi there! Good news for all interested in hardware compatibility and reliability. I've started a new project to estimate reliability of hard drives and SSD in real-life conditions based on the SMART data reports collected by Linux users in the Linux-Hardware.org database since 2014. The initial data (SMART reports), analysis methods and results are publicly shared in a new github repository: https://github.com/linuxhw/SMART. Everyone can contribute to the report by uploading probes of their computers by the hw-probe tool! The primary aim of the project is to find drives with longest "power on hours" and minimal number of errors. The following formula is used to measure reliability: Power_On_Hours / (1 + Number_Of_Errors), i.e. time to the first error/between errors. Please be careful when reading the results table. Pay attention not only to the rating, but also to the number of checked model samples. If rating is low, then look at the number of power-on days and number of errors occurred. New drive models will appear at the end of the rating table and will move to the top in the case of long error-free operation. Thanks to ROSA, Arch, Fedora, Ubuntu, Debian, Mint, openSUSE, Gentoo users and others who had made this work possible by contribution to the database!
[arch-general] ABI Navigator — a project to search for binary symbols
Hello, I'd like to present a new project called "ABI Navigator" to search for binary symbols (functions, methods, global data, etc.) in open-source libraries: https://abi-laboratory.pro/index.php?view=navigator The project allows to find out in which versions of libraries some symbol is defined, added, removed or changed. The data is reused from the ABI Tracker project (238 libraries and 0.9 million symbols currently): https://abi-laboratory.pro/tracker/ Example for symbol gst_stream_new from libgstreamer.so (GStreamer): https://abi-laboratory.pro/index.php?view=navigator=gst_stream_new The project aims to help Linux developers and maintainers to resolve issues with missed symbols and navigate through the reports in the ABI Tracker. Have you ever encountered the "undefined reference" error or want to know whether the symbol is _stable_ enough to import by your code? Try to find it in the ABI Navigator! Enjoy!
Re: [arch-general] [arch-dev-public] x264 and ffmpeg rebuild
Hello, I've added a source compatibility report generated by the ABI Compliance Checker tool here to be used along with the mentioned binary compatibility report: http://upstream-tracker.org/compat_reports/ffmpeg/0.10.3_to_0.11/src_compat_report.html combined report: http://upstream-tracker.org/compat_reports/ffmpeg/0.10.3_to_0.11/compat_report.html and also added the latest upstream scm (Git) version of ffmpeg to the tracker: http://upstream-tracker.org/versions/ffmpeg.html The website http://upstream-tracker.org provides some information about changed headers. http://upstream-tracker.org/compat_reports/ffmpeg/0.10.3_to_0.11/abi_compat_report.html Then again I don't know which struct/function changed. I have tried to rebuild some stuff for [community] and I think posting patches would be useful. So we can spot general struct / function changes: -- Andrey Ponomarenko, ROSA Lab.
[arch-general] new upstream tracker (linuxtesting.org)
Hello, I'm from ISPRAS and we have created an experimental system for monitoring and analyzing of upstream libraries development. It may be helpful for analyzing risks of updating one of the distribution components (shared libraries). The web page of upstream-tracker is: http://linuxtesting.org/upstream-tracker/ It now includes ABI changes analysis and shallow API test results for several versions of 60 popular open source libraries. Any bugs or feature requests are welcome. Thanks. -- Andrey Ponomarenko Linux Verification Center, ISPRAS web:http://www.linuxtesting.org
Re: [arch-general] unit test generator for shared C/C++ library API
Thanks, PKGBUILD is correct, except for the last line in the install section. I suppose script should be installed without .pl suffix: install $srcdir/$pkgname-$pkgver/api-sanity-autotest.pl $pkgdir/usr/bin/api-sanity-autotest Brendan Long wrote: I looked at the download to see how hard this would be, and all it is is the license (GPL) and a perl script. Does the package just need to copy the perl script to /usr/bin? If so, I've attached a PKGBUILD and I can upload it to the AUR if it's correct. On 02/16/2010 10:21 AM, kludge wrote: d.i.y: http://wiki.archlinux.org/index.php/Creating_Packages On 02/16/2010 11:03 AM, Andrey Ponomarenko wrote: Dear colleagues, Linux Verification Center at the Institute for System Programming of RAS and the Linux Foundation have released a free unit test generator for shared C/C++ library API. It helps to quickly generate simple (sanity or shallow-quality) tests for all functions from the library API using their signatures and data type definitions straight from the library header files. The quality of generated tests allows to check absence of critical errors in simple use cases and can be improved by involving of highly reusable specialized types for the library. This tool can execute generated tests and detect all kinds of emitted signals, early program exits, program hanging and specified requirement failures. It can be considered as a tool for low-cost sanity checking of library API or as a powerful test development framework. Also it supports universal Template2Code format of tests, random test generation mode and other useful features. This tool is free software: you can redistribute it and/or modify it under the terms of the GNU GPLv2. We suppose this tool can be very useful for shared library developers and recommend it for including to Arch Linux. For more information, please see: http://ispras.linux-foundation.org/index.php/API_Sanity_Autotest Andrey Ponomarenko Linux Verification Center at the Institute for System Programming of RAS
[arch-general] unit test generator for shared C/C++ library API
Dear colleagues, Linux Verification Center at the Institute for System Programming of RAS and the Linux Foundation have released a free unit test generator for shared C/C++ library API. It helps to quickly generate simple (sanity or shallow-quality) tests for all functions from the library API using their signatures and data type definitions straight from the library header files. The quality of generated tests allows to check absence of critical errors in simple use cases and can be improved by involving of highly reusable specialized types for the library. This tool can execute generated tests and detect all kinds of emitted signals, early program exits, program hanging and specified requirement failures. It can be considered as a tool for low-cost sanity checking of library API or as a powerful test development framework. Also it supports universal Template2Code format of tests, random test generation mode and other useful features. This tool is free software: you can redistribute it and/or modify it under the terms of the GNU GPLv2. We suppose this tool can be very useful for shared library developers and recommend it for including to Arch Linux. For more information, please see: http://ispras.linux-foundation.org/index.php/API_Sanity_Autotest Andrey Ponomarenko Linux Verification Center at the Institute for System Programming of RAS
Re: [arch-general] ABI compliance checker
Gerardo Exequiel Pozzi wrote: Roman Kyrylych wrote: On Fri, Aug 7, 2009 at 01:16, Gerardo Exequiel Pozzivmlinuz...@yahoo.com.ar wrote: Andrey Ponomarenko wrote: Colleagues, I'm software engineer from Institute for System Programing of Russian Academy of Sciences and we are developing a free lightweight tool for checking backward/forward binary compatibility of shared C/C++ libraries in OS Linux. It checks interface signatures and data type definitions in two library versions (headers and shared objects) and searches ABI changes that may lead to incompatibility. We have released 1.1 version of this tool and we'd like you to consider its usefulness for your project. The wiki-page with the latest release of binary compatibility checker is http://ispras.linux-foundation.org/index.php/ABI_compliance_checker This sound really very good! At first when I read your post, I thought it was possible to verify the compatibility without source, ie directly between the binaries, but I see that this is not possible. This only do the check based on the source plus some xml library descriptors. The requirement of special XML files limits its usage IMHO. Do you have any descriptors already available for some libraries? Use -d option to generate descriptor template and fill it then. It is necessary to fill only two sections: paths to headers files and paths to shared objects. No, I played with the program after reading the documentation and do not serve to me what I wanted: check binary compatible with the information that can be drawn from the ELF and only that. I think that as said the documentation is more focused for developers (specially for lib devs), not for packagers ;) You are right. This tool was developed mainly for upstream library developers. It need shared objects along with header files to check ABI changes. Without header files it is impossible to determine public interfaces. Without shared objects it is impossible to determine added/withdrawn interfaces.
[arch-general] ABI compliance checker
Colleagues, I'm software engineer from Institute for System Programing of Russian Academy of Sciences and we are developing a free lightweight tool for checking backward/forward binary compatibility of shared C/C++ libraries in OS Linux. It checks interface signatures and data type definitions in two library versions (headers and shared objects) and searches ABI changes that may lead to incompatibility. We have released 1.1 version of this tool and we'd like you to consider its usefulness for your project. The wiki-page with the latest release of binary compatibility checker is http://ispras.linux-foundation.org/index.php/ABI_compliance_checker Andrey Ponomarenko
