Skip to content

Instantly share code, notes, and snippets.

View nox's full-sized avatar
🥖

Anthony Ramine nox

🥖
View GitHub Profile
#!/usr/bin/env ruby
require 'soap/wsdlDriver'
URL = 'http://www.webservicex.net/whois.asmx?WSDL'
if ARGV.empty?
STDERR.puts "usage: #{$0} name ..."
exit 2
end
nox@Bellcross:~/src/MacPorts/dports/archivers/libzzip[master]$ ls -Rl work/destroot
work/destroot:
total 0
drwxr-xr-x 3 root wheel 102 21 mar 18:43 opt
work/destroot/opt:
total 0
drwxr-xr-x 6 root admin 204 21 mar 18:43 local
work/destroot/opt/local:
@nox
nox / article IA
Created April 1, 2010 06:38 — forked from rusted/article IA
Reliable and precise WCET Determination for a real-life processor
=================================================================
WCET : Worst Case Execution Time
I Introduction
==============
Garantir des contraintes de temps fortes dans les système temps réel -> timing validation
length_coded_binary(<<Length/little, Bin:Length/binary, Rest/binary>>) when Length =< 250 ->
{Bin, Rest};
length_coded_binary(<<252/little, Length:16/little, Bin:Length/binary, Rest/binary>>) ->
{Bin, Rest};
length_coded_binary(<<253/little, Length:24/little, Bin:Length/binary, Rest/binary>>) ->
{Bin, Rest};
length_coded_binary(<<254/little, Length:64/little, Bin:Length/binary, Rest/binary>>) ->
{Bin, Rest}.
column_value(<<251/little, Rest/binary>>) ->
read_geometry(Bytes = <<1, _Type, 0:24, _Rest/binary>>) ->
{Object, <<>>} = read_wkb(Bytes),
{geometry, {0, Object}};
read_geometry(<<SRID:32/little, Rest/binary>>) ->
{Object, <<>>} = read_wkb(Rest),
{geometry, {SRID, Object}}.
read_wkb(Bytes = <<1, 1, 0:24, _Rest/binary>>) ->
read_wkb_point(Bytes);
read_wkb(Bytes = <<1, 2, 0:24, _Rest/binary>>) ->
do_handshake(Socket, User, #connect_opts{passwd = Passwd, db = Db}) ->
{ok, {Number, Bytes}} = mysqerl_tcp:recv(Socket),
{Caps, Message} = mysqerl_util:read_init(Bytes),
ok = send_auth(Socket, Number + 1, User, Message, Passwd),
State = #state{socket = Socket, supports = Caps},
case Db of
undefined -> {ok, State};
_ ->
case do_use(Db, State) of
Error = {error, _Reason} -> {stop, Error};
expanded_name(Name, [], #xmlNamespace{default = URI}, S) ->
case is_name(URI, 'http://www.w3.org/XML/1998/namespace') of
true ->
?fatal(cannot_bind_default_namespace_to_xml_namespace_name, S);
false ->
case is_name(URI, 'http://www.w3.org/2000/xmlns/') of
true ->
?fatal(cannot_bind_default_namespace_to_xmlns_namespace_name, S);
false ->
{URI, Name}
read_list(Socket, 0, _ReadFun, Values) ->
{ok, {_Number, <<254, _Rest/binary>>}} = ex_mysql_tcp:recv(Socket),
lists:reverse(Values);
read_list(Socket, Count, ReadFun, Values) ->
{ok, {_Number, Bytes}} = ex_mysql_tcp:recv(Socket),
read_list(Socket, Count - 1, ReadFun, [ReadFun(Bytes) | Values]).
$ erl -pa ebin
Erlang R14B02 (erts-5.8.3) [source] [64-bit] [smp:2:2] [rq:2] [async-threads:0] [hipe] [kernel-poll:false]
Eshell V5.8.3 (abort with ^G)
1> application:start(ex_complete).
ok
2> ex_complete:bindings().
[]
3> Foo = bar.
bar
$ erl
Erlang R14B02 (erts-5.8.3) [source] [64-bit] [smp:2:2] [rq:2] [async-threads:0] [hipe] [kernel-poll:false]
Eshell V5.8.3 (abort with ^G)
1> T = {erlang, tuple}.
{erlang,tuple}
2> T:element(2).
tuple