diff --git a/Dockerfile b/Dockerfile index 7c2a5bd582..87aabb3111 100644 --- a/Dockerfile +++ b/Dockerfile @@ -3,11 +3,7 @@ MAINTAINER left2right RUN yum -y update && \ yum -y install snappy-devel && \ - yum -y install protobuf-compiler && \ yum -y install protobuf-devel && \ - yum -y install bzip2-devel && \ - yum -y install zlib-devel && \ - yum -y install bzip2 && \ yum -y install gcc-c++ && \ yum -y install make && \ yum -y install git @@ -15,10 +11,7 @@ RUN yum -y update && \ ENV PIKA /pika COPY . ${PIKA} WORKDIR ${PIKA} -RUN git submodule init -RUN git submodule update -RUN make __REL=1 -RUN cp -f ${PIKA}/output/lib/libglog.so.0 /usr/lib64/ +RUN make RPATH=${PIKA}/third/glog/.libs ENV PATH ${PIKA}/output/bin:${PATH} WORKDIR ${PIKA}/output diff --git a/_config.yml b/_config.yml deleted file mode 100644 index b2789cb647..0000000000 --- a/_config.yml +++ /dev/null @@ -1,8 +0,0 @@ -title: Pika -description: A nosql database server -google_analytics: -show_downloads: true -theme: jekyll-theme-minimal - -gems: - - jekyll-mentions diff --git a/index.md b/index.md deleted file mode 100644 index 3db62ac49c..0000000000 --- a/index.md +++ /dev/null @@ -1,14 +0,0 @@ -### Welcome to GitHub Pages. -This automatic page generator is the easiest way to create beautiful pages for all of your projects. Author your page content here [using GitHub Flavored Markdown](https://guides.github.com/features/mastering-markdown/), select a template crafted by a designer, and publish. After your page is generated, you can check out the new `gh-pages` branch locally. If you’re using GitHub Desktop, simply sync your repository and you’ll see the new branch. - -### Designer Templates -We’ve crafted some handsome templates for you to use. Go ahead and click 'Continue to layouts' to browse through them. You can easily go back to edit your page before publishing. After publishing your page, you can revisit the page generator and switch to another theme. Your Page content will be preserved. - -### Creating pages manually -If you prefer to not use the automatic generator, push a branch named `gh-pages` to your repository to create a page manually. In addition to supporting regular HTML content, GitHub Pages support Jekyll, a simple, blog aware static site generator. Jekyll makes it easy to create site-wide headers and footers without having to copy them across every page. It also offers intelligent blog support and other advanced templating features. - -### Authors and Contributors -You can @mention a GitHub username to generate a link to their profile. The resulting `` element will link to the contributor’s GitHub Profile. For example: In 2007, Chris Wanstrath (@defunkt), PJ Hyett (@pjhyett), and Tom Preston-Werner (@mojombo) founded GitHub. - -### Support or Contact -Having trouble with Pages? Check out our [documentation](https://help.github.com/pages) or [contact support](https://github.com/contact) and we’ll help you sort it out. diff --git a/tools/boost_pika/boost_pika.sh b/tools/boost_pika/boost_pika.sh new file mode 100755 index 0000000000..203324aca6 --- /dev/null +++ b/tools/boost_pika/boost_pika.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +threads=`ps -eLf | grep pika | grep -v 'tmux' | grep -v 'grep' | awk '{print $4}'` +processor_nums=$(cat /proc/cpuinfo | grep processor | wc -l) + +i=0 +j=0 + +for thread in $threads +do + ((j=i%($processor_nums))) + taskset -pc $j $thread + let ++i +done