upstream/mercurial-mirror Files · contrib/perf-utils/discovery-helper.sh

rust-cpython: mark all PyLeaked methods as unsafe...

rust-cpython: mark all PyLeaked methods as unsafe Unfortunately, these methods can be abused to obtain the inner 'static reference. The simplest (pseudo-code) example is: let leaked: PyLeaked<&'static _> = shared.leak_immutable(); let static_ref: &'static _ = &*leaked.try_borrow(py)?; // PyLeakedRef::deref() tries to bound the lifetime to itself, but // the underlying data is a &'static reference, so the returned // reference can be &'static. This problem can be easily fixed by coercing the lifetime, but there are many other ways to achieve that, and there wouldn't be a generic solution: let leaked: PyLeaked<&'static [_]> = shared.leak_immutable(); let leaked_iter: PyLeaked<slice::Iter<'static, _>> = unsafe { leaked.map(|v| v.iter()) }; let static_slice: &'static [_] = leaked_iter.try_borrow(py)?.as_slice(); So basically I failed to design the safe borrowing interface. Maybe we'll instead have to add much more restricted interface on top of the unsafe PyLeaked methods? For instance, Iterator::next() could be implemented if its Item type is not &'a (where 'a may be cheated.) Anyway, this seems not an easy issue, so it's probably better to leave the current interface as unsafe, and get broader comments while upstreaming this feature.

marmoute - - Load All Authors

File last commit:

r42094:cae3f7e3 default


                r44689:e960c30d

default

