From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-3.4 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,RP_MATCHES_RCVD autolearn=ham autolearn_force=no version=3.4.1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=imath.kiev.ua; s=hydra; t=1518779009; bh=HClrYcexWuzIO7gZMgyfir16889uqrt1qaljX0EhgVA=; h=Date:From:To:Subject:References:In-Reply-To; b=FbcSwviA7kzY1U7Rwj4zFNkPcPUNMVHsGVBDl4D3AkQ6uewvbNmJ523ohcQeUrG9q Mv2AtjG19rfCBCrPoO3ItN1JlPcV8fvcRz2FkDTILkY2UQQY7GbokDy+bJK0fmHanT 2l0d6WNPdRmrbcfp5QG5nM5eaB03FYxhg2JbxD4E= Date: Fri, 16 Feb 2018 13:03:29 +0200 From: Igor Vlasenko To: ALT Linux Team development discussions Message-ID: <20180216110328.GA19115@dad.imath.kiev.ua> References: <20180215223320.GA14086@dad.imath.kiev.ua> <20180216013323.GA10681@altlinux.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20180216013323.GA10681@altlinux.org> User-Agent: Mutt/1.9.1 (2017-09-22) Subject: Re: [devel] =?utf-8?b?0JfQsNC00LDRh9C4INC00LvRjyDRgdCx0L7RgNC+0Yc=?= =?utf-8?b?0L3QuNGG0Ysg0YHQu9C10LTRg9GO0YnQtdCz0L4g0L/QvtC60L7Qu9C10L0=?= =?utf-8?b?0LjRjyAod2FzOiDQn9Cw0YDQsNC70LvQtdC70YzQvdCw0Y8g0YHQsdC+0YA=?= =?utf-8?b?0L7Rh9C90LjRhtCwLiDQkNC70LPQvtGA0LjRgtC80YsuKQ==?= X-BeenThere: devel@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Linux Team development discussions List-Id: ALT Linux Team development discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 16 Feb 2018 11:03:31 -0000 Archived-At: List-Archive: List-Post: On Fri, Feb 16, 2018 at 04:33:23AM +0300, Dmitry V. Levin wrote: Хотел бы начать с этого, как наиболее важного. > Наша традиционная сборочная система обладает следующим полезным свойством: > каждое следующее состояние репозитория получается в результате применения > транзакции к предыдущему состоянию. > > Такой детерминизм позволяет воспроизводимо получать новое состояние > репозитория из старого путём последовательного применения транзакций. > > Это свойство полезно для реализации вторичных догоняющих сборочных систем > для медленных архитектур. Хотел бы отметить, что параллельная сборочница, описанная ранее, так же обладает воспроизводимым детерминизмом. И алгоритм воспроизводимого получения нового состояния репозитория из старого не настолько сложнее. Последовательность репозиториев R_i восстанавливается по начальному репозиторию R_0, последовательности транзакций T_j и последовательности операций MERGE_l( BuildTest(R_{l_1},T_{l_1}),..., BuildTest(R_{l_k},T_{l_k})) > К чему привело бы применение нескольких транзакций одновременно? В общем > случае к тому, что результат применения отличался бы от результата > последовательного применения. А к чему приводит применение нескольких транзакций последовательно? В общем случае к тому, что результат применения отличается, в зависимости от случайного выбора сборочницы. Например, я залил транзакции 111222 и 111221. Последовательная сборочница может смержить сначала 111222, потом 111221, может сначала 111221, потом 111222. Параллельная еще добавляет 3-й вариант - 111222 и 111221 в одном мерже. Теоретически все три варианта могут отличаться. На практике так бывает настолько редко, что проще либо пренебречь совсем, либо реализовать постсборочное тестирование, чтобы не тормозить сотни тысяч ради одного. > Не лучше ли вместо этого (спекулятивно) > объединять множество транзакций, готовых к применению, в полноценные > мега-транзакции, обрабатываемые как обычные транзакции? "мега-транзакции" нельзя обрабатывать как обычные транзакции. Иначе ими никто пользоваться не будет. Отличие "мега-транзакций" в том, что несборка части ее пакетов не блокирует мерж удачно собравшихся. В транзакции наоборот, несборка хоть одного пакета FAILит всю транзакцию. Т.е. внедрение их поддержки в сборчницу было бы хорошим, полезным шагом. Но, думаю, ровно столько же усилий понадобилось бы и для реализации параллельной сборочницы внутри. Параллельная сборочница --- это те же "мега-транзакции", но включеные по умолчанию и прозрачно для пользователя. -- I V