Imported Upstream version 16.3.2
[platform/upstream/libzypp.git] / zypp / sat / detail / PoolImpl.cc
index 32b2fc7..a0af21e 100644 (file)
@@ -25,6 +25,7 @@
 #include "zypp/ZConfig.h"
 
 #include "zypp/sat/detail/PoolImpl.h"
+#include "zypp/sat/SolvableSet.h"
 #include "zypp/sat/Pool.h"
 #include "zypp/Capability.h"
 #include "zypp/Locale.h"
@@ -84,7 +85,11 @@ namespace zypp
       BOOST_MPL_ASSERT_RELATION( CapDetail::CAP_NAMESPACE, ==, REL_NAMESPACE );
       BOOST_MPL_ASSERT_RELATION( CapDetail::CAP_ARCH,      ==, REL_ARCH );
 
-     /////////////////////////////////////////////////////////////////
+      BOOST_MPL_ASSERT_RELATION( namespaceModalias,    ==, NAMESPACE_MODALIAS );
+      BOOST_MPL_ASSERT_RELATION( namespaceLanguage,    ==, NAMESPACE_LANGUAGE );
+      BOOST_MPL_ASSERT_RELATION( namespaceFilesystem,  ==, NAMESPACE_FILESYSTEM );
+
+      /////////////////////////////////////////////////////////////////
 
       const std::string & PoolImpl::systemRepoAlias()
       {
@@ -98,18 +103,23 @@ namespace zypp
        return _val;
       }
 
-
       /////////////////////////////////////////////////////////////////
 
       static void logSat( CPool *, void *data, int type, const char *logString )
       {
-         if ( type & (SOLV_FATAL|SOLV_ERROR) ) {
-           _ERR("libsolv") << logString;
-         } else if ( type & SOLV_DEBUG_STATS ) {
-           _DBG("libsolv") << logString;
-         } else {
-           _MIL("libsolv") << logString;
-         }
+       //                            "1234567890123456789012345678901234567890
+       if ( 0 == strncmp( logString, "  - no rule created", 19 ) )
+         return;
+       if ( 0 == strncmp( logString, "    next rules: 0 0", 19 ) )
+         return;
+
+       if ( type & (SOLV_FATAL|SOLV_ERROR) ) {
+         L_ERR("libsolv") << logString;
+       } else if ( type & SOLV_DEBUG_STATS ) {
+         L_DBG("libsolv") << logString;
+       } else {
+         L_MIL("libsolv") << logString;
+       }
       }
 
       detail::IdType PoolImpl::nsCallback( CPool *, void * data, detail::IdType lhs, detail::IdType rhs )
@@ -126,13 +136,8 @@ namespace zypp
         {
           case NAMESPACE_LANGUAGE:
           {
-            static IdString en( "en" );
-            const std::tr1::unordered_set<IdString> & locale2Solver( reinterpret_cast<PoolImpl*>(data)->_locale2Solver );
-            if ( locale2Solver.empty() )
-            {
-              return rhs == en.id() ? RET_systemProperty : RET_unsupported;
-            }
-            return locale2Solver.find( IdString(rhs) ) != locale2Solver.end() ? RET_systemProperty : RET_unsupported;
+           const TrackedLocaleIds & localeIds( reinterpret_cast<PoolImpl*>(data)->trackedLocaleIds() );
+           return localeIds.contains( IdString(rhs) ) ? RET_systemProperty : RET_unsupported;
           }
           break;
 
@@ -232,8 +237,19 @@ namespace zypp
         _availableLocalesPtr.reset(); // available locales may change
         _multiversionListPtr.reset(); // re-evaluate ZConfig::multiversionSpec.
 
-        // invaldate dependency/namespace related indices:
-        depSetDirty();
+        depSetDirty(); // invaldate dependency/namespace related indices
+      }
+
+      void PoolImpl::localeSetDirty( const char * a1, const char * a2, const char * a3 )
+      {
+        if ( a1 )
+        {
+          if      ( a3 ) MIL << a1 << " " << a2 << " " << a3 << endl;
+          else if ( a2 ) MIL << a1 << " " << a2 << endl;
+          else           MIL << a1 << endl;
+        }
+        _trackedLocaleIdsPtr.reset();  // requested locales changed
+        depSetDirty(); // invaldate dependency/namespace related indices
       }
 
       void PoolImpl::depSetDirty( const char * a1, const char * a2, const char * a3 )
