Formális verifikáció a farkas, a kecske és a káposzta feladat példájával

TrueOS projekt bejelentette kísérleti verziók teszteléséről FreeBSD 12-STABLE és FreeBSD 13-CURRENT, amelyben a monolitikus alaprendszert összekapcsolt csomagok halmazává alakították. A build-ek a projekt keretein belül fejlődnek pkgbase, amely eszközöket biztosít a pkg hivatalos csomagkezelő használatához a csomagok, amelyek az alaprendszert képezik, kezelésére.

A csomagok különálló formában történő biztosítása jelentősen egyszerűsíti az alaprendszer frissítésének folyamatát, és lehetővé teszi a pkg egységes utilitás használatát, mind a további alkalmazások (portok) frissítéséhez, mind az alaprendszer frissítéséhez, beleértve a felhasználói tér és a kernel komponenseit. A projekt lehetőséget ad arra is, hogy a korábban mereven meghatározott kereteket az alaprendszer és a portok/csomagrepo között simítsák, miközben a frissítés során figyelembe veszik a harmadik féltől származó programok kompatibilitását a fő környezet komponenseivel és a kernellel.

A Pkgbase az alaprendszert az alábbi csomagokra osztja:

  • userland (meta-csomag, amely az alaprendszer felhasználói tér komponenseit tartalmazó összes csomagot felöleli)
  • userland-base (alapvető végrehajtható fájlok és könyvtárak)
  • userland-docs (rendszerkézikönyvek)
  • userland-debug (hibakeresési fájlok, amelyek a /usr/lib/debug könyvtárban találhatók)
  • userland-lib32 (32 bites alkalmazásokkal való kompatibilitáshoz szükséges könyvtárak);
  • userland-tests (tesztelési keretrendszerek)
  • kernel (a GENERIC konfigurációjú alap kernel)
  • kernel-debug (hibakeresési üzemmódban felépített kernel) Witness)
  • kernel-symbols (a kernel hibakereséséhez szükséges szimbólumok, amelyek a /usr/lib/debug könyvtárban találhatók)
  • kernel-debug-symbols (hibakeresési szimbólumok, amikor a kernelt Witness módban építik)

Továbbá számos csomagot biztosítanak a forráskódokból való építéshez: src (az alaprendszer kódja, amely a /usr/src könyvtárba települ), buildworld (a /usr/dist/world.txz állomány buildworld naplóval), buildkernel (a /usr/dist/kernel.txz állomány buildkernel naplóval) és buildkernel-debug (a /usr/dist/kernel-debug.txz állomány kernel hibakeresési naplóval).

A 13-CURRENT verzió csomagjait hetente frissítik, a 12-STABLE verzió csomagjait pedig 48 óránként. Ha a javasolt alapértelmezett konfigurációs fájlok módosulnak, a frissítés telepítése során ezek egyesítése történik a helyi változtatásokkal a /etc mappában. Ha olyan konfliktus lép fel, amely megakadályozza a beállítások egyesítését, a helyi változatot hagyják meg, a javasolt módosítások pedig „.pkgnew” kiterjesztésű fájlokban mentésre kerülnek a későbbi kézi elemzéshez (a konfliktusos fájlok listájának megjelenítéséhez a „find /etc | grep ‘.pkgnew$'” parancsot használhatja).

Forrás: opennet.ru

Megbízható hosting vásárlása weboldalak számára, DDoS védelemmel, VPS VDS szerverek. 🔥 Megbízható webtárhely vásárlása DDoS védelemmel, VPS VDS szerverek | ProHoster