小编qsp*_*qsp的帖子

在构建之后我找不到我的Docker镜像

我是Docker的新手,所以请允许我描述我所做的步骤.我在OS X上使用Docker(而不是Docker工具箱).我使用以下命令从Dockerfile构建了图像
sudo docker build -t myImage .

Docker证实建筑成功了.
Successfully built 7240e.....

但是,我无法在任何地方找到图像.我看了这个问题,但答案是针对Docker工具箱,我没有/Users/<username>/.docker接受答案建议的文件夹.

macos docker

19
推荐指数
2
解决办法
8884
查看次数

将主机中的空文件夹挂载到 Docker 中的非空文件夹

我使用的工具是在 Docker 映像中提供的。由于安装该工具非常复杂,有很多依赖项,我想在主机上使用我的 IDE 工作,但在容器上运行它。

所以在下载并加载图像后,我运行:

sudo docker run -it -v /home/myself/WIP/thetool:/home/thetool name/label
Run Code Online (Sandbox Code Playgroud)

没有挂载,工具在 下/home/thetool,但是挂载了,这个文件夹是空的(因为宿主机里的文件夹是空的)。

我需要从容器中复制工具,然后挂载它,还是有办法直接做。

docker

12
推荐指数
2
解决办法
7081
查看次数

如何管理超过32k的线程

由于迫切需要,我刚刚学习了多线程编程.请帮我解决这个问题.

我有一个字符串处理任务,可以很好地分为小子任务.

while (...){
    ...
    // assign task for handler
    Thread t = new Thread(new PCHandler(counter,pc));
    t.start();
    counter++;
}
Run Code Online (Sandbox Code Playgroud)

问题是我将需要大约500K线程来完成这项任务.我遇到了一个错误:

引起:java.lang.OutOfMemoryError:无法创建新的本机线程

我谷歌一段时间似乎JVM只允许我制作最大32K线程.有一些指令可以通过修改配置文件来扩展此限制.但我想避免修改用户的计算机.那么你能否给我一个如何在极限内明智地管理它们的建议?谢谢.

java multithreading

7
推荐指数
1
解决办法
654
查看次数

如何用R的符号回归得到函数结果

首先,请原谅我的无知,因为我今天刚刚开始学习R.

我有一个两个变量(x,y)的数据框如下:(1,0), (2,26), (3,88), (4,186), (5,320), (6,490), (7,541).我想使用符号回归来找到一个f这样的函数y = f(x).

按照这里的教程,我可以得到一个图f(x),它与我的期望相近.但是,我不知道如何打印出这个功能f(x).

我尝试了另一个名为Eurequa的工具.它非常易于使用,并且提供了很多功能.但我不能在我的项目中使用商业工具.谢谢.


UPDATE

这是我的代码来计算符号回归并绘制函数.我在R环境中逐个输入命令.

x = c (1, 2, 3, 4, 5, 6, 7)
y = c (0, 26, 88, 186, 320, 490, 541)
data1 = data.frame(x,y)
newFuncSet <- functionSet("+","-","*")
result1 <- symbolicRegression(y ~ x, data = data1, functionSet = newFuncSet, stopCondition = makeStepsStopCondition(2000))
plot(data1$y, col=1, type="l"); points(predict(result1, newdata = data1), col=2, type="l")
Run Code Online (Sandbox Code Playgroud)

r

5
推荐指数
1
解决办法
1216
查看次数

关于Phabricator的Mercurial:"远程:中止:流意外结束"

我试图推送到远程服务器时遇到此问题.它是Phabricator上的Mercurial存储库.这是我的输出.

hg commit -m "udpate README"
hg push
pushing to ssh://company.server
searching for changes
remote: abort: stream ended unexpectedly (got 0 bytes, expected 4)
Run Code Online (Sandbox Code Playgroud)

3.5.2+20151001在Mac OS 10.10上使用最新版本的Mercurial .

我昨天有这个问题.在那段时间里,虽然我什么也没做,但我可以成功举办两次.

为什么输出看起来像这个问题,这里的问题是不同的,因为我删除了存储库并多次克隆没有任何问题.(我第一次尝试解决问题)

系统管理员和服务器在另一个城市,所以他不能看我的机器.任何帮助将不胜感激.

mercurial phabricator

5
推荐指数
1
解决办法
1664
查看次数

如何将vector <int>转换为int*

我必须维持一个自2004年以来没人接触过的计划.

class CSolver
{  
 ...  
 ClauseIdx add_clause (int * lits, int n_lits);
}

void and2 (CSolver & solver)   
{  
vector <int> lits;  
...  
solver.add_clause(lits.begin(), lits.size());  
}
Run Code Online (Sandbox Code Playgroud)

编译器抱怨说:

错误:没有匹配函数来调用'CSolver :: add_clause(__ gnu_cxx :: __ normal_iterator <int*,std :: vector <int,std :: allocator <int >>>,size_t)'

我试着去投它

solver.add_clause((int*)lits.begin(), lits.size());
Run Code Online (Sandbox Code Playgroud)

但仍有一个抱怨:

错误:从类型'__gnu_cxx :: __ normal_iterator <int*,std :: vector <int,std :: allocator <int >>>>'输入无效,以输入'int*'

我想快速解决这个问题,因为改变CSolver的界面会导致改变整个程序.

提前致谢.

c++

4
推荐指数
2
解决办法
2123
查看次数

字节码中缺少静态方法

我有一个简单的程序,如下所示:

    public class StringDemo {

          public static String s = "abcdef";

          private static boolean test(String str) {
            if (!str.startsWith("abc")) {
              return false;
            }
            return true;
          } 

          public static void doTest() {
            test(s);
          }

          public static void main(String srgs[]) {
            doTest();
          }
    }
Run Code Online (Sandbox Code Playgroud)

和都是静态方法,但是编译成字节码后,我只能看到, 和test丢失了。有人能为我解释一下为什么吗?谢谢。doTestdoTesttest

P/S:我无法将字节码放在这里,因为 stackoverflow 不断显示错误“您的帖子主要是代码,请输入更多详细信息”...等

java

3
推荐指数
1
解决办法
449
查看次数

SMT2中的clarify-fun和clarify-const

我对以下两个声明感到困惑。对我来说,它们描述的是同一件事:整数变量x

  • (declare-const x Int)
  • (declare-fun x () Int)

是否有任何上下文可以使它们在性能上有所不同或提供不同的模型?谢谢。

z3

3
推荐指数
1
解决办法
1083
查看次数

如何释放数组的 N 个元素的内存

与我正在修复的2004 年程序相关。前开发人员使用以下代码在析构函数中释放数组的“len”元素:

unsigned int* _data;  
...  
if (_data) {
  int len = size();
  delete (unsigned int[len]) _data;
}
Run Code Online (Sandbox Code Playgroud)

我无法用我的编译器编译这段代码。错误信息是:

错误:ISO C++ 禁止转换为数组类型 'unsigned int [(((unsigned int)(((int)l) + -0x00000000000000001)) + 1)]'

一定有他不使用的原因delete _data;我应该如何解决这个错误?
谢谢。

c++

1
推荐指数
1
解决办法
1086
查看次数

标签 统计

c++ ×2

docker ×2

java ×2

macos ×1

mercurial ×1

multithreading ×1

phabricator ×1

r ×1

z3 ×1