@@ -249,6 +265,13 @@ namespace zypp
 
       void PoolImpl::prepare() const
       {
+       // additional /etc/sysconfig/storage check:
+       static WatchFile sysconfigFile( sysconfigStoragePath(), WatchFile::NO_INIT );
+       if ( sysconfigFile.hasChanged() )
+       {
+         _requiredFilesystemsPtr.reset(); // recreated on demand
+         const_cast<PoolImpl*>(this)->depSetDirty( "/etc/sysconfig/storage change" );
+       }
        if ( _watcher.remember( _serial ) )
         {
           // After repo/solvable add/remove:
@@ -269,19 +292,6 @@ namespace zypp
         }
       }
 
-      void PoolImpl::prepareForSolving() const
-      {
-       // additional /etc/sysconfig/storage check:
-       static WatchFile sysconfigFile( sysconfigStoragePath(), WatchFile::NO_INIT );
-       if ( sysconfigFile.hasChanged() )
-       {
-         _requiredFilesystemsPtr.reset(); // recreated on demand
-         const_cast<PoolImpl*>(this)->depSetDirty( "/etc/sysconfig/storage change" );
-       }
-       // finally prepare as usual:
-       prepare();
-      }
-
       ///////////////////////////////////////////////////////////////////
 
       CRepo * PoolImpl::_createRepo( const std::string & name_r )
@@ -299,7 +309,11 @@ namespace zypp
        if ( isSystemRepo( repo_r ) )
          _autoinstalled.clear();
         eraseRepoInfo( repo_r );
-        ::repo_free( repo_r, /*reuseids*/false );
+        ::repo_free( repo_r, /*resusePoolIDs*/false );
+       // If the last repo is removed clear the pool to actually reuse all IDs.
+       // NOTE: the explicit ::repo_free above asserts all solvables are memset(0)!
+       if ( !_pool->urepos )
+         ::pool_freeallrepos( _pool, /*resusePoolIDs*/true );
       }
 
       int PoolImpl::_addSolv( CRepo * repo_r, FILE * file_r )
@@ -351,14 +365,14 @@ namespace zypp
               else if ( blockSize )
               {
                 // Free remembered entries
-                  ::repo_free_solvable_block( repo_r, blockBegin, blockSize, /*reuseids*/false );
+                  ::repo_free_solvable_block( repo_r, blockBegin, blockSize, /*resusePoolIDs*/false );
                   blockBegin = blockSize = 0;
               }
           }
           if ( blockSize )
           {
               // Free remembered entries
-              ::repo_free_solvable_block( repo_r, blockBegin, blockSize, /*reuseids*/false );
+              ::repo_free_solvable_block( repo_r, blockBegin, blockSize, /*resusePoolIDs*/false );
               blockBegin = blockSize = 0;
           }
         }
@@ -402,23 +416,10 @@ namespace zypp
 
       ///////////////////////////////////////////////////////////////////
 
-      // need on demand and id based Locale
-      void _locale_hack( const LocaleSet & locales_r,
-                         std::tr1::unordered_set<IdString> & locale2Solver )
-      {
-        std::tr1::unordered_set<IdString>( 2*locales_r.size() ).swap( locale2Solver );
-        for_( it, locales_r.begin(),locales_r.end() )
-        {
-          for ( Locale l( *it ); l != Locale::noCode; l = l.fallback() )
-            locale2Solver.insert( IdString( l.code() ) );
-        }
-        MIL << "New Solver Locales: " << locale2Solver << endl;
-      }
-
       void PoolImpl::setTextLocale( const Locale & locale_r )
       {
        std::vector<std::string> fallbacklist;
-       for ( Locale l( locale_r ); l != Locale::noCode; l = l.fallback() )
+       for ( Locale l( locale_r ); l; l = l.fallback() )
        {
          fallbacklist.push_back( l.code() );
        }
@@ -432,37 +433,89 @@ namespace zypp
        ::pool_set_languages( _pool, &fallbacklist_cstr.front(), fallbacklist_cstr.size() );
       }
 