Download file

             discovery-helper.sh
        
                    107 lines
            
             | 2.6 KiB
            
                | application/x-sh
            
             |
                BashLexer
            
             / contrib / perf-utils / discovery-helper.sh
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      #!/bin/bash

      #

      # produces two repositories with different common and missing subsets

      #

      #   $ discovery-helper.sh REPO NBHEADS DEPT

      #

      # The Goal is to produce two repositories with some common part and some

      # exclusive part on each side. Provide a source repository REPO, it will

      # produce two repositories REPO-left and REPO-right.

      #

      # Each repository will be missing some revisions exclusive to NBHEADS of the

      # repo topological heads. These heads and revisions exclusive to them (up to

      # DEPTH depth) are stripped.

      #

      # The "left" repository will use the NBHEADS first heads (sorted by

      # description). The "right" use the last NBHEADS one.

      #

      # To find out how many topological heads a repo has, use:

      #

      #   $ hg heads -t -T '{rev}\n' | wc -l

      #

      # Example:

      #

      #  The `pypy-2018-09-01` repository has 192 heads. To produce two repositories

      #  with 92 common heads and ~50 exclusive heads on each side.

      #

      #    $ ./discovery-helper.sh pypy-2018-08-01 50 10

      set -euo pipefail

      printusage () {

           echo "usage: `basename $0` REPO NBHEADS DEPTH [left|right]" >&2

      }

      if [ $# -lt 3 ]; then

          printusage

          exit 64

      fi

      repo="$1"

      shift

      nbheads="$1"

      shift

      depth="$1"

      shift

      doleft=1

      doright=1

      if [ $# -gt 1 ]; then

          printusage

          exit 64

      elif [ $# -eq 1 ]; then

          if [ "$1" == "left" ]; then

              doleft=1

              doright=0

          elif [ "$1" == "right" ]; then

              doleft=0

              doright=1

          else

              printusage

              exit 64

          fi

      fi

      leftrepo="${repo}-${nbheads}h-${depth}d-left"

      rightrepo="${repo}-${nbheads}h-${depth}d-right"

      left="first(sort(heads(all()), 'desc'), $nbheads)"

      right="last(sort(heads(all()), 'desc'), $nbheads)"

      leftsubset="ancestors($left, $depth) and only($left, heads(all() - $left))"

      rightsubset="ancestors($right, $depth) and only($right, heads(all() - $right))"

      echo '### creating left/right repositories with missing changesets:'

      if [ $doleft -eq 1 ]; then

          echo '# left  revset:' '"'${leftsubset}'"'

      fi

      if [ $doright -eq 1 ]; then

          echo '# right revset:' '"'${rightsubset}'"'

      fi

      buildone() {

          side="$1"

          dest="$2"

          revset="$3"

          echo "### building $side repository: $dest"

          if [ -e "$dest" ]; then

              echo "destination repo already exists: $dest" >&2

              exit 1

          fi

          echo '# cloning'

          if ! cp --recursive --reflink=always ${repo} ${dest}; then

              hg clone --noupdate "${repo}" "${dest}"

          fi

          echo '# stripping' '"'${revset}'"'

          hg -R "${dest}" --config extensions.strip= strip --rev "$revset" --no-backup

      }

      if [ $doleft -eq 1 ]; then

          buildone left "$leftrepo" "$leftsubset"

      fi

      if [ $doright -eq 1 ]; then

          buildone right "$rightrepo" "$rightsubset"

      fi

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				#!/bin/bash
				#
				# produces two repositories with different common and missing subsets
				#
				# $ discovery-helper.sh REPO NBHEADS DEPT
				#
				# The Goal is to produce two repositories with some common part and some
				# exclusive part on each side. Provide a source repository REPO, it will
				# produce two repositories REPO-left and REPO-right.
				#
				# Each repository will be missing some revisions exclusive to NBHEADS of the
				# repo topological heads. These heads and revisions exclusive to them (up to
				# DEPTH depth) are stripped.
				#
				# The "left" repository will use the NBHEADS first heads (sorted by
				# description). The "right" use the last NBHEADS one.
				#
				# To find out how many topological heads a repo has, use:
				#
				# $ hg heads -t -T '{rev}\n' \| wc -l
				#
				# Example:
				#
				# The `pypy-2018-09-01` repository has 192 heads. To produce two repositories
				# with 92 common heads and ~50 exclusive heads on each side.
				#
				# $ ./discovery-helper.sh pypy-2018-08-01 50 10

				set -euo pipefail

				printusage () {
				echo "usage: `basename $0` REPO NBHEADS DEPTH [left\|right]" >&2
				}

				if [ $# -lt 3 ]; then
				printusage
				exit 64
				fi

				repo="$1"
				shift

				nbheads="$1"
				shift

				depth="$1"
				shift

				doleft=1
				doright=1
				if [ $# -gt 1 ]; then
				printusage
				exit 64
				elif [ $# -eq 1 ]; then
				if [ "$1" == "left" ]; then
				doleft=1
				doright=0
				elif [ "$1" == "right" ]; then
				doleft=0
				doright=1
				else
				printusage
				exit 64
				fi
				fi

				leftrepo="${repo}-${nbheads}h-${depth}d-left"
				rightrepo="${repo}-${nbheads}h-${depth}d-right"

				left="first(sort(heads(all()), 'desc'), $nbheads)"
				right="last(sort(heads(all()), 'desc'), $nbheads)"

				leftsubset="ancestors($left, $depth) and only($left, heads(all() - $left))"
				rightsubset="ancestors($right, $depth) and only($right, heads(all() - $right))"

				echo '### creating left/right repositories with missing changesets:'
				if [ $doleft -eq 1 ]; then
				echo '# left revset:' '"'${leftsubset}'"'
				fi
				if [ $doright -eq 1 ]; then
				echo '# right revset:' '"'${rightsubset}'"'
				fi

				buildone() {
				side="$1"
				dest="$2"
				revset="$3"
				echo "### building $side repository: $dest"
				if [ -e "$dest" ]; then
				echo "destination repo already exists: $dest" >&2
				exit 1
				fi
				echo '# cloning'
				if ! cp --recursive --reflink=always ${repo} ${dest}; then
				hg clone --noupdate "${repo}" "${dest}"
				fi
				echo '# stripping' '"'${revset}'"'
				hg -R "${dest}" --config extensions.strip= strip --rev "$revset" --no-backup
				}

				if [ $doleft -eq 1 ]; then
				buildone left "$leftrepo" "$leftsubset"
				fi

				if [ $doright -eq 1 ]; then
				buildone right "$rightrepo" "$rightsubset"
				fi