标签: dns

是否有任何操作返回Alloy中关系的范围和域.

假设我在Alloy中定义了一个sig:

sig A {r : B }

sig B {}

我正在寻找和操作应用于r并给我B(可能像r [B]返回B)

上面的情况可能看起来很愚蠢,因为r [B]会返回B,所以为什么我不首先使用B!实际上我发现有一个范围和域操作(如果它们存在)在编写事实(约束)时非常有用.例如:

sig O {sup:O}

sig M{mid: O, sup:O} {mid.sup=sup}

sig F{fid:O, sup:O}{fid.sup=sup}


fact K{
   all o:O | lone so:M | so.mid=o 
   all o:O | lone so:F | so.fid=o
   all o:O | one i:(fid+mid) | o in i[O]   //I want to say fid+mid is injective, so expecting i[O] return range of i
 }

任何的想法？:)

我正在从字符串(地址)列表中ping主机.一切都很完美,但是当主机无法访问时,ping返回Result.Address:"0.0.0.0"而不是我传入SendPingAsync函数的现有地址或主机名.这是我的代码:

            var pingTasks = addresses.Select(address =>
            {
                return new Ping().SendPingAsync(address);
            });

            await Task.WhenAll(pingTasks);

            StringBuilder pingResultBuilder = new StringBuilder();

            foreach (var pingReply in pingTasks)
            {
                pingResultBuilder.Append(pingReply.Result.Address);
                pingResultBuilder.Append("    ");

                pingResultBuilder.Append(pingReply.Result.Status);
                pingResultBuilder.Append("    ");

                pingResultBuilder.Append(pingReply.Result.RoundtripTime.ToString());
                pingResultBuilder.AppendLine();
            }

            Console.WriteLine(pingResultBuilder.ToString());

我在这里找到了解决方案,但我需要在SendPingAsync功能上做同样的事情而不是SendAsync.我怎样才能找回通过host name / ip address从pingReply.Result？

我对给定DomainName的NameServer有一个很大的问题.实际上我想要做的是一个简单的交易,但在互联网上搜索了很多代码片段,还有nuget包管理器上的库,我找不到解决方案.

我有域名,如"www.example.com",我想通过使用C#代码获取其域服务器.

nuget上有一些库,但这些库都使用'whois'搜索机制,但我不能完全信任它们.因为他们返回的字符串就像网页上的任何搜索结果一样,并且每个字符串结果可能是不同的,因为在幕后使用不同的搜索网站.

一些网络专家说我应该在powershell上使用类似"nslookup"的命令,使用C#来检索可信任的结果.

我不是常规的HTML编码器.我需要删除我公司网站上的一些内容,这是用基本HTML编写的单个文件.我找到了该文件并删除了所有需要删除的内容.如果我使用托管我的网站的服务器的IP地址浏览我的网站,但我所做的所有更改都会显示,但如果我使用我公司的域名浏览,则所做的更改不会出现.我在做什么可能是错误的？任何帮助都将是完整的帮助.

我需要做递归检查DNS，就像linux的命令

$ dig +recurse some.site

与nodejs。此“请求”必须返回DNS对象，因为我需要使用它们。

我需要此功能才能正确使用DNS，它必须具有圆形TTL（我不确定它在英语上听起来是否正确）。标准dns模块可以这样做吗？

将wwwCNAME 转发到Google App Engine应用程序时出现此问题.这不行,也许我错过了什么.

是否可以在不添加自定义域的情况下将 CNAME转发到Google App Engine ？

我正在尝试在VM上安装本地群集.当我打开Cloudera Manager时,有时主机运行状况检查显示为失败,错误消息基本上显示"DNS解析失败".有时HDFS服务显示为失败.我想在其他途径上有一些想法进行故障排除.我很确定使用hosts文件或DNS的某些东西很简单.我的操作系统是Ubuntu.

到目前为止,我已经编辑/ etc/hosts以获得运行ifconfig时获得的确切ipv4地址

10.2.0.15  michael-VirtualBox

我删除了条目

127.0.0.1 localhost

我也重新启动了网络服务.我执行了命令

"python -c "import socket; print socket.getfqdn(); print socket.gethostbyname(socket.getfqdn())""

我回来了

127.0.0.1 localhost

我想知道是否有办法构建一个自动脚本(无论是perl,bash还是php)都无法找出某个ip上托管的域名.

我正在尝试像yougetsignal.com上的反向IP域检查.

我的一个朋友帮助了我,但它没有找到托管域给出服务器地址列表; 相反,它只是获取IP地址的主机.

这是我编写的PHP代码

<?php

$file    = fopen("71", "r");
$ip_file = fopen('iphosts', 'w');
$ip_add  = fopen('ip_add', 'w');

$i = 1;

while ( ! feof($file) ) {

    $host = fgets($file);
    $host = rtrim($host);

    echo "\n";
    echo "Connecting..." . $host;
    echo "\n";

    $host_name = gethostbyaddr( $host );
    if ( !empty( $host_name ) && $host != $host_name ) {
        fwrite($ip_file, $host_name."\n");
    } else {
        fwrite($ip_add, $host_name."\n");
    }

    echo " Done \n";
    $i++;
}

fclose($file);
fclose($ip_file);
fclose($ip_add);


exit(0);

我正在尝试使用来检查过期的域名python-requests。

import requests

try:
    status = requests.head('http://wowsucherror')
except requests.ConnectionError as exc:
    print(exc)

这段代码看起来太通用了。它产生以下输出：

HTTPConnectionPool（host ='wowsucherror'，port = 80）：URL超过最大重试次数：/（由NewConnectionError（'：未能建立新连接：[Errno 11001] getaddrinfo失败'，））

我想做的是仅捕获此DNS错误（例如ERR_NAME_NOT_RESOLVED在Chrome中）。作为最后的选择，我只能进行字符串匹配，但是也许有更好，更结构化和前向兼容的方式来处理此错误？

理想情况下，它应该是的DNSError扩展requests。

更新：Linux上的错误有所不同。

HTTPConnectionPool（host ='wowsucherror'，port = 80）：URL超过最大重试次数：/（由NewConnectionError（'：导致无法建立新连接：[Errno -2]名称或服务未知'，））

将错误报告给requests-> urllib3 https://github.com/shazow/urllib3/issues/1003

UPDATE2：OS X也报告不同的错误。

requests.exceptions.ConnectionError：HTTPConnectionPool（host ='wowsucherror'，端口= 80）：url超过了最大重试次数：/（由NewConnectionError（'：导致：无法建立新连接：[Errno 8]节点名或服务名未提供，或未知'，））

我正在为我的网站使用HTTPS负载平衡器，如果我访问：https : //www.vietnamspotlight.com，它将运行良好。

但是，如果我使用来访问URL http，即http://vietnamspotlight.com，那么我总是会从Google收到错误消息，指出未找到请求。

然后，我尝试通过在前端配置会话中添加与HTTP一起使用的新IP，端口和协议来更新负载均衡器。请参阅下面的图像以供参考（HTTP和HTTPS的IP已从图像中删除）：

之后，我切换到域提供程序的DNS配置，并尝试添加另一个指向新IP的A记录，以处理HTTP协议的请求。这意味着我在同一主机上使用两个A记录@，每个记录指向一个不同的值，一个指向HTTP，另一个指向HTTPS。请参阅下图以供参考（这些值已更改为伪IP地址）：

仍然不起作用。