+      void PoolImpl::initRequestedLocales( const LocaleSet & locales_r )
+      {
+       if ( _requestedLocalesTracker.setInitial( locales_r ) )
+       {
+         localeSetDirty( "initRequestedLocales" );
+         MIL << "Init RequestedLocales: " << _requestedLocalesTracker << " =" << locales_r << endl;
+       }
+      }
+
       void PoolImpl::setRequestedLocales( const LocaleSet & locales_r )
       {
-        depSetDirty( "setRequestedLocales" );
-        _requestedLocales = locales_r;
-        MIL << "New RequestedLocales: " << locales_r << endl;
-        _locale_hack( _requestedLocales, _locale2Solver );
+       if ( _requestedLocalesTracker.set( locales_r ) )
+       {
+         localeSetDirty( "setRequestedLocales" );
+         MIL << "New RequestedLocales: " << _requestedLocalesTracker << " =" << locales_r << endl;
+       }
       }
 
       bool PoolImpl::addRequestedLocale( const Locale & locale_r )
       {
-        if ( _requestedLocales.insert( locale_r ).second )
+       bool done = _requestedLocalesTracker.add( locale_r );
+        if ( done )
         {
-          depSetDirty( "addRequestedLocale", locale_r.code().c_str() );
-          _locale_hack( _requestedLocales, _locale2Solver );
-          return true;
+          localeSetDirty( "addRequestedLocale", locale_r.code().c_str() );
+         MIL << "New RequestedLocales: " << _requestedLocalesTracker << " +" << locale_r << endl;
         }
-        return false;
+        return done;
       }
 
       bool PoolImpl::eraseRequestedLocale( const Locale & locale_r )
       {
-        if ( _requestedLocales.erase( locale_r ) )
+       bool done = _requestedLocalesTracker.remove( locale_r );
+        if ( done )
         {
-          depSetDirty( "addRequestedLocale", locale_r.code().c_str() );
-          _locale_hack( _requestedLocales, _locale2Solver );
-          return true;
+          localeSetDirty( "addRequestedLocale", locale_r.code().c_str() );
+         MIL << "New RequestedLocales: " << _requestedLocalesTracker << " -" << locale_r << endl;
         }
-        return false;
+        return done;
       }
 
