ytakano

Refreed Papers

1. Sai Veerya Mahadevan, Yuuki Takano, and Atsuko Miyaji, “PRSafe: A Domain Specific Language Created with LLVM”, IPSJ, Electronic Preprint for Journal of Information Processing Vol.32, Feb. 2024
2. Yuuki Takano, "Deadlock- and Starvation-free Formally Verified Client Library for Robots", The 7th International Conference on System Reliability and Safety, ICSRS 2023, [PDF]
3. Atsuko Miyaji, Kaname Watanabe, Yuuki Takano, Kazuhisa Nakasho, Sho Nakamura, Yuntao Wang, and Hiroto Narimatsu, "Privacy-Preserving Distributed Medical Data Integration Security System for Accuracy Assessment of Cancer Screening: Development Study of Novel Data Integration System", JMIR Preprints, https://preprints.jmir.org/preprint/38922, Nov. 2022.
4. Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji, "PRSafe: Primitive Recursive Function based Domain Specific Lan

ytakano

$ systool -v -m netmap
Module = "netmap"

  Attributes:
    coresize            = "143360"
    initsize            = "0"
    initstate           = "live"
    refcnt              = "0"
    srcversion          = "5F4F49C43161A16E4F13BC0"

ytakano

Lunar IR

Lunar言語の中間表現であり、ここからLLVM IRへ変換。

構文

• IR := TOP*
• TOP := GLOBAL | THREADLOCAL | IMPORT | TOPSTATEMENT | DEFUN | EXPR
• TOPSTATEMENT := LET | COND | WHILE | SELECT | BLOCK | STRUCT | CUNION | UNION
• STATEMENT := LET | COND | WHILE | BREAK | SELECT | RETURN | STRUCT | CUNION | UNION | BLOCK | LEAP

ytakano

#include <stdio.h>
#include <thread>
#include <functional>

class myclass {
public:
    myclass() {
        auto th = std::thread(std::bind(&myclass::print, this));
        th.join();
    }

ytakano

# command:
# ansible-playbook -i /etc/ansible/hosts --ask-sudo-pass insmod_netmap.yaml

- hosts: netmap
  sudo: yes
  vars:
    work_dir: /root/down
    netmap_dir: "{{work_dir}}/netmap"
  tasks:
    - name: rmmod

ytakano

# command:
# ansible-playbook -i /etc/ansible/hosts --ask-sudo-pass netmap.yaml

- hosts: netmap
  sudo: yes
  vars:
    work_dir: /root/down
    netmap_dir: "{{work_dir}}/netmap"
    kernel_src_dir: /usr/src/linux-source
    kernel_headers_dir: /usr/src/linux-headers

ytakano

statusがexitedなcontainerを削除

docker rm $(docker ps -a --filter 'status=exited' -q)

Ubuntu 15.10のコンテナを起動

sudo docker run -it --name ansible ubuntu:15.10 bash

• -i: interactive
• -t: allocate tty

ytakano

import socket
import sys

class fabs_skel:
    def openif(self, path):
        self._path = path
        self._session = {}

        self.__sock = socket.socket(socket.AF_UNIX)

ytakano

import System.Random
import Data.Sequence (Seq)
import Data.Sequence as Seq
import Data.Word
import Data.IORef
import Control.Concurrent.STM.TVar
import Control.Concurrent.STM
import Control.Concurrent

data Session = Session { ip1 :: Word32, port1 :: Word16,

ytakano

use Socket;

my @sessions;

# connect IF by UNIX domain socket
my $path = "/tmp/sf-tap/tcp/http";
my $s;

socket($s, AF_UNIX, SOCK_STREAM, 0);
connect($s, pack_sockaddr_un($path)) or die "cannot connect to $path";