-      static void _getLocaleDeps( Capability cap_r, std::tr1::unordered_set<sat::detail::IdType> & store_r )
+
+      const PoolImpl::TrackedLocaleIds & PoolImpl::trackedLocaleIds() const
+      {
+       if ( ! _trackedLocaleIdsPtr )
+       {
+         _trackedLocaleIdsPtr.reset( new TrackedLocaleIds );
+
+         const base::SetTracker<LocaleSet> &   localesTracker( _requestedLocalesTracker );
+         TrackedLocaleIds &                    localeIds( *_trackedLocaleIdsPtr );
+
+         // Add current locales+fallback except for added ones
+         for ( Locale lang: localesTracker.current() )
+         {
+           if ( localesTracker.wasAdded( lang ) )
+             continue;
+           for ( ; lang; lang = lang.fallback() )
+           { localeIds.current().insert( IdString(lang) ); }
+         }
+
+         // Add added locales+fallback except they are already in current
+         for ( Locale lang: localesTracker.added() )
+         {
+           for ( ; lang && localeIds.current().insert( IdString(lang) ).second; lang = lang.fallback() )
+           { localeIds.added().insert( IdString(lang) ); }
+         }
+
+         // Add removed locales+fallback except they are still in current
+         for ( Locale lang: localesTracker.removed() )
+         {
+           for ( ; lang && ! localeIds.current().count( IdString(lang) ); lang = lang.fallback() )
+           { localeIds.removed().insert( IdString(lang) ); }
+         }
+
+         // Assert that TrackedLocaleIds::current is not empty.
+         // If, so fill in LanguageCode::enCode as last resort.
+         if ( localeIds.current().empty() )
+         { localeIds.current().insert( IdString(Locale::enCode) ); }
+       }
+       return *_trackedLocaleIdsPtr;
+      }
+
+
+      static void _getLocaleDeps( const Capability & cap_r, LocaleSet & store_r )
       {
         // Collect locales from any 'namespace:language(lang)' dependency
         CapDetail detail( cap_r );
@@ -480,7 +533,7 @@ namespace zypp
             case CapDetail::CAP_NAMESPACE:
               if ( detail.lhs().id() == NAMESPACE_LANGUAGE )
               {
-                store_r.insert( detail.rhs().id() );
+                store_r.insert( Locale( IdString(detail.rhs().id()) ) );
               }
               break;
 
@@ -496,60 +549,60 @@ namespace zypp
       {
         if ( !_availableLocalesPtr )
         {
-          // Collect any 'namespace:language(ja)' dependencies
-          std::tr1::unordered_set<sat::detail::IdType> tmp;
-          Pool pool( Pool::instance() );
-          for_( it, pool.solvablesBegin(), pool.solvablesEnd() )
-          {
-            Capabilities cap( it->supplements() );
-            for_( cit, cap.begin(), cap.end() )
-            {
-              _getLocaleDeps( *cit, tmp );
+         _availableLocalesPtr.reset( new LocaleSet );
+         LocaleSet & localeSet( *_availableLocalesPtr );
+
+         for ( const Solvable & pi : Pool::instance().solvables() )
+         {
+           for ( const Capability & cap : pi.supplements() )
+           {
+             _getLocaleDeps( cap, localeSet );
             }
-          }
-#warning immediately build LocaleSet as soon as Loale is an Id based type
-          _availableLocalesPtr.reset( new LocaleSet(tmp.size()) );
-          for_( it, tmp.begin(), tmp.end() )
-          {
-            _availableLocalesPtr->insert( Locale( IdString(*it) ) );
-          }
+         }
         }
         return *_availableLocalesPtr;
       }
 
+      ///////////////////////////////////////////////////////////////////
+
       void PoolImpl::multiversionListInit() const
       {
         _multiversionListPtr.reset( new MultiversionList );
         MultiversionList & multiversionList( *_multiversionListPtr );
+       
+       MultiversionList::size_type size = 0;
+        for ( const std::string & spec : ZConfig::instance().multiversionSpec() )
+       {
+         static const std::string prefix( "provides:" );
+         bool provides = str::hasPrefix( spec, prefix );
 
-        const std::set<std::string> & multiversionSpec( ZConfig::instance().multiversionSpec() );
-        for_( it, multiversionSpec.begin(), multiversionSpec.end() )
-        {
-          static const std::string prefix( "provides:" );
-          if ( str::hasPrefix( *it, prefix ) )
-          {
-            WhatProvides provides( Capability( it->c_str() + prefix.size() ) );
-            if ( provides.empty() )
-            {
-              MIL << "Multiversion install not provided (" << *it << ")" << endl;
-            }
-            else
-            {
-              for_( pit, provides.begin(), provides.end() )
-              {
-                if ( multiversionList.insert( pit->ident() ).second )
-                  MIL << "Multiversion install " << pit->ident() << " (" << *it << ")" << endl;
-              }
-            }
-          }
-          else
-          {
-            MIL << "Multiversion install " << *it << endl;
-            multiversionList.insert( IdString( *it ) );
-          }
+         for ( Solvable solv : WhatProvides( Capability( provides ? spec.c_str() + prefix.size() : spec.c_str() ) ) )
+         {
+           if ( provides || solv.ident() == spec )
+             multiversionList.insert( solv );
+         }
+
+         MultiversionList::size_type nsize = multiversionList.size();
+         MIL << "Multiversion install " << spec << ": " << (nsize-size) << " matches" << endl;
+         size = nsize;
         }
       }
 
+      void PoolImpl::multiversionSpecChanged()
+      { _multiversionListPtr.reset(); }
+
+      const PoolImpl::MultiversionList & PoolImpl::multiversionList() const
+      {
+       if ( ! _multiversionListPtr )
+         multiversionListInit();
+       return *_multiversionListPtr;
+      }
+
+      bool PoolImpl::isMultiversion( const Solvable & solv_r ) const
+      { return multiversionList().contains( solv_r ); }
+
+      ///////////////////////////////////////////////////////////////////
+
       const std::set<std::string> & PoolImpl::requiredFilesystems() const
       {
        if ( ! _requiredFilesystemsPtr )